1545388818.376 * [misc]progress:  [Phase 1 of 3] Setting up.
1545388818.376 * * * [misc]progress:  [1/2] Preparing points
1545388818.377 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545388818.459 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545388818.459 * * * * [exit]points:  Sampled 256 points with exact outputs
1545388818.459 * * * [misc]progress:  [2/2] Setting up program.
1545388818.462 * [misc]progress:  [Phase 2 of 3] Improving.
1545388818.462 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1545388818.462 * * [misc]simplify:  iters left: 6 (8 enodes)
1545388818.464 * * [misc]simplify:  iters left: 5 (19 enodes)
1545388818.467 * * [misc]simplify:  iters left: 4 (44 enodes)
1545388818.474 * * [misc]simplify:  iters left: 3 (86 enodes)
1545388818.501 * * [misc]simplify:  iters left: 2 (156 enodes)
1545388818.548 * * [misc]simplify:  iters left: 1 (330 enodes)
1545388818.663 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388818.676 * * [misc]progress:  iteration 1 / 4
1545388818.676 * * * [misc]progress:  picking best candidate
1545388818.681 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1545388818.681 * * * [misc]progress:  localizing error
1545388818.710 * * * [misc]progress:  generating rewritten candidates
1545388818.710 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545388818.712 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 2)
1545388818.720 * * * [misc]progress:  generating series expansions
1545388818.720 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545388818.721 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.721 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1545388818.721 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388818.721 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388818.721 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388818.721 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.722 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.722 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388818.722 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388818.722 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388818.722 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.722 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.722 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388818.722 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388818.723 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388818.723 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.723 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.723 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388818.723 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388818.723 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388818.724 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.724 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.724 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.724 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.725 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.725 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.725 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.725 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.725 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.726 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.726 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.727 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388818.727 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.727 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.727 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.727 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388818.727 * [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)))))
1545388818.727 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388818.727 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388818.727 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388818.728 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.733 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.733 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.733 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388818.733 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388818.733 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.734 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.734 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388818.734 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388818.734 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.735 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.735 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388818.735 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388818.735 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.735 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.735 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.736 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.736 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.736 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.736 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.736 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.737 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.738 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.738 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.738 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.738 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.738 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.738 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.739 * [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)))))
1545388818.739 * [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)))))
1545388818.739 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388818.739 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388818.739 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388818.739 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.739 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.740 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.740 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388818.740 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388818.740 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.740 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.740 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.740 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388818.740 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388818.741 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.741 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.741 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.741 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388818.741 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388818.741 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388818.742 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.742 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.742 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388818.742 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.742 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.742 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.742 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.743 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.743 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.743 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.743 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.743 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.744 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.744 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.745 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388818.745 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.745 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.745 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.745 * [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)))))
1545388818.745 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 2)
1545388818.745 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1545388818.745 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1545388818.745 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1545388818.745 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388818.745 * [misc]taylor:  Taking taylor expansion of b in a
1545388818.745 * [misc]backup-simplify:  Simplify b into b
1545388818.745 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.745 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.745 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.745 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.746 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388818.746 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.746 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1545388818.746 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.746 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.746 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.746 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.746 * [misc]backup-simplify:  Simplify a into a
1545388818.746 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.746 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.746 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388818.746 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.746 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.746 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.746 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.746 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.746 * [misc]backup-simplify:  Simplify a into a
1545388818.747 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.747 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.747 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388818.747 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545388818.747 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.747 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.747 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.747 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.747 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.747 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545388818.747 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.748 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.748 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388818.748 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1545388818.748 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.748 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.748 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.748 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545388818.748 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.749 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.749 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388818.749 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1545388818.749 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.749 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.749 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.750 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.750 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388818.750 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388818.751 * [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
1545388818.751 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.751 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.751 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.751 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388818.751 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.752 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.752 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545388818.752 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1545388818.753 * [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
1545388818.753 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.753 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1545388818.753 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1545388818.753 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388818.753 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388818.753 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.753 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.753 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.753 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388818.753 * [misc]taylor:  Taking taylor expansion of b in a
1545388818.754 * [misc]backup-simplify:  Simplify b into b
1545388818.754 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.754 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388818.754 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388818.754 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.754 * [misc]backup-simplify:  Simplify a into a
1545388818.754 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.754 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.754 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.754 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.754 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388818.754 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.754 * [misc]backup-simplify:  Simplify a into a
1545388818.754 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.754 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.755 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.755 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.755 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388818.755 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.755 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.755 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.755 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.755 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388818.755 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.756 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388818.756 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.756 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.756 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388818.757 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.757 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.757 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.757 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.758 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.758 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388818.758 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388818.759 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.759 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.759 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1545388818.759 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1545388818.759 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388818.759 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388818.759 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.759 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.759 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.759 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388818.760 * [misc]taylor:  Taking taylor expansion of b in a
1545388818.760 * [misc]backup-simplify:  Simplify b into b
1545388818.760 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.760 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388818.760 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388818.760 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.760 * [misc]backup-simplify:  Simplify a into a
1545388818.760 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.760 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.760 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.760 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.760 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.760 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388818.760 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of a in b
1545388818.760 * [misc]backup-simplify:  Simplify a into a
1545388818.760 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388818.760 * [misc]taylor:  Taking taylor expansion of b in b
1545388818.761 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.761 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.761 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388818.761 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.761 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388818.761 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388818.761 * [misc]taylor:  Taking taylor expansion of a in a
1545388818.761 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.761 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.761 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388818.761 * [misc]backup-simplify:  Simplify 1 into 1
1545388818.761 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388818.761 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.762 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388818.762 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.762 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388818.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.762 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388818.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.763 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.763 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.764 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388818.764 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.764 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388818.764 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388818.765 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388818.765 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388818.765 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.765 * [misc]backup-simplify:  Simplify 0 into 0
1545388818.765 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1545388818.765 * * * [misc]progress:  simplifying candidates
1545388818.765 * * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388818.765 * * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388818.765 * * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1545388818.765 * * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1545388818.766 * * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388818.766 * * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388818.766 * * * * [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))))))))>
1545388818.766 * * * * [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))))))))>
1545388818.766 * * * * [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))))))))>
1545388818.766 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388818.766 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388818.770 * * [misc]simplify:  iters left: 5 (19 enodes)
1545388818.775 * * [misc]simplify:  iters left: 4 (33 enodes)
1545388818.782 * * [misc]simplify:  iters left: 3 (51 enodes)
1545388818.793 * * [misc]simplify:  iters left: 2 (66 enodes)
1545388818.806 * * [misc]simplify:  iters left: 1 (74 enodes)
1545388818.815 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388818.815 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388818.816 * * * * [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))))))))>
1545388818.816 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388818.816 * * [misc]simplify:  iters left: 6 (9 enodes)
1545388818.817 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388818.820 * * [misc]simplify:  iters left: 4 (31 enodes)
1545388818.824 * * [misc]simplify:  iters left: 3 (49 enodes)
1545388818.833 * * [misc]simplify:  iters left: 2 (64 enodes)
1545388818.849 * * [misc]simplify:  iters left: 1 (72 enodes)
1545388818.871 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388818.871 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388818.871 * * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1545388818.872 * [enter]simplify:  Simplifying (sqrt 1)
1545388818.872 * * [misc]simplify:  iters left: 1 (2 enodes)
1545388818.874 * [exit]simplify:  Simplified to 1
1545388818.874 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388818.874 * * * * [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))))))))>
1545388818.874 * * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1545388818.874 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388818.874 * * [misc]simplify:  iters left: 6 (8 enodes)
1545388818.877 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388818.882 * * [misc]simplify:  iters left: 4 (30 enodes)
1545388818.890 * * [misc]simplify:  iters left: 3 (48 enodes)
1545388818.903 * * [misc]simplify:  iters left: 2 (63 enodes)
1545388818.918 * * [misc]simplify:  iters left: 1 (71 enodes)
1545388818.930 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388818.930 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388818.930 * * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1545388818.930 * * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
1545388818.930 * * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
1545388818.930 * * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1545388818.931 * [enter]simplify:  Simplifying (/ b a)
1545388818.931 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388818.931 * [exit]simplify:  Simplified to (/ b a)
1545388818.931 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1545388818.931 * [enter]simplify:  Simplifying (+ 1 1)
1545388818.931 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388818.932 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388818.933 * [exit]simplify:  Simplified to 2
1545388818.933 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1545388818.933 * * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1545388818.933 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1545388818.933 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388818.934 * * [misc]simplify:  iters left: 3 (8 enodes)
1545388818.935 * * [misc]simplify:  iters left: 2 (14 enodes)
1545388818.937 * * [misc]simplify:  iters left: 1 (20 enodes)
1545388818.939 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388818.939 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1545388818.939 * * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1545388818.939 * * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1545388818.940 * [enter]simplify:  Simplifying (/ b a)
1545388818.940 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388818.940 * [exit]simplify:  Simplified to (/ b a)
1545388818.940 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1545388818.940 * * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1545388818.940 * * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1545388818.940 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1545388818.940 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388818.941 * * [misc]simplify:  iters left: 4 (8 enodes)
1545388818.942 * * [misc]simplify:  iters left: 3 (14 enodes)
1545388818.945 * * [misc]simplify:  iters left: 2 (28 enodes)
1545388818.949 * * [misc]simplify:  iters left: 1 (53 enodes)
1545388818.963 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1545388818.963 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1545388818.963 * * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1545388818.963 * * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1545388818.963 * * * * [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))))))))>
1545388818.964 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1545388818.964 * * [misc]simplify:  iters left: 6 (6 enodes)
1545388818.966 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388818.975 * * [misc]simplify:  iters left: 4 (61 enodes)
1545388818.999 * * [misc]simplify:  iters left: 3 (157 enodes)
1545388819.099 * * [misc]simplify:  iters left: 2 (463 enodes)
1545388819.935 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1545388819.935 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))
1545388819.935 * * * * [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))))))))>
1545388819.935 * * * * [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))))))))>
1545388819.935 * * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1545388819.935 * * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1545388819.936 * [enter]simplify:  Simplifying (* b b)
1545388819.936 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388819.936 * [exit]simplify:  Simplified to (* b b)
1545388819.936 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1545388819.937 * [enter]simplify:  Simplifying (* a a)
1545388819.937 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388819.937 * [exit]simplify:  Simplified to (* a a)
1545388819.937 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1545388819.937 * * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1545388819.938 * * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1545388819.938 * [enter]simplify:  Simplifying (cbrt (/ b a))
1545388819.938 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388819.939 * [exit]simplify:  Simplified to (cbrt (/ b a))
1545388819.939 * [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)))))))
1545388819.939 * * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1545388819.939 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388819.939 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388819.941 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388819.941 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1545388819.941 * * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1545388819.941 * [enter]simplify:  Simplifying (/ b a)
1545388819.941 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388819.942 * [exit]simplify:  Simplified to (/ b a)
1545388819.942 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1545388819.942 * * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1545388819.942 * [enter]simplify:  Simplifying (/ 1 a)
1545388819.942 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388819.943 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388819.944 * [exit]simplify:  Simplified to (/ 1 a)
1545388819.945 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1545388819.945 * * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1545388819.945 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388819.945 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388819.946 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388819.946 * [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)))))))
1545388819.946 * * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1545388819.947 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388819.947 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388819.948 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388819.948 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1545388819.948 * * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1545388819.948 * * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1545388819.948 * * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1545388819.948 * * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1545388819.948 * [enter]simplify:  Simplifying (* b (/ b a))
1545388819.949 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388819.950 * * [misc]simplify:  iters left: 3 (7 enodes)
1545388819.952 * * [misc]simplify:  iters left: 2 (9 enodes)
1545388819.954 * [exit]simplify:  Simplified to (* b (/ b a))
1545388819.954 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1545388819.954 * * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1545388819.954 * * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388819.955 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388819.955 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388819.958 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388819.962 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388819.969 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388819.982 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388819.997 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.005 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.005 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.006 * * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.006 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.006 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.007 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388820.010 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388820.013 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388820.023 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388820.041 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.059 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.059 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.059 * * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.059 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.059 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.063 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388820.067 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388820.074 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388820.087 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388820.104 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.122 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.123 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.123 * * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.123 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.123 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.125 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.127 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.131 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.131 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.131 * * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.131 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.131 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.133 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.135 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.138 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.139 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.139 * * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.139 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.139 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.141 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.143 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.146 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.146 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.147 * * * [misc]progress:  adding candidates to table
1545388820.677 * * [misc]progress:  iteration 2 / 4
1545388820.677 * * * [misc]progress:  picking best candidate
1545388820.683 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1545388820.683 * * * [misc]progress:  localizing error
1545388820.696 * * * [misc]progress:  generating rewritten candidates
1545388820.696 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 2)
1545388820.703 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1545388820.705 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1 2 1)
1545388820.710 * * * [misc]progress:  generating series expansions
1545388820.710 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 2)
1545388820.711 * [misc]backup-simplify:  Simplify (/ (* b (/ b a)) a) into (/ (pow b 2) (pow a 2))
1545388820.711 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1545388820.711 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1545388820.711 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.711 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.711 * [misc]backup-simplify:  Simplify b into b
1545388820.711 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.711 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.711 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.711 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.711 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.711 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.711 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1545388820.711 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388820.711 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.711 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.711 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.711 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.711 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.712 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.712 * [misc]backup-simplify:  Simplify a into a
1545388820.712 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.712 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.712 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388820.712 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388820.712 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.712 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.712 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.712 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.712 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.712 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.712 * [misc]backup-simplify:  Simplify a into a
1545388820.712 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.712 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.712 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388820.713 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545388820.713 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.713 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.713 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.713 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.713 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.713 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545388820.713 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.713 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.713 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388820.714 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1545388820.714 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.714 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.714 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.714 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545388820.714 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.715 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.715 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388820.715 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1545388820.715 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.715 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.716 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.716 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.716 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.716 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.717 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388820.717 * [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
1545388820.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.717 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.717 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.718 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.718 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.718 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.718 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545388820.719 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1545388820.719 * [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
1545388820.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.719 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.720 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.720 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.720 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1545388820.720 * [misc]backup-simplify:  Simplify (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)) into (/ (pow a 2) (pow b 2))
1545388820.720 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388820.720 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388820.720 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.720 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.720 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.720 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.720 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.720 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.720 * [misc]backup-simplify:  Simplify b into b
1545388820.720 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.720 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.721 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388820.721 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.721 * [misc]backup-simplify:  Simplify a into a
1545388820.721 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.721 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.721 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.721 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.721 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388820.721 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.721 * [misc]backup-simplify:  Simplify a into a
1545388820.721 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.721 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.721 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.721 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.721 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.722 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.722 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388820.722 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.722 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.722 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.722 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.722 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.722 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.722 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388820.722 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.723 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388820.723 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.723 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.723 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.723 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.723 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.723 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388820.724 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.724 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.724 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.724 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.725 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.725 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.725 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388820.725 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.726 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.726 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.726 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.726 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.726 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1545388820.727 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))) into (/ (pow a 2) (pow b 2))
1545388820.727 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388820.727 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388820.727 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.727 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.727 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.727 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.727 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.727 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.727 * [misc]backup-simplify:  Simplify b into b
1545388820.727 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.727 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.727 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388820.727 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388820.727 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.727 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.728 * [misc]backup-simplify:  Simplify a into a
1545388820.728 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.728 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.728 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.728 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.728 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.728 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.728 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388820.728 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388820.728 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388820.728 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.728 * [misc]backup-simplify:  Simplify a into a
1545388820.728 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.728 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.728 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.728 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.728 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388820.728 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.729 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388820.729 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388820.729 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.729 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.729 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.729 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.729 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.729 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388820.729 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.730 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388820.730 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.730 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.730 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.730 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.730 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.730 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388820.731 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.731 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.731 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.731 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.731 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.731 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.732 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.732 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.732 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388820.732 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.733 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.733 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.733 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.733 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1545388820.733 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1545388820.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.734 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1545388820.734 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388820.734 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388820.734 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388820.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.735 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.735 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388820.735 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388820.735 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388820.735 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.735 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.735 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388820.735 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388820.736 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388820.736 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.736 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.736 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388820.736 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388820.736 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388820.737 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.737 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.737 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.737 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.738 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.738 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.738 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.739 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.739 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.739 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.739 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.740 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388820.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.740 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.740 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.740 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.741 * [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)))))
1545388820.741 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388820.741 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388820.741 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388820.741 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.741 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.741 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.742 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388820.742 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388820.742 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.742 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.742 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.742 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388820.742 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388820.743 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.743 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.743 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.743 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388820.743 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388820.744 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.744 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.744 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.744 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.744 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.744 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.744 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.745 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.746 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.746 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.746 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.746 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.746 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.747 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.747 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.747 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.747 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.747 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.747 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.747 * [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)))))
1545388820.748 * [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)))))
1545388820.748 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388820.748 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388820.748 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388820.748 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.748 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.748 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.748 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388820.748 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388820.748 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.748 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.748 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.749 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388820.749 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388820.749 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.749 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.749 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.749 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388820.749 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388820.749 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388820.749 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.749 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.750 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388820.750 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.750 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.750 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.750 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.751 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.751 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.751 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388820.751 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.751 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.751 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.751 * [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)))))
1545388820.752 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1 2 1)
1545388820.752 * [misc]backup-simplify:  Simplify (* b (/ b a)) into (/ (pow b 2) a)
1545388820.752 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
1545388820.752 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in a
1545388820.752 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.752 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.752 * [misc]backup-simplify:  Simplify b into b
1545388820.752 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.752 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.752 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.752 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.752 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1545388820.752 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1545388820.752 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.752 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.752 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.752 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.752 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.752 * [misc]backup-simplify:  Simplify a into a
1545388820.752 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.752 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545388820.752 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1545388820.752 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.752 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.752 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.752 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.752 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.752 * [misc]backup-simplify:  Simplify a into a
1545388820.752 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.752 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545388820.752 * [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
1545388820.752 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.752 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.752 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.753 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545388820.753 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.753 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.753 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
1545388820.753 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.753 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545388820.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.753 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.753 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1545388820.753 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.753 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.754 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
1545388820.754 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.754 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.754 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow b 2))) into (/ (pow b 2) a)
1545388820.755 * [misc]backup-simplify:  Simplify (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) into (/ a (pow b 2))
1545388820.755 * [misc]approximate:  Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
1545388820.755 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1545388820.755 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.755 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.755 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.755 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.755 * [misc]backup-simplify:  Simplify b into b
1545388820.755 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.755 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388820.755 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1545388820.755 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.755 * [misc]backup-simplify:  Simplify a into a
1545388820.755 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.755 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.755 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.755 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.755 * [misc]backup-simplify:  Simplify (/ a 1) into a
1545388820.755 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1545388820.755 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.755 * [misc]backup-simplify:  Simplify a into a
1545388820.755 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.755 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.755 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.755 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.755 * [misc]backup-simplify:  Simplify (/ a 1) into a
1545388820.755 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.755 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.755 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.756 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.756 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1545388820.756 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.756 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.756 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.756 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.757 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.757 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.757 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.757 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow (/ 1 b) -2))) into (/ (pow b 2) a)
1545388820.757 * [misc]backup-simplify:  Simplify (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (pow b 2)))
1545388820.757 * [misc]approximate:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
1545388820.757 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
1545388820.757 * [misc]taylor:  Taking taylor expansion of -1 in a
1545388820.757 * [misc]backup-simplify:  Simplify -1 into -1
1545388820.757 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1545388820.757 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.757 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.757 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.757 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388820.757 * [misc]taylor:  Taking taylor expansion of b in a
1545388820.757 * [misc]backup-simplify:  Simplify b into b
1545388820.758 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388820.758 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388820.758 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of -1 in b
1545388820.758 * [misc]backup-simplify:  Simplify -1 into -1
1545388820.758 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.758 * [misc]backup-simplify:  Simplify a into a
1545388820.758 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.758 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.758 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.758 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.758 * [misc]backup-simplify:  Simplify (/ a 1) into a
1545388820.758 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of -1 in b
1545388820.758 * [misc]backup-simplify:  Simplify -1 into -1
1545388820.758 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of a in b
1545388820.758 * [misc]backup-simplify:  Simplify a into a
1545388820.758 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388820.758 * [misc]taylor:  Taking taylor expansion of b in b
1545388820.758 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.758 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.758 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388820.758 * [misc]backup-simplify:  Simplify (/ a 1) into a
1545388820.758 * [misc]backup-simplify:  Simplify (* -1 a) into (* -1 a)
1545388820.758 * [misc]taylor:  Taking taylor expansion of (* -1 a) in a
1545388820.758 * [misc]taylor:  Taking taylor expansion of -1 in a
1545388820.758 * [misc]backup-simplify:  Simplify -1 into -1
1545388820.758 * [misc]taylor:  Taking taylor expansion of a in a
1545388820.758 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.758 * [misc]backup-simplify:  Simplify 1 into 1
1545388820.759 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1545388820.759 * [misc]backup-simplify:  Simplify -1 into -1
1545388820.759 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388820.759 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1545388820.759 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 a)) into 0
1545388820.759 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.759 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1545388820.759 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.759 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388820.762 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.762 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 a))) into 0
1545388820.762 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.762 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.763 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545388820.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388820.763 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388820.763 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388820.763 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388820.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.763 * [misc]backup-simplify:  Simplify 0 into 0
1545388820.764 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))) into (/ (pow b 2) a)
1545388820.764 * * * [misc]progress:  simplifying candidates
1545388820.764 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ (* b (/ b a)) a) 1)))))>
1545388820.764 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)))))))>
1545388820.764 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (- (* b (/ b a))) (- a))))))>
1545388820.764 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (/ (* b (/ b a)) a))))))>
1545388820.764 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* b (/ b a)) (/ 1 a))))))>
1545388820.764 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ 1 (/ a (* b (/ b a))))))))>
1545388820.764 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ b (/ a (/ b a)))))))>
1545388820.764 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1545388820.764 * [enter]simplify:  Simplifying (* b b)
1545388820.764 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388820.765 * [exit]simplify:  Simplified to (* b b)
1545388820.765 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1545388820.765 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.765 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.765 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2))>
1545388820.765 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1))>
1545388820.765 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.765 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.765 * * * * [misc]progress:  [ 21 / 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)))))))>
1545388820.765 * * * * [misc]progress:  [ 22 / 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)))))))>
1545388820.765 * * * * [misc]progress:  [ 23 / 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)))))))>
1545388820.765 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1545388820.765 * * [misc]simplify:  iters left: 6 (11 enodes)
1545388820.767 * * [misc]simplify:  iters left: 5 (21 enodes)
1545388820.772 * * [misc]simplify:  iters left: 4 (32 enodes)
1545388820.780 * * [misc]simplify:  iters left: 3 (47 enodes)
1545388820.792 * * [misc]simplify:  iters left: 2 (56 enodes)
1545388820.799 * * [misc]simplify:  iters left: 1 (63 enodes)
1545388820.808 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.808 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1545388820.808 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.809 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1545388820.809 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.810 * * [misc]simplify:  iters left: 5 (19 enodes)
1545388820.813 * * [misc]simplify:  iters left: 4 (30 enodes)
1545388820.818 * * [misc]simplify:  iters left: 3 (45 enodes)
1545388820.824 * * [misc]simplify:  iters left: 2 (54 enodes)
1545388820.830 * * [misc]simplify:  iters left: 1 (61 enodes)
1545388820.838 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.838 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1545388820.838 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1545388820.839 * [enter]simplify:  Simplifying (sqrt 1)
1545388820.839 * * [misc]simplify:  iters left: 1 (2 enodes)
1545388820.839 * [exit]simplify:  Simplified to 1
1545388820.839 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1545388820.839 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388820.840 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1545388820.840 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1545388820.840 * * [misc]simplify:  iters left: 6 (9 enodes)
1545388820.841 * * [misc]simplify:  iters left: 5 (18 enodes)
1545388820.844 * * [misc]simplify:  iters left: 4 (29 enodes)
1545388820.849 * * [misc]simplify:  iters left: 3 (44 enodes)
1545388820.855 * * [misc]simplify:  iters left: 2 (53 enodes)
1545388820.861 * * [misc]simplify:  iters left: 1 (60 enodes)
1545388820.869 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.869 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388820.869 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1545388820.869 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log1p (expm1 (* b (/ b a)))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (expm1 (log1p (* b (/ b a)))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow (* b (/ b a)) 1) a)))))>
1545388820.869 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (exp (log (* b (/ b a)))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log (exp (* b (/ b a)))) a)))))>
1545388820.869 * * * * [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)))))>
1545388820.869 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (cbrt (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (sqrt (* b (/ b a))) (sqrt (* b (/ b a)))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* 1 (* b (/ b a))) a)))))>
1545388820.869 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))) a)))))>
1545388820.869 * [enter]simplify:  Simplifying (cbrt (/ b a))
1545388820.869 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388820.870 * [exit]simplify:  Simplified to (cbrt (/ b a))
1545388820.870 * [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)))))
1545388820.870 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))>
1545388820.870 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388820.870 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388820.871 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388820.871 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))
1545388820.871 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))>
1545388820.871 * [enter]simplify:  Simplifying (/ b a)
1545388820.871 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388820.871 * [exit]simplify:  Simplified to (/ b a)
1545388820.871 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))
1545388820.871 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))>
1545388820.872 * [enter]simplify:  Simplifying (/ 1 a)
1545388820.872 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388820.872 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388820.873 * [exit]simplify:  Simplified to (/ 1 a)
1545388820.873 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))
1545388820.873 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))>
1545388820.873 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1545388820.873 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.873 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.873 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.874 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.875 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.877 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.877 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.877 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.877 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.877 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.878 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.879 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.881 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.882 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.882 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.882 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388820.882 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388820.883 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388820.884 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388820.886 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388820.886 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.886 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.886 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.886 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.888 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388820.890 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388820.893 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388820.899 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388820.908 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.917 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.917 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.917 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.917 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.917 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.918 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388820.921 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388820.925 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388820.931 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388820.939 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.951 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.951 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.951 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1545388820.952 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388820.952 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388820.955 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388820.959 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388820.962 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388820.969 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388820.977 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388820.986 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388820.986 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388820.986 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1545388820.986 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1545388820.986 * * [misc]simplify:  iters left: 3 (5 enodes)
1545388820.987 * * [misc]simplify:  iters left: 2 (6 enodes)
1545388820.988 * * [misc]simplify:  iters left: 1 (8 enodes)
1545388820.989 * [exit]simplify:  Simplified to (/ (* b b) a)
1545388820.989 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1545388820.989 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1545388820.989 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1545388820.989 * * [misc]simplify:  iters left: 3 (5 enodes)
1545388820.990 * * [misc]simplify:  iters left: 2 (6 enodes)
1545388820.991 * * [misc]simplify:  iters left: 1 (8 enodes)
1545388820.992 * [exit]simplify:  Simplified to (/ (* b b) a)
1545388820.992 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1545388820.992 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1545388820.992 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1545388820.992 * * [misc]simplify:  iters left: 3 (5 enodes)
1545388820.993 * * [misc]simplify:  iters left: 2 (6 enodes)
1545388820.994 * * [misc]simplify:  iters left: 1 (8 enodes)
1545388820.995 * [exit]simplify:  Simplified to (/ (* b b) a)
1545388820.995 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1545388820.995 * * * [misc]progress:  adding candidates to table
1545388821.462 * * [misc]progress:  iteration 3 / 4
1545388821.462 * * * [misc]progress:  picking best candidate
1545388821.465 * * * * [misc]pick:  Picked  #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.466 * * * [misc]progress:  localizing error
1545388821.472 * * * [misc]progress:  generating rewritten candidates
1545388821.472 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1)
1545388821.472 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1545388821.473 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 2)
1545388821.478 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1545388821.484 * * * [misc]progress:  generating series expansions
1545388821.484 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1)
1545388821.485 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.485 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1545388821.485 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388821.485 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388821.485 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.485 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.485 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.485 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388821.485 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388821.485 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.485 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.486 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.486 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388821.486 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388821.486 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.486 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.486 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.486 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388821.486 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388821.486 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.486 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.486 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.487 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.487 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.487 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.487 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.487 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.488 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.488 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.488 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.488 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.488 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.488 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.488 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.489 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.489 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.489 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.489 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.489 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.489 * [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)))))
1545388821.489 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388821.489 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.489 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.489 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.489 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.489 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.489 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.489 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.490 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.490 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.490 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.490 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.490 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.490 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.490 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.490 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.490 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.490 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.490 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.491 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.491 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.491 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.491 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.491 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.491 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.491 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.492 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.492 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.492 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.492 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.492 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.492 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.492 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.493 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.493 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.493 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.493 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.493 * [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)))))
1545388821.493 * [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)))))
1545388821.493 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388821.493 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.493 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.493 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.493 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.494 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.494 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.494 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.494 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.494 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.494 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.494 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.494 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.494 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.494 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.495 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.495 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.495 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.495 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.495 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.495 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.495 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.495 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.496 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.496 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.496 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.496 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.496 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.496 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.496 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.497 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.497 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.497 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.497 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.497 * [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)))))
1545388821.497 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1545388821.497 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.497 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1545388821.497 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388821.497 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388821.497 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.497 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.498 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.498 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388821.498 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388821.498 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.498 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.498 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.498 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1545388821.498 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1545388821.498 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.499 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.499 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.499 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1545388821.499 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1545388821.499 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1545388821.499 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.499 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.499 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.499 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.499 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.499 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.499 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.500 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.500 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.500 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.500 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.500 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.501 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.501 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.501 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1545388821.501 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.501 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.501 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.501 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388821.501 * [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)))))
1545388821.501 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388821.501 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.501 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.502 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.502 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.502 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.502 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.502 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.502 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.502 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.502 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.502 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.502 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.502 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.503 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.503 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.503 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.503 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.503 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.503 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.503 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.503 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.503 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.503 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.503 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.503 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.504 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.504 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.504 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.504 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.504 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.505 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.505 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.505 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.505 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.505 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.505 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.505 * [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)))))
1545388821.506 * [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)))))
1545388821.506 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1545388821.506 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.506 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.506 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.506 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.506 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.506 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.506 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.506 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.506 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.506 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.506 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1545388821.506 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1545388821.507 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.507 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.507 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.507 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1545388821.507 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1545388821.507 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1545388821.507 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.507 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.507 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1545388821.507 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.508 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.508 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.508 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.509 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.509 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.509 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1545388821.509 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.509 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.509 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.509 * [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)))))
1545388821.509 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 2)
1545388821.510 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1545388821.510 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1545388821.510 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.510 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.510 * [misc]backup-simplify:  Simplify b into b
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.510 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.510 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.510 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.510 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.510 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1545388821.510 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.510 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.510 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.510 * [misc]backup-simplify:  Simplify a into a
1545388821.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.510 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.510 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388821.510 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.510 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.510 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.510 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.510 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.510 * [misc]backup-simplify:  Simplify a into a
1545388821.511 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.511 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.511 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388821.511 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545388821.511 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.511 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.511 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.511 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.511 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.511 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545388821.511 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.511 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.511 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.511 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1545388821.511 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.511 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545388821.512 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.512 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.512 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1545388821.512 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.512 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.513 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.513 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.513 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.513 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.513 * [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
1545388821.513 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.513 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.513 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.514 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.514 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.514 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.514 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545388821.514 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1545388821.515 * [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
1545388821.515 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.515 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.515 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.515 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.515 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1545388821.515 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1545388821.515 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388821.515 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388821.515 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.515 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.515 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.515 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.515 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.515 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.515 * [misc]backup-simplify:  Simplify b into b
1545388821.515 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.515 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.515 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388821.515 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.515 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.515 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.515 * [misc]backup-simplify:  Simplify a into a
1545388821.515 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.515 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.515 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.516 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.516 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.516 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.516 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.516 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.516 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.516 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.516 * [misc]backup-simplify:  Simplify a into a
1545388821.516 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.516 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.516 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.516 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.516 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.516 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.516 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.516 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.516 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.516 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.516 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.516 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.516 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.516 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.517 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.517 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388821.517 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.517 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.517 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.517 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.517 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.517 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.517 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.518 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.518 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.518 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.518 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.518 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.518 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.518 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.518 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.518 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.519 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.519 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.519 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.519 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1545388821.519 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1545388821.519 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388821.519 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388821.519 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.519 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.519 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.519 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.519 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.519 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.519 * [misc]backup-simplify:  Simplify b into b
1545388821.519 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.519 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.519 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388821.519 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.520 * [misc]backup-simplify:  Simplify a into a
1545388821.520 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.520 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.520 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.520 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.520 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.520 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.520 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.520 * [misc]backup-simplify:  Simplify a into a
1545388821.520 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.520 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.520 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.520 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.520 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.520 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.520 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.520 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.520 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.520 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.520 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.520 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.520 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.520 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.521 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.521 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388821.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.521 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.521 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.521 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.521 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.521 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.521 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.522 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.522 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.522 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.522 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.522 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.522 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.522 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.523 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.523 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.523 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1545388821.523 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 2)
1545388821.523 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1545388821.523 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1545388821.523 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1545388821.523 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.523 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.523 * [misc]backup-simplify:  Simplify b into b
1545388821.523 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.523 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.523 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.523 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.523 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.523 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.524 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1545388821.524 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.524 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.524 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.524 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.524 * [misc]backup-simplify:  Simplify a into a
1545388821.524 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.524 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.524 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388821.524 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.524 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.524 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.524 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.524 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.524 * [misc]backup-simplify:  Simplify a into a
1545388821.524 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.524 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.524 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545388821.524 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545388821.524 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.524 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.524 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.524 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.524 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.525 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545388821.525 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.525 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.525 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.525 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1545388821.525 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.525 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.525 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.525 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545388821.525 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.525 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.526 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.526 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1545388821.526 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.526 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.526 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.526 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.526 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.526 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.527 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.527 * [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
1545388821.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.527 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.527 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.527 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.527 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.527 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.528 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545388821.528 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1545388821.528 * [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
1545388821.528 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.528 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.528 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.528 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.528 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1545388821.529 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1545388821.529 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388821.529 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.529 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.529 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.529 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.529 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.529 * [misc]backup-simplify:  Simplify b into b
1545388821.529 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.529 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.529 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388821.529 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.529 * [misc]backup-simplify:  Simplify a into a
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.529 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.529 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.529 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.529 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.529 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.529 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.529 * [misc]backup-simplify:  Simplify a into a
1545388821.529 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.529 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.529 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.529 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.529 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.530 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.530 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.530 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.530 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.530 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.530 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.530 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.530 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.530 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.530 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.530 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388821.530 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.530 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.530 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.531 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.531 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.531 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.531 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.531 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.531 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.531 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.531 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.531 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.531 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.532 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.532 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.532 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.532 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.532 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.532 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.532 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.533 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1545388821.533 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1545388821.533 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1545388821.533 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1545388821.533 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.533 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.533 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.533 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.533 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545388821.533 * [misc]taylor:  Taking taylor expansion of b in a
1545388821.533 * [misc]backup-simplify:  Simplify b into b
1545388821.533 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.533 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545388821.533 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545388821.533 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.533 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.533 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.533 * [misc]backup-simplify:  Simplify a into a
1545388821.533 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.533 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.533 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.533 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.533 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.533 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.533 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.533 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1545388821.534 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545388821.534 * [misc]taylor:  Taking taylor expansion of a in b
1545388821.534 * [misc]backup-simplify:  Simplify a into a
1545388821.534 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545388821.534 * [misc]taylor:  Taking taylor expansion of b in b
1545388821.534 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.534 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.534 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545388821.534 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.534 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1545388821.534 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545388821.534 * [misc]taylor:  Taking taylor expansion of a in a
1545388821.534 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.534 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.534 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545388821.534 * [misc]backup-simplify:  Simplify 1 into 1
1545388821.534 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1545388821.534 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.535 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1545388821.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.535 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.535 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.535 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545388821.535 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.535 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1545388821.535 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.535 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.535 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.535 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.536 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.536 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545388821.536 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.536 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1545388821.536 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545388821.537 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545388821.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545388821.537 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.537 * [misc]backup-simplify:  Simplify 0 into 0
1545388821.537 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1545388821.537 * * * [misc]progress:  simplifying candidates
1545388821.537 * * * * [misc]progress:  [ 1 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 2 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 3 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))))>
1545388821.537 * * * * [misc]progress:  [ 4 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))))>
1545388821.537 * * * * [misc]progress:  [ 5 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 6 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 7 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 8 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * * * * [misc]progress:  [ 9 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.537 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388821.537 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388821.539 * * [misc]simplify:  iters left: 5 (19 enodes)
1545388821.542 * * [misc]simplify:  iters left: 4 (33 enodes)
1545388821.547 * * [misc]simplify:  iters left: 3 (51 enodes)
1545388821.553 * * [misc]simplify:  iters left: 2 (66 enodes)
1545388821.562 * * [misc]simplify:  iters left: 1 (74 enodes)
1545388821.573 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.573 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1545388821.573 * * * * [misc]progress:  [ 10 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.573 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.573 * * [misc]simplify:  iters left: 6 (9 enodes)
1545388821.575 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388821.577 * * [misc]simplify:  iters left: 4 (31 enodes)
1545388821.582 * * [misc]simplify:  iters left: 3 (49 enodes)
1545388821.588 * * [misc]simplify:  iters left: 2 (64 enodes)
1545388821.595 * * [misc]simplify:  iters left: 1 (72 enodes)
1545388821.605 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.605 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1545388821.605 * * * * [misc]progress:  [ 11 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1545388821.605 * [enter]simplify:  Simplifying (sqrt 1)
1545388821.605 * * [misc]simplify:  iters left: 1 (2 enodes)
1545388821.606 * [exit]simplify:  Simplified to 1
1545388821.606 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1545388821.606 * * * * [misc]progress:  [ 12 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1545388821.606 * * * * [misc]progress:  [ 13 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1545388821.606 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388821.607 * * [misc]simplify:  iters left: 6 (8 enodes)
1545388821.608 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388821.610 * * [misc]simplify:  iters left: 4 (30 enodes)
1545388821.614 * * [misc]simplify:  iters left: 3 (48 enodes)
1545388821.620 * * [misc]simplify:  iters left: 2 (63 enodes)
1545388821.627 * * [misc]simplify:  iters left: 1 (71 enodes)
1545388821.637 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388821.637 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1545388821.637 * * * * [misc]progress:  [ 14 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1545388821.637 * * * * [misc]progress:  [ 15 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 16 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 17 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2)) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 18 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1)) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 19 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 20 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 21 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 22 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * * * * [misc]progress:  [ 23 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.637 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1545388821.637 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388821.639 * * [misc]simplify:  iters left: 5 (19 enodes)
1545388821.642 * * [misc]simplify:  iters left: 4 (33 enodes)
1545388821.647 * * [misc]simplify:  iters left: 3 (51 enodes)
1545388821.654 * * [misc]simplify:  iters left: 2 (66 enodes)
1545388821.661 * * [misc]simplify:  iters left: 1 (74 enodes)
1545388821.671 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.671 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (* (sqrt (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388821.671 * * * * [misc]progress:  [ 24 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.672 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.672 * * [misc]simplify:  iters left: 6 (9 enodes)
1545388821.673 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388821.676 * * [misc]simplify:  iters left: 4 (31 enodes)
1545388821.680 * * [misc]simplify:  iters left: 3 (49 enodes)
1545388821.686 * * [misc]simplify:  iters left: 2 (64 enodes)
1545388821.694 * * [misc]simplify:  iters left: 1 (72 enodes)
1545388821.704 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1545388821.704 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (* (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388821.704 * * * * [misc]progress:  [ 25 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.704 * [enter]simplify:  Simplifying (sqrt 1)
1545388821.704 * * [misc]simplify:  iters left: 1 (2 enodes)
1545388821.705 * [exit]simplify:  Simplified to 1
1545388821.705 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (* (sqrt (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388821.705 * * * * [misc]progress:  [ 26 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.705 * * * * [misc]progress:  [ 27 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.705 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388821.705 * * [misc]simplify:  iters left: 6 (8 enodes)
1545388821.707 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388821.709 * * [misc]simplify:  iters left: 4 (30 enodes)
1545388821.713 * * [misc]simplify:  iters left: 3 (48 enodes)
1545388821.722 * * [misc]simplify:  iters left: 2 (63 enodes)
1545388821.729 * * [misc]simplify:  iters left: 1 (71 enodes)
1545388821.739 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388821.739 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (* (sqrt (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388821.739 * * * * [misc]progress:  [ 28 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388821.739 * * * * [misc]progress:  [ 29 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))))>
1545388821.739 * * * * [misc]progress:  [ 30 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))))>
1545388821.739 * * * * [misc]progress:  [ 31 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))))>
1545388821.739 * [enter]simplify:  Simplifying (/ b a)
1545388821.739 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388821.740 * [exit]simplify:  Simplified to (/ b a)
1545388821.740 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))))
1545388821.740 * [enter]simplify:  Simplifying (+ 1 1)
1545388821.740 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388821.741 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388821.741 * [exit]simplify:  Simplified to 2
1545388821.741 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))))
1545388821.741 * * * * [misc]progress:  [ 32 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))))>
1545388821.742 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1545388821.742 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388821.742 * * [misc]simplify:  iters left: 3 (8 enodes)
1545388821.744 * * [misc]simplify:  iters left: 2 (14 enodes)
1545388821.745 * * [misc]simplify:  iters left: 1 (20 enodes)
1545388821.748 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388821.748 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))))
1545388821.748 * * * * [misc]progress:  [ 33 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))))>
1545388821.748 * * * * [misc]progress:  [ 34 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))))>
1545388821.748 * [enter]simplify:  Simplifying (/ b a)
1545388821.748 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388821.749 * [exit]simplify:  Simplified to (/ b a)
1545388821.749 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))))
1545388821.749 * * * * [misc]progress:  [ 35 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))))>
1545388821.749 * * * * [misc]progress:  [ 36 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))))>
1545388821.749 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1545388821.749 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388821.750 * * [misc]simplify:  iters left: 4 (8 enodes)
1545388821.751 * * [misc]simplify:  iters left: 3 (14 enodes)
1545388821.754 * * [misc]simplify:  iters left: 2 (28 enodes)
1545388821.758 * * [misc]simplify:  iters left: 1 (53 enodes)
1545388821.766 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1545388821.766 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))))
1545388821.767 * * * * [misc]progress:  [ 37 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))))>
1545388821.767 * * * * [misc]progress:  [ 38 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1545388821.767 * * * * [misc]progress:  [ 39 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))))>
1545388821.767 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1545388821.767 * * [misc]simplify:  iters left: 6 (6 enodes)
1545388821.768 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388821.772 * * [misc]simplify:  iters left: 4 (61 enodes)
1545388821.787 * * [misc]simplify:  iters left: 3 (157 enodes)
1545388821.850 * * [misc]simplify:  iters left: 2 (463 enodes)
1545388822.665 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1545388822.666 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))))
1545388822.666 * * * * [misc]progress:  [ 40 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))))>
1545388822.666 * * * * [misc]progress:  [ 41 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))))>
1545388822.666 * * * * [misc]progress:  [ 42 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))))>
1545388822.666 * * * * [misc]progress:  [ 43 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))))>
1545388822.666 * [enter]simplify:  Simplifying (* b b)
1545388822.666 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388822.667 * [exit]simplify:  Simplified to (* b b)
1545388822.667 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))))
1545388822.667 * [enter]simplify:  Simplifying (* a a)
1545388822.667 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388822.668 * [exit]simplify:  Simplified to (* a a)
1545388822.668 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))))
1545388822.668 * * * * [misc]progress:  [ 44 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))))>
1545388822.668 * * * * [misc]progress:  [ 45 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))))>
1545388822.669 * [enter]simplify:  Simplifying (cbrt (/ b a))
1545388822.669 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388822.670 * [exit]simplify:  Simplified to (cbrt (/ b a))
1545388822.670 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))))
1545388822.670 * * * * [misc]progress:  [ 46 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))))>
1545388822.671 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388822.671 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388822.672 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388822.672 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))))
1545388822.672 * * * * [misc]progress:  [ 47 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))))>
1545388822.672 * [enter]simplify:  Simplifying (/ b a)
1545388822.672 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388822.673 * [exit]simplify:  Simplified to (/ b a)
1545388822.673 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))))
1545388822.673 * * * * [misc]progress:  [ 48 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))))>
1545388822.673 * [enter]simplify:  Simplifying (/ 1 a)
1545388822.674 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388822.674 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388822.676 * [exit]simplify:  Simplified to (/ 1 a)
1545388822.676 * [misc]simplify:  Simplified (2 2 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))))
1545388822.676 * * * * [misc]progress:  [ 49 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))))>
1545388822.676 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388822.676 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388822.678 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388822.678 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))))
1545388822.678 * * * * [misc]progress:  [ 50 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))))>
1545388822.678 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388822.678 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388822.679 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388822.679 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))))
1545388822.679 * * * * [misc]progress:  [ 51 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))))>
1545388822.679 * * * * [misc]progress:  [ 52 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))))>
1545388822.680 * * * * [misc]progress:  [ 53 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))))>
1545388822.680 * * * * [misc]progress:  [ 54 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1545388822.680 * [enter]simplify:  Simplifying (* b (/ b a))
1545388822.680 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388822.681 * * [misc]simplify:  iters left: 3 (7 enodes)
1545388822.683 * * [misc]simplify:  iters left: 2 (9 enodes)
1545388822.686 * [exit]simplify:  Simplified to (* b (/ b a))
1545388822.686 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1545388822.686 * * * * [misc]progress:  [ 55 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.686 * * * * [misc]progress:  [ 56 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.686 * * * * [misc]progress:  [ 57 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.686 * * * * [misc]progress:  [ 58 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.687 * [enter]simplify:  Simplifying (/ b a)
1545388822.687 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388822.688 * [exit]simplify:  Simplified to (/ b a)
1545388822.688 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388822.688 * [enter]simplify:  Simplifying (+ 1 1)
1545388822.688 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388822.689 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388822.690 * [exit]simplify:  Simplified to 2
1545388822.690 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388822.690 * * * * [misc]progress:  [ 59 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.690 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1545388822.691 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388822.692 * * [misc]simplify:  iters left: 3 (8 enodes)
1545388822.694 * * [misc]simplify:  iters left: 2 (14 enodes)
1545388822.697 * * [misc]simplify:  iters left: 1 (20 enodes)
1545388822.699 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388822.699 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388822.700 * * * * [misc]progress:  [ 60 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.700 * * * * [misc]progress:  [ 61 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.700 * [enter]simplify:  Simplifying (/ b a)
1545388822.700 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388822.700 * [exit]simplify:  Simplified to (/ b a)
1545388822.700 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388822.700 * * * * [misc]progress:  [ 62 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.700 * * * * [misc]progress:  [ 63 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.700 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1545388822.701 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388822.701 * * [misc]simplify:  iters left: 4 (8 enodes)
1545388822.702 * * [misc]simplify:  iters left: 3 (14 enodes)
1545388822.705 * * [misc]simplify:  iters left: 2 (28 enodes)
1545388822.709 * * [misc]simplify:  iters left: 1 (53 enodes)
1545388822.720 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1545388822.720 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388822.720 * * * * [misc]progress:  [ 64 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.720 * * * * [misc]progress:  [ 65 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.720 * * * * [misc]progress:  [ 66 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388822.720 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1545388822.721 * * [misc]simplify:  iters left: 6 (6 enodes)
1545388822.723 * * [misc]simplify:  iters left: 5 (17 enodes)
1545388822.731 * * [misc]simplify:  iters left: 4 (61 enodes)
1545388822.764 * * [misc]simplify:  iters left: 3 (157 enodes)
1545388822.846 * * [misc]simplify:  iters left: 2 (463 enodes)
1545388823.827 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1545388823.827 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.827 * * * * [misc]progress:  [ 67 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.828 * * * * [misc]progress:  [ 68 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.828 * * * * [misc]progress:  [ 69 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.828 * * * * [misc]progress:  [ 70 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.828 * [enter]simplify:  Simplifying (* b b)
1545388823.828 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388823.829 * [exit]simplify:  Simplified to (* b b)
1545388823.829 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.829 * [enter]simplify:  Simplifying (* a a)
1545388823.829 * * [misc]simplify:  iters left: 2 (2 enodes)
1545388823.830 * [exit]simplify:  Simplified to (* a a)
1545388823.830 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.830 * * * * [misc]progress:  [ 71 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.830 * * * * [misc]progress:  [ 72 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.830 * [enter]simplify:  Simplifying (cbrt (/ b a))
1545388823.830 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388823.831 * [exit]simplify:  Simplified to (cbrt (/ b a))
1545388823.831 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.832 * * * * [misc]progress:  [ 73 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.832 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388823.832 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388823.833 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388823.833 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.833 * * * * [misc]progress:  [ 74 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.833 * [enter]simplify:  Simplifying (/ b a)
1545388823.833 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388823.834 * [exit]simplify:  Simplified to (/ b a)
1545388823.834 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.834 * * * * [misc]progress:  [ 75 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.834 * [enter]simplify:  Simplifying (/ 1 a)
1545388823.834 * * [misc]simplify:  iters left: 2 (3 enodes)
1545388823.835 * * [misc]simplify:  iters left: 1 (5 enodes)
1545388823.837 * [exit]simplify:  Simplified to (/ 1 a)
1545388823.837 * [misc]simplify:  Simplified (2 1 1 1 1 2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.837 * * * * [misc]progress:  [ 76 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.837 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388823.837 * * [misc]simplify:  iters left: 5 (5 enodes)
1545388823.839 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1545388823.839 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.839 * * * * [misc]progress:  [ 77 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.839 * [enter]simplify:  Simplifying (sqrt (/ b a))
1545388823.839 * * [misc]simplify:  iters left: 3 (4 enodes)
1545388823.840 * [exit]simplify:  Simplified to (sqrt (/ b a))
1545388823.840 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.840 * * * * [misc]progress:  [ 78 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.840 * * * * [misc]progress:  [ 79 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a))))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.840 * * * * [misc]progress:  [ 80 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* (/ b a) b) a))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.840 * * * * [misc]progress:  [ 81 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.841 * [enter]simplify:  Simplifying (* b (/ b a))
1545388823.841 * * [misc]simplify:  iters left: 4 (4 enodes)
1545388823.842 * * [misc]simplify:  iters left: 3 (7 enodes)
1545388823.844 * * [misc]simplify:  iters left: 2 (9 enodes)
1545388823.846 * [exit]simplify:  Simplified to (* b (/ b a))
1545388823.846 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.846 * * * * [misc]progress:  [ 82 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.847 * * * * [misc]progress:  [ 83 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388823.847 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388823.847 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388823.850 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388823.854 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388823.861 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388823.875 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388823.893 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388823.914 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388823.914 * [misc]simplify:  Simplified (2 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.914 * * * * [misc]progress:  [ 84 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388823.914 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388823.914 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388823.915 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388823.917 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388823.921 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388823.927 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388823.936 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388823.945 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388823.945 * [misc]simplify:  Simplified (2 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.945 * * * * [misc]progress:  [ 85 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388823.945 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388823.945 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388823.947 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388823.949 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388823.953 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388823.966 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388823.981 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388823.990 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388823.991 * [misc]simplify:  Simplified (2 2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388823.991 * * * * [misc]progress:  [ 86 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388823.991 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388823.991 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388823.992 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388823.995 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388823.999 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388824.006 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388824.014 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388824.032 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388824.033 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.033 * * * * [misc]progress:  [ 87 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388824.033 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388824.033 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388824.036 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388824.041 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388824.048 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388824.061 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388824.079 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388824.098 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388824.098 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.098 * * * * [misc]progress:  [ 88 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388824.098 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1545388824.098 * * [misc]simplify:  iters left: 6 (10 enodes)
1545388824.101 * * [misc]simplify:  iters left: 5 (16 enodes)
1545388824.106 * * [misc]simplify:  iters left: 4 (25 enodes)
1545388824.113 * * [misc]simplify:  iters left: 3 (42 enodes)
1545388824.128 * * [misc]simplify:  iters left: 2 (68 enodes)
1545388824.146 * * [misc]simplify:  iters left: 1 (77 enodes)
1545388824.163 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388824.163 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.164 * * * * [misc]progress:  [ 89 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388824.164 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.164 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.166 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.168 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.172 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.172 * [misc]simplify:  Simplified (2 2 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.172 * * * * [misc]progress:  [ 90 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388824.173 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.173 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.174 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.177 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.181 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.181 * [misc]simplify:  Simplified (2 2 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.181 * * * * [misc]progress:  [ 91 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1545388824.181 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.181 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.183 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.186 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.190 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.190 * [misc]simplify:  Simplified (2 2 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.190 * * * * [misc]progress:  [ 92 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388824.190 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.190 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.192 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.194 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.199 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.199 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.199 * * * * [misc]progress:  [ 93 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388824.199 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.199 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.201 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.204 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.208 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.208 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.208 * * * * [misc]progress:  [ 94 / 94 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1545388824.208 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1545388824.208 * * [misc]simplify:  iters left: 3 (6 enodes)
1545388824.210 * * [misc]simplify:  iters left: 2 (8 enodes)
1545388824.212 * * [misc]simplify:  iters left: 1 (14 enodes)
1545388824.217 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1545388824.217 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1545388824.217 * * * [misc]progress:  adding candidates to table
1545388825.700 * [misc]progress:  [Phase 3 of 3] Extracting.
1545388825.700 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
1545388825.701 * * * [misc]regime-changes:  Trying 2 branch expressions: (b a)
1545388825.701 * * * * [misc]regimes:  Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
1545388825.751 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
1545388825.781 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545388825.781 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388825.781 * * [misc]simplify:  iters left: 6 (8 enodes)
1545388825.781 * * [misc]simplify:  iters left: 5 (10 enodes)
1545388825.782 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1545388825.782 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545388828.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545388828.418 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545388828.968 * [misc]regime-testing:  Baseline error score: 7.936565691325723
1545388828.968 * [misc]regime-testing:  End program error score: 7.936565691325723
1545388828.970 * [misc]regime-testing:  Oracle error score: 7.931492571013132