14.826 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.025 * * [simplify]: iteration 0: 8 enodes
0.027 * * [simplify]: iteration 1: 19 enodes
0.029 * * [simplify]: iteration 2: 48 enodes
0.036 * * [simplify]: iteration 3: 103 enodes
0.067 * * [simplify]: iteration 4: 330 enodes
0.215 * * [simplify]: iteration 5: 1622 enodes
1.629 * * [simplify]: iteration complete: 5001 enodes
1.629 * * [simplify]: Extracting #0: cost 1 inf + 0
1.629 * * [simplify]: Extracting #1: cost 2 inf + 0
1.629 * * [simplify]: Extracting #2: cost 3 inf + 0
1.630 * * [simplify]: Extracting #3: cost 331 inf + 0
1.637 * * [simplify]: Extracting #4: cost 1148 inf + 282
1.654 * * [simplify]: Extracting #5: cost 1143 inf + 3221
1.665 * * [simplify]: Extracting #6: cost 282 inf + 9420
1.677 * * [simplify]: Extracting #7: cost 0 inf + 11806
1.688 * [simplify]: Simplified to:
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.698 * * [progress]: iteration 1 / 4
1.698 * * * [progress]: picking best candidate
1.713 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>
1.713 * * * [progress]: localizing error
1.735 * * * [progress]: generating rewritten candidates
1.735 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.738 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.739 * * * [progress]: generating series expansions
1.739 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.739 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.739 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) in (b a) around 0
1.740 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) in a
1.740 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ b a)) (/ b a) 1)) in a
1.740 * [backup-simplify]: Simplify (fabs (fma (- (/ b a)) (/ b a) 1)) into (fabs (fma (- (/ b a)) (/ b a) 1))
1.740 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.741 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) in b
1.741 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ b a)) (/ b a) 1)) in b
1.741 * [backup-simplify]: Simplify (fabs (fma (- (/ b a)) (/ b a) 1)) into (fabs (fma (- (/ b a)) (/ b a) 1))
1.741 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.741 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.741 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) in b
1.741 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ b a)) (/ b a) 1)) in b
1.741 * [backup-simplify]: Simplify (fabs (fma (- (/ b a)) (/ b a) 1)) into (fabs (fma (- (/ b a)) (/ b a) 1))
1.742 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.742 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.742 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) in a
1.742 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ b a)) (/ b a) 1)) in a
1.742 * [backup-simplify]: Simplify (fabs (fma (- (/ b a)) (/ b a) 1)) into (fabs (fma (- (/ b a)) (/ b a) 1))
1.742 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.743 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.743 * [taylor]: Taking taylor expansion of 0 in a
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.744 * [taylor]: Taking taylor expansion of 0 in a
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.745 * [backup-simplify]: Simplify 0 into 0
1.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))) into 0
1.746 * [taylor]: Taking taylor expansion of 0 in a
1.746 * [backup-simplify]: Simplify 0 into 0
1.746 * [backup-simplify]: Simplify 0 into 0
1.747 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.747 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ (/ 1 b) (/ 1 a))) (/ (/ 1 b) (/ 1 a)) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.747 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in (b a) around 0
1.747 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in a
1.747 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in a
1.747 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.747 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.748 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.748 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in b
1.748 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in b
1.748 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.748 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.748 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.749 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in b
1.749 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in b
1.749 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.749 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.749 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.749 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in a
1.749 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in a
1.749 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.750 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.750 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.750 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.750 * [taylor]: Taking taylor expansion of 0 in a
1.750 * [backup-simplify]: Simplify 0 into 0
1.750 * [backup-simplify]: Simplify 0 into 0
1.750 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.752 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.753 * [taylor]: Taking taylor expansion of 0 in a
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ (/ 1 a) (/ 1 b))) (/ (/ 1 a) (/ 1 b)) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.754 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ (/ 1 (- b)) (/ 1 (- a)))) (/ (/ 1 (- b)) (/ 1 (- a))) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.754 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in (b a) around 0
1.754 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in a
1.754 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in a
1.755 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.755 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.755 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in b
1.755 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in b
1.755 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.755 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.756 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.756 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in b
1.756 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in b
1.756 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.756 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.756 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.757 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) in a
1.757 * [taylor]: Taking taylor expansion of (fabs (fma (- (/ a b)) (/ a b) 1)) in a
1.757 * [backup-simplify]: Simplify (fabs (fma (- (/ a b)) (/ a b) 1)) into (fabs (fma (- (/ a b)) (/ a b) 1))
1.757 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.757 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))) into (sqrt (fabs (fma (- (/ a b)) (/ a b) 1)))
1.757 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify 0 into 0
1.759 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.759 * [taylor]: Taking taylor expansion of 0 in a
1.759 * [backup-simplify]: Simplify 0 into 0
1.759 * [backup-simplify]: Simplify 0 into 0
1.759 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.760 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (- (/ a b)) (/ a b) 1))))) into 0
1.761 * [taylor]: Taking taylor expansion of 0 in a
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify (sqrt (fabs (fma (- (/ (/ 1 (- a)) (/ 1 (- b)))) (/ (/ 1 (- a)) (/ 1 (- b))) 1))) into (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
1.761 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.762 * [backup-simplify]: Simplify (fma (- (/ b a)) (/ b a) 1) into (fma (- (/ b a)) (/ b a) 1)
1.762 * [approximate]: Taking taylor expansion of (fma (- (/ b a)) (/ b a) 1) in (b a) around 0
1.762 * [taylor]: Taking taylor expansion of (fma (- (/ b a)) (/ b a) 1) in a
1.762 * [taylor]: Rewrote expression to (+ (* (- (/ b a)) (/ b a)) 1)
1.762 * [taylor]: Taking taylor expansion of (* (- (/ b a)) (/ b a)) in a
1.762 * [taylor]: Taking taylor expansion of (- (/ b a)) in a
1.762 * [taylor]: Taking taylor expansion of (/ b a) in a
1.762 * [taylor]: Taking taylor expansion of b in a
1.762 * [backup-simplify]: Simplify b into b
1.762 * [taylor]: Taking taylor expansion of a in a
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (/ b 1) into b
1.762 * [taylor]: Taking taylor expansion of (/ b a) in a
1.762 * [taylor]: Taking taylor expansion of b in a
1.762 * [backup-simplify]: Simplify b into b
1.762 * [taylor]: Taking taylor expansion of a in a
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (/ b 1) into b
1.762 * [taylor]: Taking taylor expansion of 1 in a
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [taylor]: Taking taylor expansion of (fma (- (/ b a)) (/ b a) 1) in b
1.763 * [taylor]: Rewrote expression to (+ (* (- (/ b a)) (/ b a)) 1)
1.763 * [taylor]: Taking taylor expansion of (* (- (/ b a)) (/ b a)) in b
1.763 * [taylor]: Taking taylor expansion of (- (/ b a)) in b
1.763 * [taylor]: Taking taylor expansion of (/ b a) in b
1.763 * [taylor]: Taking taylor expansion of b in b
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [taylor]: Taking taylor expansion of a in b
1.763 * [backup-simplify]: Simplify a into a
1.763 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.763 * [taylor]: Taking taylor expansion of (/ b a) in b
1.763 * [taylor]: Taking taylor expansion of b in b
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [taylor]: Taking taylor expansion of a in b
1.763 * [backup-simplify]: Simplify a into a
1.763 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.763 * [taylor]: Taking taylor expansion of 1 in b
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [taylor]: Taking taylor expansion of (fma (- (/ b a)) (/ b a) 1) in b
1.763 * [taylor]: Rewrote expression to (+ (* (- (/ b a)) (/ b a)) 1)
1.763 * [taylor]: Taking taylor expansion of (* (- (/ b a)) (/ b a)) in b
1.763 * [taylor]: Taking taylor expansion of (- (/ b a)) in b
1.763 * [taylor]: Taking taylor expansion of (/ b a) in b
1.763 * [taylor]: Taking taylor expansion of b in b
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [taylor]: Taking taylor expansion of a in b
1.763 * [backup-simplify]: Simplify a into a
1.764 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.764 * [taylor]: Taking taylor expansion of (/ b a) in b
1.764 * [taylor]: Taking taylor expansion of b in b
1.764 * [backup-simplify]: Simplify 0 into 0
1.764 * [backup-simplify]: Simplify 1 into 1
1.764 * [taylor]: Taking taylor expansion of a in b
1.764 * [backup-simplify]: Simplify a into a
1.764 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.764 * [taylor]: Taking taylor expansion of 1 in b
1.764 * [backup-simplify]: Simplify 1 into 1
1.764 * [backup-simplify]: Simplify (+ 0 1) into 1
1.764 * [taylor]: Taking taylor expansion of 1 in a
1.764 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (+ 0 0) into 0
1.765 * [taylor]: Taking taylor expansion of 0 in a
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.765 * [backup-simplify]: Simplify (* (- (/ 1 a)) (/ 1 a)) into (/ -1 (pow a 2))
1.765 * [backup-simplify]: Simplify (+ (/ -1 (pow a 2)) 0) into (- (/ 1 (pow a 2)))
1.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a
1.765 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.766 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.766 * [taylor]: Taking taylor expansion of a in a
1.766 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify 1 into 1
1.766 * [backup-simplify]: Simplify (* 1 1) into 1
1.766 * [backup-simplify]: Simplify (/ 1 1) into 1
1.767 * [backup-simplify]: Simplify (- 1) into -1
1.767 * [backup-simplify]: Simplify -1 into -1
1.767 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.767 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
1.767 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
1.768 * [backup-simplify]: Simplify (- 0) into 0
1.768 * [backup-simplify]: Simplify (+ (* (- (/ 1 a)) 0) (* 0 (/ 1 a))) into 0
1.774 * [backup-simplify]: Simplify (+ 0 0) into 0
1.774 * [taylor]: Taking taylor expansion of 0 in a
1.774 * [backup-simplify]: Simplify 0 into 0
1.775 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.776 * [backup-simplify]: Simplify (- 0) into 0
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.776 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.777 * [backup-simplify]: Simplify (- 0) into 0
1.777 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.778 * [backup-simplify]: Simplify (- 0) into 0
1.778 * [backup-simplify]: Simplify (+ (* (- (/ 1 a)) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
1.779 * [backup-simplify]: Simplify (+ 0 0) into 0
1.779 * [taylor]: Taking taylor expansion of 0 in a
1.779 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.781 * [backup-simplify]: Simplify (- 0) into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
1.782 * [backup-simplify]: Simplify (fma (- (/ (/ 1 b) (/ 1 a))) (/ (/ 1 b) (/ 1 a)) 1) into (fma (- (/ a b)) (/ a b) 1)
1.782 * [approximate]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in (b a) around 0
1.782 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in a
1.782 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.782 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in a
1.782 * [taylor]: Taking taylor expansion of (- (/ a b)) in a
1.782 * [taylor]: Taking taylor expansion of (/ a b) in a
1.782 * [taylor]: Taking taylor expansion of a in a
1.782 * [backup-simplify]: Simplify 0 into 0
1.782 * [backup-simplify]: Simplify 1 into 1
1.782 * [taylor]: Taking taylor expansion of b in a
1.782 * [backup-simplify]: Simplify b into b
1.782 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.782 * [taylor]: Taking taylor expansion of (/ a b) in a
1.782 * [taylor]: Taking taylor expansion of a in a
1.782 * [backup-simplify]: Simplify 0 into 0
1.782 * [backup-simplify]: Simplify 1 into 1
1.782 * [taylor]: Taking taylor expansion of b in a
1.782 * [backup-simplify]: Simplify b into b
1.782 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.783 * [taylor]: Taking taylor expansion of 1 in a
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in b
1.783 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.783 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in b
1.783 * [taylor]: Taking taylor expansion of (- (/ a b)) in b
1.783 * [taylor]: Taking taylor expansion of (/ a b) in b
1.783 * [taylor]: Taking taylor expansion of a in b
1.783 * [backup-simplify]: Simplify a into a
1.783 * [taylor]: Taking taylor expansion of b in b
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [backup-simplify]: Simplify (/ a 1) into a
1.783 * [taylor]: Taking taylor expansion of (/ a b) in b
1.783 * [taylor]: Taking taylor expansion of a in b
1.783 * [backup-simplify]: Simplify a into a
1.783 * [taylor]: Taking taylor expansion of b in b
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [backup-simplify]: Simplify (/ a 1) into a
1.783 * [taylor]: Taking taylor expansion of 1 in b
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in b
1.783 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.783 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in b
1.783 * [taylor]: Taking taylor expansion of (- (/ a b)) in b
1.784 * [taylor]: Taking taylor expansion of (/ a b) in b
1.784 * [taylor]: Taking taylor expansion of a in b
1.784 * [backup-simplify]: Simplify a into a
1.784 * [taylor]: Taking taylor expansion of b in b
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [backup-simplify]: Simplify (/ a 1) into a
1.784 * [taylor]: Taking taylor expansion of (/ a b) in b
1.784 * [taylor]: Taking taylor expansion of a in b
1.784 * [backup-simplify]: Simplify a into a
1.784 * [taylor]: Taking taylor expansion of b in b
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [backup-simplify]: Simplify (/ a 1) into a
1.784 * [taylor]: Taking taylor expansion of 1 in b
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [backup-simplify]: Simplify (- a) into (- a)
1.784 * [backup-simplify]: Simplify (* (- a) a) into (* -1 (pow a 2))
1.784 * [backup-simplify]: Simplify (+ (* -1 (pow a 2)) 0) into (- (pow a 2))
1.784 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a
1.784 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.784 * [taylor]: Taking taylor expansion of a in a
1.784 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (- a) into (- a)
1.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1.787 * [backup-simplify]: Simplify (- 0) into 0
1.787 * [backup-simplify]: Simplify (+ (* (- a) 0) (* 0 a)) into 0
1.788 * [backup-simplify]: Simplify (+ 0 0) into 0
1.788 * [taylor]: Taking taylor expansion of 0 in a
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify (- a) into (- a)
1.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.790 * [backup-simplify]: Simplify (- 0) into 0
1.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.791 * [backup-simplify]: Simplify (- 0) into 0
1.792 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (* 0 a))) into 0
1.792 * [backup-simplify]: Simplify (+ 0 1) into 1
1.792 * [taylor]: Taking taylor expansion of 1 in a
1.792 * [backup-simplify]: Simplify 1 into 1
1.793 * [backup-simplify]: Simplify 1 into 1
1.793 * [backup-simplify]: Simplify 0 into 0
1.793 * [backup-simplify]: Simplify (* 1 1) into 1
1.793 * [backup-simplify]: Simplify (- 1) into -1
1.793 * [backup-simplify]: Simplify -1 into -1
1.793 * [backup-simplify]: Simplify (- a) into (- a)
1.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.796 * [backup-simplify]: Simplify (- 0) into 0
1.796 * [backup-simplify]: Simplify (- 0) into 0
1.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.798 * [backup-simplify]: Simplify (- 0) into 0
1.799 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1.799 * [backup-simplify]: Simplify (+ 0 0) into 0
1.800 * [taylor]: Taking taylor expansion of 0 in a
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.801 * [backup-simplify]: Simplify (- 0) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify (- a) into (- a)
1.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.803 * [backup-simplify]: Simplify (- 0) into 0
1.804 * [backup-simplify]: Simplify (- 0) into 0
1.804 * [backup-simplify]: Simplify (- 0) into 0
1.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.807 * [backup-simplify]: Simplify (- 0) into 0
1.808 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1.808 * [backup-simplify]: Simplify (+ 0 0) into 0
1.808 * [taylor]: Taking taylor expansion of 0 in a
1.808 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
1.809 * [backup-simplify]: Simplify (fma (- (/ (/ 1 (- b)) (/ 1 (- a)))) (/ (/ 1 (- b)) (/ 1 (- a))) 1) into (fma (- (/ a b)) (/ a b) 1)
1.809 * [approximate]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in (b a) around 0
1.809 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in a
1.809 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.810 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in a
1.810 * [taylor]: Taking taylor expansion of (- (/ a b)) in a
1.810 * [taylor]: Taking taylor expansion of (/ a b) in a
1.810 * [taylor]: Taking taylor expansion of a in a
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify 1 into 1
1.810 * [taylor]: Taking taylor expansion of b in a
1.810 * [backup-simplify]: Simplify b into b
1.810 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.810 * [taylor]: Taking taylor expansion of (/ a b) in a
1.810 * [taylor]: Taking taylor expansion of a in a
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify 1 into 1
1.810 * [taylor]: Taking taylor expansion of b in a
1.810 * [backup-simplify]: Simplify b into b
1.810 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.810 * [taylor]: Taking taylor expansion of 1 in a
1.810 * [backup-simplify]: Simplify 1 into 1
1.810 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in b
1.810 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.810 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in b
1.810 * [taylor]: Taking taylor expansion of (- (/ a b)) in b
1.810 * [taylor]: Taking taylor expansion of (/ a b) in b
1.810 * [taylor]: Taking taylor expansion of a in b
1.810 * [backup-simplify]: Simplify a into a
1.810 * [taylor]: Taking taylor expansion of b in b
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify 1 into 1
1.810 * [backup-simplify]: Simplify (/ a 1) into a
1.810 * [taylor]: Taking taylor expansion of (/ a b) in b
1.810 * [taylor]: Taking taylor expansion of a in b
1.811 * [backup-simplify]: Simplify a into a
1.811 * [taylor]: Taking taylor expansion of b in b
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [backup-simplify]: Simplify (/ a 1) into a
1.811 * [taylor]: Taking taylor expansion of 1 in b
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [taylor]: Taking taylor expansion of (fma (- (/ a b)) (/ a b) 1) in b
1.811 * [taylor]: Rewrote expression to (+ (* (- (/ a b)) (/ a b)) 1)
1.811 * [taylor]: Taking taylor expansion of (* (- (/ a b)) (/ a b)) in b
1.811 * [taylor]: Taking taylor expansion of (- (/ a b)) in b
1.811 * [taylor]: Taking taylor expansion of (/ a b) in b
1.811 * [taylor]: Taking taylor expansion of a in b
1.811 * [backup-simplify]: Simplify a into a
1.811 * [taylor]: Taking taylor expansion of b in b
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [backup-simplify]: Simplify (/ a 1) into a
1.811 * [taylor]: Taking taylor expansion of (/ a b) in b
1.811 * [taylor]: Taking taylor expansion of a in b
1.811 * [backup-simplify]: Simplify a into a
1.811 * [taylor]: Taking taylor expansion of b in b
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [backup-simplify]: Simplify (/ a 1) into a
1.811 * [taylor]: Taking taylor expansion of 1 in b
1.811 * [backup-simplify]: Simplify 1 into 1
1.811 * [backup-simplify]: Simplify (- a) into (- a)
1.812 * [backup-simplify]: Simplify (* (- a) a) into (* -1 (pow a 2))
1.812 * [backup-simplify]: Simplify (+ (* -1 (pow a 2)) 0) into (- (pow a 2))
1.812 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a
1.812 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.812 * [taylor]: Taking taylor expansion of a in a
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 1 into 1
1.812 * [backup-simplify]: Simplify (- a) into (- a)
1.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1.814 * [backup-simplify]: Simplify (- 0) into 0
1.815 * [backup-simplify]: Simplify (+ (* (- a) 0) (* 0 a)) into 0
1.815 * [backup-simplify]: Simplify (+ 0 0) into 0
1.815 * [taylor]: Taking taylor expansion of 0 in a
1.815 * [backup-simplify]: Simplify 0 into 0
1.815 * [backup-simplify]: Simplify 0 into 0
1.815 * [backup-simplify]: Simplify (- a) into (- a)
1.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.817 * [backup-simplify]: Simplify (- 0) into 0
1.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.819 * [backup-simplify]: Simplify (- 0) into 0
1.819 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (* 0 a))) into 0
1.819 * [backup-simplify]: Simplify (+ 0 1) into 1
1.819 * [taylor]: Taking taylor expansion of 1 in a
1.819 * [backup-simplify]: Simplify 1 into 1
1.820 * [backup-simplify]: Simplify 1 into 1
1.820 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify (* 1 1) into 1
1.820 * [backup-simplify]: Simplify (- 1) into -1
1.820 * [backup-simplify]: Simplify -1 into -1
1.820 * [backup-simplify]: Simplify (- a) into (- a)
1.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.823 * [backup-simplify]: Simplify (- 0) into 0
1.823 * [backup-simplify]: Simplify (- 0) into 0
1.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.825 * [backup-simplify]: Simplify (- 0) into 0
1.826 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1.826 * [backup-simplify]: Simplify (+ 0 0) into 0
1.826 * [taylor]: Taking taylor expansion of 0 in a
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.828 * [backup-simplify]: Simplify (- 0) into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify (- a) into (- a)
1.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.830 * [backup-simplify]: Simplify (- 0) into 0
1.831 * [backup-simplify]: Simplify (- 0) into 0
1.831 * [backup-simplify]: Simplify (- 0) into 0
1.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.834 * [backup-simplify]: Simplify (- 0) into 0
1.835 * [backup-simplify]: Simplify (+ (* (- a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1.835 * [backup-simplify]: Simplify (+ 0 0) into 0
1.835 * [taylor]: Taking taylor expansion of 0 in a
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
1.836 * * * [progress]: simplifying candidates
1.837 * [simplify]: Simplifying:
  (expm1 (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (log1p (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (log (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (exp (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (* (cbrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))) (cbrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))))
  (cbrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (* (* (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (sqrt (* (cbrt (fabs (fma (- (/ b a)) (/ b a) 1))) (cbrt (fabs (fma (- (/ b a)) (/ b a) 1)))))
  (sqrt (cbrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (sqrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (sqrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (sqrt 1)
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
  (/ 1 2)
  (sqrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (sqrt (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))
  (expm1 (fma (- (/ b a)) (/ b a) 1))
  (log1p (fma (- (/ b a)) (/ b a) 1))
  (* (- (/ b a)) (/ b a))
  (log (fma (- (/ b a)) (/ b a) 1))
  (exp (fma (- (/ b a)) (/ b a) 1))
  (* (cbrt (fma (- (/ b a)) (/ b a) 1)) (cbrt (fma (- (/ b a)) (/ b a) 1)))
  (cbrt (fma (- (/ b a)) (/ b a) 1))
  (* (* (fma (- (/ b a)) (/ b a) 1) (fma (- (/ b a)) (/ b a) 1)) (fma (- (/ b a)) (/ b a) 1))
  (sqrt (fma (- (/ b a)) (/ b a) 1))
  (sqrt (fma (- (/ b a)) (/ b a) 1))
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
1.838 * * [simplify]: iteration 0: 38 enodes
1.849 * * [simplify]: iteration 1: 61 enodes
1.869 * * [simplify]: iteration 2: 146 enodes
1.945 * * [simplify]: iteration 3: 559 enodes
2.551 * * [simplify]: iteration 4: 4461 enodes
6.193 * * [simplify]: iteration complete: 5000 enodes
6.193 * * [simplify]: Extracting #0: cost 23 inf + 0
6.199 * * [simplify]: Extracting #1: cost 338 inf + 2
6.206 * * [simplify]: Extracting #2: cost 1214 inf + 924
6.217 * * [simplify]: Extracting #3: cost 796 inf + 12631
6.230 * * [simplify]: Extracting #4: cost 11 inf + 24695
6.242 * * [simplify]: Extracting #5: cost 0 inf + 24790
6.254 * [simplify]: Simplified to:
  (expm1 (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (log1p (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (log (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (exp (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (* (cbrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))) (cbrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))))
  (cbrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (pow (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))) 3)
  (fabs (cbrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (sqrt (cbrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (sqrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (sqrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  1
  (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))
  1/2
  (sqrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (sqrt (sqrt (fabs (fma (/ b a) (/ (- b) a) 1))))
  (expm1 (fma (/ b a) (/ (- b) a) 1))
  (log1p (fma (/ b a) (/ (- b) a) 1))
  (/ (* (- b) b) (* a a))
  (log1p (/ (* (- b) b) (* a a)))
  (exp (fma (/ b a) (/ (- b) a) 1))
  (* (cbrt (fma (/ b a) (/ (- b) a) 1)) (cbrt (fma (/ b a) (/ (- b) a) 1)))
  (cbrt (fma (/ b a) (/ (- b) a) 1))
  (pow (fma (/ b a) (/ (- b) a) 1) 3)
  (sqrt (fma (/ b a) (/ (- b) a) 1))
  (sqrt (fma (/ b a) (/ (- b) a) 1))
  (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))
  (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))
  (sqrt (fabs (fma (/ b a) (/ (- b) a) 1)))
  (- 1 (* (/ b a) (/ b a)))
  (- 1 (* (/ b a) (/ b a)))
  (- 1 (* (/ b a) (/ b a)))
6.255 * * * [progress]: adding candidates to table
6.446 * * [progress]: iteration 2 / 4
6.446 * * * [progress]: picking best candidate
6.453 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
6.453 * * * [progress]: localizing error
6.481 * * * [progress]: generating rewritten candidates
6.481 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.508 * * * [progress]: generating series expansions
6.508 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.509 * [backup-simplify]: Simplify (/ (- (* a a) (* b b)) (* a a)) into (/ (- (pow a 2) (pow b 2)) (pow a 2))
6.509 * [approximate]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in (a b) around 0
6.509 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in b
6.509 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
6.509 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.509 * [taylor]: Taking taylor expansion of a in b
6.509 * [backup-simplify]: Simplify a into a
6.509 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.509 * [taylor]: Taking taylor expansion of b in b
6.509 * [backup-simplify]: Simplify 0 into 0
6.509 * [backup-simplify]: Simplify 1 into 1
6.509 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.509 * [taylor]: Taking taylor expansion of a in b
6.509 * [backup-simplify]: Simplify a into a
6.509 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.509 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2)
6.509 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.509 * [backup-simplify]: Simplify (/ (pow a 2) (pow a 2)) into 1
6.509 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
6.509 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
6.509 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.509 * [taylor]: Taking taylor expansion of a in a
6.509 * [backup-simplify]: Simplify 0 into 0
6.509 * [backup-simplify]: Simplify 1 into 1
6.509 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.509 * [taylor]: Taking taylor expansion of b in a
6.509 * [backup-simplify]: Simplify b into b
6.509 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.509 * [taylor]: Taking taylor expansion of a in a
6.509 * [backup-simplify]: Simplify 0 into 0
6.509 * [backup-simplify]: Simplify 1 into 1
6.509 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.510 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2))
6.510 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
6.510 * [backup-simplify]: Simplify (* 1 1) into 1
6.510 * [backup-simplify]: Simplify (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
6.510 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
6.511 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
6.511 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.511 * [taylor]: Taking taylor expansion of a in a
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 1 into 1
6.511 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.511 * [taylor]: Taking taylor expansion of b in a
6.511 * [backup-simplify]: Simplify b into b
6.511 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.511 * [taylor]: Taking taylor expansion of a in a
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 1 into 1
6.511 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.511 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2))
6.511 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
6.511 * [backup-simplify]: Simplify (* 1 1) into 1
6.511 * [backup-simplify]: Simplify (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
6.511 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
6.511 * [taylor]: Taking taylor expansion of -1 in b
6.512 * [backup-simplify]: Simplify -1 into -1
6.512 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.512 * [taylor]: Taking taylor expansion of b in b
6.512 * [backup-simplify]: Simplify 0 into 0
6.512 * [backup-simplify]: Simplify 1 into 1
6.512 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
6.512 * [backup-simplify]: Simplify (- 0) into 0
6.512 * [backup-simplify]: Simplify (+ 0 0) into 0
6.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)))) into 0
6.513 * [taylor]: Taking taylor expansion of 0 in b
6.513 * [backup-simplify]: Simplify 0 into 0
6.513 * [backup-simplify]: Simplify 0 into 0
6.514 * [backup-simplify]: Simplify (* 1 1) into 1
6.514 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
6.514 * [backup-simplify]: Simplify (- 0) into 0
6.515 * [backup-simplify]: Simplify (+ 1 0) into 1
6.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.516 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)))) into 1
6.516 * [taylor]: Taking taylor expansion of 1 in b
6.516 * [backup-simplify]: Simplify 1 into 1
6.516 * [backup-simplify]: Simplify 1 into 1
6.516 * [backup-simplify]: Simplify 0 into 0
6.516 * [backup-simplify]: Simplify (* 1 1) into 1
6.517 * [backup-simplify]: Simplify (* -1 1) into -1
6.517 * [backup-simplify]: Simplify -1 into -1
6.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.518 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
6.518 * [backup-simplify]: Simplify (- 0) into 0
6.518 * [backup-simplify]: Simplify (+ 0 0) into 0
6.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
6.520 * [taylor]: Taking taylor expansion of 0 in b
6.520 * [backup-simplify]: Simplify 0 into 0
6.520 * [backup-simplify]: Simplify 0 into 0
6.520 * [backup-simplify]: Simplify 0 into 0
6.520 * [backup-simplify]: Simplify 0 into 0
6.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.521 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
6.521 * [backup-simplify]: Simplify 0 into 0
6.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.522 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
6.523 * [backup-simplify]: Simplify (- 0) into 0
6.523 * [backup-simplify]: Simplify (+ 0 0) into 0
6.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.525 * [taylor]: Taking taylor expansion of 0 in b
6.525 * [backup-simplify]: Simplify 0 into 0
6.525 * [backup-simplify]: Simplify 0 into 0
6.525 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify (+ (* -1 (pow (* b (/ 1 a)) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
6.526 * [backup-simplify]: Simplify (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))) into (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))
6.526 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
6.526 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
6.526 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.526 * [taylor]: Taking taylor expansion of a in b
6.526 * [backup-simplify]: Simplify a into a
6.526 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
6.526 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
6.526 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.526 * [taylor]: Taking taylor expansion of a in b
6.526 * [backup-simplify]: Simplify a into a
6.526 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.526 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.526 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.526 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.526 * [taylor]: Taking taylor expansion of b in b
6.526 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify 1 into 1
6.527 * [backup-simplify]: Simplify (* 1 1) into 1
6.527 * [backup-simplify]: Simplify (/ 1 1) into 1
6.527 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
6.527 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.527 * [taylor]: Taking taylor expansion of a in a
6.527 * [backup-simplify]: Simplify 0 into 0
6.527 * [backup-simplify]: Simplify 1 into 1
6.527 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
6.527 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.527 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.527 * [taylor]: Taking taylor expansion of a in a
6.527 * [backup-simplify]: Simplify 0 into 0
6.527 * [backup-simplify]: Simplify 1 into 1
6.527 * [backup-simplify]: Simplify (* 1 1) into 1
6.528 * [backup-simplify]: Simplify (/ 1 1) into 1
6.528 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
6.528 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.528 * [taylor]: Taking taylor expansion of b in a
6.528 * [backup-simplify]: Simplify b into b
6.528 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.528 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.528 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
6.528 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.528 * [taylor]: Taking taylor expansion of a in a
6.528 * [backup-simplify]: Simplify 0 into 0
6.528 * [backup-simplify]: Simplify 1 into 1
6.528 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
6.528 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.528 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.528 * [taylor]: Taking taylor expansion of a in a
6.528 * [backup-simplify]: Simplify 0 into 0
6.528 * [backup-simplify]: Simplify 1 into 1
6.528 * [backup-simplify]: Simplify (* 1 1) into 1
6.528 * [backup-simplify]: Simplify (/ 1 1) into 1
6.528 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
6.528 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.528 * [taylor]: Taking taylor expansion of b in a
6.528 * [backup-simplify]: Simplify b into b
6.529 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.529 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.529 * [backup-simplify]: Simplify (* 1 1) into 1
6.529 * [backup-simplify]: Simplify (+ 1 0) into 1
6.529 * [backup-simplify]: Simplify (* 1 1) into 1
6.529 * [taylor]: Taking taylor expansion of 1 in b
6.529 * [backup-simplify]: Simplify 1 into 1
6.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.531 * [backup-simplify]: Simplify (+ 0 0) into 0
6.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.531 * [taylor]: Taking taylor expansion of 0 in b
6.531 * [backup-simplify]: Simplify 0 into 0
6.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.533 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
6.533 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
6.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.534 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))) into (- (/ 1 (pow b 2)))
6.534 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
6.534 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.534 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.534 * [taylor]: Taking taylor expansion of b in b
6.534 * [backup-simplify]: Simplify 0 into 0
6.534 * [backup-simplify]: Simplify 1 into 1
6.534 * [backup-simplify]: Simplify (* 1 1) into 1
6.534 * [backup-simplify]: Simplify (/ 1 1) into 1
6.535 * [backup-simplify]: Simplify (- 1) into -1
6.535 * [backup-simplify]: Simplify -1 into -1
6.535 * [backup-simplify]: Simplify 1 into 1
6.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.536 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
6.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
6.536 * [backup-simplify]: Simplify (- 0) into 0
6.537 * [backup-simplify]: Simplify (+ 0 0) into 0
6.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1)))) into 0
6.538 * [taylor]: Taking taylor expansion of 0 in b
6.538 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.539 * [backup-simplify]: Simplify (- 0) into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.541 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
6.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
6.542 * [backup-simplify]: Simplify (- 0) into 0
6.543 * [backup-simplify]: Simplify (+ 0 0) into 0
6.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))))) into 0
6.544 * [taylor]: Taking taylor expansion of 0 in b
6.544 * [backup-simplify]: Simplify 0 into 0
6.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.546 * [backup-simplify]: Simplify (- 0) into 0
6.546 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 b)) (/ 1 a)) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
6.547 * [backup-simplify]: Simplify (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) into (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))
6.547 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
6.547 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
6.547 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.547 * [taylor]: Taking taylor expansion of a in b
6.547 * [backup-simplify]: Simplify a into a
6.547 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
6.547 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
6.547 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.547 * [taylor]: Taking taylor expansion of a in b
6.547 * [backup-simplify]: Simplify a into a
6.547 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.547 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.547 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.547 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.547 * [taylor]: Taking taylor expansion of b in b
6.547 * [backup-simplify]: Simplify 0 into 0
6.547 * [backup-simplify]: Simplify 1 into 1
6.548 * [backup-simplify]: Simplify (* 1 1) into 1
6.548 * [backup-simplify]: Simplify (/ 1 1) into 1
6.548 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
6.548 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.548 * [taylor]: Taking taylor expansion of a in a
6.548 * [backup-simplify]: Simplify 0 into 0
6.548 * [backup-simplify]: Simplify 1 into 1
6.548 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
6.548 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.548 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.548 * [taylor]: Taking taylor expansion of a in a
6.548 * [backup-simplify]: Simplify 0 into 0
6.548 * [backup-simplify]: Simplify 1 into 1
6.548 * [backup-simplify]: Simplify (* 1 1) into 1
6.549 * [backup-simplify]: Simplify (/ 1 1) into 1
6.549 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
6.549 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.549 * [taylor]: Taking taylor expansion of b in a
6.549 * [backup-simplify]: Simplify b into b
6.549 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.549 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.549 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
6.549 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.549 * [taylor]: Taking taylor expansion of a in a
6.549 * [backup-simplify]: Simplify 0 into 0
6.549 * [backup-simplify]: Simplify 1 into 1
6.549 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
6.549 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.549 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.549 * [taylor]: Taking taylor expansion of a in a
6.549 * [backup-simplify]: Simplify 0 into 0
6.549 * [backup-simplify]: Simplify 1 into 1
6.549 * [backup-simplify]: Simplify (* 1 1) into 1
6.550 * [backup-simplify]: Simplify (/ 1 1) into 1
6.550 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
6.550 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.550 * [taylor]: Taking taylor expansion of b in a
6.550 * [backup-simplify]: Simplify b into b
6.550 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.550 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.550 * [backup-simplify]: Simplify (* 1 1) into 1
6.550 * [backup-simplify]: Simplify (+ 1 0) into 1
6.551 * [backup-simplify]: Simplify (* 1 1) into 1
6.551 * [taylor]: Taking taylor expansion of 1 in b
6.551 * [backup-simplify]: Simplify 1 into 1
6.551 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.552 * [backup-simplify]: Simplify (+ 0 0) into 0
6.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.552 * [taylor]: Taking taylor expansion of 0 in b
6.552 * [backup-simplify]: Simplify 0 into 0
6.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.554 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
6.554 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
6.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.555 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))) into (- (/ 1 (pow b 2)))
6.555 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
6.555 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.555 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.555 * [taylor]: Taking taylor expansion of b in b
6.555 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify 1 into 1
6.555 * [backup-simplify]: Simplify (* 1 1) into 1
6.555 * [backup-simplify]: Simplify (/ 1 1) into 1
6.556 * [backup-simplify]: Simplify (- 1) into -1
6.556 * [backup-simplify]: Simplify -1 into -1
6.556 * [backup-simplify]: Simplify 1 into 1
6.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.557 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
6.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
6.557 * [backup-simplify]: Simplify (- 0) into 0
6.558 * [backup-simplify]: Simplify (+ 0 0) into 0
6.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1)))) into 0
6.559 * [taylor]: Taking taylor expansion of 0 in b
6.559 * [backup-simplify]: Simplify 0 into 0
6.559 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.560 * [backup-simplify]: Simplify (- 0) into 0
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify 0 into 0
6.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.562 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
6.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
6.562 * [backup-simplify]: Simplify (- 0) into 0
6.562 * [backup-simplify]: Simplify (+ 0 0) into 0
6.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))))) into 0
6.564 * [taylor]: Taking taylor expansion of 0 in b
6.564 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.565 * [backup-simplify]: Simplify (- 0) into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.566 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (- a))) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
6.566 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.566 * [backup-simplify]: Simplify (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
6.566 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in (a b) around 0
6.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b
6.566 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b
6.566 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
6.566 * [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))))
6.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.567 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a
6.567 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a
6.567 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
6.567 * [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))))
6.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.568 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a
6.568 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a
6.568 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
6.568 * [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))))
6.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.568 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b
6.568 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b
6.569 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
6.569 * [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))))
6.569 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.569 * [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))))
6.569 * [taylor]: Taking taylor expansion of 0 in b
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify 0 into 0
6.572 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.572 * [taylor]: Taking taylor expansion of 0 in b
6.572 * [backup-simplify]: Simplify 0 into 0
6.572 * [backup-simplify]: Simplify 0 into 0
6.572 * [backup-simplify]: Simplify 0 into 0
6.573 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.573 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
6.574 * [taylor]: Taking taylor expansion of 0 in b
6.574 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify 0 into 0
6.574 * [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))))
6.574 * [backup-simplify]: Simplify (sqrt (fabs (/ (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (* (/ 1 a) (/ 1 a))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
6.574 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0
6.574 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
6.574 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
6.574 * [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)))))
6.575 * [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))))))
6.575 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.575 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
6.575 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
6.575 * [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)))))
6.576 * [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))))))
6.576 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.576 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
6.576 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
6.576 * [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)))))
6.576 * [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))))))
6.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.577 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
6.577 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
6.577 * [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)))))
6.577 * [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))))))
6.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.578 * [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))))))
6.578 * [taylor]: Taking taylor expansion of 0 in b
6.578 * [backup-simplify]: Simplify 0 into 0
6.578 * [backup-simplify]: Simplify 0 into 0
6.578 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.579 * [taylor]: Taking taylor expansion of 0 in b
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.580 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.580 * [taylor]: Taking taylor expansion of 0 in b
6.580 * [backup-simplify]: Simplify 0 into 0
6.580 * [backup-simplify]: Simplify 0 into 0
6.581 * [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))))
6.581 * [backup-simplify]: Simplify (sqrt (fabs (/ (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))
6.581 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0
6.581 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
6.581 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
6.582 * [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)))))
6.582 * [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))))))
6.583 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.583 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
6.583 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
6.583 * [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)))))
6.584 * [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))))))
6.584 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.584 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
6.584 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
6.585 * [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)))))
6.585 * [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))))))
6.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.586 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
6.586 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
6.586 * [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)))))
6.587 * [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))))))
6.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.588 * [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))))))
6.588 * [taylor]: Taking taylor expansion of 0 in b
6.588 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.589 * [taylor]: Taking taylor expansion of 0 in b
6.589 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.591 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
6.592 * [taylor]: Taking taylor expansion of 0 in b
6.592 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify 0 into 0
6.593 * [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))))
6.593 * * * [progress]: simplifying candidates
6.594 * [simplify]: Simplifying:
  (expm1 (/ (- (* a a) (* b b)) (* a a)))
  (log1p (/ (- (* a a) (* b b)) (* a a)))
  (- (log (- (* a a) (* b b))) (+ (log a) (log a)))
  (- (log (- (* a a) (* b b))) (log (* a a)))
  (log (/ (- (* a a) (* b b)) (* a a)))
  (exp (/ (- (* a a) (* b b)) (* a a)))
  (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a))))
  (cbrt (/ (- (* a a) (* b b)) (* a a)))
  (* (* (/ (- (* a a) (* b b)) (* a a)) (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)))
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (- (- (* a a) (* b b)))
  (- (* a a))
  (/ (* a a) (* a a))
  (/ (* b b) (* a a))
  (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a)
  (/ (cbrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ 1 a)
  (/ (- (* a a) (* b b)) a)
  (/ (+ a b) a)
  (/ (- a b) a)
  (/ 1 (* a a))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (- (* a a) (* b b)) a)
  (/ (* a a) (cbrt (- (* a a) (* b b))))
  (/ (* a a) (sqrt (- (* a a) (* b b))))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (* a a) (- a b))
  (* (* a a) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))))
  (* (* a a) (+ (* a a) (* b b)))
  (expm1 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (log1p (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (log (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (exp (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))))))
  (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))))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (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)))))
  (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (sqrt 1)
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
  (/ 1 2)
  (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
  (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
  (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
6.596 * * [simplify]: iteration 0: 84 enodes
6.623 * * [simplify]: iteration 1: 225 enodes
6.748 * * [simplify]: iteration 2: 1330 enodes
7.328 * * [simplify]: iteration complete: 5002 enodes
7.328 * * [simplify]: Extracting #0: cost 39 inf + 0
7.330 * * [simplify]: Extracting #1: cost 1015 inf + 2
7.342 * * [simplify]: Extracting #2: cost 1648 inf + 854
7.355 * * [simplify]: Extracting #3: cost 1329 inf + 10632
7.370 * * [simplify]: Extracting #4: cost 28 inf + 23880
7.384 * * [simplify]: Extracting #5: cost 0 inf + 24278
7.398 * * [simplify]: Extracting #6: cost 0 inf + 24264
7.413 * [simplify]: Simplified to:
  (expm1 (- 1 (* (/ b a) (/ b a))))
  (log1p (- 1 (* (/ b a) (/ b a))))
  (log1p (- (* (/ b a) (/ b a))))
  (log1p (- (* (/ b a) (/ b a))))
  (log1p (- (* (/ b a) (/ b a))))
  (exp (- 1 (* (/ b a) (/ b a))))
  (pow (- 1 (* (/ b a) (/ b a))) 3)
  (pow (- 1 (* (/ b a) (/ b a))) 3)
  (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a)))))
  (cbrt (- 1 (* (/ b a) (/ b a))))
  (pow (- 1 (* (/ b a) (/ b a))) 3)
  (sqrt (- 1 (* (/ b a) (/ b a))))
  (sqrt (- 1 (* (/ b a) (/ b a))))
  (- (* (- a b) (+ b a)))
  (- (* a a))
  1
  (* (/ b a) (/ b a))
  (/ (cbrt (* (- a b) (+ b a))) (/ a (cbrt (* (- a b) (+ b a)))))
  (/ (cbrt (* (- a b) (+ b a))) a)
  (/ (sqrt (* (- a b) (+ b a))) a)
  (/ (sqrt (* (- a b) (+ b a))) a)
  (/ 1 a)
  (/ (+ b a) (/ a (- a b)))
  (/ (+ b a) a)
  (- 1 (/ b a))
  (/ (/ 1 a) a)
  (/ a (/ (+ b a) (/ a (- a b))))
  (/ (+ b a) (/ a (- a b)))
  (/ a (/ (cbrt (* (- a b) (+ b a))) a))
  (/ (* a a) (sqrt (* (- a b) (+ b a))))
  (/ a (/ (+ b a) (/ a (- a b))))
  (/ a (/ (- a b) a))
  (* (fma (* a a) (fma a a (* b b)) (pow b 4)) (* a a))
  (* (* a a) (fma a a (* b b)))
  (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
  (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 3)
  (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  1
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (- 1 (* (/ b a) (/ b a)))
  (- 1 (* (/ b a) (/ b a)))
  (- 1 (* (/ b a) (/ b a)))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
7.413 * * * [progress]: adding candidates to table
7.643 * [progress]: [Phase 3 of 3] Extracting.
7.643 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.644 * * * [regime-changes]: Trying 7 branch expressions: ((* b b) (* a a) (/ (- (* a a) (* b b)) (* a a)) (fabs (/ (- (* a a) (* b b)) (* a a))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) b a)
7.644 * * * * [regimes]: Trying to branch on (* b b) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.672 * * * * [regimes]: Trying to branch on (* a a) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.697 * * * * [regimes]: Trying to branch on (/ (- (* a a) (* b b)) (* a a)) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.724 * * * * [regimes]: Trying to branch on (fabs (/ (- (* a a) (* b b)) (* a a))) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.770 * * * * [regimes]: Trying to branch on (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.811 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.838 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (sqrt (fabs (fma (- (/ b a)) (/ b a) 1))))>)
7.883 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.884 * [simplify]: Simplifying:
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
7.884 * * [simplify]: iteration 0: 8 enodes
7.885 * * [simplify]: iteration 1: 12 enodes
7.885 * * [simplify]: iteration complete: 12 enodes
7.885 * * [simplify]: Extracting #0: cost 1 inf + 0
7.885 * * [simplify]: Extracting #1: cost 2 inf + 0
7.885 * * [simplify]: Extracting #2: cost 3 inf + 0
7.885 * * [simplify]: Extracting #3: cost 6 inf + 0
7.885 * * [simplify]: Extracting #4: cost 8 inf + 1
7.885 * * [simplify]: Extracting #5: cost 6 inf + 3
7.885 * * [simplify]: Extracting #6: cost 0 inf + 42
7.885 * [simplify]: Simplified to:
  (sqrt (fabs (fma (- (/ b a)) (/ b a) 1)))
9.699 * [regime-testing]: Baseline error score: 8.068456677397265
9.709 * [regime-testing]: Oracle error score: 8.065331286723431
9.735 * [regime-testing]: End program error score: 8.068456677397265