77.161 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: Extracting # 1 : cost  0
0.043 * * [simplify]: Extracting # 2 : cost  0
0.043 * * [simplify]: Extracting # 3 : cost  0
0.043 * * [simplify]: Extracting # 4 : cost  0
0.043 * * [simplify]: Extracting # 5 : cost  0
0.043 * * [simplify]: Extracting # 6 : cost  0
0.043 * * [simplify]: Extracting # 7 : cost  0
0.043 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  1 :  19  enodes  (cost  13 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [simplify]: Extracting # 2 : cost  0
0.048 * * [simplify]: iteration  2 :  48  enodes  (cost  11 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.056 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: iteration  3 :  103  enodes  (cost  11 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.086 * * [simplify]: Extracting # 1 : cost  0
0.086 * * [simplify]: Extracting # 2 : cost  0
0.087 * * [simplify]: iteration  4 :  330  enodes  (cost  11 )
0.291 * * [simplify]: Extracting # 0 : cost  0
0.299 * * [simplify]: Extracting # 1 : cost  0
0.301 * * [simplify]: Extracting # 2 : cost  0
0.303 * * [simplify]: iteration  5 :  1613  enodes  (cost  11 )
1.691 * * [simplify]: Extracting # 0 : cost  0
1.709 * * [simplify]: Extracting # 1 : cost  0
1.722 * * [simplify]: Extracting # 2 : cost  0
1.734 * * [simplify]: iteration done:  5000  enodes  (cost  11 )
1.734 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
1.741 * * [progress]: iteration 1 / 4
1.741 * * * [progress]: picking best candidate
1.744 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
1.744 * * * [progress]: localizing error
1.753 * * * [progress]: generating rewritten candidates
1.754 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1.792 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.796 * * * [progress]: generating series expansions
1.796 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1.797 * [backup-simplify]: Simplify (/ (- (* a a) (* b b)) (* a a)) into (/ (- (pow a 2) (pow b 2)) (pow a 2))
1.797 * [approximate]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in (a b) around 0
1.797 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in b
1.797 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
1.797 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.797 * [taylor]: Taking taylor expansion of a in b
1.797 * [backup-simplify]: Simplify a into a
1.797 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.797 * [taylor]: Taking taylor expansion of b in b
1.797 * [backup-simplify]: Simplify 0 into 0
1.797 * [backup-simplify]: Simplify 1 into 1
1.797 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.798 * [taylor]: Taking taylor expansion of a in b
1.798 * [backup-simplify]: Simplify a into a
1.798 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.798 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2)
1.798 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.798 * [backup-simplify]: Simplify (/ (pow a 2) (pow a 2)) into 1
1.798 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
1.798 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
1.798 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.798 * [taylor]: Taking taylor expansion of a in a
1.798 * [backup-simplify]: Simplify 0 into 0
1.798 * [backup-simplify]: Simplify 1 into 1
1.799 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.799 * [taylor]: Taking taylor expansion of b in a
1.799 * [backup-simplify]: Simplify b into b
1.799 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.799 * [taylor]: Taking taylor expansion of a in a
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 1 into 1
1.799 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.799 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2))
1.799 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
1.800 * [backup-simplify]: Simplify (* 1 1) into 1
1.800 * [backup-simplify]: Simplify (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
1.800 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
1.800 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
1.800 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.800 * [taylor]: Taking taylor expansion of a in a
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 1 into 1
1.800 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.800 * [taylor]: Taking taylor expansion of b in a
1.800 * [backup-simplify]: Simplify b into b
1.800 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.800 * [taylor]: Taking taylor expansion of a in a
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 1 into 1
1.801 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.801 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2))
1.801 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
1.801 * [backup-simplify]: Simplify (* 1 1) into 1
1.802 * [backup-simplify]: Simplify (/ (- (pow b 2)) 1) into (* -1 (pow b 2))
1.802 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
1.802 * [taylor]: Taking taylor expansion of -1 in b
1.802 * [backup-simplify]: Simplify -1 into -1
1.802 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.802 * [taylor]: Taking taylor expansion of b in b
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify 1 into 1
1.802 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.802 * [backup-simplify]: Simplify (- 0) into 0
1.803 * [backup-simplify]: Simplify (+ 0 0) into 0
1.803 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)))) into 0
1.804 * [taylor]: Taking taylor expansion of 0 in b
1.804 * [backup-simplify]: Simplify 0 into 0
1.804 * [backup-simplify]: Simplify 0 into 0
1.805 * [backup-simplify]: Simplify (* 1 1) into 1
1.805 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.806 * [backup-simplify]: Simplify (- 0) into 0
1.806 * [backup-simplify]: Simplify (+ 1 0) into 1
1.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.808 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)))) into 1
1.808 * [taylor]: Taking taylor expansion of 1 in b
1.808 * [backup-simplify]: Simplify 1 into 1
1.808 * [backup-simplify]: Simplify 1 into 1
1.808 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify (* 1 1) into 1
1.809 * [backup-simplify]: Simplify (* -1 1) into -1
1.809 * [backup-simplify]: Simplify -1 into -1
1.809 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.810 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
1.810 * [backup-simplify]: Simplify (- 0) into 0
1.810 * [backup-simplify]: Simplify (+ 0 0) into 0
1.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1.812 * [taylor]: Taking taylor expansion of 0 in b
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.813 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
1.813 * [backup-simplify]: Simplify 0 into 0
1.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.814 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
1.814 * [backup-simplify]: Simplify (- 0) into 0
1.815 * [backup-simplify]: Simplify (+ 0 0) into 0
1.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (pow b 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.817 * [taylor]: Taking taylor expansion of 0 in b
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify (+ (* -1 (pow (* b (/ 1 a)) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
1.817 * [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))))
1.818 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
1.818 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
1.818 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.818 * [taylor]: Taking taylor expansion of a in b
1.818 * [backup-simplify]: Simplify a into a
1.818 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
1.818 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.818 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.818 * [taylor]: Taking taylor expansion of a in b
1.818 * [backup-simplify]: Simplify a into a
1.818 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.818 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.818 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.818 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.818 * [taylor]: Taking taylor expansion of b in b
1.818 * [backup-simplify]: Simplify 0 into 0
1.818 * [backup-simplify]: Simplify 1 into 1
1.818 * [backup-simplify]: Simplify (* 1 1) into 1
1.818 * [backup-simplify]: Simplify (/ 1 1) into 1
1.818 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
1.818 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.818 * [taylor]: Taking taylor expansion of a in a
1.818 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify 1 into 1
1.819 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1.819 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.819 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.819 * [taylor]: Taking taylor expansion of a in a
1.819 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify 1 into 1
1.819 * [backup-simplify]: Simplify (* 1 1) into 1
1.819 * [backup-simplify]: Simplify (/ 1 1) into 1
1.819 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.819 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.819 * [taylor]: Taking taylor expansion of b in a
1.819 * [backup-simplify]: Simplify b into b
1.819 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.820 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.820 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
1.820 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.820 * [taylor]: Taking taylor expansion of a in a
1.820 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify 1 into 1
1.820 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1.820 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.820 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.820 * [taylor]: Taking taylor expansion of a in a
1.820 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify 1 into 1
1.820 * [backup-simplify]: Simplify (* 1 1) into 1
1.820 * [backup-simplify]: Simplify (/ 1 1) into 1
1.820 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.820 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.820 * [taylor]: Taking taylor expansion of b in a
1.820 * [backup-simplify]: Simplify b into b
1.820 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.820 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.821 * [backup-simplify]: Simplify (* 1 1) into 1
1.821 * [backup-simplify]: Simplify (+ 1 0) into 1
1.821 * [backup-simplify]: Simplify (* 1 1) into 1
1.821 * [taylor]: Taking taylor expansion of 1 in b
1.821 * [backup-simplify]: Simplify 1 into 1
1.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.822 * [backup-simplify]: Simplify (+ 0 0) into 0
1.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.823 * [taylor]: Taking taylor expansion of 0 in b
1.823 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.825 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
1.825 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
1.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.826 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))) into (- (/ 1 (pow b 2)))
1.826 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
1.826 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.826 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.826 * [taylor]: Taking taylor expansion of b in b
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 1 into 1
1.826 * [backup-simplify]: Simplify (* 1 1) into 1
1.826 * [backup-simplify]: Simplify (/ 1 1) into 1
1.827 * [backup-simplify]: Simplify (- 1) into -1
1.827 * [backup-simplify]: Simplify -1 into -1
1.827 * [backup-simplify]: Simplify 1 into 1
1.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.828 * [backup-simplify]: Simplify (- 0) into 0
1.829 * [backup-simplify]: Simplify (+ 0 0) into 0
1.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1)))) into 0
1.830 * [taylor]: Taking taylor expansion of 0 in b
1.830 * [backup-simplify]: Simplify 0 into 0
1.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.831 * [backup-simplify]: Simplify (- 0) into 0
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.833 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1.833 * [backup-simplify]: Simplify (- 0) into 0
1.833 * [backup-simplify]: Simplify (+ 0 0) into 0
1.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))))) into 0
1.835 * [taylor]: Taking taylor expansion of 0 in b
1.835 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.837 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 b)) (/ 1 a)) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
1.838 * [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))))
1.838 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
1.838 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
1.838 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.838 * [taylor]: Taking taylor expansion of a in b
1.838 * [backup-simplify]: Simplify a into a
1.838 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.839 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.839 * [taylor]: Taking taylor expansion of a in b
1.839 * [backup-simplify]: Simplify a into a
1.839 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.839 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.839 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.839 * [taylor]: Taking taylor expansion of b in b
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (* 1 1) into 1
1.840 * [backup-simplify]: Simplify (/ 1 1) into 1
1.840 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
1.840 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.840 * [taylor]: Taking taylor expansion of a in a
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1.840 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.840 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.840 * [taylor]: Taking taylor expansion of a in a
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (* 1 1) into 1
1.841 * [backup-simplify]: Simplify (/ 1 1) into 1
1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.841 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.841 * [taylor]: Taking taylor expansion of b in a
1.841 * [backup-simplify]: Simplify b into b
1.841 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.842 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.842 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
1.842 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.842 * [taylor]: Taking taylor expansion of a in a
1.842 * [backup-simplify]: Simplify 0 into 0
1.842 * [backup-simplify]: Simplify 1 into 1
1.842 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1.842 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.842 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.842 * [taylor]: Taking taylor expansion of a in a
1.842 * [backup-simplify]: Simplify 0 into 0
1.842 * [backup-simplify]: Simplify 1 into 1
1.842 * [backup-simplify]: Simplify (* 1 1) into 1
1.843 * [backup-simplify]: Simplify (/ 1 1) into 1
1.843 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.843 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.843 * [taylor]: Taking taylor expansion of b in a
1.843 * [backup-simplify]: Simplify b into b
1.843 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.843 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.844 * [backup-simplify]: Simplify (* 1 1) into 1
1.844 * [backup-simplify]: Simplify (+ 1 0) into 1
1.844 * [backup-simplify]: Simplify (* 1 1) into 1
1.844 * [taylor]: Taking taylor expansion of 1 in b
1.844 * [backup-simplify]: Simplify 1 into 1
1.845 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.846 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.848 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.848 * [taylor]: Taking taylor expansion of 0 in b
1.848 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.850 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
1.850 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.852 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))) into (- (/ 1 (pow b 2)))
1.852 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
1.852 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.852 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.852 * [taylor]: Taking taylor expansion of b in b
1.852 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify 1 into 1
1.853 * [backup-simplify]: Simplify (* 1 1) into 1
1.853 * [backup-simplify]: Simplify (/ 1 1) into 1
1.853 * [backup-simplify]: Simplify (- 1) into -1
1.853 * [backup-simplify]: Simplify -1 into -1
1.854 * [backup-simplify]: Simplify 1 into 1
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.856 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.857 * [backup-simplify]: Simplify (- 0) into 0
1.857 * [backup-simplify]: Simplify (+ 0 0) into 0
1.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1)))) into 0
1.859 * [taylor]: Taking taylor expansion of 0 in b
1.859 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.861 * [backup-simplify]: Simplify (- 0) into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1.865 * [backup-simplify]: Simplify (- 0) into 0
1.865 * [backup-simplify]: Simplify (+ 0 0) into 0
1.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow b 2)))) (+ (* 0 0) (* 0 1))))) into 0
1.868 * [taylor]: Taking taylor expansion of 0 in b
1.868 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify (- 0) into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (- a))) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
1.871 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.872 * [backup-simplify]: Simplify (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) into (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))
1.872 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in (a b) around 0
1.872 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b
1.872 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b
1.872 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
1.873 * [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))))
1.874 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.874 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a
1.874 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a
1.874 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
1.874 * [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))))
1.875 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.875 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a
1.875 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a
1.875 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
1.876 * [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))))
1.876 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.877 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b
1.877 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b
1.877 * [backup-simplify]: Simplify (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) into (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))
1.877 * [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))))
1.878 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.878 * [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))))
1.878 * [taylor]: Taking taylor expansion of 0 in b
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.885 * [taylor]: Taking taylor expansion of 0 in b
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.887 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))) into 0
1.888 * [taylor]: Taking taylor expansion of 0 in b
1.888 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify 0 into 0
1.889 * [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))))
1.889 * [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))))))
1.889 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0
1.889 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
1.889 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
1.890 * [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)))))
1.890 * [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))))))
1.891 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.891 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
1.891 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
1.892 * [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)))))
1.892 * [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))))))
1.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.893 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
1.893 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
1.893 * [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)))))
1.894 * [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))))))
1.894 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.894 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
1.894 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
1.895 * [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)))))
1.895 * [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))))))
1.896 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.896 * [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))))))
1.896 * [taylor]: Taking taylor expansion of 0 in b
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.898 * [taylor]: Taking taylor expansion of 0 in b
1.898 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.900 * [taylor]: Taking taylor expansion of 0 in b
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 0 into 0
1.901 * [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))))
1.901 * [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))))))
1.901 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0
1.901 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
1.901 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
1.901 * [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)))))
1.902 * [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))))))
1.902 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.902 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
1.902 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
1.902 * [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)))))
1.902 * [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))))))
1.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.903 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a
1.903 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a
1.903 * [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)))))
1.903 * [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))))))
1.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.904 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b
1.904 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b
1.904 * [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)))))
1.904 * [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))))))
1.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.905 * [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))))))
1.905 * [taylor]: Taking taylor expansion of 0 in b
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.906 * [taylor]: Taking taylor expansion of 0 in b
1.906 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.906 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))))) into 0
1.907 * [taylor]: Taking taylor expansion of 0 in b
1.907 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify 0 into 0
1.908 * [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))))
1.908 * * * [progress]: simplifying candidates
1.909 * [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))))
1.910 * * [simplify]: Extracting # 0 : cost  0
1.910 * * [simplify]: Extracting # 1 : cost  0
1.910 * * [simplify]: Extracting # 2 : cost  0
1.910 * * [simplify]: Extracting # 3 : cost  0
1.910 * * [simplify]: Extracting # 4 : cost  0
1.910 * * [simplify]: Extracting # 5 : cost  0
1.910 * * [simplify]: Extracting # 6 : cost  0
1.911 * * [simplify]: Extracting # 7 : cost  0
1.911 * * [simplify]: iteration  0 :  84  enodes  (cost  765 )
1.938 * * [simplify]: Extracting # 0 : cost  0
1.938 * * [simplify]: Extracting # 1 : cost  0
1.939 * * [simplify]: Extracting # 2 : cost  0
1.939 * * [simplify]: Extracting # 3 : cost  0
1.940 * * [simplify]: Extracting # 4 : cost  0
1.940 * * [simplify]: iteration  1 :  225  enodes  (cost  652 )
2.131 * * [simplify]: Extracting # 0 : cost  0
2.135 * * [simplify]: Extracting # 1 : cost  0
2.139 * * [simplify]: Extracting # 2 : cost  0
2.143 * * [simplify]: Extracting # 3 : cost  0
2.147 * * [simplify]: Extracting # 4 : cost  0
2.150 * * [simplify]: iteration  2 :  1339  enodes  (cost  569 )
2.828 * * [simplify]: Extracting # 0 : cost  0
2.837 * * [simplify]: Extracting # 1 : cost  0
2.854 * * [simplify]: Extracting # 2 : cost  0
2.869 * * [simplify]: Extracting # 3 : cost  0
2.890 * * [simplify]: iteration done:  5001  enodes  (cost  569 )
2.891 * [simplify]: Simplified to:
  (expm1 (- 1 (/ (pow b 2) (pow a 2))))
  (log1p (- 1 (/ (pow b 2) (pow a 2))))
  (log1p (- (/ (* b b) (* a a))))
  (log1p (- (/ (* b b) (* a a))))
  (log1p (- (/ (* b b) (* a a))))
  (exp (- 1 (/ (pow b 2) (pow a 2))))
  (pow (- 1 (/ (* b b) (* a a))) 3)
  (pow (- 1 (/ (* b b) (* a a))) 3)
  (* (cbrt (- 1 (/ (pow b 2) (pow a 2)))) (cbrt (- 1 (/ (pow b 2) (pow a 2)))))
  (cbrt (- 1 (/ (pow b 2) (pow a 2))))
  (pow (- 1 (/ (* b b) (* a a))) 3)
  (sqrt (- 1 (/ (pow b 2) (pow a 2))))
  (sqrt (- 1 (/ (pow b 2) (pow a 2))))
  (- (- (* a a) (* b b)))
  (- (* a a))
  1
  (/ (* 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) (fma (* b b) (fma b b (* a a)) (pow a 4)))
  (* (* a a) (fma a a (* b b)))
  (expm1 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (log1p (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (log (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (exp (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (cbrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))))
  (cbrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (sqrt (cbrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  1
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))
  (fma (/ b a) (- (/ b a)) 1)
  (fma (/ b a) (- (/ b a)) 1)
  (fma (/ b a) (- (/ b a)) 1)
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
2.892 * * * [progress]: adding candidates to table
3.087 * * [progress]: iteration 2 / 4
3.087 * * * [progress]: picking best candidate
3.091 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>
3.091 * * * [progress]: localizing error
3.099 * * * [progress]: generating rewritten candidates
3.099 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.101 * * * [progress]: generating series expansions
3.101 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.101 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.101 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in (b a) around 0
3.101 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
3.101 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
3.101 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
3.102 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.102 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
3.102 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
3.102 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
3.102 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.102 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
3.102 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
3.102 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
3.102 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.103 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.103 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
3.103 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
3.103 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
3.103 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.103 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.103 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.103 * [taylor]: Taking taylor expansion of 0 in a
3.103 * [backup-simplify]: Simplify 0 into 0
3.103 * [backup-simplify]: Simplify 0 into 0
3.103 * [backup-simplify]: Simplify 0 into 0
3.104 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.104 * [taylor]: Taking taylor expansion of 0 in a
3.104 * [backup-simplify]: Simplify 0 into 0
3.104 * [backup-simplify]: Simplify 0 into 0
3.104 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.105 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
3.105 * [taylor]: Taking taylor expansion of 0 in a
3.105 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.106 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 b) (/ 1 a)) (- (/ (/ 1 b) (/ 1 a))) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.106 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in (b a) around 0
3.106 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
3.106 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
3.106 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.106 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.106 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.106 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
3.106 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
3.106 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.106 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.106 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.106 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
3.107 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
3.107 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.107 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.107 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.107 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
3.107 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
3.107 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.107 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.107 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.107 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.108 * [taylor]: Taking taylor expansion of 0 in a
3.108 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.108 * [taylor]: Taking taylor expansion of 0 in a
3.108 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify 0 into 0
3.109 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.109 * [backup-simplify]: Simplify 0 into 0
3.110 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.110 * [taylor]: Taking taylor expansion of 0 in a
3.110 * [backup-simplify]: Simplify 0 into 0
3.110 * [backup-simplify]: Simplify 0 into 0
3.110 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 a) (/ 1 b)) (- (/ (/ 1 a) (/ 1 b))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.110 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 (- b)) (/ 1 (- a))) (- (/ (/ 1 (- b)) (/ 1 (- a)))) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.110 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in (b a) around 0
3.110 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
3.110 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
3.110 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.110 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.110 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
3.111 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
3.111 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.111 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.111 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.111 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
3.111 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
3.111 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.111 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.111 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.111 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
3.111 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
3.111 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
3.112 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.112 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.112 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
3.112 * [taylor]: Taking taylor expansion of 0 in a
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.113 * [taylor]: Taking taylor expansion of 0 in a
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.116 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
3.116 * [taylor]: Taking taylor expansion of 0 in a
3.116 * [backup-simplify]: Simplify 0 into 0
3.116 * [backup-simplify]: Simplify 0 into 0
3.116 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 (- a)) (/ 1 (- b))) (- (/ (/ 1 (- a)) (/ 1 (- b)))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.116 * * * [progress]: simplifying candidates
3.117 * [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))))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
3.118 * * [simplify]: Extracting # 0 : cost  0
3.118 * * [simplify]: Extracting # 1 : cost  0
3.118 * * [simplify]: Extracting # 2 : cost  0
3.118 * * [simplify]: Extracting # 3 : cost  0
3.118 * * [simplify]: Extracting # 4 : cost  0
3.118 * * [simplify]: Extracting # 5 : cost  0
3.118 * * [simplify]: Extracting # 6 : cost  0
3.118 * * [simplify]: Extracting # 7 : cost  0
3.118 * * [simplify]: Extracting # 8 : cost  0
3.118 * * [simplify]: Extracting # 9 : cost  0
3.118 * * [simplify]: iteration  0 :  24  enodes  (cost  253 )
3.126 * * [simplify]: Extracting # 0 : cost  0
3.126 * * [simplify]: Extracting # 1 : cost  0
3.126 * * [simplify]: Extracting # 2 : cost  0
3.127 * * [simplify]: iteration  1 :  33  enodes  (cost  225 )
3.131 * * [simplify]: Extracting # 0 : cost  0
3.131 * * [simplify]: Extracting # 1 : cost  0
3.131 * * [simplify]: Extracting # 2 : cost  0
3.131 * * [simplify]: iteration  2 :  44  enodes  (cost  216 )
3.137 * * [simplify]: Extracting # 0 : cost  0
3.137 * * [simplify]: Extracting # 1 : cost  0
3.137 * * [simplify]: Extracting # 2 : cost  0
3.137 * * [simplify]: Extracting # 3 : cost  0
3.138 * * [simplify]: Extracting # 4 : cost  0
3.138 * * [simplify]: iteration  3 :  66  enodes  (cost  216 )
3.147 * * [simplify]: Extracting # 0 : cost  0
3.147 * * [simplify]: Extracting # 1 : cost  0
3.152 * * [simplify]: Extracting # 2 : cost  0
3.153 * * [simplify]: Extracting # 3 : cost  0
3.153 * * [simplify]: Extracting # 4 : cost  0
3.153 * * [simplify]: iteration  4 :  91  enodes  (cost  216 )
3.183 * * [simplify]: Extracting # 0 : cost  0
3.183 * * [simplify]: Extracting # 1 : cost  0
3.183 * * [simplify]: Extracting # 2 : cost  0
3.183 * * [simplify]: Extracting # 3 : cost  0
3.184 * * [simplify]: Extracting # 4 : cost  0
3.184 * * [simplify]: iteration  5 :  142  enodes  (cost  216 )
3.232 * * [simplify]: Extracting # 0 : cost  0
3.232 * * [simplify]: Extracting # 1 : cost  0
3.232 * * [simplify]: Extracting # 2 : cost  0
3.233 * * [simplify]: Extracting # 3 : cost  0
3.233 * * [simplify]: Extracting # 4 : cost  0
3.233 * * [simplify]: iteration  6 :  241  enodes  (cost  216 )
3.283 * * [simplify]: Extracting # 0 : cost  0
3.283 * * [simplify]: Extracting # 1 : cost  0
3.283 * * [simplify]: Extracting # 2 : cost  0
3.284 * * [simplify]: Extracting # 3 : cost  0
3.284 * * [simplify]: Extracting # 4 : cost  0
3.284 * * [simplify]: iteration  7 :  423  enodes  (cost  216 )
3.456 * * [simplify]: Extracting # 0 : cost  0
3.457 * * [simplify]: Extracting # 1 : cost  0
3.459 * * [simplify]: Extracting # 2 : cost  0
3.460 * * [simplify]: Extracting # 3 : cost  0
3.461 * * [simplify]: Extracting # 4 : cost  0
3.462 * * [simplify]: iteration  8 :  1135  enodes  (cost  216 )
4.807 * * [simplify]: Extracting # 0 : cost  0
4.818 * * [simplify]: Extracting # 1 : cost  0
4.822 * * [simplify]: Extracting # 2 : cost  0
4.827 * * [simplify]: Extracting # 3 : cost  0
4.831 * * [simplify]: Extracting # 4 : cost  0
4.836 * * [simplify]: Extracting # 5 : cost  0
4.845 * * [simplify]: iteration done:  5000  enodes  (cost  216 )
4.845 * [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))))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.846 * * * [progress]: adding candidates to table
4.929 * * [progress]: iteration 3 / 4
4.929 * * * [progress]: picking best candidate
4.932 * * * * [pick]: Picked  #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))>
4.932 * * * [progress]: localizing error
4.945 * * * [progress]: generating rewritten candidates
4.945 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.946 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.947 * * * [progress]: generating series expansions
4.947 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.947 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.947 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in (b a) around 0
4.947 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
4.947 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
4.947 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.947 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.948 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
4.948 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
4.948 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.948 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.948 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
4.948 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
4.948 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.948 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.948 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
4.948 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
4.949 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.949 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.949 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.949 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.949 * [taylor]: Taking taylor expansion of 0 in a
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.950 * [taylor]: Taking taylor expansion of 0 in a
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.950 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.951 * [taylor]: Taking taylor expansion of 0 in a
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.951 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 b) (/ 1 a)) (- (/ (/ 1 b) (/ 1 a))) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.951 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in (b a) around 0
4.951 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
4.951 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
4.952 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.952 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.952 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.952 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
4.952 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
4.952 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.952 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.952 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.952 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
4.952 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
4.952 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.952 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.953 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.953 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
4.953 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
4.953 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.953 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.953 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.953 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.953 * [taylor]: Taking taylor expansion of 0 in a
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.954 * [taylor]: Taking taylor expansion of 0 in a
4.954 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.955 * [taylor]: Taking taylor expansion of 0 in a
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.956 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 a) (/ 1 b)) (- (/ (/ 1 a) (/ 1 b))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.956 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 (- b)) (/ 1 (- a))) (- (/ (/ 1 (- b)) (/ 1 (- a)))) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.956 * [approximate]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in (b a) around 0
4.956 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
4.956 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
4.956 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.956 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.957 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.957 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
4.957 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
4.957 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.957 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.957 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.957 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
4.957 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
4.958 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.958 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.958 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.958 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
4.958 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
4.958 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
4.959 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.959 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.959 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
4.959 * [taylor]: Taking taylor expansion of 0 in a
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.961 * [taylor]: Taking taylor expansion of 0 in a
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
4.963 * [taylor]: Taking taylor expansion of 0 in a
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 (- a)) (/ 1 (- b))) (- (/ (/ 1 (- a)) (/ 1 (- b)))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.963 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.964 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
4.964 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in (b a) around 0
4.964 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in a
4.964 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) 1)
4.964 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in a
4.964 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in a
4.964 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
4.964 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in a
4.964 * [taylor]: Taking taylor expansion of 1 in a
4.964 * [backup-simplify]: Simplify 1 into 1
4.964 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
4.964 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
4.964 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.964 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.965 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.965 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.965 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))
4.966 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.966 * [taylor]: Taking taylor expansion of 1 in a
4.966 * [backup-simplify]: Simplify 1 into 1
4.966 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in b
4.966 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) 1)
4.966 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in b
4.966 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in b
4.966 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
4.966 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in b
4.966 * [taylor]: Taking taylor expansion of 1 in b
4.966 * [backup-simplify]: Simplify 1 into 1
4.966 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
4.966 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
4.966 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.966 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.967 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.967 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.967 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))
4.968 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.968 * [taylor]: Taking taylor expansion of 1 in b
4.968 * [backup-simplify]: Simplify 1 into 1
4.968 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in b
4.968 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) 1)
4.968 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) in b
4.968 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in b
4.968 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
4.968 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) in b
4.968 * [taylor]: Taking taylor expansion of 1 in b
4.968 * [backup-simplify]: Simplify 1 into 1
4.968 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in b
4.968 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in b
4.968 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.969 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.969 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.969 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.970 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))
4.970 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) into (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1)
4.970 * [taylor]: Taking taylor expansion of 1 in b
4.970 * [backup-simplify]: Simplify 1 into 1
4.971 * [backup-simplify]: Simplify (- 1) into -1
4.971 * [backup-simplify]: Simplify (+ (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) -1) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.971 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) in a
4.971 * [taylor]: Taking taylor expansion of (fabs (fma (/ b a) (- (/ b a)) 1)) in a
4.971 * [backup-simplify]: Simplify (fabs (fma (/ b a) (- (/ b a)) 1)) into (fabs (fma (/ b a) (- (/ b a)) 1))
4.972 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.972 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.972 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
4.973 * [backup-simplify]: Simplify (+ 0 0) into 0
4.974 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 1)))) 1) into 0
4.975 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.976 * [backup-simplify]: Simplify (- 0) into 0
4.976 * [backup-simplify]: Simplify (+ 0 0) into 0
4.976 * [taylor]: Taking taylor expansion of 0 in a
4.976 * [backup-simplify]: Simplify 0 into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.978 * [backup-simplify]: Simplify (+ 0 0) into 0
4.987 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 1)))) 2) into 0
4.989 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.990 * [backup-simplify]: Simplify (- 0) into 0
4.990 * [backup-simplify]: Simplify (+ 0 0) into 0
4.990 * [taylor]: Taking taylor expansion of 0 in a
4.990 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.992 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) into 0
4.994 * [backup-simplify]: Simplify (+ 0 0) into 0
4.998 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1) 1)))) 6) into 0
5.000 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.000 * [backup-simplify]: Simplify (- 0) into 0
5.000 * [backup-simplify]: Simplify (+ 0 0) into 0
5.000 * [taylor]: Taking taylor expansion of 0 in a
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
5.001 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (fabs (fma (/ (/ 1 b) (/ 1 a)) (- (/ (/ 1 b) (/ 1 a))) 1))))) into (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.001 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in (b a) around 0
5.001 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in a
5.001 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.001 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in a
5.001 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in a
5.001 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.001 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in a
5.001 * [taylor]: Taking taylor expansion of 1 in a
5.001 * [backup-simplify]: Simplify 1 into 1
5.001 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
5.001 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
5.001 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.001 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.002 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.002 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.002 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.002 * [taylor]: Taking taylor expansion of 1 in a
5.002 * [backup-simplify]: Simplify 1 into 1
5.002 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.002 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.003 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.003 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.003 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.003 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.003 * [taylor]: Taking taylor expansion of 1 in b
5.003 * [backup-simplify]: Simplify 1 into 1
5.003 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
5.003 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
5.003 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.003 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.003 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.003 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.003 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.004 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.004 * [taylor]: Taking taylor expansion of 1 in b
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.004 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.004 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.004 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.004 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.004 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.004 * [taylor]: Taking taylor expansion of 1 in b
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
5.004 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
5.004 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.004 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.004 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.005 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.005 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.005 * [taylor]: Taking taylor expansion of 1 in b
5.005 * [backup-simplify]: Simplify 1 into 1
5.005 * [backup-simplify]: Simplify (- 1) into -1
5.005 * [backup-simplify]: Simplify (+ (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) -1) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.005 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
5.005 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
5.006 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.006 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.006 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.006 * [backup-simplify]: Simplify (+ 0 0) into 0
5.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 1) into 0
5.008 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.008 * [backup-simplify]: Simplify (- 0) into 0
5.008 * [backup-simplify]: Simplify (+ 0 0) into 0
5.008 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.009 * [backup-simplify]: Simplify (+ 0 0) into 0
5.011 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 2) into 0
5.012 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.012 * [backup-simplify]: Simplify (- 0) into 0
5.012 * [backup-simplify]: Simplify (+ 0 0) into 0
5.012 * [taylor]: Taking taylor expansion of 0 in a
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.013 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.014 * [backup-simplify]: Simplify (+ 0 0) into 0
5.016 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 6) into 0
5.017 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.018 * [backup-simplify]: Simplify (+ 0 0) into 0
5.018 * [taylor]: Taking taylor expansion of 0 in a
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 a) (/ 1 b)) (- (/ (/ 1 a) (/ 1 b))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
5.018 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (fabs (fma (/ (/ 1 (- b)) (/ 1 (- a))) (- (/ (/ 1 (- b)) (/ 1 (- a)))) 1))))) into (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.018 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in (b a) around 0
5.018 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in a
5.018 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.018 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in a
5.018 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in a
5.018 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.018 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in a
5.018 * [taylor]: Taking taylor expansion of 1 in a
5.018 * [backup-simplify]: Simplify 1 into 1
5.018 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
5.019 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
5.019 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.019 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.019 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.019 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.019 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.019 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.019 * [taylor]: Taking taylor expansion of 1 in a
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.019 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.020 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.020 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.020 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.020 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.020 * [taylor]: Taking taylor expansion of 1 in b
5.020 * [backup-simplify]: Simplify 1 into 1
5.020 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
5.020 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
5.020 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.020 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.020 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.020 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.020 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.021 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.021 * [taylor]: Taking taylor expansion of 1 in b
5.021 * [backup-simplify]: Simplify 1 into 1
5.021 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.021 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) 1)
5.021 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) in b
5.021 * [taylor]: Taking taylor expansion of (log1p (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.021 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))))
5.021 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) in b
5.021 * [taylor]: Taking taylor expansion of 1 in b
5.021 * [backup-simplify]: Simplify 1 into 1
5.021 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in b
5.021 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in b
5.021 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.021 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.021 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.021 * [backup-simplify]: Simplify (+ 1 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.021 * [backup-simplify]: Simplify (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)) into (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))
5.022 * [backup-simplify]: Simplify (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) into (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1)
5.022 * [taylor]: Taking taylor expansion of 1 in b
5.022 * [backup-simplify]: Simplify 1 into 1
5.022 * [backup-simplify]: Simplify (- 1) into -1
5.022 * [backup-simplify]: Simplify (+ (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) -1) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.022 * [taylor]: Taking taylor expansion of (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) in a
5.022 * [taylor]: Taking taylor expansion of (fabs (fma (/ a b) (- (/ a b)) 1)) in a
5.022 * [backup-simplify]: Simplify (fabs (fma (/ a b) (- (/ a b)) 1)) into (fabs (fma (/ a b) (- (/ a b)) 1))
5.023 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.023 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.023 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) into (sqrt (fabs (fma (/ a b) (- (/ a b)) 1)))
5.023 * [backup-simplify]: Simplify (+ 0 0) into 0
5.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 1) into 0
5.025 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.025 * [backup-simplify]: Simplify (- 0) into 0
5.025 * [backup-simplify]: Simplify (+ 0 0) into 0
5.025 * [taylor]: Taking taylor expansion of 0 in a
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.026 * [backup-simplify]: Simplify (+ 0 0) into 0
5.028 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 2) into 0
5.029 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.029 * [backup-simplify]: Simplify (- 0) into 0
5.029 * [backup-simplify]: Simplify (+ 0 0) into 0
5.029 * [taylor]: Taking taylor expansion of 0 in a
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))))) into 0
5.031 * [backup-simplify]: Simplify (+ 0 0) into 0
5.033 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1) 1)))) 6) into 0
5.034 * [backup-simplify]: Simplify (* (exp (log (+ (sqrt (fabs (fma (/ a b) (- (/ a b)) 1))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.034 * [backup-simplify]: Simplify (- 0) into 0
5.035 * [backup-simplify]: Simplify (+ 0 0) into 0
5.035 * [taylor]: Taking taylor expansion of 0 in a
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify (sqrt (fabs (fma (/ (/ 1 (- a)) (/ 1 (- b))) (- (/ (/ 1 (- a)) (/ 1 (- b)))) 1))) into (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
5.035 * * * [progress]: simplifying candidates
5.036 * [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))))
  (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
  (expm1 (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (log1p (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (log (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (exp (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (* (cbrt (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))) (cbrt (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))))
  (cbrt (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (* (* (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (sqrt (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))
  (sqrt (expm1 (log1p (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 (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
5.036 * * [simplify]: Extracting # 0 : cost  0
5.036 * * [simplify]: Extracting # 1 : cost  0
5.036 * * [simplify]: Extracting # 2 : cost  0
5.036 * * [simplify]: Extracting # 3 : cost  0
5.036 * * [simplify]: Extracting # 4 : cost  0
5.037 * * [simplify]: Extracting # 5 : cost  0
5.037 * * [simplify]: Extracting # 6 : cost  0
5.037 * * [simplify]: Extracting # 7 : cost  0
5.037 * * [simplify]: Extracting # 8 : cost  0
5.037 * * [simplify]: Extracting # 9 : cost  0
5.037 * * [simplify]: Extracting # 10 : cost  0
5.037 * * [simplify]: iteration  0 :  35  enodes  (cost  467 )
5.045 * * [simplify]: Extracting # 0 : cost  0
5.045 * * [simplify]: Extracting # 1 : cost  0
5.045 * * [simplify]: Extracting # 2 : cost  0
5.045 * * [simplify]: iteration  1 :  49  enodes  (cost  402 )
5.055 * * [simplify]: Extracting # 0 : cost  0
5.055 * * [simplify]: Extracting # 1 : cost  0
5.055 * * [simplify]: Extracting # 2 : cost  0
5.055 * * [simplify]: Extracting # 3 : cost  0
5.055 * * [simplify]: iteration  2 :  61  enodes  (cost  384 )
5.068 * * [simplify]: Extracting # 0 : cost  0
5.068 * * [simplify]: Extracting # 1 : cost  0
5.068 * * [simplify]: Extracting # 2 : cost  0
5.068 * * [simplify]: Extracting # 3 : cost  0
5.068 * * [simplify]: Extracting # 4 : cost  0
5.069 * * [simplify]: iteration  3 :  83  enodes  (cost  384 )
5.088 * * [simplify]: Extracting # 0 : cost  0
5.088 * * [simplify]: Extracting # 1 : cost  0
5.088 * * [simplify]: Extracting # 2 : cost  0
5.089 * * [simplify]: Extracting # 3 : cost  0
5.089 * * [simplify]: iteration  4 :  108  enodes  (cost  384 )
5.124 * * [simplify]: Extracting # 0 : cost  0
5.124 * * [simplify]: Extracting # 1 : cost  0
5.124 * * [simplify]: Extracting # 2 : cost  0
5.125 * * [simplify]: Extracting # 3 : cost  0
5.125 * * [simplify]: Extracting # 4 : cost  0
5.125 * * [simplify]: iteration  5 :  159  enodes  (cost  384 )
5.163 * * [simplify]: Extracting # 0 : cost  0
5.164 * * [simplify]: Extracting # 1 : cost  0
5.164 * * [simplify]: Extracting # 2 : cost  0
5.164 * * [simplify]: Extracting # 3 : cost  0
5.164 * * [simplify]: Extracting # 4 : cost  0
5.164 * * [simplify]: iteration  6 :  249  enodes  (cost  384 )
5.220 * * [simplify]: Extracting # 0 : cost  0
5.221 * * [simplify]: Extracting # 1 : cost  0
5.221 * * [simplify]: Extracting # 2 : cost  0
5.221 * * [simplify]: Extracting # 3 : cost  0
5.221 * * [simplify]: Extracting # 4 : cost  0
5.221 * * [simplify]: iteration  7 :  435  enodes  (cost  384 )
5.413 * * [simplify]: Extracting # 0 : cost  0
5.414 * * [simplify]: Extracting # 1 : cost  0
5.415 * * [simplify]: Extracting # 2 : cost  0
5.417 * * [simplify]: Extracting # 3 : cost  0
5.418 * * [simplify]: iteration  8 :  1136  enodes  (cost  384 )
6.533 * * [simplify]: Extracting # 0 : cost  0
6.547 * * [simplify]: Extracting # 1 : cost  0
6.552 * * [simplify]: Extracting # 2 : cost  0
6.557 * * [simplify]: Extracting # 3 : cost  0
6.562 * * [simplify]: Extracting # 4 : cost  0
6.567 * * [simplify]: iteration done:  5001  enodes  (cost  384 )
6.567 * [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))))
  (exp (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))))
  (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)
  (sqrt (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))
  (sqrt (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 (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
6.567 * * * [progress]: adding candidates to table
6.679 * [progress]: [Phase 3 of 3] Extracting.
6.679 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.680 * * * [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)
6.680 * * * * [regimes]: Trying to branch on (* b b) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.692 * * * * [regimes]: Trying to branch on (* a a) from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.710 * * * * [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) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.740 * * * * [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) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.773 * * * * [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) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.810 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.836 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))> #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))))> #<alt (λ (a b) (sqrt (fabs (fma (/ b a) (- (/ b a)) 1))))>)
6.856 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
6.856 * [simplify]: Simplifying:
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
6.856 * * [simplify]: Extracting # 0 : cost  0
6.856 * * [simplify]: Extracting # 1 : cost  0
6.856 * * [simplify]: Extracting # 2 : cost  0
6.856 * * [simplify]: Extracting # 3 : cost  0
6.856 * * [simplify]: Extracting # 4 : cost  0
6.856 * * [simplify]: Extracting # 5 : cost  0
6.857 * * [simplify]: Extracting # 6 : cost  0
6.857 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
6.858 * * [simplify]: Extracting # 0 : cost  0
6.858 * * [simplify]: Extracting # 1 : cost  0
6.858 * * [simplify]: Extracting # 2 : cost  0
6.858 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
6.859 * * [simplify]: Extracting # 0 : cost  0
6.859 * * [simplify]: iteration done:  12  enodes  (cost  11 )
6.859 * [simplify]: Simplified to:
  (sqrt (fabs (fma (/ b a) (- (/ b a)) 1)))
8.924 * [regime-testing]: Baseline error score: 0.011168877360030582
8.928 * [regime-testing]: Oracle error score: 0.005094997812496995
8.934 * [regime-testing]: End program error score: 0.011168877360030582