49.593 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: Extracting # 3 : cost  0
0.061 * * [simplify]: Extracting # 4 : cost  0
0.061 * * [simplify]: Extracting # 5 : cost  0
0.061 * * [simplify]: Extracting # 6 : cost  0
0.061 * * [simplify]: Extracting # 7 : cost  0
0.061 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: iteration  1 :  18  enodes  (cost  13 )
0.066 * * [simplify]: Extracting # 0 : cost  0
0.066 * * [simplify]: Extracting # 1 : cost  0
0.066 * * [simplify]: Extracting # 2 : cost  0
0.066 * * [simplify]: iteration  2 :  47  enodes  (cost  11 )
0.075 * * [simplify]: Extracting # 0 : cost  0
0.075 * * [simplify]: Extracting # 1 : cost  0
0.075 * * [simplify]: Extracting # 2 : cost  0
0.075 * * [simplify]: iteration  3 :  98  enodes  (cost  11 )
0.099 * * [simplify]: Extracting # 0 : cost  0
0.100 * * [simplify]: Extracting # 1 : cost  0
0.100 * * [simplify]: Extracting # 2 : cost  0
0.100 * * [simplify]: iteration  4 :  187  enodes  (cost  11 )
0.163 * * [simplify]: Extracting # 0 : cost  0
0.163 * * [simplify]: Extracting # 1 : cost  0
0.164 * * [simplify]: Extracting # 2 : cost  0
0.164 * * [simplify]: iteration  5 :  332  enodes  (cost  11 )
0.330 * * [simplify]: Extracting # 0 : cost  0
0.331 * * [simplify]: Extracting # 1 : cost  0
0.332 * * [simplify]: Extracting # 2 : cost  0
0.333 * * [simplify]: Extracting # 3 : cost  0
0.333 * * [simplify]: iteration  6 :  498  enodes  (cost  11 )
0.881 * * [simplify]: Extracting # 0 : cost  0
0.882 * * [simplify]: Extracting # 1 : cost  0
0.883 * * [simplify]: Extracting # 2 : cost  0
0.887 * * [simplify]: Extracting # 3 : cost  0
0.888 * * [simplify]: iteration  7 :  1408  enodes  (cost  11 )
4.912 * * [simplify]: Extracting # 0 : cost  0
4.925 * * [simplify]: Extracting # 1 : cost  0
4.933 * * [simplify]: Extracting # 2 : cost  0
4.940 * * [simplify]: Extracting # 3 : cost  0
4.944 * * [simplify]: Extracting # 4 : cost  0
4.948 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
4.948 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
4.951 * * [progress]: iteration 1 / 4
4.951 * * * [progress]: picking best candidate
4.958 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
4.958 * * * [progress]: localizing error
4.967 * * * [progress]: generating rewritten candidates
4.967 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
4.989 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.993 * * * [progress]: generating series expansions
4.993 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
4.994 * [backup-simplify]: Simplify (/ (* b b) (* a a)) into (/ (pow b 2) (pow a 2))
4.994 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
4.994 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
4.994 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.994 * [taylor]: Taking taylor expansion of b in a
4.994 * [backup-simplify]: Simplify b into b
4.994 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.994 * [taylor]: Taking taylor expansion of a in a
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 1 into 1
4.994 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.995 * [backup-simplify]: Simplify (* 1 1) into 1
4.995 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
4.995 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.995 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.995 * [taylor]: Taking taylor expansion of b in b
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 1 into 1
4.995 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.995 * [taylor]: Taking taylor expansion of a in b
4.995 * [backup-simplify]: Simplify a into a
4.996 * [backup-simplify]: Simplify (* 1 1) into 1
4.996 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.996 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.996 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.996 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.996 * [taylor]: Taking taylor expansion of b in b
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.996 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.996 * [taylor]: Taking taylor expansion of a in b
4.996 * [backup-simplify]: Simplify a into a
4.997 * [backup-simplify]: Simplify (* 1 1) into 1
4.997 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.997 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.997 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
4.997 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.997 * [taylor]: Taking taylor expansion of a in a
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify 1 into 1
4.998 * [backup-simplify]: Simplify (* 1 1) into 1
4.998 * [backup-simplify]: Simplify (/ 1 1) into 1
4.998 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.999 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.999 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
4.999 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.002 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.003 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.003 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.005 * [backup-simplify]: Simplify 0 into 0
5.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.007 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.007 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.007 * [taylor]: Taking taylor expansion of 0 in a
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.012 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
5.013 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.013 * [taylor]: Taking taylor expansion of 0 in a
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
5.014 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (/ (pow a 2) (pow b 2))
5.014 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
5.014 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.014 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.014 * [taylor]: Taking taylor expansion of a in a
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 1 into 1
5.014 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.014 * [taylor]: Taking taylor expansion of b in a
5.014 * [backup-simplify]: Simplify b into b
5.015 * [backup-simplify]: Simplify (* 1 1) into 1
5.015 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.015 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.015 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.015 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.015 * [taylor]: Taking taylor expansion of a in b
5.015 * [backup-simplify]: Simplify a into a
5.015 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.015 * [taylor]: Taking taylor expansion of b in b
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify 1 into 1
5.015 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.016 * [backup-simplify]: Simplify (* 1 1) into 1
5.016 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.016 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.016 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.016 * [taylor]: Taking taylor expansion of a in b
5.016 * [backup-simplify]: Simplify a into a
5.016 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.016 * [taylor]: Taking taylor expansion of b in b
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.016 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.017 * [backup-simplify]: Simplify (* 1 1) into 1
5.017 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.017 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.017 * [taylor]: Taking taylor expansion of a in a
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify 1 into 1
5.017 * [backup-simplify]: Simplify (* 1 1) into 1
5.017 * [backup-simplify]: Simplify 1 into 1
5.018 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.018 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.019 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
5.019 * [taylor]: Taking taylor expansion of 0 in a
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.023 * [taylor]: Taking taylor expansion of 0 in a
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.028 * [taylor]: Taking taylor expansion of 0 in a
5.028 * [backup-simplify]: Simplify 0 into 0
5.028 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
5.029 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
5.029 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
5.029 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.029 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.029 * [taylor]: Taking taylor expansion of a in a
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 1 into 1
5.029 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.029 * [taylor]: Taking taylor expansion of b in a
5.029 * [backup-simplify]: Simplify b into b
5.030 * [backup-simplify]: Simplify (* 1 1) into 1
5.030 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.030 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.030 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.030 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.030 * [taylor]: Taking taylor expansion of a in b
5.030 * [backup-simplify]: Simplify a into a
5.030 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.030 * [taylor]: Taking taylor expansion of b in b
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify 1 into 1
5.030 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.031 * [backup-simplify]: Simplify (* 1 1) into 1
5.031 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.031 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.031 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.031 * [taylor]: Taking taylor expansion of a in b
5.031 * [backup-simplify]: Simplify a into a
5.031 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.031 * [taylor]: Taking taylor expansion of b in b
5.031 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify 1 into 1
5.031 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.032 * [backup-simplify]: Simplify (* 1 1) into 1
5.032 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.032 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.032 * [taylor]: Taking taylor expansion of a in a
5.032 * [backup-simplify]: Simplify 0 into 0
5.032 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify (* 1 1) into 1
5.033 * [backup-simplify]: Simplify 1 into 1
5.033 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.033 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
5.034 * [taylor]: Taking taylor expansion of 0 in a
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.035 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.038 * [taylor]: Taking taylor expansion of 0 in a
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.039 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.043 * [taylor]: Taking taylor expansion of 0 in a
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
5.043 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.044 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* b b) (* a a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.044 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
5.044 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.044 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.044 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.044 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.045 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.045 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.045 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.045 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.046 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.046 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.046 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.046 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.046 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.047 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.048 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.048 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.048 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.048 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.049 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.049 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.049 * [taylor]: Taking taylor expansion of 0 in a
5.049 * [backup-simplify]: Simplify 0 into 0
5.049 * [backup-simplify]: Simplify 0 into 0
5.049 * [backup-simplify]: Simplify 0 into 0
5.051 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.051 * [taylor]: Taking taylor expansion of 0 in a
5.051 * [backup-simplify]: Simplify 0 into 0
5.051 * [backup-simplify]: Simplify 0 into 0
5.051 * [backup-simplify]: Simplify 0 into 0
5.052 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.052 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.053 * [taylor]: Taking taylor expansion of 0 in a
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.054 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.054 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
5.054 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.054 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.055 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.055 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.055 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.055 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.055 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.056 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.056 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.057 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.057 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.057 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.057 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.058 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.058 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.058 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.058 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.059 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.059 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.059 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.059 * [taylor]: Taking taylor expansion of 0 in a
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.061 * [taylor]: Taking taylor expansion of 0 in a
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.064 * [taylor]: Taking taylor expansion of 0 in a
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.065 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.065 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
5.065 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.065 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.065 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.065 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.066 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.066 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.066 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.066 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.067 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.067 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.067 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.067 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.068 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.068 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.068 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.069 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.069 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.070 * [taylor]: Taking taylor expansion of 0 in a
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.071 * [taylor]: Taking taylor expansion of 0 in a
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.074 * [taylor]: Taking taylor expansion of 0 in a
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.074 * * * [progress]: simplifying candidates
5.075 * [simplify]: Simplifying:
  (- (+ (log b) (log b)) (+ (log a) (log a)))
  (- (+ (log b) (log b)) (log (* a a)))
  (- (log (* b b)) (+ (log a) (log a)))
  (- (log (* b b)) (log (* a a)))
  (log (/ (* b b) (* a a)))
  (exp (/ (* b b) (* a a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) (* a a)) (* a a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (/ (* b b) a)
  (/ (* a a) b)
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (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)))))
5.077 * * [simplify]: Extracting # 0 : cost  0
5.077 * * [simplify]: Extracting # 1 : cost  0
5.077 * * [simplify]: Extracting # 2 : cost  0
5.077 * * [simplify]: Extracting # 3 : cost  0
5.077 * * [simplify]: Extracting # 4 : cost  0
5.078 * * [simplify]: Extracting # 5 : cost  0
5.078 * * [simplify]: Extracting # 6 : cost  0
5.078 * * [simplify]: iteration  0 :  65  enodes  (cost  498 )
5.115 * * [simplify]: Extracting # 0 : cost  0
5.115 * * [simplify]: Extracting # 1 : cost  0
5.115 * * [simplify]: Extracting # 2 : cost  0
5.116 * * [simplify]: iteration  1 :  145  enodes  (cost  462 )
5.201 * * [simplify]: Extracting # 0 : cost  0
5.202 * * [simplify]: Extracting # 1 : cost  0
5.203 * * [simplify]: Extracting # 2 : cost  0
5.204 * * [simplify]: Extracting # 3 : cost  0
5.205 * * [simplify]: Extracting # 4 : cost  0
5.206 * * [simplify]: Extracting # 5 : cost  0
5.207 * * [simplify]: iteration  2 :  488  enodes  (cost  370 )
6.001 * * [simplify]: Extracting # 0 : cost  0
6.005 * * [simplify]: Extracting # 1 : cost  0
6.009 * * [simplify]: Extracting # 2 : cost  0
6.012 * * [simplify]: Extracting # 3 : cost  0
6.015 * * [simplify]: Extracting # 4 : cost  0
6.017 * * [simplify]: iteration  3 :  1836  enodes  (cost  355 )
13.844 * * [simplify]: Extracting # 0 : cost  0
13.852 * * [simplify]: Extracting # 1 : cost  0
13.855 * * [simplify]: Extracting # 2 : cost  0
13.857 * * [simplify]: Extracting # 3 : cost  0
13.860 * * [simplify]: Extracting # 4 : cost  0
13.862 * * [simplify]: iteration  4 :  4570  enodes  (cost  345 )
15.356 * * [simplify]: Extracting # 0 : cost  0
15.362 * * [simplify]: Extracting # 1 : cost  0
15.369 * * [simplify]: Extracting # 2 : cost  0
15.375 * * [simplify]: iteration done:  5001  enodes  (cost  345 )
15.376 * [simplify]: Simplified to:
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (exp (/ (* b b) (* a a)))
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (pow (/ b a) 6)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (* b (/ b a))
  (* a (/ a b))
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (pow (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  1
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
15.376 * * * [progress]: adding candidates to table
15.493 * * [progress]: iteration 2 / 4
15.493 * * * [progress]: picking best candidate
15.498 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))>
15.498 * * * [progress]: localizing error
15.518 * * * [progress]: generating rewritten candidates
15.518 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
15.522 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
15.524 * * * [progress]: generating series expansions
15.524 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
15.524 * [backup-simplify]: Simplify (exp (* (log (/ b a)) 2)) into (pow (/ b a) 2)
15.524 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0
15.524 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a
15.524 * [taylor]: Taking taylor expansion of (/ b a) in a
15.524 * [taylor]: Taking taylor expansion of b in a
15.524 * [backup-simplify]: Simplify b into b
15.524 * [taylor]: Taking taylor expansion of a in a
15.524 * [backup-simplify]: Simplify 0 into 0
15.524 * [backup-simplify]: Simplify 1 into 1
15.524 * [backup-simplify]: Simplify (/ b 1) into b
15.524 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
15.524 * [taylor]: Taking taylor expansion of (/ b a) in b
15.524 * [taylor]: Taking taylor expansion of b in b
15.524 * [backup-simplify]: Simplify 0 into 0
15.524 * [backup-simplify]: Simplify 1 into 1
15.524 * [taylor]: Taking taylor expansion of a in b
15.524 * [backup-simplify]: Simplify a into a
15.524 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
15.524 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
15.524 * [taylor]: Taking taylor expansion of (/ b a) in b
15.524 * [taylor]: Taking taylor expansion of b in b
15.524 * [backup-simplify]: Simplify 0 into 0
15.524 * [backup-simplify]: Simplify 1 into 1
15.524 * [taylor]: Taking taylor expansion of a in b
15.524 * [backup-simplify]: Simplify a into a
15.524 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
15.525 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2))
15.525 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.525 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.525 * [taylor]: Taking taylor expansion of a in a
15.525 * [backup-simplify]: Simplify 0 into 0
15.525 * [backup-simplify]: Simplify 1 into 1
15.525 * [backup-simplify]: Simplify (* 1 1) into 1
15.525 * [backup-simplify]: Simplify (/ 1 1) into 1
15.525 * [backup-simplify]: Simplify 1 into 1
15.526 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
15.526 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0
15.526 * [taylor]: Taking taylor expansion of 0 in a
15.526 * [backup-simplify]: Simplify 0 into 0
15.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.527 * [backup-simplify]: Simplify 0 into 0
15.527 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
15.527 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
15.527 * [taylor]: Taking taylor expansion of 0 in a
15.527 * [backup-simplify]: Simplify 0 into 0
15.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.528 * [backup-simplify]: Simplify 0 into 0
15.528 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
15.529 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
15.529 * [taylor]: Taking taylor expansion of 0 in a
15.529 * [backup-simplify]: Simplify 0 into 0
15.529 * [backup-simplify]: Simplify 0 into 0
15.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.530 * [backup-simplify]: Simplify 0 into 0
15.530 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
15.531 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0
15.531 * [taylor]: Taking taylor expansion of 0 in a
15.531 * [backup-simplify]: Simplify 0 into 0
15.531 * [backup-simplify]: Simplify 0 into 0
15.531 * [backup-simplify]: Simplify 0 into 0
15.531 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
15.532 * [backup-simplify]: Simplify (exp (* (log (/ (/ 1 b) (/ 1 a))) 2)) into (pow (/ a b) 2)
15.532 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
15.532 * [taylor]: Taking taylor expansion of (/ a b) in a
15.532 * [taylor]: Taking taylor expansion of a in a
15.532 * [backup-simplify]: Simplify 0 into 0
15.532 * [backup-simplify]: Simplify 1 into 1
15.532 * [taylor]: Taking taylor expansion of b in a
15.532 * [backup-simplify]: Simplify b into b
15.532 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
15.532 * [taylor]: Taking taylor expansion of (/ a b) in b
15.532 * [taylor]: Taking taylor expansion of a in b
15.532 * [backup-simplify]: Simplify a into a
15.532 * [taylor]: Taking taylor expansion of b in b
15.532 * [backup-simplify]: Simplify 0 into 0
15.532 * [backup-simplify]: Simplify 1 into 1
15.532 * [backup-simplify]: Simplify (/ a 1) into a
15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
15.532 * [taylor]: Taking taylor expansion of (/ a b) in b
15.532 * [taylor]: Taking taylor expansion of a in b
15.532 * [backup-simplify]: Simplify a into a
15.532 * [taylor]: Taking taylor expansion of b in b
15.532 * [backup-simplify]: Simplify 0 into 0
15.532 * [backup-simplify]: Simplify 1 into 1
15.532 * [backup-simplify]: Simplify (/ a 1) into a
15.532 * [backup-simplify]: Simplify (* a a) into (pow a 2)
15.532 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.532 * [taylor]: Taking taylor expansion of a in a
15.532 * [backup-simplify]: Simplify 0 into 0
15.532 * [backup-simplify]: Simplify 1 into 1
15.532 * [backup-simplify]: Simplify (* 1 1) into 1
15.533 * [backup-simplify]: Simplify 1 into 1
15.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
15.533 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
15.533 * [taylor]: Taking taylor expansion of 0 in a
15.533 * [backup-simplify]: Simplify 0 into 0
15.533 * [backup-simplify]: Simplify 0 into 0
15.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.534 * [backup-simplify]: Simplify 0 into 0
15.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.535 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
15.535 * [taylor]: Taking taylor expansion of 0 in a
15.535 * [backup-simplify]: Simplify 0 into 0
15.535 * [backup-simplify]: Simplify 0 into 0
15.535 * [backup-simplify]: Simplify 0 into 0
15.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.535 * [backup-simplify]: Simplify 0 into 0
15.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.538 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
15.538 * [taylor]: Taking taylor expansion of 0 in a
15.538 * [backup-simplify]: Simplify 0 into 0
15.538 * [backup-simplify]: Simplify 0 into 0
15.538 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
15.539 * [backup-simplify]: Simplify (exp (* (log (/ (/ 1 (- b)) (/ 1 (- a)))) 2)) into (pow (/ a b) 2)
15.539 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
15.539 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
15.539 * [taylor]: Taking taylor expansion of (/ a b) in a
15.539 * [taylor]: Taking taylor expansion of a in a
15.539 * [backup-simplify]: Simplify 0 into 0
15.539 * [backup-simplify]: Simplify 1 into 1
15.539 * [taylor]: Taking taylor expansion of b in a
15.539 * [backup-simplify]: Simplify b into b
15.539 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
15.539 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
15.539 * [taylor]: Taking taylor expansion of (/ a b) in b
15.539 * [taylor]: Taking taylor expansion of a in b
15.539 * [backup-simplify]: Simplify a into a
15.539 * [taylor]: Taking taylor expansion of b in b
15.539 * [backup-simplify]: Simplify 0 into 0
15.539 * [backup-simplify]: Simplify 1 into 1
15.539 * [backup-simplify]: Simplify (/ a 1) into a
15.539 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
15.539 * [taylor]: Taking taylor expansion of (/ a b) in b
15.539 * [taylor]: Taking taylor expansion of a in b
15.539 * [backup-simplify]: Simplify a into a
15.539 * [taylor]: Taking taylor expansion of b in b
15.539 * [backup-simplify]: Simplify 0 into 0
15.540 * [backup-simplify]: Simplify 1 into 1
15.540 * [backup-simplify]: Simplify (/ a 1) into a
15.540 * [backup-simplify]: Simplify (* a a) into (pow a 2)
15.540 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.540 * [taylor]: Taking taylor expansion of a in a
15.540 * [backup-simplify]: Simplify 0 into 0
15.540 * [backup-simplify]: Simplify 1 into 1
15.540 * [backup-simplify]: Simplify (* 1 1) into 1
15.540 * [backup-simplify]: Simplify 1 into 1
15.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
15.541 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
15.541 * [taylor]: Taking taylor expansion of 0 in a
15.541 * [backup-simplify]: Simplify 0 into 0
15.541 * [backup-simplify]: Simplify 0 into 0
15.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.542 * [backup-simplify]: Simplify 0 into 0
15.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.544 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
15.544 * [taylor]: Taking taylor expansion of 0 in a
15.544 * [backup-simplify]: Simplify 0 into 0
15.544 * [backup-simplify]: Simplify 0 into 0
15.544 * [backup-simplify]: Simplify 0 into 0
15.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.545 * [backup-simplify]: Simplify 0 into 0
15.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.548 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
15.548 * [taylor]: Taking taylor expansion of 0 in a
15.548 * [backup-simplify]: Simplify 0 into 0
15.548 * [backup-simplify]: Simplify 0 into 0
15.548 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
15.549 * * * * [progress]: [ 2 / 2 ] generating series at (2)
15.549 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.549 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
15.549 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.549 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.549 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
15.550 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.550 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.550 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.551 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
15.551 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.551 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.551 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.552 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
15.552 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.553 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.553 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.553 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.553 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
15.553 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.554 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.554 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.554 * [taylor]: Taking taylor expansion of 0 in a
15.555 * [backup-simplify]: Simplify 0 into 0
15.555 * [backup-simplify]: Simplify 0 into 0
15.555 * [backup-simplify]: Simplify 0 into 0
15.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.556 * [taylor]: Taking taylor expansion of 0 in a
15.556 * [backup-simplify]: Simplify 0 into 0
15.556 * [backup-simplify]: Simplify 0 into 0
15.556 * [backup-simplify]: Simplify 0 into 0
15.557 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.557 * [backup-simplify]: Simplify 0 into 0
15.559 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
15.559 * [taylor]: Taking taylor expansion of 0 in a
15.559 * [backup-simplify]: Simplify 0 into 0
15.559 * [backup-simplify]: Simplify 0 into 0
15.559 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.559 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (exp (* (log (/ (/ 1 b) (/ 1 a))) 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.560 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.560 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.560 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.560 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.560 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.561 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.561 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.561 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.561 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.561 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.562 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.562 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.562 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.563 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.563 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.563 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.563 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.563 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.564 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.564 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.565 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.565 * [taylor]: Taking taylor expansion of 0 in a
15.565 * [backup-simplify]: Simplify 0 into 0
15.565 * [backup-simplify]: Simplify 0 into 0
15.565 * [backup-simplify]: Simplify 0 into 0
15.566 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.566 * [taylor]: Taking taylor expansion of 0 in a
15.566 * [backup-simplify]: Simplify 0 into 0
15.566 * [backup-simplify]: Simplify 0 into 0
15.566 * [backup-simplify]: Simplify 0 into 0
15.567 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.567 * [backup-simplify]: Simplify 0 into 0
15.568 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.568 * [taylor]: Taking taylor expansion of 0 in a
15.569 * [backup-simplify]: Simplify 0 into 0
15.569 * [backup-simplify]: Simplify 0 into 0
15.569 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.569 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (exp (* (log (/ (/ 1 (- b)) (/ 1 (- a)))) 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.569 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.569 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.570 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.570 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.570 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.571 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.571 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.571 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.571 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.572 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.572 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.572 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.572 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.572 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.572 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.572 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
15.573 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.573 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.573 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
15.573 * [taylor]: Taking taylor expansion of 0 in a
15.573 * [backup-simplify]: Simplify 0 into 0
15.573 * [backup-simplify]: Simplify 0 into 0
15.573 * [backup-simplify]: Simplify 0 into 0
15.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.574 * [taylor]: Taking taylor expansion of 0 in a
15.574 * [backup-simplify]: Simplify 0 into 0
15.574 * [backup-simplify]: Simplify 0 into 0
15.574 * [backup-simplify]: Simplify 0 into 0
15.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.575 * [backup-simplify]: Simplify 0 into 0
15.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
15.575 * [taylor]: Taking taylor expansion of 0 in a
15.575 * [backup-simplify]: Simplify 0 into 0
15.575 * [backup-simplify]: Simplify 0 into 0
15.576 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.576 * * * [progress]: simplifying candidates
15.576 * [simplify]: Simplifying:
  (exp (log (/ b a)))
  (exp (log (/ b a)))
  (exp (log (/ b a)))
  (log (exp (* (log (/ b a)) 2)))
  (exp (exp (* (log (/ b a)) 2)))
  (* (cbrt (exp (* (log (/ b a)) 2))) (cbrt (exp (* (log (/ b a)) 2))))
  (cbrt (exp (* (log (/ b a)) 2)))
  (* (* (exp (* (log (/ b a)) 2)) (exp (* (log (/ b a)) 2))) (exp (* (log (/ b a)) 2)))
  (sqrt (exp (* (log (/ b a)) 2)))
  (sqrt (exp (* (log (/ b a)) 2)))
  (log (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (exp (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (* (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))))
  (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (* (* (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (sqrt (* (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))))
  (sqrt (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (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)))))
15.577 * * [simplify]: Extracting # 0 : cost  0
15.577 * * [simplify]: Extracting # 1 : cost  0
15.577 * * [simplify]: Extracting # 2 : cost  0
15.577 * * [simplify]: Extracting # 3 : cost  0
15.577 * * [simplify]: Extracting # 4 : cost  0
15.577 * * [simplify]: Extracting # 5 : cost  0
15.577 * * [simplify]: Extracting # 6 : cost  0
15.577 * * [simplify]: Extracting # 7 : cost  0
15.577 * * [simplify]: Extracting # 8 : cost  0
15.577 * * [simplify]: iteration  0 :  38  enodes  (cost  345 )
15.584 * * [simplify]: Extracting # 0 : cost  0
15.584 * * [simplify]: Extracting # 1 : cost  0
15.584 * * [simplify]: Extracting # 2 : cost  0
15.585 * * [simplify]: Extracting # 3 : cost  0
15.585 * * [simplify]: Extracting # 4 : cost  0
15.585 * * [simplify]: iteration  1 :  64  enodes  (cost  263 )
15.605 * * [simplify]: Extracting # 0 : cost  0
15.606 * * [simplify]: Extracting # 1 : cost  0
15.606 * * [simplify]: Extracting # 2 : cost  0
15.606 * * [simplify]: Extracting # 3 : cost  0
15.606 * * [simplify]: Extracting # 4 : cost  0
15.607 * * [simplify]: iteration  2 :  122  enodes  (cost  230 )
15.644 * * [simplify]: Extracting # 0 : cost  0
15.644 * * [simplify]: Extracting # 1 : cost  0
15.645 * * [simplify]: Extracting # 2 : cost  0
15.645 * * [simplify]: Extracting # 3 : cost  0
15.645 * * [simplify]: Extracting # 4 : cost  0
15.645 * * [simplify]: iteration  3 :  321  enodes  (cost  230 )
15.812 * * [simplify]: Extracting # 0 : cost  0
15.813 * * [simplify]: Extracting # 1 : cost  0
15.814 * * [simplify]: Extracting # 2 : cost  0
15.815 * * [simplify]: Extracting # 3 : cost  0
15.816 * * [simplify]: Extracting # 4 : cost  0
15.817 * * [simplify]: iteration  4 :  1026  enodes  (cost  228 )
17.774 * * [simplify]: Extracting # 0 : cost  0
17.794 * * [simplify]: Extracting # 1 : cost  0
17.805 * * [simplify]: Extracting # 2 : cost  0
17.816 * * [simplify]: Extracting # 3 : cost  0
17.821 * * [simplify]: Extracting # 4 : cost  0
17.826 * * [simplify]: iteration done:  5000  enodes  (cost  228 )
17.827 * [simplify]: Simplified to:
  (/ b a)
  (/ b a)
  (/ b a)
  (* (log (/ b a)) 2)
  (exp (pow (/ b a) 2))
  (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))
  (cbrt (pow (/ b a) 2))
  (pow (/ b a) 6)
  (fabs (/ b a))
  (fabs (/ b a))
  (log (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (exp (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (* (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))))
  (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (pow (sqrt (fabs (- 1 (pow (/ b a) 2)))) 3)
  (fabs (cbrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (cbrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  1
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  1/2
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
17.827 * * * [progress]: adding candidates to table
17.945 * * [progress]: iteration 3 / 4
17.945 * * * [progress]: picking best candidate
17.950 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))>
17.950 * * * [progress]: localizing error
17.969 * * * [progress]: generating rewritten candidates
17.969 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
17.988 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2 1 1)
17.994 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
18.001 * * * [progress]: generating series expansions
18.001 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
18.002 * [backup-simplify]: Simplify (log (exp (pow (/ b a) 2))) into (pow (/ b a) 2)
18.002 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0
18.002 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a
18.002 * [taylor]: Taking taylor expansion of (/ b a) in a
18.002 * [taylor]: Taking taylor expansion of b in a
18.002 * [backup-simplify]: Simplify b into b
18.002 * [taylor]: Taking taylor expansion of a in a
18.002 * [backup-simplify]: Simplify 0 into 0
18.002 * [backup-simplify]: Simplify 1 into 1
18.002 * [backup-simplify]: Simplify (/ b 1) into b
18.002 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
18.002 * [taylor]: Taking taylor expansion of (/ b a) in b
18.002 * [taylor]: Taking taylor expansion of b in b
18.002 * [backup-simplify]: Simplify 0 into 0
18.002 * [backup-simplify]: Simplify 1 into 1
18.002 * [taylor]: Taking taylor expansion of a in b
18.002 * [backup-simplify]: Simplify a into a
18.002 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.002 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
18.002 * [taylor]: Taking taylor expansion of (/ b a) in b
18.002 * [taylor]: Taking taylor expansion of b in b
18.002 * [backup-simplify]: Simplify 0 into 0
18.003 * [backup-simplify]: Simplify 1 into 1
18.003 * [taylor]: Taking taylor expansion of a in b
18.003 * [backup-simplify]: Simplify a into a
18.003 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.003 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2))
18.003 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
18.003 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.003 * [taylor]: Taking taylor expansion of a in a
18.003 * [backup-simplify]: Simplify 0 into 0
18.003 * [backup-simplify]: Simplify 1 into 1
18.004 * [backup-simplify]: Simplify (* 1 1) into 1
18.004 * [backup-simplify]: Simplify (/ 1 1) into 1
18.004 * [backup-simplify]: Simplify 1 into 1
18.004 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
18.005 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0
18.005 * [taylor]: Taking taylor expansion of 0 in a
18.005 * [backup-simplify]: Simplify 0 into 0
18.005 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.006 * [backup-simplify]: Simplify 0 into 0
18.006 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.007 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
18.007 * [taylor]: Taking taylor expansion of 0 in a
18.007 * [backup-simplify]: Simplify 0 into 0
18.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.009 * [backup-simplify]: Simplify 0 into 0
18.009 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.010 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
18.010 * [taylor]: Taking taylor expansion of 0 in a
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 0 into 0
18.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.012 * [backup-simplify]: Simplify 0 into 0
18.013 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.014 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0
18.014 * [taylor]: Taking taylor expansion of 0 in a
18.014 * [backup-simplify]: Simplify 0 into 0
18.014 * [backup-simplify]: Simplify 0 into 0
18.014 * [backup-simplify]: Simplify 0 into 0
18.015 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
18.015 * [backup-simplify]: Simplify (log (exp (pow (/ (/ 1 b) (/ 1 a)) 2))) into (pow (/ a b) 2)
18.015 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
18.015 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
18.015 * [taylor]: Taking taylor expansion of (/ a b) in a
18.015 * [taylor]: Taking taylor expansion of a in a
18.015 * [backup-simplify]: Simplify 0 into 0
18.015 * [backup-simplify]: Simplify 1 into 1
18.015 * [taylor]: Taking taylor expansion of b in a
18.015 * [backup-simplify]: Simplify b into b
18.015 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
18.015 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.015 * [taylor]: Taking taylor expansion of (/ a b) in b
18.015 * [taylor]: Taking taylor expansion of a in b
18.015 * [backup-simplify]: Simplify a into a
18.015 * [taylor]: Taking taylor expansion of b in b
18.015 * [backup-simplify]: Simplify 0 into 0
18.015 * [backup-simplify]: Simplify 1 into 1
18.016 * [backup-simplify]: Simplify (/ a 1) into a
18.016 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.016 * [taylor]: Taking taylor expansion of (/ a b) in b
18.016 * [taylor]: Taking taylor expansion of a in b
18.016 * [backup-simplify]: Simplify a into a
18.016 * [taylor]: Taking taylor expansion of b in b
18.016 * [backup-simplify]: Simplify 0 into 0
18.016 * [backup-simplify]: Simplify 1 into 1
18.016 * [backup-simplify]: Simplify (/ a 1) into a
18.016 * [backup-simplify]: Simplify (* a a) into (pow a 2)
18.016 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.016 * [taylor]: Taking taylor expansion of a in a
18.016 * [backup-simplify]: Simplify 0 into 0
18.016 * [backup-simplify]: Simplify 1 into 1
18.017 * [backup-simplify]: Simplify (* 1 1) into 1
18.017 * [backup-simplify]: Simplify 1 into 1
18.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
18.018 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
18.018 * [taylor]: Taking taylor expansion of 0 in a
18.018 * [backup-simplify]: Simplify 0 into 0
18.018 * [backup-simplify]: Simplify 0 into 0
18.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.019 * [backup-simplify]: Simplify 0 into 0
18.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.021 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
18.021 * [taylor]: Taking taylor expansion of 0 in a
18.021 * [backup-simplify]: Simplify 0 into 0
18.021 * [backup-simplify]: Simplify 0 into 0
18.021 * [backup-simplify]: Simplify 0 into 0
18.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.022 * [backup-simplify]: Simplify 0 into 0
18.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.025 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
18.025 * [taylor]: Taking taylor expansion of 0 in a
18.025 * [backup-simplify]: Simplify 0 into 0
18.025 * [backup-simplify]: Simplify 0 into 0
18.025 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
18.026 * [backup-simplify]: Simplify (log (exp (pow (/ (/ 1 (- b)) (/ 1 (- a))) 2))) into (pow (/ a b) 2)
18.026 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
18.026 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
18.026 * [taylor]: Taking taylor expansion of (/ a b) in a
18.026 * [taylor]: Taking taylor expansion of a in a
18.026 * [backup-simplify]: Simplify 0 into 0
18.026 * [backup-simplify]: Simplify 1 into 1
18.026 * [taylor]: Taking taylor expansion of b in a
18.026 * [backup-simplify]: Simplify b into b
18.026 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
18.026 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.026 * [taylor]: Taking taylor expansion of (/ a b) in b
18.026 * [taylor]: Taking taylor expansion of a in b
18.026 * [backup-simplify]: Simplify a into a
18.026 * [taylor]: Taking taylor expansion of b in b
18.026 * [backup-simplify]: Simplify 0 into 0
18.026 * [backup-simplify]: Simplify 1 into 1
18.026 * [backup-simplify]: Simplify (/ a 1) into a
18.026 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.026 * [taylor]: Taking taylor expansion of (/ a b) in b
18.026 * [taylor]: Taking taylor expansion of a in b
18.026 * [backup-simplify]: Simplify a into a
18.026 * [taylor]: Taking taylor expansion of b in b
18.027 * [backup-simplify]: Simplify 0 into 0
18.027 * [backup-simplify]: Simplify 1 into 1
18.027 * [backup-simplify]: Simplify (/ a 1) into a
18.027 * [backup-simplify]: Simplify (* a a) into (pow a 2)
18.027 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.027 * [taylor]: Taking taylor expansion of a in a
18.027 * [backup-simplify]: Simplify 0 into 0
18.027 * [backup-simplify]: Simplify 1 into 1
18.027 * [backup-simplify]: Simplify (* 1 1) into 1
18.027 * [backup-simplify]: Simplify 1 into 1
18.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
18.028 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
18.028 * [taylor]: Taking taylor expansion of 0 in a
18.028 * [backup-simplify]: Simplify 0 into 0
18.029 * [backup-simplify]: Simplify 0 into 0
18.029 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.029 * [backup-simplify]: Simplify 0 into 0
18.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.031 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
18.031 * [taylor]: Taking taylor expansion of 0 in a
18.031 * [backup-simplify]: Simplify 0 into 0
18.031 * [backup-simplify]: Simplify 0 into 0
18.031 * [backup-simplify]: Simplify 0 into 0
18.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.032 * [backup-simplify]: Simplify 0 into 0
18.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.035 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
18.035 * [taylor]: Taking taylor expansion of 0 in a
18.035 * [backup-simplify]: Simplify 0 into 0
18.035 * [backup-simplify]: Simplify 0 into 0
18.036 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
18.036 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2 1 1)
18.036 * [backup-simplify]: Simplify (pow (/ b a) 2) into (pow (/ b a) 2)
18.036 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0
18.036 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a
18.036 * [taylor]: Taking taylor expansion of (/ b a) in a
18.036 * [taylor]: Taking taylor expansion of b in a
18.036 * [backup-simplify]: Simplify b into b
18.036 * [taylor]: Taking taylor expansion of a in a
18.036 * [backup-simplify]: Simplify 0 into 0
18.036 * [backup-simplify]: Simplify 1 into 1
18.036 * [backup-simplify]: Simplify (/ b 1) into b
18.036 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
18.036 * [taylor]: Taking taylor expansion of (/ b a) in b
18.036 * [taylor]: Taking taylor expansion of b in b
18.036 * [backup-simplify]: Simplify 0 into 0
18.036 * [backup-simplify]: Simplify 1 into 1
18.036 * [taylor]: Taking taylor expansion of a in b
18.036 * [backup-simplify]: Simplify a into a
18.037 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.037 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b
18.037 * [taylor]: Taking taylor expansion of (/ b a) in b
18.037 * [taylor]: Taking taylor expansion of b in b
18.037 * [backup-simplify]: Simplify 0 into 0
18.037 * [backup-simplify]: Simplify 1 into 1
18.037 * [taylor]: Taking taylor expansion of a in b
18.037 * [backup-simplify]: Simplify a into a
18.037 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.037 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2))
18.037 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
18.037 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.037 * [taylor]: Taking taylor expansion of a in a
18.037 * [backup-simplify]: Simplify 0 into 0
18.037 * [backup-simplify]: Simplify 1 into 1
18.038 * [backup-simplify]: Simplify (* 1 1) into 1
18.038 * [backup-simplify]: Simplify (/ 1 1) into 1
18.038 * [backup-simplify]: Simplify 1 into 1
18.038 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
18.038 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0
18.038 * [taylor]: Taking taylor expansion of 0 in a
18.039 * [backup-simplify]: Simplify 0 into 0
18.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.040 * [backup-simplify]: Simplify 0 into 0
18.040 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.041 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
18.041 * [taylor]: Taking taylor expansion of 0 in a
18.041 * [backup-simplify]: Simplify 0 into 0
18.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.043 * [backup-simplify]: Simplify 0 into 0
18.043 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.044 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
18.044 * [taylor]: Taking taylor expansion of 0 in a
18.044 * [backup-simplify]: Simplify 0 into 0
18.044 * [backup-simplify]: Simplify 0 into 0
18.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.046 * [backup-simplify]: Simplify 0 into 0
18.047 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
18.048 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0
18.048 * [taylor]: Taking taylor expansion of 0 in a
18.048 * [backup-simplify]: Simplify 0 into 0
18.048 * [backup-simplify]: Simplify 0 into 0
18.048 * [backup-simplify]: Simplify 0 into 0
18.048 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
18.049 * [backup-simplify]: Simplify (pow (/ (/ 1 b) (/ 1 a)) 2) into (pow (/ a b) 2)
18.049 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
18.049 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
18.049 * [taylor]: Taking taylor expansion of (/ a b) in a
18.049 * [taylor]: Taking taylor expansion of a in a
18.049 * [backup-simplify]: Simplify 0 into 0
18.049 * [backup-simplify]: Simplify 1 into 1
18.049 * [taylor]: Taking taylor expansion of b in a
18.049 * [backup-simplify]: Simplify b into b
18.049 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
18.049 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.049 * [taylor]: Taking taylor expansion of (/ a b) in b
18.049 * [taylor]: Taking taylor expansion of a in b
18.049 * [backup-simplify]: Simplify a into a
18.049 * [taylor]: Taking taylor expansion of b in b
18.049 * [backup-simplify]: Simplify 0 into 0
18.049 * [backup-simplify]: Simplify 1 into 1
18.049 * [backup-simplify]: Simplify (/ a 1) into a
18.049 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.049 * [taylor]: Taking taylor expansion of (/ a b) in b
18.049 * [taylor]: Taking taylor expansion of a in b
18.049 * [backup-simplify]: Simplify a into a
18.049 * [taylor]: Taking taylor expansion of b in b
18.049 * [backup-simplify]: Simplify 0 into 0
18.050 * [backup-simplify]: Simplify 1 into 1
18.050 * [backup-simplify]: Simplify (/ a 1) into a
18.050 * [backup-simplify]: Simplify (* a a) into (pow a 2)
18.050 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.050 * [taylor]: Taking taylor expansion of a in a
18.050 * [backup-simplify]: Simplify 0 into 0
18.050 * [backup-simplify]: Simplify 1 into 1
18.050 * [backup-simplify]: Simplify (* 1 1) into 1
18.050 * [backup-simplify]: Simplify 1 into 1
18.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
18.051 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
18.051 * [taylor]: Taking taylor expansion of 0 in a
18.051 * [backup-simplify]: Simplify 0 into 0
18.051 * [backup-simplify]: Simplify 0 into 0
18.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.052 * [backup-simplify]: Simplify 0 into 0
18.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.054 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
18.054 * [taylor]: Taking taylor expansion of 0 in a
18.054 * [backup-simplify]: Simplify 0 into 0
18.054 * [backup-simplify]: Simplify 0 into 0
18.054 * [backup-simplify]: Simplify 0 into 0
18.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.055 * [backup-simplify]: Simplify 0 into 0
18.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.066 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
18.066 * [taylor]: Taking taylor expansion of 0 in a
18.066 * [backup-simplify]: Simplify 0 into 0
18.066 * [backup-simplify]: Simplify 0 into 0
18.066 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
18.067 * [backup-simplify]: Simplify (pow (/ (/ 1 (- b)) (/ 1 (- a))) 2) into (pow (/ a b) 2)
18.067 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0
18.067 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a
18.067 * [taylor]: Taking taylor expansion of (/ a b) in a
18.067 * [taylor]: Taking taylor expansion of a in a
18.067 * [backup-simplify]: Simplify 0 into 0
18.067 * [backup-simplify]: Simplify 1 into 1
18.067 * [taylor]: Taking taylor expansion of b in a
18.067 * [backup-simplify]: Simplify b into b
18.067 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
18.067 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.067 * [taylor]: Taking taylor expansion of (/ a b) in b
18.067 * [taylor]: Taking taylor expansion of a in b
18.067 * [backup-simplify]: Simplify a into a
18.067 * [taylor]: Taking taylor expansion of b in b
18.067 * [backup-simplify]: Simplify 0 into 0
18.067 * [backup-simplify]: Simplify 1 into 1
18.068 * [backup-simplify]: Simplify (/ a 1) into a
18.068 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b
18.068 * [taylor]: Taking taylor expansion of (/ a b) in b
18.068 * [taylor]: Taking taylor expansion of a in b
18.068 * [backup-simplify]: Simplify a into a
18.068 * [taylor]: Taking taylor expansion of b in b
18.068 * [backup-simplify]: Simplify 0 into 0
18.068 * [backup-simplify]: Simplify 1 into 1
18.068 * [backup-simplify]: Simplify (/ a 1) into a
18.068 * [backup-simplify]: Simplify (* a a) into (pow a 2)
18.068 * [taylor]: Taking taylor expansion of (pow a 2) in a
18.068 * [taylor]: Taking taylor expansion of a in a
18.068 * [backup-simplify]: Simplify 0 into 0
18.068 * [backup-simplify]: Simplify 1 into 1
18.069 * [backup-simplify]: Simplify (* 1 1) into 1
18.069 * [backup-simplify]: Simplify 1 into 1
18.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
18.070 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
18.070 * [taylor]: Taking taylor expansion of 0 in a
18.070 * [backup-simplify]: Simplify 0 into 0
18.070 * [backup-simplify]: Simplify 0 into 0
18.071 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.071 * [backup-simplify]: Simplify 0 into 0
18.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.073 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
18.073 * [taylor]: Taking taylor expansion of 0 in a
18.073 * [backup-simplify]: Simplify 0 into 0
18.073 * [backup-simplify]: Simplify 0 into 0
18.073 * [backup-simplify]: Simplify 0 into 0
18.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.074 * [backup-simplify]: Simplify 0 into 0
18.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.077 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
18.077 * [taylor]: Taking taylor expansion of 0 in a
18.077 * [backup-simplify]: Simplify 0 into 0
18.077 * [backup-simplify]: Simplify 0 into 0
18.078 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
18.078 * * * * [progress]: [ 3 / 3 ] generating series at (2)
18.078 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.078 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
18.078 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
18.078 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
18.079 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
18.079 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.080 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.080 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
18.080 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
18.080 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
18.080 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.081 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
18.081 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
18.081 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
18.082 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.082 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
18.082 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
18.083 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
18.083 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.083 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.084 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.084 * [taylor]: Taking taylor expansion of 0 in a
18.084 * [backup-simplify]: Simplify 0 into 0
18.084 * [backup-simplify]: Simplify 0 into 0
18.084 * [backup-simplify]: Simplify 0 into 0
18.085 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.085 * [taylor]: Taking taylor expansion of 0 in a
18.085 * [backup-simplify]: Simplify 0 into 0
18.085 * [backup-simplify]: Simplify 0 into 0
18.085 * [backup-simplify]: Simplify 0 into 0
18.087 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.087 * [backup-simplify]: Simplify 0 into 0
18.088 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
18.088 * [taylor]: Taking taylor expansion of 0 in a
18.088 * [backup-simplify]: Simplify 0 into 0
18.088 * [backup-simplify]: Simplify 0 into 0
18.088 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.089 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (/ (/ 1 b) (/ 1 a)) 2)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.089 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
18.089 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
18.089 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
18.089 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.090 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.090 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.090 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
18.090 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
18.090 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.091 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.091 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.091 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
18.091 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
18.092 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.092 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.092 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.093 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
18.093 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
18.093 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.093 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.094 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.094 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.094 * [taylor]: Taking taylor expansion of 0 in a
18.094 * [backup-simplify]: Simplify 0 into 0
18.094 * [backup-simplify]: Simplify 0 into 0
18.094 * [backup-simplify]: Simplify 0 into 0
18.096 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.096 * [taylor]: Taking taylor expansion of 0 in a
18.096 * [backup-simplify]: Simplify 0 into 0
18.096 * [backup-simplify]: Simplify 0 into 0
18.096 * [backup-simplify]: Simplify 0 into 0
18.097 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.097 * [backup-simplify]: Simplify 0 into 0
18.098 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.098 * [taylor]: Taking taylor expansion of 0 in a
18.098 * [backup-simplify]: Simplify 0 into 0
18.098 * [backup-simplify]: Simplify 0 into 0
18.099 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.099 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (/ (/ 1 (- b)) (/ 1 (- a))) 2)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.099 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
18.099 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
18.099 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
18.100 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.100 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.101 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
18.101 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
18.101 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.101 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.102 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
18.102 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
18.102 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.103 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.103 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.103 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
18.103 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
18.103 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
18.104 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.104 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.105 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
18.105 * [taylor]: Taking taylor expansion of 0 in a
18.105 * [backup-simplify]: Simplify 0 into 0
18.105 * [backup-simplify]: Simplify 0 into 0
18.105 * [backup-simplify]: Simplify 0 into 0
18.106 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.106 * [taylor]: Taking taylor expansion of 0 in a
18.106 * [backup-simplify]: Simplify 0 into 0
18.106 * [backup-simplify]: Simplify 0 into 0
18.106 * [backup-simplify]: Simplify 0 into 0
18.107 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.107 * [backup-simplify]: Simplify 0 into 0
18.109 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
18.109 * [taylor]: Taking taylor expansion of 0 in a
18.109 * [backup-simplify]: Simplify 0 into 0
18.109 * [backup-simplify]: Simplify 0 into 0
18.109 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
18.109 * * * [progress]: simplifying candidates
18.111 * [simplify]: Simplifying:
  (log (* (cbrt (exp (pow (/ b a) 2))) (cbrt (exp (pow (/ b a) 2)))))
  (log (cbrt (exp (pow (/ b a) 2))))
  (log (sqrt (exp (pow (/ b a) 2))))
  (log (sqrt (exp (pow (/ b a) 2))))
  (log 1)
  (log (exp (pow (/ b a) 2)))
  (log (exp (pow (/ b a) 2)))
  (log (exp (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 2)))
  (log (exp (pow (sqrt (/ b a)) 2)))
  (log (exp (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 2)))
  (log (exp (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2)))
  (log (exp (pow (/ (* (cbrt b) (cbrt b)) 1) 2)))
  (log (exp (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2)))
  (log (exp (pow (/ (sqrt b) (sqrt a)) 2)))
  (log (exp (pow (/ (sqrt b) 1) 2)))
  (log (exp (pow (/ 1 (* (cbrt a) (cbrt a))) 2)))
  (log (exp (pow (/ 1 (sqrt a)) 2)))
  (log (exp (pow (/ 1 1) 2)))
  (log (exp (pow 1 2)))
  (log (exp (pow b 2)))
  (log (exp (/ b a)))
  (log (exp (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))))
  (log (exp (sqrt (pow (/ b a) 2))))
  (log (exp 1))
  (log (exp (pow (/ b a) (/ 2 2))))
  (log (log (exp (pow (/ b a) 2))))
  (exp (log (exp (pow (/ b a) 2))))
  (* (cbrt (log (exp (pow (/ b a) 2)))) (cbrt (log (exp (pow (/ b a) 2)))))
  (cbrt (log (exp (pow (/ b a) 2))))
  (* (* (log (exp (pow (/ b a) 2))) (log (exp (pow (/ b a) 2)))) (log (exp (pow (/ b a) 2))))
  (sqrt (log (exp (pow (/ b a) 2))))
  (sqrt (log (exp (pow (/ b a) 2))))
  (* (- (log b) (log a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* 1 2)
  (pow (/ b a) (* (cbrt 2) (cbrt 2)))
  (pow (/ b a) (sqrt 2))
  (pow (/ b a) 1)
  (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 2)
  (pow (cbrt (/ b a)) 2)
  (pow (sqrt (/ b a)) 2)
  (pow (sqrt (/ b a)) 2)
  (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 2)
  (pow (/ (cbrt b) (cbrt a)) 2)
  (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2)
  (pow (/ (cbrt b) (sqrt a)) 2)
  (pow (/ (* (cbrt b) (cbrt b)) 1) 2)
  (pow (/ (cbrt b) a) 2)
  (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2)
  (pow (/ (sqrt b) (cbrt a)) 2)
  (pow (/ (sqrt b) (sqrt a)) 2)
  (pow (/ (sqrt b) (sqrt a)) 2)
  (pow (/ (sqrt b) 1) 2)
  (pow (/ (sqrt b) a) 2)
  (pow (/ 1 (* (cbrt a) (cbrt a))) 2)
  (pow (/ b (cbrt a)) 2)
  (pow (/ 1 (sqrt a)) 2)
  (pow (/ b (sqrt a)) 2)
  (pow (/ 1 1) 2)
  (pow (/ b a) 2)
  (pow 1 2)
  (pow (/ b a) 2)
  (pow b 2)
  (pow (/ 1 a) 2)
  (log (pow (/ b a) 2))
  (exp (pow (/ b a) 2))
  (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))
  (cbrt (pow (/ b a) 2))
  (* (* (pow (/ b a) 2) (pow (/ b a) 2)) (pow (/ b a) 2))
  (sqrt (pow (/ b a) 2))
  (sqrt (pow (/ b a) 2))
  (pow (/ b a) (/ 2 2))
  (pow (/ b a) (/ 2 2))
  (log (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (exp (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (* (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))))
  (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (* (* (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (sqrt (* (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))))
  (sqrt (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (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)))))
18.115 * * [simplify]: Extracting # 0 : cost  0
18.115 * * [simplify]: Extracting # 1 : cost  0
18.115 * * [simplify]: Extracting # 2 : cost  0
18.116 * * [simplify]: Extracting # 3 : cost  0
18.116 * * [simplify]: Extracting # 4 : cost  0
18.116 * * [simplify]: Extracting # 5 : cost  0
18.117 * * [simplify]: Extracting # 6 : cost  0
18.117 * * [simplify]: Extracting # 7 : cost  0
18.118 * * [simplify]: Extracting # 8 : cost  0
18.118 * * [simplify]: iteration  0 :  148  enodes  (cost  864 )
18.175 * * [simplify]: Extracting # 0 : cost  0
18.175 * * [simplify]: Extracting # 1 : cost  0
18.175 * * [simplify]: Extracting # 2 : cost  0
18.176 * * [simplify]: Extracting # 3 : cost  0
18.176 * * [simplify]: Extracting # 4 : cost  0
18.176 * * [simplify]: iteration  1 :  255  enodes  (cost  684 )
18.253 * * [simplify]: Extracting # 0 : cost  0
18.253 * * [simplify]: Extracting # 1 : cost  0
18.254 * * [simplify]: Extracting # 2 : cost  0
18.254 * * [simplify]: Extracting # 3 : cost  0
18.255 * * [simplify]: Extracting # 4 : cost  0
18.255 * * [simplify]: iteration  2 :  514  enodes  (cost  612 )
18.472 * * [simplify]: Extracting # 0 : cost  0
18.475 * * [simplify]: Extracting # 1 : cost  0
18.486 * * [simplify]: Extracting # 2 : cost  0
18.490 * * [simplify]: Extracting # 3 : cost  0
18.494 * * [simplify]: Extracting # 4 : cost  0
18.498 * * [simplify]: iteration  3 :  1530  enodes  (cost  611 )
19.388 * * [simplify]: Extracting # 0 : cost  0
19.394 * * [simplify]: Extracting # 1 : cost  0
19.400 * * [simplify]: Extracting # 2 : cost  0
19.406 * * [simplify]: Extracting # 3 : cost  0
19.412 * * [simplify]: Extracting # 4 : cost  0
19.418 * * [simplify]: iteration done:  5000  enodes  (cost  603 )
19.418 * [simplify]: Simplified to:
  (* 2 (log (cbrt (exp (pow (/ b a) 2)))))
  (log (cbrt (exp (pow (/ b a) 2))))
  (log (sqrt (exp (pow (/ b a) 2))))
  (log (sqrt (exp (pow (/ b a) 2))))
  0
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (cbrt (/ b a)) 4)
  (/ b a)
  (pow (/ (cbrt b) (cbrt a)) 4)
  (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2)
  (* b (cbrt b))
  (/ (/ b (pow (cbrt a) 3)) (cbrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  b
  (pow (/ 1 (* (cbrt a) (cbrt a))) 2)
  (pow (/ 1 (sqrt a)) 2)
  1
  1
  (* b b)
  (/ b a)
  (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))
  (fabs (/ b a))
  1
  (/ b a)
  (log (pow (/ b a) 2))
  (exp (pow (/ b a) 2))
  (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))
  (cbrt (pow (/ b a) 2))
  (pow (pow (/ b a) 2) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (log (pow (/ b a) 2))
  (log (pow (/ b a) 2))
  (log (pow (/ b a) 2))
  2
  (pow (/ b a) (* (cbrt 2) (cbrt 2)))
  (pow (/ b a) (sqrt 2))
  (/ b a)
  (pow (cbrt (/ b a)) 4)
  (pow (cbrt (/ b a)) 2)
  (/ b a)
  (/ b a)
  (pow (/ (cbrt b) (cbrt a)) 4)
  (pow (/ (cbrt b) (cbrt a)) 2)
  (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2)
  (pow (/ (cbrt b) (sqrt a)) 2)
  (* b (cbrt b))
  (pow (/ (cbrt b) a) 2)
  (/ (/ b (pow (cbrt a) 3)) (cbrt a))
  (pow (/ (sqrt b) (cbrt a)) 2)
  (/ (/ b (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  b
  (/ (/ b a) a)
  (pow (/ 1 (* (cbrt a) (cbrt a))) 2)
  (pow (/ b (cbrt a)) 2)
  (pow (/ 1 (sqrt a)) 2)
  (pow (/ b (sqrt a)) 2)
  1
  (pow (/ b a) 2)
  1
  (pow (/ b a) 2)
  (* b b)
  (pow (/ 1 a) 2)
  (log (pow (/ b a) 2))
  (exp (pow (/ b a) 2))
  (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2)))
  (cbrt (pow (/ b a) 2))
  (pow (pow (/ b a) 2) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (/ b a)
  (/ b a)
  (log (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (exp (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (* (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))))
  (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (pow (sqrt (fabs (- 1 (pow (/ b a) 2)))) 3)
  (fabs (cbrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (cbrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  1
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  1/2
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (pow (/ b a) 2)
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
  (sqrt (fabs (- 1 (pow (/ b a) 2))))
19.419 * * * [progress]: adding candidates to table
19.801 * [progress]: [Phase 3 of 3] Extracting.
19.807 * [simplify]: Simplifying:
  (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
19.807 * * [simplify]: Extracting # 0 : cost  0
19.807 * * [simplify]: Extracting # 1 : cost  0
19.807 * * [simplify]: Extracting # 2 : cost  0
19.807 * * [simplify]: Extracting # 3 : cost  0
19.807 * * [simplify]: Extracting # 4 : cost  0
19.807 * * [simplify]: Extracting # 5 : cost  0
19.807 * * [simplify]: Extracting # 6 : cost  0
19.808 * * [simplify]: Extracting # 7 : cost  0
19.808 * * [simplify]: Extracting # 8 : cost  0
19.808 * * [simplify]: Extracting # 9 : cost  0
19.808 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
19.809 * * [simplify]: Extracting # 0 : cost  0
19.809 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
19.810 * * [simplify]: Extracting # 0 : cost  0
19.810 * * [simplify]: iteration done:  13  enodes  (cost  11 )
19.810 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
21.563 * [regime-testing]: Baseline error score: 0.007574067070974016
21.567 * [regime-testing]: Oracle error score: 0.007574067070974016
21.567 * [regime-testing]: End program error score: 0.007574067070974016