1546250432.020 * [misc]progress:  [Phase 1 of 3] Setting up.
1546250432.021 * * * [misc]progress:  [1/2] Preparing points
1546250432.021 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546250432.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546250432.072 * * * * [exit]points:  Sampled 256 points with exact outputs
1546250432.073 * * * [misc]progress:  [2/2] Setting up program.
1546250432.078 * [misc]progress:  [Phase 2 of 3] Improving.
1546250432.078 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1546250432.078 * * [misc]simplify:  iters left: 6 (8 enodes)
1546250432.081 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250432.088 * * [misc]simplify:  iters left: 4 (44 enodes)
1546250432.102 * * [misc]simplify:  iters left: 3 (86 enodes)
1546250432.120 * * [misc]simplify:  iters left: 2 (156 enodes)
1546250432.153 * * [misc]simplify:  iters left: 1 (330 enodes)
1546250432.299 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250432.308 * * [misc]progress:  iteration 1 / 4
1546250432.308 * * * [misc]progress:  picking best candidate
1546250432.311 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1546250432.311 * * * [misc]progress:  localizing error
1546250432.324 * * * [misc]progress:  generating rewritten candidates
1546250432.324 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1546250432.325 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 2)
1546250432.328 * * * [misc]progress:  generating series expansions
1546250432.328 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1546250432.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.329 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250432.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250432.329 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250432.329 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250432.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.329 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250432.329 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250432.329 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250432.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.330 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250432.330 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250432.330 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250432.330 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.330 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250432.330 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250432.330 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250432.330 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.331 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.331 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.331 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.331 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.331 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.331 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.332 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.332 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.332 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.332 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.332 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250432.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.332 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.332 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.333 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250432.333 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250432.333 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250432.333 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.333 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.333 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250432.333 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250432.333 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.334 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250432.334 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250432.334 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.334 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.334 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250432.334 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250432.334 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.334 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.335 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.335 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.335 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.335 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.335 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.336 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.336 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.336 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.336 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.337 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.337 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.337 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.337 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.337 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.337 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.337 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.338 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.338 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250432.338 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250432.338 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250432.338 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.338 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.339 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.339 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250432.339 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250432.339 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.339 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.340 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.340 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250432.340 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250432.340 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.340 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.340 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.340 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250432.341 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250432.341 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250432.341 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.341 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.341 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250432.341 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.342 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.342 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.342 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.343 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.343 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.343 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.343 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.344 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.344 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.344 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250432.344 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.344 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.344 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.345 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250432.345 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 2)
1546250432.345 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1546250432.345 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1546250432.345 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1546250432.345 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250432.345 * [misc]taylor:  Taking taylor expansion of b in a
1546250432.345 * [misc]backup-simplify:  Simplify b into b
1546250432.345 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.345 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.345 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.345 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.345 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250432.345 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.345 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1546250432.345 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1546250432.345 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.346 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.346 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.346 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.346 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.346 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.346 * [misc]backup-simplify:  Simplify a into a
1546250432.346 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.346 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.346 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1546250432.346 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1546250432.346 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.346 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.346 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.346 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.346 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.346 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.346 * [misc]backup-simplify:  Simplify a into a
1546250432.346 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.346 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.347 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1546250432.347 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1546250432.347 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.347 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.347 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.347 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.347 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.347 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546250432.347 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.347 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.347 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250432.348 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1546250432.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.348 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.348 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.348 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546250432.348 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.349 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.349 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250432.349 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1546250432.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.349 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.350 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.350 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.350 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.350 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250432.351 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250432.351 * [misc]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
1546250432.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.351 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.351 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.352 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250432.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.352 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.353 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546250432.353 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1546250432.354 * [misc]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
1546250432.354 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.354 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.354 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.354 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.354 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1546250432.354 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1546250432.354 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1546250432.354 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1546250432.354 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.354 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.355 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.355 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.355 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250432.355 * [misc]taylor:  Taking taylor expansion of b in a
1546250432.355 * [misc]backup-simplify:  Simplify b into b
1546250432.355 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.355 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250432.355 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250432.355 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250432.355 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.355 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.355 * [misc]backup-simplify:  Simplify a into a
1546250432.355 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.355 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.355 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.355 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.355 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.355 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.356 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250432.356 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250432.356 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.356 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.356 * [misc]backup-simplify:  Simplify a into a
1546250432.356 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.356 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.356 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.356 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.356 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.356 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.356 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250432.356 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.356 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.356 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.356 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.356 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.357 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.357 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250432.357 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.357 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1546250432.357 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.357 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.357 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.358 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.358 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.358 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250432.358 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.359 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.359 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.359 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.359 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.359 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.359 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.359 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.360 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250432.360 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250432.361 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.361 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.361 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.361 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.361 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1546250432.361 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1546250432.361 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1546250432.361 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1546250432.361 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.361 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.361 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.361 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.361 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250432.361 * [misc]taylor:  Taking taylor expansion of b in a
1546250432.362 * [misc]backup-simplify:  Simplify b into b
1546250432.362 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.362 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250432.362 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250432.362 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250432.362 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.362 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.362 * [misc]backup-simplify:  Simplify a into a
1546250432.362 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.362 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.362 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.362 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.362 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.362 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.362 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250432.362 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250432.362 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250432.362 * [misc]taylor:  Taking taylor expansion of a in b
1546250432.363 * [misc]backup-simplify:  Simplify a into a
1546250432.363 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250432.363 * [misc]taylor:  Taking taylor expansion of b in b
1546250432.363 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.363 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.363 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250432.363 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.363 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250432.363 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250432.363 * [misc]taylor:  Taking taylor expansion of a in a
1546250432.363 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.363 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.363 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250432.363 * [misc]backup-simplify:  Simplify 1 into 1
1546250432.363 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250432.364 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.364 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1546250432.364 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.364 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.364 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.364 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250432.364 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.365 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250432.365 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.365 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.366 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.366 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.366 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.366 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250432.366 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.366 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250432.367 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250432.367 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250432.367 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250432.367 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.367 * [misc]backup-simplify:  Simplify 0 into 0
1546250432.368 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1546250432.368 * * * [misc]progress:  simplifying candidates
1546250432.368 * * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1546250432.368 * * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1546250432.368 * * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.368 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1546250432.369 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250432.372 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250432.378 * * [misc]simplify:  iters left: 4 (33 enodes)
1546250432.393 * * [misc]simplify:  iters left: 3 (51 enodes)
1546250432.405 * * [misc]simplify:  iters left: 2 (66 enodes)
1546250432.420 * * [misc]simplify:  iters left: 1 (74 enodes)
1546250432.436 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250432.436 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1546250432.436 * * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.436 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250432.436 * * [misc]simplify:  iters left: 6 (9 enodes)
1546250432.437 * * [misc]simplify:  iters left: 5 (17 enodes)
1546250432.440 * * [misc]simplify:  iters left: 4 (31 enodes)
1546250432.444 * * [misc]simplify:  iters left: 3 (49 enodes)
1546250432.450 * * [misc]simplify:  iters left: 2 (64 enodes)
1546250432.464 * * [misc]simplify:  iters left: 1 (72 enodes)
1546250432.483 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250432.483 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1546250432.483 * * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1546250432.484 * [enter]simplify:  Simplifying (sqrt 1)
1546250432.484 * * [misc]simplify:  iters left: 1 (2 enodes)
1546250432.485 * [exit]simplify:  Simplified to 1
1546250432.485 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1546250432.485 * * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1546250432.485 * * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1546250432.486 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250432.486 * * [misc]simplify:  iters left: 6 (8 enodes)
1546250432.488 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250432.493 * * [misc]simplify:  iters left: 4 (30 enodes)
1546250432.502 * * [misc]simplify:  iters left: 3 (48 enodes)
1546250432.516 * * [misc]simplify:  iters left: 2 (63 enodes)
1546250432.531 * * [misc]simplify:  iters left: 1 (71 enodes)
1546250432.540 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250432.540 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1546250432.540 * * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1546250432.541 * * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
1546250432.541 * * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
1546250432.541 * * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1546250432.541 * [enter]simplify:  Simplifying (/ b a)
1546250432.541 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250432.541 * [exit]simplify:  Simplified to (/ b a)
1546250432.541 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1546250432.541 * [enter]simplify:  Simplifying (+ 1 1)
1546250432.541 * * [misc]simplify:  iters left: 2 (2 enodes)
1546250432.542 * * [misc]simplify:  iters left: 1 (5 enodes)
1546250432.543 * [exit]simplify:  Simplified to 2
1546250432.543 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1546250432.543 * * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1546250432.543 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1546250432.543 * * [misc]simplify:  iters left: 4 (4 enodes)
1546250432.544 * * [misc]simplify:  iters left: 3 (8 enodes)
1546250432.545 * * [misc]simplify:  iters left: 2 (14 enodes)
1546250432.547 * * [misc]simplify:  iters left: 1 (20 enodes)
1546250432.549 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250432.550 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1546250432.550 * * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1546250432.550 * * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1546250432.550 * [enter]simplify:  Simplifying (/ b a)
1546250432.550 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250432.550 * [exit]simplify:  Simplified to (/ b a)
1546250432.551 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1546250432.551 * * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1546250432.551 * * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1546250432.551 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1546250432.551 * * [misc]simplify:  iters left: 5 (5 enodes)
1546250432.552 * * [misc]simplify:  iters left: 4 (8 enodes)
1546250432.553 * * [misc]simplify:  iters left: 3 (14 enodes)
1546250432.555 * * [misc]simplify:  iters left: 2 (28 enodes)
1546250432.559 * * [misc]simplify:  iters left: 1 (53 enodes)
1546250432.575 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1546250432.575 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1546250432.575 * * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1546250432.575 * * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1546250432.575 * * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
1546250432.576 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1546250432.576 * * [misc]simplify:  iters left: 6 (6 enodes)
1546250432.578 * * [misc]simplify:  iters left: 5 (17 enodes)
1546250432.586 * * [misc]simplify:  iters left: 4 (61 enodes)
1546250432.614 * * [misc]simplify:  iters left: 3 (157 enodes)
1546250432.706 * * [misc]simplify:  iters left: 2 (463 enodes)
1546250433.390 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1546250433.390 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))
1546250433.390 * * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
1546250433.391 * * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
1546250433.391 * * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1546250433.391 * * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1546250433.391 * [enter]simplify:  Simplifying (* b b)
1546250433.391 * * [misc]simplify:  iters left: 2 (2 enodes)
1546250433.392 * [exit]simplify:  Simplified to (* b b)
1546250433.392 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1546250433.392 * [enter]simplify:  Simplifying (* a a)
1546250433.392 * * [misc]simplify:  iters left: 2 (2 enodes)
1546250433.393 * [exit]simplify:  Simplified to (* a a)
1546250433.393 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1546250433.393 * * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1546250433.393 * * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1546250433.393 * [enter]simplify:  Simplifying (cbrt (/ b a))
1546250433.393 * * [misc]simplify:  iters left: 3 (4 enodes)
1546250433.394 * [exit]simplify:  Simplified to (cbrt (/ b a))
1546250433.394 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))
1546250433.395 * * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1546250433.395 * [enter]simplify:  Simplifying (sqrt (/ b a))
1546250433.395 * * [misc]simplify:  iters left: 3 (4 enodes)
1546250433.396 * [exit]simplify:  Simplified to (sqrt (/ b a))
1546250433.396 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1546250433.396 * * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1546250433.396 * [enter]simplify:  Simplifying (/ b a)
1546250433.396 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250433.397 * [exit]simplify:  Simplified to (/ b a)
1546250433.397 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1546250433.397 * * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1546250433.398 * [enter]simplify:  Simplifying (/ 1 a)
1546250433.398 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250433.399 * * [misc]simplify:  iters left: 1 (5 enodes)
1546250433.400 * [exit]simplify:  Simplified to (/ 1 a)
1546250433.400 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1546250433.400 * * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1546250433.400 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1546250433.400 * * [misc]simplify:  iters left: 5 (5 enodes)
1546250433.402 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1546250433.402 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))
1546250433.402 * * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1546250433.402 * [enter]simplify:  Simplifying (sqrt (/ b a))
1546250433.402 * * [misc]simplify:  iters left: 3 (4 enodes)
1546250433.404 * [exit]simplify:  Simplified to (sqrt (/ b a))
1546250433.404 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1546250433.404 * * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1546250433.404 * * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1546250433.404 * * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1546250433.404 * * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1546250433.404 * [enter]simplify:  Simplifying (* b (/ b a))
1546250433.405 * * [misc]simplify:  iters left: 4 (4 enodes)
1546250433.406 * * [misc]simplify:  iters left: 3 (7 enodes)
1546250433.408 * * [misc]simplify:  iters left: 2 (9 enodes)
1546250433.410 * [exit]simplify:  Simplified to (* b (/ b a))
1546250433.411 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1546250433.411 * * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1546250433.411 * * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.411 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250433.411 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250433.414 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250433.418 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250433.425 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250433.437 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250433.455 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250433.473 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250433.473 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.473 * * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.473 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250433.474 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250433.477 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250433.481 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250433.488 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250433.506 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250433.525 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250433.544 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250433.544 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.544 * * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.544 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250433.544 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250433.547 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250433.552 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250433.560 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250433.573 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250433.591 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250433.606 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250433.606 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.606 * * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.607 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250433.607 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250433.608 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250433.609 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250433.611 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250433.611 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.611 * * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.611 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250433.611 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250433.612 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250433.613 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250433.615 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250433.615 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.615 * * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250433.615 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250433.615 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250433.616 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250433.617 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250433.619 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250433.619 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250433.620 * * * [misc]progress:  adding candidates to table
1546250434.153 * * [misc]progress:  iteration 2 / 4
1546250434.153 * * * [misc]progress:  picking best candidate
1546250434.164 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1546250434.164 * * * [misc]progress:  localizing error
1546250434.189 * * * [misc]progress:  generating rewritten candidates
1546250434.190 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1546250434.191 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1 2)
1546250434.198 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1 2 1)
1546250434.200 * * * [misc]progress:  generating series expansions
1546250434.200 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1546250434.200 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.200 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250434.200 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250434.200 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250434.200 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250434.201 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.201 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.201 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250434.201 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250434.201 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250434.201 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.202 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.202 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250434.202 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250434.202 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250434.202 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.203 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.203 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250434.203 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250434.203 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250434.203 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.203 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.204 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.204 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.204 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.204 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.204 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.205 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.206 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.206 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.207 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250434.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.207 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.207 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.207 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.207 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.207 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250434.207 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250434.208 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250434.208 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.208 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.208 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.208 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250434.208 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250434.208 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.209 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.209 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.209 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250434.209 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250434.209 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.209 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.210 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.210 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250434.210 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250434.210 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.210 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.211 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.211 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.211 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.211 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.211 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.212 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.213 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.213 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.214 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.214 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.214 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.214 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.215 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.215 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250434.215 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250434.215 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250434.215 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.215 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.216 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.216 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250434.216 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250434.216 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.216 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.216 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.216 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250434.216 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250434.217 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.217 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.217 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.217 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250434.217 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250434.218 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250434.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.218 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250434.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.220 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.221 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.221 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.221 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250434.221 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.221 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.221 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.222 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.222 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1 2)
1546250434.222 * [misc]backup-simplify:  Simplify (/ (* b (/ b a)) a) into (/ (pow b 2) (pow a 2))
1546250434.222 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1546250434.222 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1546250434.222 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.222 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.222 * [misc]backup-simplify:  Simplify b into b
1546250434.222 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.222 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.222 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.222 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.222 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.223 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.223 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1546250434.223 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.223 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.223 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.223 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.223 * [misc]backup-simplify:  Simplify a into a
1546250434.223 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.223 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.223 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1546250434.223 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.223 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.223 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.223 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.223 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.224 * [misc]backup-simplify:  Simplify a into a
1546250434.224 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.224 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.224 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1546250434.224 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1546250434.224 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.224 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.224 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.224 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.224 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.224 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546250434.224 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.225 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.225 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250434.225 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1546250434.225 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.225 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.225 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.225 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546250434.226 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.226 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.226 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250434.226 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1546250434.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.226 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.227 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.227 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.227 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.227 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.228 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250434.228 * [misc]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
1546250434.228 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.228 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.228 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.229 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.229 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.229 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.229 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546250434.230 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1546250434.230 * [misc]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
1546250434.230 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.230 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.231 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1546250434.231 * [misc]backup-simplify:  Simplify (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)) into (/ (pow a 2) (pow b 2))
1546250434.231 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1546250434.231 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1546250434.231 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.231 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.231 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.231 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.231 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.231 * [misc]backup-simplify:  Simplify b into b
1546250434.231 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.232 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.232 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250434.232 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.232 * [misc]backup-simplify:  Simplify a into a
1546250434.232 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.232 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.232 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.232 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.232 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.232 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250434.232 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.232 * [misc]backup-simplify:  Simplify a into a
1546250434.232 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.232 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.232 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.232 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.233 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.233 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.233 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250434.233 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.233 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.233 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.233 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.233 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.233 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.233 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250434.234 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.234 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1546250434.234 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.234 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.234 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.234 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.234 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.234 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250434.235 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.235 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.236 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.236 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250434.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.237 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.237 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.237 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.237 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.237 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1546250434.238 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))) into (/ (pow a 2) (pow b 2))
1546250434.238 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1546250434.238 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1546250434.238 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.238 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.238 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.238 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.238 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.238 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.238 * [misc]backup-simplify:  Simplify b into b
1546250434.238 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.238 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.238 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250434.238 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250434.238 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.238 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.238 * [misc]backup-simplify:  Simplify a into a
1546250434.238 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.238 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.238 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.238 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.239 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.239 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.239 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250434.239 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1546250434.239 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1546250434.239 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.239 * [misc]backup-simplify:  Simplify a into a
1546250434.239 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.239 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.239 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.239 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.239 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1546250434.239 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.239 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1546250434.239 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1546250434.239 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.240 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.240 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.240 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.240 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.240 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1546250434.240 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.240 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1546250434.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.241 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.241 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.241 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.241 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1546250434.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.242 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.242 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.242 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.242 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.242 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.243 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.243 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.243 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250434.243 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.244 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.244 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1546250434.244 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1 2 1)
1546250434.244 * [misc]backup-simplify:  Simplify (* b (/ b a)) into (/ (pow b 2) a)
1546250434.244 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
1546250434.245 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in a
1546250434.245 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.245 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.245 * [misc]backup-simplify:  Simplify b into b
1546250434.245 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.245 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.245 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.245 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.245 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1546250434.245 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1546250434.245 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.245 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.245 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.245 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.245 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.245 * [misc]backup-simplify:  Simplify a into a
1546250434.245 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.245 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1546250434.245 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1546250434.245 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.245 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.245 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.245 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.245 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.245 * [misc]backup-simplify:  Simplify a into a
1546250434.246 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.246 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1546250434.246 * [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
1546250434.246 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.246 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.246 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.246 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546250434.246 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.246 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.246 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
1546250434.246 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.246 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.247 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546250434.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.247 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.247 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1546250434.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.248 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.248 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.248 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
1546250434.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.249 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.249 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.249 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow b 2))) into (/ (pow b 2) a)
1546250434.249 * [misc]backup-simplify:  Simplify (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) into (/ a (pow b 2))
1546250434.249 * [misc]approximate:  Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
1546250434.249 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1546250434.249 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.249 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.249 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.249 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.249 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.249 * [misc]backup-simplify:  Simplify b into b
1546250434.249 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.249 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250434.249 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1546250434.249 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.250 * [misc]backup-simplify:  Simplify a into a
1546250434.250 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.250 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.250 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.250 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.250 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.250 * [misc]backup-simplify:  Simplify (/ a 1) into a
1546250434.250 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1546250434.250 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.250 * [misc]backup-simplify:  Simplify a into a
1546250434.250 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.250 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.250 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.250 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.250 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.250 * [misc]backup-simplify:  Simplify (/ a 1) into a
1546250434.250 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.250 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.250 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.250 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.251 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.251 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1546250434.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.251 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.251 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.251 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.251 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.252 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.252 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.252 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.252 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.252 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.252 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.253 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.253 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.253 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.253 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow (/ 1 b) -2))) into (/ (pow b 2) a)
1546250434.253 * [misc]backup-simplify:  Simplify (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (pow b 2)))
1546250434.253 * [misc]approximate:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
1546250434.253 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
1546250434.254 * [misc]taylor:  Taking taylor expansion of -1 in a
1546250434.254 * [misc]backup-simplify:  Simplify -1 into -1
1546250434.254 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1546250434.254 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.254 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.254 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.254 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1546250434.254 * [misc]taylor:  Taking taylor expansion of b in a
1546250434.254 * [misc]backup-simplify:  Simplify b into b
1546250434.254 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1546250434.254 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1546250434.254 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1546250434.254 * [misc]taylor:  Taking taylor expansion of -1 in b
1546250434.254 * [misc]backup-simplify:  Simplify -1 into -1
1546250434.254 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1546250434.254 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.254 * [misc]backup-simplify:  Simplify a into a
1546250434.254 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.254 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.254 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.254 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.254 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.254 * [misc]backup-simplify:  Simplify (/ a 1) into a
1546250434.254 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1546250434.254 * [misc]taylor:  Taking taylor expansion of -1 in b
1546250434.254 * [misc]backup-simplify:  Simplify -1 into -1
1546250434.254 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1546250434.254 * [misc]taylor:  Taking taylor expansion of a in b
1546250434.255 * [misc]backup-simplify:  Simplify a into a
1546250434.255 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1546250434.255 * [misc]taylor:  Taking taylor expansion of b in b
1546250434.255 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.255 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.255 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546250434.255 * [misc]backup-simplify:  Simplify (/ a 1) into a
1546250434.255 * [misc]backup-simplify:  Simplify (* -1 a) into (* -1 a)
1546250434.255 * [misc]taylor:  Taking taylor expansion of (* -1 a) in a
1546250434.255 * [misc]taylor:  Taking taylor expansion of -1 in a
1546250434.255 * [misc]backup-simplify:  Simplify -1 into -1
1546250434.255 * [misc]taylor:  Taking taylor expansion of a in a
1546250434.255 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.255 * [misc]backup-simplify:  Simplify 1 into 1
1546250434.255 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1546250434.255 * [misc]backup-simplify:  Simplify -1 into -1
1546250434.256 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546250434.256 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1546250434.256 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 a)) into 0
1546250434.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.256 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1546250434.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.257 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546250434.257 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.258 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 a))) into 0
1546250434.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.258 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.258 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.258 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.258 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1546250434.258 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.258 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546250434.259 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546250434.259 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1546250434.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250434.259 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.260 * [misc]backup-simplify:  Simplify 0 into 0
1546250434.260 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))) into (/ (pow b 2) a)
1546250434.260 * * * [misc]progress:  simplifying candidates
1546250434.260 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2))>
1546250434.260 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1))>
1546250434.260 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.260 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.261 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250434.261 * * [misc]simplify:  iters left: 6 (11 enodes)
1546250434.264 * * [misc]simplify:  iters left: 5 (21 enodes)
1546250434.270 * * [misc]simplify:  iters left: 4 (32 enodes)
1546250434.279 * * [misc]simplify:  iters left: 3 (47 enodes)
1546250434.292 * * [misc]simplify:  iters left: 2 (56 enodes)
1546250434.310 * * [misc]simplify:  iters left: 1 (63 enodes)
1546250434.328 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.328 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250434.328 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.329 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1546250434.329 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250434.332 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250434.338 * * [misc]simplify:  iters left: 4 (30 enodes)
1546250434.346 * * [misc]simplify:  iters left: 3 (45 enodes)
1546250434.354 * * [misc]simplify:  iters left: 2 (54 enodes)
1546250434.360 * * [misc]simplify:  iters left: 1 (61 enodes)
1546250434.369 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.369 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250434.369 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1546250434.369 * [enter]simplify:  Simplifying (sqrt 1)
1546250434.369 * * [misc]simplify:  iters left: 1 (2 enodes)
1546250434.370 * [exit]simplify:  Simplified to 1
1546250434.370 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250434.370 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250434.370 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1546250434.371 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1546250434.371 * * [misc]simplify:  iters left: 6 (9 enodes)
1546250434.372 * * [misc]simplify:  iters left: 5 (18 enodes)
1546250434.375 * * [misc]simplify:  iters left: 4 (29 enodes)
1546250434.379 * * [misc]simplify:  iters left: 3 (44 enodes)
1546250434.385 * * [misc]simplify:  iters left: 2 (53 enodes)
1546250434.391 * * [misc]simplify:  iters left: 1 (60 enodes)
1546250434.403 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250434.403 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1546250434.403 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1546250434.403 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (/ (* b (/ b a)) a)))))))>
1546250434.403 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (/ (* b (/ b a)) a)))))))>
1546250434.403 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ (* b (/ b a)) a) 1)))))>
1546250434.403 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (/ (* b (/ b a)) a)))))))>
1546250434.403 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))>
1546250434.404 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)))))))>
1546250434.404 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a)))))))>
1546250434.404 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)))))))>
1546250434.404 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (- (* b (/ b a))) (- a))))))>
1546250434.404 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (/ (* b (/ b a)) a))))))>
1546250434.404 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* b (/ b a)) (/ 1 a))))))>
1546250434.404 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ 1 (/ a (* b (/ b a))))))))>
1546250434.404 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ b (/ a (/ b a)))))))>
1546250434.404 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1546250434.404 * [enter]simplify:  Simplifying (* b b)
1546250434.404 * * [misc]simplify:  iters left: 2 (2 enodes)
1546250434.405 * [exit]simplify:  Simplified to (* b b)
1546250434.405 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1546250434.405 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log1p (expm1 (* b (/ b a)))) a)))))>
1546250434.405 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (expm1 (log1p (* b (/ b a)))) a)))))>
1546250434.405 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow (* b (/ b a)) 1) a)))))>
1546250434.405 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (exp (log (* b (/ b a)))) a)))))>
1546250434.405 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log (exp (* b (/ b a)))) a)))))>
1546250434.405 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a)))) a)))))>
1546250434.406 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (cbrt (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))) a)))))>
1546250434.406 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (sqrt (* b (/ b a))) (sqrt (* b (/ b a)))) a)))))>
1546250434.406 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* 1 (* b (/ b a))) a)))))>
1546250434.406 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))) a)))))>
1546250434.406 * [enter]simplify:  Simplifying (cbrt (/ b a))
1546250434.406 * * [misc]simplify:  iters left: 3 (4 enodes)
1546250434.407 * [exit]simplify:  Simplified to (cbrt (/ b a))
1546250434.407 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))) a)))))
1546250434.407 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))>
1546250434.408 * [enter]simplify:  Simplifying (sqrt (/ b a))
1546250434.408 * * [misc]simplify:  iters left: 3 (4 enodes)
1546250434.410 * [exit]simplify:  Simplified to (sqrt (/ b a))
1546250434.410 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))
1546250434.410 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))>
1546250434.410 * [enter]simplify:  Simplifying (/ b a)
1546250434.410 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250434.411 * [exit]simplify:  Simplified to (/ b a)
1546250434.411 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))
1546250434.411 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))>
1546250434.412 * [enter]simplify:  Simplifying (/ 1 a)
1546250434.412 * * [misc]simplify:  iters left: 2 (3 enodes)
1546250434.412 * * [misc]simplify:  iters left: 1 (5 enodes)
1546250434.414 * [exit]simplify:  Simplified to (/ 1 a)
1546250434.414 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))
1546250434.414 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))>
1546250434.414 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1546250434.414 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.414 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.414 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250434.417 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250434.422 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250434.429 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250434.441 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250434.451 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250434.460 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250434.460 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.460 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.460 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.460 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250434.462 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250434.464 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250434.468 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250434.474 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250434.483 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250434.492 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250434.492 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.492 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.492 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250434.492 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250434.493 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250434.496 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250434.506 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250434.519 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250434.537 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250434.556 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250434.556 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.556 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.557 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250434.557 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250434.558 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250434.561 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250434.565 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250434.565 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.565 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.566 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250434.566 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250434.568 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250434.570 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250434.574 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250434.574 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.574 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250434.575 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1546250434.575 * * [misc]simplify:  iters left: 3 (6 enodes)
1546250434.577 * * [misc]simplify:  iters left: 2 (8 enodes)
1546250434.579 * * [misc]simplify:  iters left: 1 (14 enodes)
1546250434.584 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1546250434.584 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250434.584 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1546250434.584 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1546250434.584 * * [misc]simplify:  iters left: 3 (5 enodes)
1546250434.586 * * [misc]simplify:  iters left: 2 (6 enodes)
1546250434.587 * * [misc]simplify:  iters left: 1 (8 enodes)
1546250434.590 * [exit]simplify:  Simplified to (/ (* b b) a)
1546250434.590 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1546250434.590 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1546250434.590 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1546250434.590 * * [misc]simplify:  iters left: 3 (5 enodes)
1546250434.592 * * [misc]simplify:  iters left: 2 (6 enodes)
1546250434.593 * * [misc]simplify:  iters left: 1 (8 enodes)
1546250434.596 * [exit]simplify:  Simplified to (/ (* b b) a)
1546250434.596 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1546250434.596 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1546250434.596 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1546250434.596 * * [misc]simplify:  iters left: 3 (5 enodes)
1546250434.598 * * [misc]simplify:  iters left: 2 (6 enodes)
1546250434.600 * * [misc]simplify:  iters left: 1 (8 enodes)
1546250434.602 * [exit]simplify:  Simplified to (/ (* b b) a)
1546250434.602 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1546250434.602 * * * [misc]progress:  adding candidates to table
1546250435.153 * * [misc]progress:  iteration 3 / 4
1546250435.153 * * * [misc]progress:  picking best candidate
1546250435.160 * * * * [misc]pick:  Picked  #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.160 * * * [misc]progress:  localizing error
1546250435.179 * * * [misc]progress:  generating rewritten candidates
1546250435.179 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1546250435.196 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1546250435.197 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1546250435.199 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1546250435.201 * * * [misc]progress:  generating series expansions
1546250435.201 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1546250435.202 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.202 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250435.202 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.202 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.202 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.202 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.203 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.203 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.203 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.203 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.203 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.203 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.204 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.204 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.204 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.204 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.204 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.204 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.204 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.204 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.205 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.205 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.205 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.205 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.206 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.206 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.206 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.206 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.207 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.207 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.208 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.208 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.208 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.208 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.209 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)))))) (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.209 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.209 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.209 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.209 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.209 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.210 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.210 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.210 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.210 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.210 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.210 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.210 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.210 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.210 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.211 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.211 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.211 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.211 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.211 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.211 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.211 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.212 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.212 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.212 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.213 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.213 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.213 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.213 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.213 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.213 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.214 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.214 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))))))) (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.214 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.214 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.214 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.214 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.215 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.215 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.215 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.215 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.215 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.215 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.215 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.215 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.215 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.215 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.215 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.216 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.216 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.216 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.216 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.216 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.216 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.216 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.216 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.216 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.216 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.217 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.217 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.217 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.217 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.218 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.218 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.218 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.218 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1546250435.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.218 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250435.218 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.218 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.219 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.219 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.219 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.219 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.219 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.219 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.219 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.219 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.219 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.219 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.219 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.220 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.220 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.220 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.220 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.220 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.220 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.220 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.220 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.220 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.223 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.223 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.223 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.223 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.223 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.224 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.224 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.224 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.224 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.224 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.224 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.224 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.224 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.224 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.224 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.225 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.225 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.225 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.225 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.225 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.225 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.225 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.225 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.225 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.225 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.225 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.226 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.226 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.226 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.226 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.226 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.226 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.226 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.226 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.226 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.226 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.226 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.227 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.227 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.227 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.227 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.227 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.228 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.228 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.228 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.228 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.228 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.228 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.228 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.228 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.229 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.229 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.229 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.229 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.229 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.229 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.229 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.229 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.229 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.229 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.230 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.230 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.230 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.230 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.230 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.230 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.230 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.230 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.230 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.230 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.230 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.231 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.231 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.231 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.231 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.231 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.232 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.232 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.232 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.232 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.232 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.232 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.233 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.233 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1546250435.233 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.233 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250435.233 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.233 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.233 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.233 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.233 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.233 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.233 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.233 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.233 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.234 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.234 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.234 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.234 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.234 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.234 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.234 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.234 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.234 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.234 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.234 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.235 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.235 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.235 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.236 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.236 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.236 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.236 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.236 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.236 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.237 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.237 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.237 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.237 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.237 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.237 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.237 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.237 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.237 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.237 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.237 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.237 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.238 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.238 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.238 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.238 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.238 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.238 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.238 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.238 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.238 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.238 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.238 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.239 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.239 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.239 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.239 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.239 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.240 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.240 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.240 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.240 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.240 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.240 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.241 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.241 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.241 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.241 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.241 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.241 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.241 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.241 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.241 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.241 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.241 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.241 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.241 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.242 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.242 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.242 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.242 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.242 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.242 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.242 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.242 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.242 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.242 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.242 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.243 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.243 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.243 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.243 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.243 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.243 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.243 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.244 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.244 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.244 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.245 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.245 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.245 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.245 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.245 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.245 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1546250435.245 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.245 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1546250435.245 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.245 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.245 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.245 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.246 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.246 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.246 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.246 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.246 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.246 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.246 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1546250435.246 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1546250435.246 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.246 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.246 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.246 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1546250435.246 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1546250435.247 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1546250435.247 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.247 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.247 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.247 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.248 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.248 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.249 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.249 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.250 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1546250435.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.250 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.250 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.250 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.250 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.250 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.250 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.250 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.250 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.251 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.251 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.251 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.251 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.251 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.251 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.252 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.252 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.252 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.252 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.252 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.252 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.252 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.252 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.253 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.253 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.253 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.253 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.253 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.253 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.253 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.254 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.255 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.255 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.255 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.255 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.256 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.256 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.256 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.257 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.257 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1546250435.257 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.257 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.257 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.257 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.258 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.258 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.258 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.258 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.258 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.258 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.258 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1546250435.258 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1546250435.259 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.259 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.259 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.259 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1546250435.259 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1546250435.259 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1546250435.260 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.260 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.260 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1546250435.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.260 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.260 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.260 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.261 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.262 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.262 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.262 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.262 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.263 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.263 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1546250435.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1546250435.263 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.263 * [misc]backup-simplify:  Simplify 0 into 0
1546250435.263 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.264 * * * [misc]progress:  simplifying candidates
1546250435.264 * * * * [misc]progress:  [ 1 / 66 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.264 * * * * [misc]progress:  [ 2 / 66 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.264 * * * * [misc]progress:  [ 3 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1/3))>
1546250435.264 * * * * [misc]progress:  [ 4 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) 1))>
1546250435.264 * * * * [misc]progress:  [ 5 / 66 ] simplifiying candidate #<alt (λ (a b) (exp (log (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.264 * * * * [misc]progress:  [ 6 / 66 ] simplifiying candidate #<alt (λ (a b) (log (exp (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.264 * * * * [misc]progress:  [ 7 / 66 ] simplifiying candidate #<alt (λ (a b) (* (cbrt (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.264 * [enter]simplify:  Simplifying (cbrt (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250435.264 * * [misc]simplify:  iters left: 6 (11 enodes)
1546250435.268 * * [misc]simplify:  iters left: 5 (20 enodes)
1546250435.273 * * [misc]simplify:  iters left: 4 (32 enodes)
1546250435.282 * * [misc]simplify:  iters left: 3 (47 enodes)
1546250435.295 * * [misc]simplify:  iters left: 2 (56 enodes)
1546250435.307 * * [misc]simplify:  iters left: 1 (63 enodes)
1546250435.316 * [exit]simplify:  Simplified to (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.316 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.316 * * * * [misc]progress:  [ 8 / 66 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.316 * * * * [misc]progress:  [ 9 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (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))))))) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.316 * * * * [misc]progress:  [ 10 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1546250435.316 * [enter]simplify:  Simplifying (fabs (- 1 (/ (* b (/ b a)) a)))
1546250435.316 * * [misc]simplify:  iters left: 6 (8 enodes)
1546250435.317 * * [misc]simplify:  iters left: 5 (17 enodes)
1546250435.320 * * [misc]simplify:  iters left: 4 (28 enodes)
1546250435.323 * * [misc]simplify:  iters left: 3 (43 enodes)
1546250435.329 * * [misc]simplify:  iters left: 2 (52 enodes)
1546250435.340 * * [misc]simplify:  iters left: 1 (59 enodes)
1546250435.356 * [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))
1546250435.357 * [misc]simplify:  Simplified (2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.357 * * * * [misc]progress:  [ 11 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.357 * * * * [misc]progress:  [ 12 / 66 ] simplifiying candidate #<alt (λ (a b) (* 1 (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1546250435.357 * * * * [misc]progress:  [ 13 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.357 * * * * [misc]progress:  [ 14 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.357 * * * * [misc]progress:  [ 15 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2))))>
1546250435.357 * * * * [misc]progress:  [ 16 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1))))>
1546250435.357 * * * * [misc]progress:  [ 17 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.357 * * * * [misc]progress:  [ 18 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.357 * * * * [misc]progress:  [ 19 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (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)))))))))>
1546250435.357 * * * * [misc]progress:  [ 20 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (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)))))))))>
1546250435.357 * * * * [misc]progress:  [ 21 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (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)))))))))>
1546250435.358 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250435.358 * * [misc]simplify:  iters left: 6 (11 enodes)
1546250435.360 * * [misc]simplify:  iters left: 5 (21 enodes)
1546250435.363 * * [misc]simplify:  iters left: 4 (32 enodes)
1546250435.368 * * [misc]simplify:  iters left: 3 (47 enodes)
1546250435.374 * * [misc]simplify:  iters left: 2 (56 enodes)
1546250435.380 * * [misc]simplify:  iters left: 1 (63 enodes)
1546250435.389 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.389 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))
1546250435.389 * * * * [misc]progress:  [ 22 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.389 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1546250435.389 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.391 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250435.394 * * [misc]simplify:  iters left: 4 (30 enodes)
1546250435.401 * * [misc]simplify:  iters left: 3 (45 enodes)
1546250435.413 * * [misc]simplify:  iters left: 2 (54 enodes)
1546250435.419 * * [misc]simplify:  iters left: 1 (61 enodes)
1546250435.428 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.428 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))
1546250435.428 * * * * [misc]progress:  [ 23 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1546250435.429 * [enter]simplify:  Simplifying (sqrt 1)
1546250435.429 * * [misc]simplify:  iters left: 1 (2 enodes)
1546250435.429 * [exit]simplify:  Simplified to 1
1546250435.430 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
1546250435.430 * * * * [misc]progress:  [ 24 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1546250435.430 * * * * [misc]progress:  [ 25 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1546250435.430 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1546250435.430 * * [misc]simplify:  iters left: 6 (9 enodes)
1546250435.431 * * [misc]simplify:  iters left: 5 (18 enodes)
1546250435.434 * * [misc]simplify:  iters left: 4 (29 enodes)
1546250435.438 * * [misc]simplify:  iters left: 3 (44 enodes)
1546250435.445 * * [misc]simplify:  iters left: 2 (53 enodes)
1546250435.457 * * [misc]simplify:  iters left: 1 (60 enodes)
1546250435.473 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.473 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1546250435.473 * * * * [misc]progress:  [ 26 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1546250435.473 * * * * [misc]progress:  [ 27 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 28 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 29 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2)) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 30 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1)) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 31 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 32 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * * * * [misc]progress:  [ 33 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (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)))))))>
1546250435.473 * * * * [misc]progress:  [ 34 / 66 ] simplifiying candidate #<alt (λ (a b) (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)))))))>
1546250435.473 * * * * [misc]progress:  [ 35 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (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 (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.473 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250435.473 * * [misc]simplify:  iters left: 6 (11 enodes)
1546250435.475 * * [misc]simplify:  iters left: 5 (21 enodes)
1546250435.478 * * [misc]simplify:  iters left: 4 (32 enodes)
1546250435.482 * * [misc]simplify:  iters left: 3 (47 enodes)
1546250435.489 * * [misc]simplify:  iters left: 2 (56 enodes)
1546250435.495 * * [misc]simplify:  iters left: 1 (63 enodes)
1546250435.504 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.504 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.504 * * * * [misc]progress:  [ 36 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.504 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1546250435.505 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.508 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250435.512 * * [misc]simplify:  iters left: 4 (30 enodes)
1546250435.516 * * [misc]simplify:  iters left: 3 (45 enodes)
1546250435.523 * * [misc]simplify:  iters left: 2 (54 enodes)
1546250435.529 * * [misc]simplify:  iters left: 1 (61 enodes)
1546250435.538 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.538 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.538 * * * * [misc]progress:  [ 37 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.538 * [enter]simplify:  Simplifying (sqrt 1)
1546250435.538 * * [misc]simplify:  iters left: 1 (2 enodes)
1546250435.539 * [exit]simplify:  Simplified to 1
1546250435.539 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.539 * * * * [misc]progress:  [ 38 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.539 * * * * [misc]progress:  [ 39 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.539 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1546250435.539 * * [misc]simplify:  iters left: 6 (9 enodes)
1546250435.541 * * [misc]simplify:  iters left: 5 (18 enodes)
1546250435.543 * * [misc]simplify:  iters left: 4 (29 enodes)
1546250435.547 * * [misc]simplify:  iters left: 3 (44 enodes)
1546250435.555 * * [misc]simplify:  iters left: 2 (53 enodes)
1546250435.567 * * [misc]simplify:  iters left: 1 (60 enodes)
1546250435.580 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.580 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.580 * * * * [misc]progress:  [ 40 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.580 * * * * [misc]progress:  [ 41 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.580 * * * * [misc]progress:  [ 42 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.580 * * * * [misc]progress:  [ 43 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * * * * [misc]progress:  [ 44 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * * * * [misc]progress:  [ 45 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * * * * [misc]progress:  [ 46 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * * * * [misc]progress:  [ 47 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (* (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)))))))>
1546250435.581 * * * * [misc]progress:  [ 48 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (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 (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * * * * [misc]progress:  [ 49 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.581 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1546250435.581 * * [misc]simplify:  iters left: 6 (11 enodes)
1546250435.583 * * [misc]simplify:  iters left: 5 (21 enodes)
1546250435.586 * * [misc]simplify:  iters left: 4 (32 enodes)
1546250435.591 * * [misc]simplify:  iters left: 3 (47 enodes)
1546250435.598 * * [misc]simplify:  iters left: 2 (56 enodes)
1546250435.604 * * [misc]simplify:  iters left: 1 (63 enodes)
1546250435.615 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.615 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.615 * * * * [misc]progress:  [ 50 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.616 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1546250435.616 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.617 * * [misc]simplify:  iters left: 5 (19 enodes)
1546250435.620 * * [misc]simplify:  iters left: 4 (30 enodes)
1546250435.624 * * [misc]simplify:  iters left: 3 (45 enodes)
1546250435.630 * * [misc]simplify:  iters left: 2 (54 enodes)
1546250435.636 * * [misc]simplify:  iters left: 1 (61 enodes)
1546250435.647 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.647 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.647 * * * * [misc]progress:  [ 51 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.647 * [enter]simplify:  Simplifying (sqrt 1)
1546250435.647 * * [misc]simplify:  iters left: 1 (2 enodes)
1546250435.649 * [exit]simplify:  Simplified to 1
1546250435.649 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.649 * * * * [misc]progress:  [ 52 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.649 * * * * [misc]progress:  [ 53 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.649 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1546250435.649 * * [misc]simplify:  iters left: 6 (9 enodes)
1546250435.652 * * [misc]simplify:  iters left: 5 (18 enodes)
1546250435.657 * * [misc]simplify:  iters left: 4 (29 enodes)
1546250435.666 * * [misc]simplify:  iters left: 3 (44 enodes)
1546250435.678 * * [misc]simplify:  iters left: 2 (53 enodes)
1546250435.688 * * [misc]simplify:  iters left: 1 (60 enodes)
1546250435.696 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.696 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.696 * * * * [misc]progress:  [ 54 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.697 * * * * [misc]progress:  [ 55 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250435.697 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.697 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.698 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.701 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.705 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.711 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.720 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.738 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.738 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.738 * * * * [misc]progress:  [ 56 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250435.738 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.738 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.741 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.745 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.750 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.756 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.765 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.774 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.774 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.774 * * * * [misc]progress:  [ 57 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1546250435.774 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.774 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.775 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.778 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.781 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.789 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.798 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.807 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.807 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1546250435.807 * * * * [misc]progress:  [ 58 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1546250435.807 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.807 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.809 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.811 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.815 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.827 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.842 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.851 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.851 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1546250435.851 * * * * [misc]progress:  [ 59 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1546250435.851 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.851 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.853 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.855 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.858 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.869 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.888 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.906 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.906 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1546250435.906 * * * * [misc]progress:  [ 60 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1546250435.906 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.906 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.909 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.914 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.918 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.924 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.932 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.941 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.941 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1546250435.941 * * * * [misc]progress:  [ 61 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.941 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.941 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.943 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250435.945 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250435.949 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250435.962 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250435.980 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250435.998 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250435.998 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250435.998 * * * * [misc]progress:  [ 62 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250435.998 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250435.998 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250435.999 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250436.001 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250436.005 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250436.011 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250436.020 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250436.028 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250436.028 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250436.028 * * * * [misc]progress:  [ 63 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250436.029 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250436.029 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250436.030 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250436.032 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250436.036 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250436.042 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250436.051 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250436.070 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250436.070 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250436.070 * * * * [misc]progress:  [ 64 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250436.071 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250436.071 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250436.074 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250436.077 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250436.082 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250436.088 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250436.097 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250436.109 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250436.109 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250436.109 * * * * [misc]progress:  [ 65 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250436.109 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250436.109 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250436.113 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250436.116 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250436.120 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250436.126 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250436.135 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250436.143 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250436.143 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250436.143 * * * * [misc]progress:  [ 66 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1546250436.144 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1546250436.144 * * [misc]simplify:  iters left: 6 (10 enodes)
1546250436.145 * * [misc]simplify:  iters left: 5 (16 enodes)
1546250436.147 * * [misc]simplify:  iters left: 4 (25 enodes)
1546250436.151 * * [misc]simplify:  iters left: 3 (42 enodes)
1546250436.164 * * [misc]simplify:  iters left: 2 (68 enodes)
1546250436.179 * * [misc]simplify:  iters left: 1 (77 enodes)
1546250436.187 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250436.188 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1546250436.188 * * * [misc]progress:  adding candidates to table
1546250437.083 * [misc]progress:  [Phase 3 of 3] Extracting.
1546250437.083 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>)
1546250437.083 * * * [misc]regime-changes:  Trying 2 branch expressions: (b a)
1546250437.083 * * * * [misc]regimes:  Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>)
1546250437.118 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>)
1546250437.171 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1546250437.171 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250437.171 * * [misc]simplify:  iters left: 6 (8 enodes)
1546250437.172 * * [misc]simplify:  iters left: 5 (10 enodes)
1546250437.173 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1546250437.173 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546250439.067 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546250439.069 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546250439.607 * [misc]regime-testing:  Baseline error score: 7.260691474646329
1546250439.608 * [misc]regime-testing:  Oracle error score: 7.2547540705679925
1546250439.610 * [misc]regime-testing:  End program error score: 7.260691474646329