19.389 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.057 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: Extracting # 3 : cost  0
0.057 * * [simplify]: Extracting # 4 : cost  0
0.057 * * [simplify]: Extracting # 5 : cost  0
0.057 * * [simplify]: Extracting # 6 : cost  0
0.057 * * [simplify]: Extracting # 7 : cost  0
0.057 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  1 :  19  enodes  (cost  13 )
0.068 * * [simplify]: Extracting # 0 : cost  0
0.068 * * [simplify]: Extracting # 1 : cost  0
0.068 * * [simplify]: Extracting # 2 : cost  0
0.069 * * [simplify]: iteration  2 :  48  enodes  (cost  11 )
0.086 * * [simplify]: Extracting # 0 : cost  0
0.086 * * [simplify]: Extracting # 1 : cost  0
0.087 * * [simplify]: Extracting # 2 : cost  0
0.087 * * [simplify]: iteration  3 :  101  enodes  (cost  11 )
0.155 * * [simplify]: Extracting # 0 : cost  0
0.156 * * [simplify]: Extracting # 1 : cost  0
0.156 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: iteration  4 :  198  enodes  (cost  11 )
0.258 * * [simplify]: Extracting # 0 : cost  0
0.258 * * [simplify]: Extracting # 1 : cost  0
0.259 * * [simplify]: Extracting # 2 : cost  0
0.259 * * [simplify]: iteration  5 :  376  enodes  (cost  11 )
0.435 * * [simplify]: Extracting # 0 : cost  0
0.438 * * [simplify]: Extracting # 1 : cost  0
0.439 * * [simplify]: Extracting # 2 : cost  0
0.440 * * [simplify]: Extracting # 3 : cost  0
0.441 * * [simplify]: iteration  6 :  618  enodes  (cost  11 )
1.450 * * [simplify]: Extracting # 0 : cost  0
1.453 * * [simplify]: Extracting # 1 : cost  0
1.456 * * [simplify]: Extracting # 2 : cost  0
1.458 * * [simplify]: Extracting # 3 : cost  0
1.461 * * [simplify]: iteration  7 :  1653  enodes  (cost  11 )
6.124 * * [simplify]: Extracting # 0 : cost  0
6.135 * * [simplify]: Extracting # 1 : cost  0
6.145 * * [simplify]: Extracting # 2 : cost  0
6.154 * * [simplify]: Extracting # 3 : cost  0
6.163 * * [simplify]: Extracting # 4 : cost  0
6.172 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
6.172 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
6.176 * * [progress]: iteration 1 / 4
6.176 * * * [progress]: picking best candidate
6.178 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
6.178 * * * [progress]: localizing error
6.187 * * * [progress]: generating rewritten candidates
6.187 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
6.212 * * * [progress]: generating series expansions
6.212 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
6.212 * [backup-simplify]: Simplify (/ (* b b) (* a a)) into (/ (pow b 2) (pow a 2))
6.213 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
6.213 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
6.213 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.213 * [taylor]: Taking taylor expansion of b in a
6.213 * [backup-simplify]: Simplify b into b
6.213 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.213 * [taylor]: Taking taylor expansion of a in a
6.213 * [backup-simplify]: Simplify 0 into 0
6.213 * [backup-simplify]: Simplify 1 into 1
6.213 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.213 * [backup-simplify]: Simplify (* 1 1) into 1
6.214 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
6.214 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
6.214 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.214 * [taylor]: Taking taylor expansion of b in b
6.214 * [backup-simplify]: Simplify 0 into 0
6.214 * [backup-simplify]: Simplify 1 into 1
6.214 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.214 * [taylor]: Taking taylor expansion of a in b
6.214 * [backup-simplify]: Simplify a into a
6.214 * [backup-simplify]: Simplify (* 1 1) into 1
6.214 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.215 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.215 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
6.215 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.215 * [taylor]: Taking taylor expansion of b in b
6.215 * [backup-simplify]: Simplify 0 into 0
6.215 * [backup-simplify]: Simplify 1 into 1
6.215 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.215 * [taylor]: Taking taylor expansion of a in b
6.215 * [backup-simplify]: Simplify a into a
6.215 * [backup-simplify]: Simplify (* 1 1) into 1
6.215 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.215 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.216 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.216 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.216 * [taylor]: Taking taylor expansion of a in a
6.216 * [backup-simplify]: Simplify 0 into 0
6.216 * [backup-simplify]: Simplify 1 into 1
6.216 * [backup-simplify]: Simplify (* 1 1) into 1
6.216 * [backup-simplify]: Simplify (/ 1 1) into 1
6.216 * [backup-simplify]: Simplify 1 into 1
6.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.217 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
6.218 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
6.218 * [taylor]: Taking taylor expansion of 0 in a
6.218 * [backup-simplify]: Simplify 0 into 0
6.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.219 * [backup-simplify]: Simplify 0 into 0
6.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.220 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
6.221 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
6.221 * [taylor]: Taking taylor expansion of 0 in a
6.221 * [backup-simplify]: Simplify 0 into 0
6.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.223 * [backup-simplify]: Simplify 0 into 0
6.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.225 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
6.225 * [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
6.225 * [taylor]: Taking taylor expansion of 0 in a
6.226 * [backup-simplify]: Simplify 0 into 0
6.226 * [backup-simplify]: Simplify 0 into 0
6.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.227 * [backup-simplify]: Simplify 0 into 0
6.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.228 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
6.229 * [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
6.229 * [taylor]: Taking taylor expansion of 0 in a
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
6.229 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (/ (pow a 2) (pow b 2))
6.229 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
6.229 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
6.229 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.229 * [taylor]: Taking taylor expansion of a in a
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify 1 into 1
6.229 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.229 * [taylor]: Taking taylor expansion of b in a
6.229 * [backup-simplify]: Simplify b into b
6.230 * [backup-simplify]: Simplify (* 1 1) into 1
6.230 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.230 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.230 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
6.230 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.230 * [taylor]: Taking taylor expansion of a in b
6.230 * [backup-simplify]: Simplify a into a
6.230 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.230 * [taylor]: Taking taylor expansion of b in b
6.230 * [backup-simplify]: Simplify 0 into 0
6.230 * [backup-simplify]: Simplify 1 into 1
6.230 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.230 * [backup-simplify]: Simplify (* 1 1) into 1
6.230 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
6.230 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
6.230 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.230 * [taylor]: Taking taylor expansion of a in b
6.230 * [backup-simplify]: Simplify a into a
6.230 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.230 * [taylor]: Taking taylor expansion of b in b
6.230 * [backup-simplify]: Simplify 0 into 0
6.230 * [backup-simplify]: Simplify 1 into 1
6.230 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.231 * [backup-simplify]: Simplify (* 1 1) into 1
6.231 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
6.231 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.231 * [taylor]: Taking taylor expansion of a in a
6.231 * [backup-simplify]: Simplify 0 into 0
6.231 * [backup-simplify]: Simplify 1 into 1
6.231 * [backup-simplify]: Simplify (* 1 1) into 1
6.231 * [backup-simplify]: Simplify 1 into 1
6.231 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
6.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
6.232 * [taylor]: Taking taylor expansion of 0 in a
6.232 * [backup-simplify]: Simplify 0 into 0
6.232 * [backup-simplify]: Simplify 0 into 0
6.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.233 * [backup-simplify]: Simplify 0 into 0
6.233 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
6.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.234 * [taylor]: Taking taylor expansion of 0 in a
6.234 * [backup-simplify]: Simplify 0 into 0
6.234 * [backup-simplify]: Simplify 0 into 0
6.235 * [backup-simplify]: Simplify 0 into 0
6.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.235 * [backup-simplify]: Simplify 0 into 0
6.236 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
6.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.238 * [taylor]: Taking taylor expansion of 0 in a
6.238 * [backup-simplify]: Simplify 0 into 0
6.238 * [backup-simplify]: Simplify 0 into 0
6.238 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
6.238 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
6.238 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
6.238 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
6.238 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.238 * [taylor]: Taking taylor expansion of a in a
6.238 * [backup-simplify]: Simplify 0 into 0
6.238 * [backup-simplify]: Simplify 1 into 1
6.238 * [taylor]: Taking taylor expansion of (pow b 2) in a
6.238 * [taylor]: Taking taylor expansion of b in a
6.238 * [backup-simplify]: Simplify b into b
6.238 * [backup-simplify]: Simplify (* 1 1) into 1
6.239 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.239 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
6.239 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
6.239 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.239 * [taylor]: Taking taylor expansion of a in b
6.239 * [backup-simplify]: Simplify a into a
6.239 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.239 * [taylor]: Taking taylor expansion of b in b
6.239 * [backup-simplify]: Simplify 0 into 0
6.239 * [backup-simplify]: Simplify 1 into 1
6.239 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.239 * [backup-simplify]: Simplify (* 1 1) into 1
6.239 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
6.239 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
6.239 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.239 * [taylor]: Taking taylor expansion of a in b
6.239 * [backup-simplify]: Simplify a into a
6.239 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.239 * [taylor]: Taking taylor expansion of b in b
6.239 * [backup-simplify]: Simplify 0 into 0
6.239 * [backup-simplify]: Simplify 1 into 1
6.239 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.240 * [backup-simplify]: Simplify (* 1 1) into 1
6.240 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
6.240 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.240 * [taylor]: Taking taylor expansion of a in a
6.240 * [backup-simplify]: Simplify 0 into 0
6.240 * [backup-simplify]: Simplify 1 into 1
6.240 * [backup-simplify]: Simplify (* 1 1) into 1
6.240 * [backup-simplify]: Simplify 1 into 1
6.240 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
6.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
6.241 * [taylor]: Taking taylor expansion of 0 in a
6.241 * [backup-simplify]: Simplify 0 into 0
6.241 * [backup-simplify]: Simplify 0 into 0
6.242 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.242 * [backup-simplify]: Simplify 0 into 0
6.242 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
6.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.243 * [taylor]: Taking taylor expansion of 0 in a
6.243 * [backup-simplify]: Simplify 0 into 0
6.243 * [backup-simplify]: Simplify 0 into 0
6.243 * [backup-simplify]: Simplify 0 into 0
6.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.244 * [backup-simplify]: Simplify 0 into 0
6.244 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
6.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.246 * [taylor]: Taking taylor expansion of 0 in a
6.246 * [backup-simplify]: Simplify 0 into 0
6.246 * [backup-simplify]: Simplify 0 into 0
6.246 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
6.247 * * * [progress]: simplifying candidates
6.247 * [simplify]: Simplifying:
  (expm1 (/ (* b b) (* a a)))
  (log1p (/ (* b b) (* a a)))
  (- (+ (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)
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
6.247 * * [simplify]: Extracting # 0 : cost  0
6.248 * * [simplify]: Extracting # 1 : cost  0
6.248 * * [simplify]: Extracting # 2 : cost  0
6.248 * * [simplify]: Extracting # 3 : cost  0
6.248 * * [simplify]: Extracting # 4 : cost  0
6.248 * * [simplify]: Extracting # 5 : cost  0
6.248 * * [simplify]: iteration  0 :  48  enodes  (cost  285 )
6.261 * * [simplify]: Extracting # 0 : cost  0
6.261 * * [simplify]: Extracting # 1 : cost  0
6.262 * * [simplify]: Extracting # 2 : cost  0
6.262 * * [simplify]: iteration  1 :  122  enodes  (cost  277 )
6.375 * * [simplify]: Extracting # 0 : cost  0
6.376 * * [simplify]: Extracting # 1 : cost  0
6.376 * * [simplify]: Extracting # 2 : cost  0
6.377 * * [simplify]: Extracting # 3 : cost  0
6.378 * * [simplify]: Extracting # 4 : cost  0
6.379 * * [simplify]: Extracting # 5 : cost  0
6.380 * * [simplify]: iteration  2 :  461  enodes  (cost  194 )
7.182 * * [simplify]: Extracting # 0 : cost  0
7.186 * * [simplify]: Extracting # 1 : cost  0
7.189 * * [simplify]: Extracting # 2 : cost  0
7.192 * * [simplify]: Extracting # 3 : cost  0
7.195 * * [simplify]: Extracting # 4 : cost  0
7.197 * * [simplify]: iteration  3 :  1795  enodes  (cost  179 )
15.122 * * [simplify]: Extracting # 0 : cost  0
15.129 * * [simplify]: Extracting # 1 : cost  0
15.132 * * [simplify]: Extracting # 2 : cost  0
15.142 * * [simplify]: Extracting # 3 : cost  0
15.144 * * [simplify]: Extracting # 4 : cost  0
15.147 * * [simplify]: iteration  4 :  4490  enodes  (cost  169 )
16.424 * * [simplify]: Extracting # 0 : cost  0
16.429 * * [simplify]: Extracting # 1 : cost  0
16.435 * * [simplify]: Extracting # 2 : cost  0
16.441 * * [simplify]: iteration done:  5000  enodes  (cost  169 )
16.442 * [simplify]: Simplified to:
  (expm1 (/ (* b b) (* a a)))
  (log1p (/ (* b b) (* a a)))
  (* (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))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
16.442 * * * [progress]: adding candidates to table
16.523 * * [progress]: iteration 2 / 4
16.524 * * * [progress]: picking best candidate
16.526 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (fabs (/ b a)) (fabs (/ b a)))))))>
16.526 * * * [progress]: localizing error
16.534 * * * [progress]: generating rewritten candidates
16.535 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
16.543 * * * [progress]: generating series expansions
16.543 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
16.543 * [backup-simplify]: Simplify (* (fabs (/ b a)) (fabs (/ b a))) into (pow (fabs (/ b a)) 2)
16.543 * [approximate]: Taking taylor expansion of (pow (fabs (/ b a)) 2) in (b a) around 0
16.543 * [taylor]: Taking taylor expansion of (pow (fabs (/ b a)) 2) in a
16.543 * [taylor]: Taking taylor expansion of (fabs (/ b a)) in a
16.543 * [backup-simplify]: Simplify (fabs (/ b a)) into (fabs (/ b a))
16.543 * [taylor]: Taking taylor expansion of (pow (fabs (/ b a)) 2) in b
16.543 * [taylor]: Taking taylor expansion of (fabs (/ b a)) in b
16.543 * [backup-simplify]: Simplify (fabs (/ b a)) into (fabs (/ b a))
16.543 * [taylor]: Taking taylor expansion of (pow (fabs (/ b a)) 2) in b
16.544 * [taylor]: Taking taylor expansion of (fabs (/ b a)) in b
16.544 * [backup-simplify]: Simplify (fabs (/ b a)) into (fabs (/ b a))
16.544 * [backup-simplify]: Simplify (* (fabs (/ b a)) (fabs (/ b a))) into (pow (fabs (/ b a)) 2)
16.544 * [taylor]: Taking taylor expansion of (pow (fabs (/ b a)) 2) in a
16.544 * [taylor]: Taking taylor expansion of (fabs (/ b a)) in a
16.544 * [backup-simplify]: Simplify (fabs (/ b a)) into (fabs (/ b a))
16.544 * [backup-simplify]: Simplify (* (fabs (/ b a)) (fabs (/ b a))) into (pow (fabs (/ b a)) 2)
16.544 * [backup-simplify]: Simplify (pow (fabs (/ b a)) 2) into (pow (fabs (/ b a)) 2)
16.544 * [backup-simplify]: Simplify (+ (* (fabs (/ b a)) 0) (* 0 (fabs (/ b a)))) into 0
16.544 * [taylor]: Taking taylor expansion of 0 in a
16.544 * [backup-simplify]: Simplify 0 into 0
16.544 * [backup-simplify]: Simplify 0 into 0
16.544 * [backup-simplify]: Simplify (+ (* (fabs (/ b a)) 0) (* 0 (fabs (/ b a)))) into 0
16.544 * [backup-simplify]: Simplify 0 into 0
16.545 * [backup-simplify]: Simplify (+ (* (fabs (/ b a)) 0) (+ (* 0 0) (* 0 (fabs (/ b a))))) into 0
16.545 * [taylor]: Taking taylor expansion of 0 in a
16.545 * [backup-simplify]: Simplify 0 into 0
16.546 * [backup-simplify]: Simplify 0 into 0
16.546 * [backup-simplify]: Simplify 0 into 0
16.546 * [backup-simplify]: Simplify (+ (* (fabs (/ b a)) 0) (+ (* 0 0) (* 0 (fabs (/ b a))))) into 0
16.546 * [backup-simplify]: Simplify 0 into 0
16.547 * [backup-simplify]: Simplify (+ (* (fabs (/ b a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ b a)))))) into 0
16.547 * [taylor]: Taking taylor expansion of 0 in a
16.547 * [backup-simplify]: Simplify 0 into 0
16.547 * [backup-simplify]: Simplify 0 into 0
16.547 * [backup-simplify]: Simplify (pow (fabs (/ b a)) 2) into (pow (fabs (/ b a)) 2)
16.547 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 b) (/ 1 a))) (fabs (/ (/ 1 b) (/ 1 a)))) into (pow (fabs (/ a b)) 2)
16.547 * [approximate]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in (b a) around 0
16.547 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in a
16.547 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in a
16.547 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.547 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in b
16.547 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in b
16.547 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.547 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in b
16.547 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in b
16.547 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.547 * [backup-simplify]: Simplify (* (fabs (/ a b)) (fabs (/ a b))) into (pow (fabs (/ a b)) 2)
16.547 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in a
16.547 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in a
16.547 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.548 * [backup-simplify]: Simplify (* (fabs (/ a b)) (fabs (/ a b))) into (pow (fabs (/ a b)) 2)
16.548 * [backup-simplify]: Simplify (pow (fabs (/ a b)) 2) into (pow (fabs (/ a b)) 2)
16.548 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (* 0 (fabs (/ a b)))) into 0
16.548 * [taylor]: Taking taylor expansion of 0 in a
16.548 * [backup-simplify]: Simplify 0 into 0
16.548 * [backup-simplify]: Simplify 0 into 0
16.548 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (* 0 (fabs (/ a b)))) into 0
16.548 * [backup-simplify]: Simplify 0 into 0
16.549 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (* 0 (fabs (/ a b))))) into 0
16.549 * [taylor]: Taking taylor expansion of 0 in a
16.549 * [backup-simplify]: Simplify 0 into 0
16.549 * [backup-simplify]: Simplify 0 into 0
16.549 * [backup-simplify]: Simplify 0 into 0
16.549 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (* 0 (fabs (/ a b))))) into 0
16.549 * [backup-simplify]: Simplify 0 into 0
16.553 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ a b)))))) into 0
16.554 * [taylor]: Taking taylor expansion of 0 in a
16.554 * [backup-simplify]: Simplify 0 into 0
16.554 * [backup-simplify]: Simplify 0 into 0
16.554 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 a) (/ 1 b))) 2) into (pow (fabs (/ b a)) 2)
16.554 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- b)) (/ 1 (- a)))) (fabs (/ (/ 1 (- b)) (/ 1 (- a))))) into (pow (fabs (/ a b)) 2)
16.554 * [approximate]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in (b a) around 0
16.554 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in a
16.554 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in a
16.554 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.554 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in b
16.554 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in b
16.554 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.554 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in b
16.554 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in b
16.554 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.555 * [backup-simplify]: Simplify (* (fabs (/ a b)) (fabs (/ a b))) into (pow (fabs (/ a b)) 2)
16.555 * [taylor]: Taking taylor expansion of (pow (fabs (/ a b)) 2) in a
16.555 * [taylor]: Taking taylor expansion of (fabs (/ a b)) in a
16.555 * [backup-simplify]: Simplify (fabs (/ a b)) into (fabs (/ a b))
16.555 * [backup-simplify]: Simplify (* (fabs (/ a b)) (fabs (/ a b))) into (pow (fabs (/ a b)) 2)
16.555 * [backup-simplify]: Simplify (pow (fabs (/ a b)) 2) into (pow (fabs (/ a b)) 2)
16.555 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (* 0 (fabs (/ a b)))) into 0
16.555 * [taylor]: Taking taylor expansion of 0 in a
16.555 * [backup-simplify]: Simplify 0 into 0
16.555 * [backup-simplify]: Simplify 0 into 0
16.555 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (* 0 (fabs (/ a b)))) into 0
16.555 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (* 0 (fabs (/ a b))))) into 0
16.556 * [taylor]: Taking taylor expansion of 0 in a
16.556 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (* 0 (fabs (/ a b))))) into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify (+ (* (fabs (/ a b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ a b)))))) into 0
16.557 * [taylor]: Taking taylor expansion of 0 in a
16.557 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- a)) (/ 1 (- b)))) 2) into (pow (fabs (/ b a)) 2)
16.557 * * * [progress]: simplifying candidates
16.558 * [simplify]: Simplifying:
  (expm1 (* (fabs (/ b a)) (fabs (/ b a))))
  (log1p (* (fabs (/ b a)) (fabs (/ b a))))
  (+ 1 1)
  (* (fabs (/ b a)) (fabs (/ b a)))
  (+ 1 1)
  (+ (log (fabs (/ b a))) (log (fabs (/ b a))))
  (log (* (fabs (/ b a)) (fabs (/ b a))))
  (exp (* (fabs (/ b a)) (fabs (/ b a))))
  (* (* (* (fabs (/ b a)) (fabs (/ b a))) (fabs (/ b a))) (* (* (fabs (/ b a)) (fabs (/ b a))) (fabs (/ b a))))
  (* (cbrt (* (fabs (/ b a)) (fabs (/ b a)))) (cbrt (* (fabs (/ b a)) (fabs (/ b a)))))
  (cbrt (* (fabs (/ b a)) (fabs (/ b a))))
  (* (* (* (fabs (/ b a)) (fabs (/ b a))) (* (fabs (/ b a)) (fabs (/ b a)))) (* (fabs (/ b a)) (fabs (/ b a))))
  (sqrt (* (fabs (/ b a)) (fabs (/ b a))))
  (sqrt (* (fabs (/ b a)) (fabs (/ b a))))
  (* (* (cbrt (fabs (/ b a))) (cbrt (fabs (/ b a)))) (* (cbrt (fabs (/ b a))) (cbrt (fabs (/ b a)))))
  (* (cbrt (fabs (/ b a))) (cbrt (fabs (/ b a))))
  (* (sqrt (fabs (/ b a))) (sqrt (fabs (/ b a))))
  (* (sqrt (fabs (/ b a))) (sqrt (fabs (/ b a))))
  (* 1 1)
  (* (fabs (/ b a)) (fabs (/ b a)))
  (* (sqrt (fabs (/ b a))) (sqrt (fabs (/ b a))))
  (* (sqrt (fabs (/ b a))) (sqrt (fabs (/ b a))))
  (* 2 1)
  (* (fabs (/ b a)) (* (cbrt (fabs (/ b a))) (cbrt (fabs (/ b a)))))
  (* (fabs (/ b a)) (sqrt (fabs (/ b a))))
  (* (fabs (/ b a)) 1)
  (* (cbrt (fabs (/ b a))) (fabs (/ b a)))
  (* (sqrt (fabs (/ b a))) (fabs (/ b a)))
  (* (fabs (/ b a)) (fabs (/ b a)))
  (pow (fabs (/ b a)) 2)
  (pow (fabs (/ b a)) 2)
  (pow (fabs (/ b a)) 2)
16.558 * * [simplify]: Extracting # 0 : cost  0
16.559 * * [simplify]: Extracting # 1 : cost  0
16.559 * * [simplify]: Extracting # 2 : cost  0
16.559 * * [simplify]: Extracting # 3 : cost  0
16.559 * * [simplify]: Extracting # 4 : cost  0
16.559 * * [simplify]: Extracting # 5 : cost  0
16.559 * * [simplify]: Extracting # 6 : cost  0
16.559 * * [simplify]: Extracting # 7 : cost  0
16.559 * * [simplify]: iteration  0 :  34  enodes  (cost  347 )
16.576 * * [simplify]: Extracting # 0 : cost  0
16.576 * * [simplify]: Extracting # 1 : cost  0
16.576 * * [simplify]: Extracting # 2 : cost  0
16.576 * * [simplify]: iteration  1 :  62  enodes  (cost  247 )
16.608 * * [simplify]: Extracting # 0 : cost  0
16.609 * * [simplify]: Extracting # 1 : cost  0
16.609 * * [simplify]: Extracting # 2 : cost  0
16.609 * * [simplify]: Extracting # 3 : cost  0
16.609 * * [simplify]: Extracting # 4 : cost  0
16.609 * * [simplify]: iteration  2 :  160  enodes  (cost  207 )
16.733 * * [simplify]: Extracting # 0 : cost  0
16.734 * * [simplify]: Extracting # 1 : cost  0
16.734 * * [simplify]: Extracting # 2 : cost  0
16.735 * * [simplify]: Extracting # 3 : cost  0
16.735 * * [simplify]: Extracting # 4 : cost  0
16.736 * * [simplify]: iteration  3 :  364  enodes  (cost  191 )
17.025 * * [simplify]: Extracting # 0 : cost  0
17.027 * * [simplify]: Extracting # 1 : cost  0
17.028 * * [simplify]: Extracting # 2 : cost  0
17.030 * * [simplify]: Extracting # 3 : cost  0
17.031 * * [simplify]: Extracting # 4 : cost  0
17.033 * * [simplify]: iteration  4 :  889  enodes  (cost  183 )
18.277 * * [simplify]: Extracting # 0 : cost  0
18.287 * * [simplify]: Extracting # 1 : cost  0
18.300 * * [simplify]: Extracting # 2 : cost  0
18.312 * * [simplify]: Extracting # 3 : cost  0
18.324 * * [simplify]: Extracting # 4 : cost  0
18.340 * * [simplify]: iteration done:  5000  enodes  (cost  179 )
18.340 * [simplify]: Simplified to:
  (expm1 (pow (fabs (/ b a)) 2))
  (log1p (pow (fabs (/ b a)) 2))
  2
  (pow (fabs (/ b a)) 2)
  2
  (* 2 (log (fabs (/ b a))))
  (* 2 (log (fabs (/ b a))))
  (exp (pow (fabs (/ b a)) 2))
  (pow (fabs (/ b a)) 6)
  (* (cbrt (pow (fabs (/ b a)) 2)) (cbrt (pow (fabs (/ b a)) 2)))
  (cbrt (pow (fabs (/ b a)) 2))
  (pow (fabs (/ b a)) 6)
  (fabs (fabs (/ b a)))
  (fabs (fabs (/ b a)))
  (pow (cbrt (fabs (/ b a))) 4)
  (pow (cbrt (fabs (/ b a))) 2)
  (fabs (/ b a))
  (fabs (/ b a))
  1
  (pow (fabs (/ b a)) 2)
  (fabs (/ b a))
  (fabs (/ b a))
  2
  (pow (cbrt (fabs (/ b a))) 5)
  (pow (fabs (/ b a)) 3/2)
  (fabs (/ b a))
  (pow (cbrt (fabs (/ b a))) 4)
  (pow (fabs (/ b a)) 3/2)
  (pow (fabs (/ b a)) 2)
  (pow (fabs (/ b a)) 2)
  (pow (fabs (/ b a)) 2)
  (pow (fabs (/ b a)) 2)
18.340 * * * [progress]: adding candidates to table
18.428 * [progress]: [Phase 3 of 3] Extracting.
18.430 * [simplify]: Simplifying:
  (sqrt (fabs (- 1 (* (fabs (/ b a)) (fabs (/ b a))))))
18.430 * * [simplify]: Extracting # 0 : cost  0
18.431 * * [simplify]: Extracting # 1 : cost  0
18.431 * * [simplify]: Extracting # 2 : cost  0
18.431 * * [simplify]: Extracting # 3 : cost  0
18.431 * * [simplify]: Extracting # 4 : cost  0
18.431 * * [simplify]: Extracting # 5 : cost  0
18.431 * * [simplify]: Extracting # 6 : cost  0
18.431 * * [simplify]: Extracting # 7 : cost  0
18.431 * * [simplify]: Extracting # 8 : cost  0
18.431 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
18.431 * * [simplify]: Extracting # 0 : cost  0
18.432 * * [simplify]: iteration  1 :  11  enodes  (cost  13 )
18.432 * * [simplify]: Extracting # 0 : cost  0
18.432 * * [simplify]: iteration done:  11  enodes  (cost  13 )
18.432 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (* (fabs (/ b a)) (fabs (/ b a))))))
20.408 * [regime-testing]: End program error score: 0.01157456713348183