* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 145 additional inputs, on iter 1 have 111 / 256
* * * * [misc]points:  Computing exacts on every 9 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 145 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 69 additional inputs, on iter 2 have 187 / 256
* * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 69 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 34 additional inputs, on iter 3 have 222 / 256
* * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 34 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 4 have 240 / 256
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [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 (43 enodes)
* * [misc]simplify:  iters left: 3 (85 enodes)
* * [misc]simplify:  iters left: 2 (159 enodes)
* * [misc]simplify:  iters left: 1 (300 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 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 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 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 0 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 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify 0 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 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify 0 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 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 a) (* (/ 1 a) (/ 0 a))) into 0
* [misc]backup-simplify:  Simplify 0 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 (pow (* (/ 1 a) b) 2) into (pow (/ b 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 into 1
* [misc]backup-simplify:  Simplify (/ 1 b) 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 into 1
* [misc]backup-simplify:  Simplify (/ 1 b) 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 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 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 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 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 0 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 0 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 0 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 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 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]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 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 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]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 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2) into (pow (/ b 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 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 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 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 (* -1 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 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 (* -1 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 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 (* -1 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 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 (* -1 a)
* [misc]backup-simplify:  Simplify (* (* -1 a) (* -1 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 0 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)) (* (* -1 a) (/ 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 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)) (* (* -1 a) (/ 0 (/ 1 a)))) into 0
* [misc]backup-simplify:  Simplify 0 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 0 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)) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 (/ 1 a)) (* (* -1 a) (/ 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 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)) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 (/ 1 a)) (* (* -1 a) (/ 0 (/ 1 a)))) into 0
* [misc]backup-simplify:  Simplify 0 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 0 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)) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 (/ 1 a)) (* (* -1 a) (/ 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 0 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)) into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 (/ 1 a)) (* (* -1 a) (/ 0 (/ 1 a)))) into 0
* [misc]backup-simplify:  Simplify 0 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 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2) into (pow (/ b 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 (* 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 (* 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 (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 (* 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 (* 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 (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 (* 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 (* 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 (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 / 43 ] 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 (4 enodes)
* [exit]simplify:  Simplified to (+ 1 1)
* [exit]simplify:  Simplified to (+ 1 1)
* * * * [misc]progress:  [ 2 / 43 ] 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 (20 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
* * * * [misc]progress:  [ 4 / 43 ] 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 (4 enodes)
* [exit]simplify:  Simplified to (+ 1 1)
* [exit]simplify:  Simplified to (+ 1 1)
* * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
* * * * [misc]progress:  [ 6 / 43 ] 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 (8 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (53 enodes)
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
* * * * [misc]progress:  [ 7 / 43 ] 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 (24 enodes)
* * [misc]simplify:  iters left: 2 (39 enodes)
* * [misc]simplify:  iters left: 1 (71 enodes)
* [exit]simplify:  Simplified to (log (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (log (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 8 / 43 ] 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 (23 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (exp (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (exp (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 9 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (61 enodes)
* * [misc]simplify:  iters left: 3 (164 enodes)
* * [misc]simplify:  iters left: 2 (494 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:  [ 10 / 43 ] 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 (22 enodes)
* * [misc]simplify:  iters left: 2 (25 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 (21 enodes)
* * [misc]simplify:  iters left: 1 (24 enodes)
* [exit]simplify:  Simplified to (cbrt (* (/ b a) (/ b a)))
* [exit]simplify:  Simplified to (cbrt (* (/ b a) (/ b a)))
* * * * [misc]progress:  [ 11 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (67 enodes)
* * [misc]simplify:  iters left: 3 (171 enodes)
* * [misc]simplify:  iters left: 2 (445 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 / 43 ] 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 (22 enodes)
* * [misc]simplify:  iters left: 1 (25 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 (22 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (fabs (/ b a))
* [exit]simplify:  Simplified to (fabs (/ b a))
* * * * [misc]progress:  [ 13 / 43 ] 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:  [ 14 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 15 / 43 ] 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 (11 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (39 enodes)
* [exit]simplify:  Simplified to (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a))
* [exit]simplify:  Simplified to (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a))
* * * * [misc]progress:  [ 16 / 43 ] 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 (12 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* [exit]simplify:  Simplified to (* (/ b a) (sqrt (/ b a)))
* * * * [misc]progress:  [ 17 / 43 ] 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)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (/ b a)
* [exit]simplify:  Simplified to (/ b a)
* * * * [misc]progress:  [ 18 / 43 ] 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 b) a)
* [exit]simplify:  Simplified to (/ (* b b) a)
* * * * [misc]progress:  [ 19 / 43 ] 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 (12 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:  [ 20 / 43 ] 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 (12 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:  [ 21 / 43 ] 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 (20 enodes)
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* [exit]simplify:  Simplified to (* (/ b a) (/ b a))
* * * * [misc]progress:  [ 22 / 43 ] 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 (24 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (/ b (* a a))
* [exit]simplify:  Simplified to (/ b (* a a))
* * * * [misc]progress:  [ 23 / 43 ] 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 b) a)
* [exit]simplify:  Simplified to (/ (* b b) a)
* * * * [misc]progress:  [ 24 / 43 ] 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 b) a)
* [exit]simplify:  Simplified to (/ (* b b) a)
* * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
* * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
* * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
* * * * [misc]progress:  [ 28 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 29 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 30 / 43 ] 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 (18 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (46 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (71 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 31 / 43 ] 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 (19 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (62 enodes)
* * [misc]simplify:  iters left: 1 (75 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:  [ 32 / 43 ] 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 (19 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (47 enodes)
* * [misc]simplify:  iters left: 2 (59 enodes)
* * [misc]simplify:  iters left: 1 (72 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 33 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 34 / 43 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (44 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (69 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:  [ 35 / 43 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (70 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:  [ 36 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt-delta (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
* * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (pow (/ b a) 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (69 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (pow (/ b a) 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (69 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
* [enter]simplify:  Simplifying (sqrt (fabs (- 1 (pow (/ b a) 2))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (69 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 41 / 43 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (75 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 42 / 43 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (75 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 43 / 43 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (75 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (pow a 2) 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 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 (pow b 2) into (pow b 2)
* [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 (pow b 2) into (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 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 (pow b 2) into (pow b 2)
* [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 (pow b 2) into (pow b 2)
* [misc]taylor:  Taking taylor expansion of (pow b 2) 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]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 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]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 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]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 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]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)) into (+ (/ (pow b 2) (pow a 2)) 1)
* [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 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 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 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -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 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 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 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 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 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 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 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 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 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 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 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 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 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 (/ 1 (pow b 2)) into (/ 1 (pow b 2))
* [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 2)) into (/ 1 (pow b 2))
* [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 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 0 into 0
* [misc]backup-simplify:  Simplify 0 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 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 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 into 0
* [misc]backup-simplify:  Simplify 0 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 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 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 (+ 1 (pow (* (/ 1 (/ 1 b)) (/ 1 a)) 2)) into (+ (/ (pow b 2) (pow a 2)) 1)
* [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 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 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 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -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 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 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 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 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 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 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 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 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 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 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 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 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 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 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 0 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 (/ 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 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 0 into 0
* [misc]backup-simplify:  Simplify (/ 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 (pow b 2) in b
* [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 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 0 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 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 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 0 into 0
* [misc]backup-simplify:  Simplify 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 -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 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 0 into 0
* [misc]backup-simplify:  Simplify 0 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)) 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)) 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 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 (+ 1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (- a))) 2)) into (+ (/ (pow b 2) (pow a 2)) 1)
* * * * [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 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 (pow b 2) into (pow b 2)
* [misc]taylor:  Taking taylor expansion of (pow b 2) 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]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 0 into 0
* [misc]backup-simplify:  Simplify 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 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 (+ (pow b 2) (pow 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 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 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 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 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 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 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 into 1
* [misc]backup-simplify:  Simplify 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 (* (/ 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 (/ 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 (pow b 2) in b
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 into 0
* [misc]backup-simplify:  Simplify 0 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 (+ (pow (/ 1 (/ 1 a)) 2) (pow (/ 1 (/ 1 b)) 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 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 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 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 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 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 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 into 1
* [misc]backup-simplify:  Simplify 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 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 0 into 0
* [misc]backup-simplify:  Simplify 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 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 0 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 (/ 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 (pow b 2) in b
* [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 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 0 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 -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 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 0 into 0
* [misc]backup-simplify:  Simplify 0 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)) 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)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 (+ (pow (/ 1 (/ 1 (- a))) 2) (pow (/ 1 (/ 1 (- b))) 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 (* 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 (* 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 (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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
* [misc]backup-simplify:  Simplify (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) into (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (/ 1 a) 2) (- (/ 1 (pow (/ 1 a) 2)) (/ 1 (pow (/ 1 b) 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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
* [misc]taylor:  Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
* [misc]backup-simplify:  Simplify (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) into (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 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 (/ 1 (- a)) 2) (- (/ 1 (pow (/ 1 (- a)) 2)) (/ 1 (pow (/ 1 (- b)) 2)))))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (pow (/ (- (* a a) (* b b)) (* a a)) 1))))>
* * * * [misc]progress:  [ 2 / 58 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (229 enodes)
* [exit]simplify:  Simplified to (- (log (* (- a b) (+ b a))) (+ (log a) (log a)))
* [exit]simplify:  Simplified to (- (log (* (- a b) (+ b a))) (+ (log a) (log a)))
* * * * [misc]progress:  [ 3 / 58 ] 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 (52 enodes)
* * [misc]simplify:  iters left: 3 (111 enodes)
* * [misc]simplify:  iters left: 2 (217 enodes)
* * [misc]simplify:  iters left: 1 (412 enodes)
* [exit]simplify:  Simplified to (log (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (log (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 4 / 58 ] 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 (45 enodes)
* * [misc]simplify:  iters left: 3 (94 enodes)
* * [misc]simplify:  iters left: 2 (172 enodes)
* * [misc]simplify:  iters left: 1 (336 enodes)
* [exit]simplify:  Simplified to (pow (exp (- a b)) (/ (+ b a) (* a a)))
* [exit]simplify:  Simplified to (pow (exp (- a b)) (/ (+ b a) (* a a)))
* * * * [misc]progress:  [ 5 / 58 ] 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 (30 enodes)
* * [misc]simplify:  iters left: 4 (136 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:  [ 6 / 58 ] 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 (43 enodes)
* * [misc]simplify:  iters left: 3 (85 enodes)
* * [misc]simplify:  iters left: 2 (159 enodes)
* * [misc]simplify:  iters left: 1 (300 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 (42 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (158 enodes)
* * [misc]simplify:  iters left: 1 (298 enodes)
* [exit]simplify:  Simplified to (cbrt (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (cbrt (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 7 / 58 ] 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 (25 enodes)
* * [misc]simplify:  iters left: 4 (103 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 / 58 ] 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 (42 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (158 enodes)
* * [misc]simplify:  iters left: 1 (298 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 (42 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (158 enodes)
* * [misc]simplify:  iters left: 1 (298 enodes)
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* [exit]simplify:  Simplified to (sqrt (- 1 (* (/ b a) (/ b a))))
* * * * [misc]progress:  [ 9 / 58 ] 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 (25 enodes)
* * [misc]simplify:  iters left: 3 (60 enodes)
* * [misc]simplify:  iters left: 2 (141 enodes)
* * [misc]simplify:  iters left: 1 (273 enodes)
* [exit]simplify:  Simplified to (* (+ b a) (- b a))
* [exit]simplify:  Simplified to (* (+ b a) (- b a))
* [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:  [ 10 / 58 ] 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 (20 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:  [ 11 / 58 ] 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 (24 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (65 enodes)
* * [misc]simplify:  iters left: 1 (136 enodes)
* [exit]simplify:  Simplified to (/ (* (cbrt (* (- a b) (+ b a))) (cbrt (* (- a b) (+ b a)))) a)
* [exit]simplify:  Simplified to (/ (* (cbrt (* (- a b) (+ b a))) (cbrt (* (- a b) (+ b a)))) a)
* [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 (19 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (59 enodes)
* * [misc]simplify:  iters left: 1 (130 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (* (- a b) (+ b a))) a)
* [exit]simplify:  Simplified to (/ (cbrt (* (- a b) (+ b a))) a)
* * * * [misc]progress:  [ 12 / 58 ] 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 (19 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (59 enodes)
* * [misc]simplify:  iters left: 1 (130 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ b a))) a)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ b a))) 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 (19 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (59 enodes)
* * [misc]simplify:  iters left: 1 (130 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ b a))) a)
* [exit]simplify:  Simplified to (/ (sqrt (* (- a b) (+ b a))) a)
* * * * [misc]progress:  [ 13 / 58 ] 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 (29 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (195 enodes)
* [exit]simplify:  Simplified to (- a (/ b (/ a b)))
* [exit]simplify:  Simplified to (- a (/ b (/ a b)))
* * * * [misc]progress:  [ 14 / 58 ] 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 (/ (+ a b) a)
* [exit]simplify:  Simplified to (/ (+ a b) a)
* [enter]simplify:  Simplifying (/ (- a b) a)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (/ (- a b) a)
* [exit]simplify:  Simplified to (/ (- a b) a)
* * * * [misc]progress:  [ 15 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (* 1 (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 16 / 58 ] 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:  [ 17 / 58 ] 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 (31 enodes)
* * [misc]simplify:  iters left: 3 (65 enodes)
* * [misc]simplify:  iters left: 2 (114 enodes)
* * [misc]simplify:  iters left: 1 (207 enodes)
* [exit]simplify:  Simplified to (/ (/ (* a a) (+ b a)) (- a b))
* [exit]simplify:  Simplified to (/ (/ (* a a) (+ b a)) (- a b))
* * * * [misc]progress:  [ 18 / 58 ] 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 (29 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (195 enodes)
* [exit]simplify:  Simplified to (- a (/ b (/ a b)))
* [exit]simplify:  Simplified to (- a (/ b (/ a b)))
* * * * [misc]progress:  [ 19 / 58 ] 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 (23 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (135 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (cbrt (* (- a b) (+ b a))))
* [exit]simplify:  Simplified to (/ (* a a) (cbrt (* (- a b) (+ b a))))
* * * * [misc]progress:  [ 20 / 58 ] 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 (23 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (135 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (sqrt (* (- a b) (+ b a))))
* [exit]simplify:  Simplified to (/ (* a a) (sqrt (* (- a b) (+ b a))))
* * * * [misc]progress:  [ 21 / 58 ] 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 (31 enodes)
* * [misc]simplify:  iters left: 3 (65 enodes)
* * [misc]simplify:  iters left: 2 (114 enodes)
* * [misc]simplify:  iters left: 1 (207 enodes)
* [exit]simplify:  Simplified to (/ (/ (* a a) (+ b a)) (- a b))
* [exit]simplify:  Simplified to (/ (/ (* a a) (+ b a)) (- a b))
* * * * [misc]progress:  [ 22 / 58 ] 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 (9 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to (/ (* a a) (- a b))
* [exit]simplify:  Simplified to (/ (* a a) (- a b))
* * * * [misc]progress:  [ 23 / 58 ] 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 (38 enodes)
* * [misc]simplify:  iters left: 4 (106 enodes)
* * [misc]simplify:  iters left: 3 (259 enodes)
* * [misc]simplify:  iters left: 2 (454 enodes)
* [exit]simplify:  Simplified to (+ (* (* (* b b) a) (* (* b b) a)) (* (* (* a a) (* a a)) (+ (* b b) (* a a))))
* [exit]simplify:  Simplified to (+ (* (* (* b b) a) (* (* b b) a)) (* (* (* a a) (* a a)) (+ (* b b) (* a a))))
* * * * [misc]progress:  [ 24 / 58 ] 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 (53 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (61 enodes)
* [exit]simplify:  Simplified to (* (+ (* b b) (* a a)) (* a a))
* [exit]simplify:  Simplified to (* (+ (* b b) (* a a)) (* a a))
* * * * [misc]progress:  [ 25 / 58 ] 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 (29 enodes)
* * [misc]simplify:  iters left: 1 (54 enodes)
* [exit]simplify:  Simplified to (exp (- (* a a) (* b b)))
* [exit]simplify:  Simplified to (exp (- (* a a) (* b b)))
* * * * [misc]progress:  [ 26 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (pow (- (* a a) (* b b)) 1) (* a a)))))>
* * * * [misc]progress:  [ 27 / 58 ] 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 (21 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (62 enodes)
* [exit]simplify:  Simplified to (log (* (- a b) (+ b a)))
* [exit]simplify:  Simplified to (log (* (- a b) (+ b a)))
* * * * [misc]progress:  [ 28 / 58 ] 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 (29 enodes)
* * [misc]simplify:  iters left: 2 (54 enodes)
* * [misc]simplify:  iters left: 1 (103 enodes)
* [exit]simplify:  Simplified to (exp (* (+ b a) (- a b)))
* [exit]simplify:  Simplified to (exp (* (+ b a) (- a b)))
* * * * [misc]progress:  [ 29 / 58 ] 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 (19 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (59 enodes)
* * [misc]simplify:  iters left: 1 (130 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (- a b) (+ b a))) (cbrt (* (- a b) (+ b a))))
* [exit]simplify:  Simplified to (* (cbrt (* (- a b) (+ b a))) (cbrt (* (- a b) (+ b a))))
* [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 (18 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (cbrt (* (- a b) (+ b a)))
* [exit]simplify:  Simplified to (cbrt (* (- a b) (+ b a)))
* * * * [misc]progress:  [ 30 / 58 ] 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 (40 enodes)
* * [misc]simplify:  iters left: 3 (212 enodes)
* [exit]simplify:  Simplified to (pow (* (- a b) (+ b a)) 3)
* [exit]simplify:  Simplified to (pow (* (- a b) (+ b a)) 3)
* * * * [misc]progress:  [ 31 / 58 ] 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 (18 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- a b) (+ b a)))
* [exit]simplify:  Simplified to (sqrt (* (- a b) (+ b 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 (18 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- a b) (+ b a)))
* [exit]simplify:  Simplified to (sqrt (* (- a b) (+ b a)))
* * * * [misc]progress:  [ 32 / 58 ] 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 (20 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (92 enodes)
* * [misc]simplify:  iters left: 1 (119 enodes)
* [exit]simplify:  Simplified to (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))
* [exit]simplify:  Simplified to (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow 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 (28 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (92 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (+ (* (* a a) (* a a)) (* (+ (* b b) (* a a)) (* b b)))
* [exit]simplify:  Simplified to (+ (* (* a a) (* a a)) (* (+ (* b b) (* a a)) (* b b)))
* * * * [misc]progress:  [ 33 / 58 ] 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:  [ 34 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (sqrt (fabs (/ (* 1 (- (* a a) (* b b))) (* a a)))))>
* * * * [misc]progress:  [ 35 / 58 ] 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 (20 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (72 enodes)
* * [misc]simplify:  iters left: 2 (170 enodes)
* [exit]simplify:  Simplified to (* (- (* a a) (* b b)) (+ (* b b) (* a a)))
* [exit]simplify:  Simplified to (* (- (* a a) (* b b)) (+ (* b b) (* a a)))
* [enter]simplify:  Simplifying (+ (* a a) (* b b))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (+ (* b b) (* a a))
* [exit]simplify:  Simplified to (+ (* b b) (* a a))
* * * * [misc]progress:  [ 36 / 58 ] 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 (+ a b)
* [exit]simplify:  Simplified to (+ a b)
* [enter]simplify:  Simplifying (- a b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (- a b)
* [exit]simplify:  Simplified to (- a b)
* * * * [misc]progress:  [ 37 / 58 ] 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:  [ 38 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (pow (fabs (/ (- (* a a) (* b b)) (* a a))) 1/2))>
* * * * [misc]progress:  [ 39 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (pow (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1))>
* * * * [misc]progress:  [ 40 / 58 ] 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 41 / 58 ] 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 42 / 58 ] 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 (45 enodes)
* * [misc]simplify:  iters left: 3 (87 enodes)
* * [misc]simplify:  iters left: 2 (161 enodes)
* * [misc]simplify:  iters left: 1 (303 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 43 / 58 ] 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 (49 enodes)
* * [misc]simplify:  iters left: 3 (91 enodes)
* * [misc]simplify:  iters left: 2 (165 enodes)
* * [misc]simplify:  iters left: 1 (307 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:  [ 44 / 58 ] 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 (46 enodes)
* * [misc]simplify:  iters left: 3 (88 enodes)
* * [misc]simplify:  iters left: 2 (162 enodes)
* * [misc]simplify:  iters left: 1 (302 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 45 / 58 ] 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 46 / 58 ] 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 (43 enodes)
* * [misc]simplify:  iters left: 3 (85 enodes)
* * [misc]simplify:  iters left: 2 (159 enodes)
* * [misc]simplify:  iters left: 1 (300 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:  [ 47 / 58 ] 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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 (44 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (160 enodes)
* * [misc]simplify:  iters left: 1 (302 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:  [ 48 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (fabs (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 49 / 58 ] simplifiying candidate #<alt-delta (λ (a b) (* 1 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))))>
* * * * [misc]progress:  [ 50 / 58 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1))))>
* [enter]simplify:  Simplifying (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (+ (* (/ b a) (/ b a)) 1)))
* * * * [misc]progress:  [ 51 / 58 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1))))>
* [enter]simplify:  Simplifying (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (+ (* (/ b a) (/ b a)) 1)))
* * * * [misc]progress:  [ 52 / 58 ] simplifiying candidate #<alt-event (λ (a b) (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1))))>
* [enter]simplify:  Simplifying (sqrt (fabs (+ (/ (pow b 2) (pow a 2)) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (+ (* (/ b a) (/ b a)) 1)))
* * * * [misc]progress:  [ 53 / 58 ] 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 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (/ (+ (* b b) (* a a)) (* a a))))
* * * * [misc]progress:  [ 54 / 58 ] 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 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (/ (+ (* b b) (* a a)) (* a a))))
* * * * [misc]progress:  [ 55 / 58 ] 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 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (/ (+ (* b b) (* a a)) (* a a))))
* * * * [misc]progress:  [ 56 / 58 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (187 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 57 / 58 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (187 enodes)
* [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
* * * * [misc]progress:  [ 58 / 58 ] 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 (16 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (187 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)))) +nan.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))))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4085 additional inputs, on iter 1 have 3915 / 8000
* * * * [misc]points:  Computing exacts on every 255 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 127 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 63 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 4085 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 4085 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2081 additional inputs, on iter 2 have 5919 / 8000
* * * * [misc]points:  Computing exacts on every 130 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 65 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 32 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 16 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 2081 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 2081 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1017 additional inputs, on iter 3 have 6983 / 8000
* * * * [misc]points:  Computing exacts on every 63 of 1017 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 1017 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 1017 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 1017 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 1017 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 1017 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 497 additional inputs, on iter 4 have 7503 / 8000
* * * * [misc]points:  Computing exacts on every 31 of 497 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 497 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 497 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 497 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 497 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 227 additional inputs, on iter 5 have 7773 / 8000
* * * * [misc]points:  Computing exacts on every 14 of 227 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 227 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 227 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 227 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 126 additional inputs, on iter 6 have 7874 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 126 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 126 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 126 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 64 additional inputs, on iter 7 have 7936 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 64 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 32 additional inputs, on iter 8 have 7968 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 32 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 23 additional inputs, on iter 9 have 7977 / 8000
* * * * [misc]points:  Computing exacts for 23 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 7990 / 8000
* * * * [misc]points:  Computing exacts for 10 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8002 points with exact outputs