* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (108 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2)
* [misc]approximate:  Taking taylor expansion of (* (/ b a) (/ b a)) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ b a) (/ b a)) in a
* [misc]taylor:  Taking taylor expansion of (/ b a) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ b 1) into b
* [misc]taylor:  Taking taylor expansion of (/ b a) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ b 1) into b
* [misc]taylor:  Taking taylor expansion of (* (/ b a) (/ b a)) in b
* [misc]taylor:  Taking taylor expansion of (/ b a) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ b a) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (* (/ b a) (/ b a)) in b
* [misc]taylor:  Taking taylor expansion of (/ b a) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ b a) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2))
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
* [misc]taylor:  Taking taylor expansion of (pow a 2) in a
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
* [misc]approximate:  Taking taylor expansion of (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) 1) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) 1) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) in b
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 a)) into a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 a)) into a
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) in b
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 a)) into a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 b) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 a)) into a
* [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
* [misc]taylor:  Taking taylor expansion of (pow a 2) in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 a)) (+ (* a (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))) (* 0 (/ 0 (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
* [misc]approximate:  Taking taylor expansion of (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) -1) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) -1) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) in b
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 a)) into a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 a)) into a
* [misc]taylor:  Taking taylor expansion of (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) in b
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 a)) into a
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- b)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 a)) into a
* [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
* [misc]taylor:  Taking taylor expansion of (pow a 2) in a
* [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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 a)) (+ (* a (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))) (* 0 (/ 0 (/ -1 a))))) into 0
* [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ b a) (/ b a)))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ b a) (/ b a)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ b a) (/ b a)))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ b a) (/ b a)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ b a) (/ b a)))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ b a) (/ b a)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) in (b a) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) in b
* [misc]backup-simplify:  Simplify (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
* [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (expm1 (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (expm1 (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (expm1 (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (log1p (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (log1p (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (log1p (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to 2
* [exit]simplify:  Simplified to 2
* * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
* [enter]simplify:  Simplifying (* (/ b a) (/ b a))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
* * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to 2
* [exit]simplify:  Simplified to 2
* * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
* * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
* [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (22 enodes)
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (log (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (39 enodes)
* * [misc]simplify:  iters left: 1 (57 enodes)
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (exp (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (21 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (exp (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (exp (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
* [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (108 enodes)
* * [misc]simplify:  iters left: 1 (152 enodes)
* [exit]simplify:  Simplified to (* (pow (/ b a) 3) (pow (/ b a) 3))
* [exit]simplify:  Simplified to (* (pow (/ b a) 3) (pow (/ b a) 3))
* * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a))))
* [enter]simplify:  Simplifying (cbrt (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (cbrt (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (cbrt (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (186 enodes)
* [exit]simplify:  Simplified to (pow (* (/ b a) (/ b a)) 3)
* [exit]simplify:  Simplified to (pow (* (/ b a) (/ b a)) 3)
* * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (sqrt (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (fabs (/ b a))
* [exit]simplify:  Simplified to (fabs (/ b a))
* [enter]simplify:  Simplifying (sqrt (* (/ b a) (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (fabs (/ b a))
* [exit]simplify:  Simplified to (fabs (/ b a))
* * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
* [enter]simplify:  Simplifying (* b b)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (* b b)
* [exit]simplify:  Simplified to (* b b)
* [enter]simplify:  Simplifying (* a a)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (* a a)
* [exit]simplify:  Simplified to (* a a)
* * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
* [enter]simplify:  Simplifying (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (30 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a))))
* [exit]simplify:  Simplified to (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a))))
* * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
* [enter]simplify:  Simplifying (* (/ b a) (sqrt (/ b a)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
* [enter]simplify:  Simplifying (* (/ b a) 1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (/ b a)
* [exit]simplify:  Simplified to (/ b a)
* * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
* [enter]simplify:  Simplifying (* (/ b a) b)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (/ b (/ a b))
* [exit]simplify:  Simplified to (/ b (/ a b))
* * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
* [enter]simplify:  Simplifying (* (cbrt (/ b a)) (/ b a))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (cbrt (/ b a)))
* [exit]simplify:  Simplified to (* (/ b a) (cbrt (/ b a)))
* * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
* [enter]simplify:  Simplifying (* (sqrt (/ b a)) (/ b a))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
* [enter]simplify:  Simplifying (* (/ b a) (/ b a))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
* [enter]simplify:  Simplifying (* (/ 1 a) (/ b a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (/ (/ b a) a)
* [exit]simplify:  Simplified to (/ (/ b a) a)
* * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
* [enter]simplify:  Simplifying (* (/ b a) b)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (/ b (/ a b))
* [exit]simplify:  Simplified to (/ b (/ a b))
* * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
* [enter]simplify:  Simplifying (* b (/ b a))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (/ b (/ a b))
* [exit]simplify:  Simplified to (/ b (/ a b))
* * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
* * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
* * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
* * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* [enter]simplify:  Simplifying (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (34 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
* [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 (- 1 (* (/ b a) (/ b a)))))
* * [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 (21 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt-delta (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (/ (- (* a a) (* b b)) (* a a)) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (* a a) (* b b)) (* a a)) in b
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in b
* [misc]taylor:  Taking taylor expansion of (* a a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (* b b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* a a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (pow a 2) 0) into (pow a 2)
* [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
* [misc]backup-simplify:  Simplify (/ (pow a 2) (pow a 2)) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (* a a) (* b b)) (* a a)) in a
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* b b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (* b b) into (pow b 2)
* [misc]backup-simplify:  Simplify (- (pow b 2)) into (- (pow b 2))
* [misc]backup-simplify:  Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
* [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 (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
* [misc]taylor:  Taking taylor expansion of (/ (- (* a a) (* b b)) (* a a)) in a
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* b b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (* b b) into (pow b 2)
* [misc]backup-simplify:  Simplify (- (pow b 2)) into (- (pow b 2))
* [misc]backup-simplify:  Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
* [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 (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
* [misc]taylor:  Taking taylor expansion of (* -1 (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of -1 in b
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* b 0) (* 0 b)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)))) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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 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 (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow (* b (/ 1 a)) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
* [misc]approximate:  Taking taylor expansion of (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))) in b
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 b) (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [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 (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2))
* [misc]backup-simplify:  Simplify (/ -1 (/ 1 (pow a 2))) into (* -1 (pow a 2))
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 b)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 b)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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]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 1) (+ (* 1 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 b) (/ 1 b)) into (/ 1 (pow b 2))
* [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
* [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 (pow b 2))) 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow b 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [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 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 b) 0) (* 0 (/ 1 b))) 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 (- (+ (* 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 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (- (/ 1 (pow b 2))) (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 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 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 b) 0) (+ (* 0 0) (* 0 (/ 1 b)))) 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)) (* 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 (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (- (/ 1 (pow b 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 b)) (/ 1 a)) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
* [misc]approximate:  Taking taylor expansion of (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) in b
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- b)) (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [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 (* (/ -1 a) (/ -1 a)) into (/ 1 (pow a 2))
* [misc]backup-simplify:  Simplify (/ -1 (/ 1 (pow a 2))) into (* -1 (pow a 2))
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- b))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- b))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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]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 1) (+ (* 1 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 b) (/ -1 b)) into (/ 1 (pow b 2))
* [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
* [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 (pow b 2))) 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow b 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [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 (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 b) 0) (* 0 (/ -1 b))) 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 (- 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 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (- (/ 1 (pow b 2))) (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) 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 (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 b) 0) (+ (* 0 0) (* 0 (/ -1 b)))) 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 (- 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 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (- (/ 1 (pow b 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (- a))) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (- (* a a) (* b b)) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in b
* [misc]taylor:  Taking taylor expansion of (* a a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (* b b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* b b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (- (* a a) (* b b)) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* b b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
* [misc]backup-simplify:  Simplify (- (pow b 2)) into (- (pow b 2))
* [misc]backup-simplify:  Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
* [misc]taylor:  Taking taylor expansion of (- (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* b 0) (* 0 b)) 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 b
* [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 (+ (* b 0) (+ (* 0 0) (* 0 b))) 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 b
* [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 -1 into -1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) 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 b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) 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 b
* [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 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 b) (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 b)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 b)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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 b
* [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 b) (/ 1 b)) into (/ 1 (pow b 2))
* [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [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 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 b) 0) (* 0 (/ 1 b))) 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 b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 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 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 b) 0) (+ (* 0 0) (* 0 (/ 1 b)))) 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 b
* [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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- b)) (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- b))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- b))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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 b
* [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 b) (/ -1 b)) into (/ 1 (pow b 2))
* [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
* [misc]taylor:  Taking taylor expansion of (pow b 2) in b
* [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 (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 b) 0) (* 0 (/ -1 b))) 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 b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) 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 (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 b) 0) (+ (* 0 0) (* 0 (/ -1 b)))) 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 b
* [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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* a a) (* b b)) (* a a))) in b
* [misc]backup-simplify:  Simplify (fabs (/ (- (* a a) (* b b)) (* a a))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* a a) (* b b)) (* a a))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* a a) (* b b)) (* a a))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* a a) (* b b)) (* a a))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* a a) (* b b)) (* a a))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b
* [misc]backup-simplify:  Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) in b
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a)))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))) in b
* [misc]backup-simplify:  Simplify (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow (/ 1 a) 2)) (/ 1 (pow (/ 1 b) 2))) (pow (/ 1 a) 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* [misc]approximate:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))))) in (a b) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) in b
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) in a
* [misc]backup-simplify:  Simplify (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a))))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))) in b
* [misc]backup-simplify:  Simplify (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))) into (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))) into (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2))))
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [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 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) (pow a 2)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (- (/ 1 (pow (/ 1 (- a)) 2)) (/ 1 (pow (/ 1 (- b)) 2))) (pow (/ 1 (- a)) 2)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (log1p (expm1 (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (expm1 (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (expm1 (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (expm1 (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (expm1 (log1p (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (log1p (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (log1p (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (log1p (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (pow (/ (- (* a a) (* b b)) (* a a)) 1))))>
* * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (exp (- (log (- (* a a) (* b b))) (log (* a a)))))))>
* [enter]simplify:  Simplifying (- (log (- (* a a) (* b b))) (log (* a a)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (50 enodes)
* * [misc]simplify:  iters left: 1 (55 enodes)
* [exit]simplify:  Simplified to (- (log (* (- a b) (+ a b))) (log (* a a)))
* [exit]simplify:  Simplified to (- (log (* (- a b) (+ a b))) (log (* a a)))
* * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (exp (log (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (log (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (152 enodes)
* [exit]simplify:  Simplified to (log (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (log (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (log (exp (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (exp (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (76 enodes)
* * [misc]simplify:  iters left: 2 (99 enodes)
* * [misc]simplify:  iters left: 1 (123 enodes)
* [exit]simplify:  Simplified to (exp (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (exp (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (cbrt (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) (* a a)) (* a a)))))))>
* [enter]simplify:  Simplifying (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) (* a a)) (* a a)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (62 enodes)
* * [misc]simplify:  iters left: 3 (186 enodes)
* [exit]simplify:  Simplified to (pow (- 1 (* (/ b a) (/ b a))) 3)
* [exit]simplify:  Simplified to (pow (- 1 (* (/ b a) (/ b a))) 3)
* * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a)))) (cbrt (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (108 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a)))))
* [exit]simplify:  Simplified to (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a)))))
* [enter]simplify:  Simplifying (cbrt (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (cbrt (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (cbrt (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (cbrt (* (* (/ (- (* a a) (* b b)) (* a a)) (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (* (* (/ (- (* a a) (* b b)) (* a a)) (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (180 enodes)
* [exit]simplify:  Simplified to (pow (- 1 (* (/ b a) (/ b a))) 3)
* [exit]simplify:  Simplified to (pow (- 1 (* (/ b a) (/ b a))) 3)
* * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (sqrt (/ (- (* a a) (* b b)) (* a a))) (sqrt (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (sqrt (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* [enter]simplify:  Simplifying (sqrt (/ (- (* a a) (* b b)) (* a a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (- (- (* a a) (* b b))) (- (* a a))))))>
* [enter]simplify:  Simplifying (- (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (32 enodes)
* * [misc]simplify:  iters left: 2 (45 enodes)
* * [misc]simplify:  iters left: 1 (57 enodes)
* [exit]simplify:  Simplified to (* (- (+ a b)) (- a b))
* [exit]simplify:  Simplified to (* (- (+ a b)) (- a b))
* [enter]simplify:  Simplifying (- (* a a))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (* (- a) a)
* [exit]simplify:  Simplified to (* (- a) a)
* * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- (/ (* a a) (* a a)) (/ (* b b) (* a a))))))>
* [enter]simplify:  Simplifying (/ (* a a) (* a a))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (/ (* b b) (* a a))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a) (/ (cbrt (- (* a a) (* b b))) a)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (* (- a b) (+ a b))) a) (cbrt (* (- a b) (+ a b))))
* [exit]simplify:  Simplified to (* (/ (cbrt (* (- a b) (+ a b))) a) (cbrt (* (- a b) (+ a b))))
* [enter]simplify:  Simplifying (/ (cbrt (- (* a a) (* b b))) a)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (* (- a b) (+ a b))) a)
* [exit]simplify:  Simplified to (/ (cbrt (* (- a b) (+ a b))) a)
* * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (/ (sqrt (- (* a a) (* b b))) a) (/ (sqrt (- (* a a) (* b b))) a)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- (* a a) (* b b))) a)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ a b))) a)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ a b))) a)
* [enter]simplify:  Simplifying (/ (sqrt (- (* a a) (* b b))) a)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ a b))) a)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ a b))) a)
* * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (/ 1 a) (/ (- (* a a) (* b b)) a)))))>
* [enter]simplify:  Simplifying (/ 1 a)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (/ 1 a)
* [exit]simplify:  Simplified to (/ 1 a)
* [enter]simplify:  Simplifying (/ (- (* a a) (* b b)) a)
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (53 enodes)
* [exit]simplify:  Simplified to (* (/ (+ a b) a) (- a b))
* [exit]simplify:  Simplified to (* (/ (+ a b) a) (- a b))
* * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a)))))>
* [enter]simplify:  Simplifying (/ (+ a b) a)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (5 enodes)
* [exit]simplify:  Simplified to (/ (+ b a) a)
* [exit]simplify:  Simplified to (/ (+ b a) a)
* [enter]simplify:  Simplifying (/ (- a b) a)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (/ (- a b) a)
* [exit]simplify:  Simplified to (/ (- a b) a)
* * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* 1 (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* (- (* a a) (* b b)) (/ 1 (* a a))))))>
* [enter]simplify:  Simplifying (/ 1 (* a a))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 a) a)
* [exit]simplify:  Simplified to (/ (/ 1 a) a)
* * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ 1 (/ (* a a) (- (* a a) (* b b)))))))>
* [enter]simplify:  Simplifying (/ (* a a) (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (67 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (/ (/ a (- a b)) (/ (+ a b) a))
* [exit]simplify:  Simplified to (/ (/ a (- a b)) (/ (+ a b) a))
* * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (/ (- (* a a) (* b b)) a) a))))>
* [enter]simplify:  Simplifying (/ (- (* a a) (* b b)) a)
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (53 enodes)
* [exit]simplify:  Simplified to (* (/ (+ a b) a) (- a b))
* [exit]simplify:  Simplified to (* (/ (+ a b) a) (- a b))
* * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (/ (* a a) (cbrt (- (* a a) (* b b))))))))>
* [enter]simplify:  Simplifying (/ (* a a) (cbrt (- (* a a) (* b b))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (cbrt (* (- a b) (+ a b))))
* [exit]simplify:  Simplified to (/ (* a a) (cbrt (* (- a b) (+ a b))))
* * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (sqrt (- (* a a) (* b b))) (/ (* a a) (sqrt (- (* a a) (* b b))))))))>
* [enter]simplify:  Simplifying (/ (* a a) (sqrt (- (* a a) (* b b))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (sqrt (* (- a b) (+ a b))))
* [exit]simplify:  Simplified to (/ (* a a) (sqrt (* (- a b) (+ a b))))
* * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ 1 (/ (* a a) (- (* a a) (* b b)))))))>
* [enter]simplify:  Simplifying (/ (* a a) (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (67 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (/ (/ a (- a b)) (/ (+ a b) a))
* [exit]simplify:  Simplified to (/ (/ a (- a b)) (/ (+ a b) a))
* * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (+ a b) (/ (* a a) (- a b))))))>
* [enter]simplify:  Simplifying (/ (* a a) (- a b))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (- a b))
* [exit]simplify:  Simplified to (/ (* a a) (- a b))
* * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (- (pow (* a a) 3) (pow (* b b) 3)) (* (* a a) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))))))))>
* [enter]simplify:  Simplifying (* (* a a) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (85 enodes)
* * [misc]simplify:  iters left: 3 (169 enodes)
* * [misc]simplify:  iters left: 2 (316 enodes)
* * [misc]simplify:  iters left: 1 (485 enodes)
* [exit]simplify:  Simplified to (* (* a a) (fma (fma a a (* b b)) (* b b) (* (* a a) (* a a))))
* [exit]simplify:  Simplified to (* (* a a) (fma (fma a a (* b b)) (* b b) (* (* a a) (* a a))))
* * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (- (* (* a a) (* a a)) (* (* b b) (* b b))) (* (* a a) (+ (* a a) (* b b)))))))>
* [enter]simplify:  Simplifying (* (* a a) (+ (* a a) (* b b)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (69 enodes)
* * [misc]simplify:  iters left: 2 (99 enodes)
* * [misc]simplify:  iters left: 1 (109 enodes)
* [exit]simplify:  Simplified to (* (* a a) (fma b b (* a a)))
* [exit]simplify:  Simplified to (* (* a a) (fma b b (* a a)))
* * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (log1p (expm1 (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (expm1 (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (expm1 (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (expm1 (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (expm1 (log1p (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (log1p (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (log1p (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (log1p (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (fma a a (- (* b b))) (* a a)))))>
* [enter]simplify:  Simplifying (- (* b b))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (* (- b) b)
* [exit]simplify:  Simplified to (* (- b) b)
* * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (log (/ (exp (* a a)) (exp (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (/ (exp (* a a)) (exp (* b b)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (exp (- (* a a) (* b b)))
* [exit]simplify:  Simplified to (exp (- (* a a) (* b b)))
* * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (pow (- (* a a) (* b b)) 1) (* a a)))))>
* * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (exp (log (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (log (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (log (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (log (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (log (exp (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (exp (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (exp (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (exp (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (- a b) (+ a b))) (cbrt (* (- a b) (+ a b))))
* [exit]simplify:  Simplified to (* (cbrt (* (- a b) (+ a b))) (cbrt (* (- a b) (+ a b))))
* [enter]simplify:  Simplifying (cbrt (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (cbrt (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (cbrt (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (198 enodes)
* * [misc]simplify:  iters left: 1 (439 enodes)
* [exit]simplify:  Simplified to (pow (* (- a b) (+ a b)) 3)
* [exit]simplify:  Simplified to (pow (* (- a b) (+ a b)) 3)
* * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b)))) (* a a)))))>
* [enter]simplify:  Simplifying (sqrt (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (sqrt (* (+ a b) (- a b)))
* [enter]simplify:  Simplifying (sqrt (- (* a a) (* b b)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ a b) (- a b)))
* [exit]simplify:  Simplified to (sqrt (* (+ a b) (- a b)))
* * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (/ (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))) (* a a)))))>
* [enter]simplify:  Simplifying (- (pow (* a a) 3) (pow (* b b) 3))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (102 enodes)
* [exit]simplify:  Simplified to (- (* (pow a 3) (pow a 3)) (pow (* b b) 3))
* [exit]simplify:  Simplified to (- (* (pow a 3) (pow a 3)) (pow (* b b) 3))
* [enter]simplify:  Simplifying (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (47 enodes)
* * [misc]simplify:  iters left: 3 (82 enodes)
* * [misc]simplify:  iters left: 2 (110 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (fma (* b b) (fma a a (* b b)) (* (* a a) (* a a)))
* [exit]simplify:  Simplified to (fma (* b b) (fma a a (* b b)) (* (* a a) (* a a)))
* * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (+ (* a a) (- (* b b))) (* a a)))))>
* [enter]simplify:  Simplifying (- (* b b))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (* (- b) b)
* [exit]simplify:  Simplified to (* (- b) b)
* * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* 1 (- (* a a) (* b b))) (* a a)))))>
* * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (/ (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b))) (* a a)))))>
* [enter]simplify:  Simplifying (- (* (* a a) (* a a)) (* (* b b) (* b b)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (100 enodes)
* * [misc]simplify:  iters left: 1 (220 enodes)
* [exit]simplify:  Simplified to (- (* (* a a) (* a a)) (* (* b b) (* b b)))
* [exit]simplify:  Simplified to (- (* (* a a) (* a a)) (* (* b b) (* b b)))
* [enter]simplify:  Simplifying (+ (* a a) (* b b))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (fma b b (* a a))
* [exit]simplify:  Simplified to (fma b b (* a a))
* * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* (+ a b) (- a b)) (* a a)))))>
* [enter]simplify:  Simplifying (+ a b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ b a)
* [exit]simplify:  Simplified to (+ b a)
* [enter]simplify:  Simplifying (- a b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (- a b)
* [exit]simplify:  Simplified to (- a b)
* * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (log1p (expm1 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (expm1 (log1p (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (pow (fabs (/ (- (* a a) (* b b)) (* a a))) 1/2))>
* * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (pow (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1))>
* * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (exp (log (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (log (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (log (exp (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (exp (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* (* (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))) (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (69 enodes)
* * [misc]simplify:  iters left: 2 (90 enodes)
* * [misc]simplify:  iters left: 1 (110 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
* [enter]simplify:  Simplifying (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (cbrt (* (* (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (* (* (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (47 enodes)
* * [misc]simplify:  iters left: 3 (73 enodes)
* * [misc]simplify:  iters left: 2 (95 enodes)
* * [misc]simplify:  iters left: 1 (112 enodes)
* [exit]simplify:  Simplified to (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (* (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))))) (sqrt (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (cbrt (fabs (/ (- (* a a) (* b b)) (* a a))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (109 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt 1) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))>
* [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 (/ (- (* a a) (* b b)) (* a a))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (108 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [enter]simplify:  Simplifying (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
* * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (fabs (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt-delta (λ (a b) (* 1 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (35 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (94 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (94 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (* a a))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (94 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (75 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (75 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (75 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) +inf.0)) , with alts (#<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
* [enter]simplify:  Simplifying (fabs (- 1 (* (/ b a) (/ b a))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))