1550841398.180 * [misc]progress:  [Phase 1 of 3] Setting up.
1550841398.180 * * * [misc]progress:  [1/2] Preparing points
1550841398.228 * * * [misc]progress:  [2/2] Setting up program.
1550841398.233 * [misc]progress:  [Phase 2 of 3] Improving.
1550841398.233 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
1550841398.233 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1550841398.234 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841398.237 * * [misc]simplify:  iters left: 5 (35 enodes)
1550841398.249 * * [misc]simplify:  iters left: 4 (70 enodes)
1550841398.271 * * [misc]simplify:  iters left: 3 (132 enodes)
1550841398.317 * * [misc]simplify:  iters left: 2 (233 enodes)
1550841398.380 * * [misc]simplify:  iters left: 1 (429 enodes)
1550841398.496 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.496 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841398.496 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841398.496 * * [misc]simplify:  Extracting #3: cost 35 inf + 0
1550841398.497 * * [misc]simplify:  Extracting #4: cost 87 inf + 209
1550841398.499 * * [misc]simplify:  Extracting #5: cost 66 inf + 8081
1550841398.503 * * [misc]simplify:  Extracting #6: cost 0 inf + 14839
1550841398.508 * * [misc]simplify:  Extracting #7: cost 0 inf + 14714
1550841398.513 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841398.513 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841398.520 * * [misc]progress:  iteration 1 / 4
1550841398.520 * * * [misc]progress:  picking best candidate
1550841398.528 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1550841398.529 * * * [misc]progress:  localizing error
1550841398.559 * * * [misc]progress:  generating rewritten candidates
1550841398.559 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1550841398.561 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 2)
1550841398.569 * * * [misc]progress:  generating series expansions
1550841398.569 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1550841398.569 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.569 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1550841398.569 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841398.569 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841398.570 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841398.570 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.570 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.570 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841398.570 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841398.571 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841398.571 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.571 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.571 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841398.571 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841398.572 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841398.572 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.572 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.572 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841398.572 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841398.572 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841398.573 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.573 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.573 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.573 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.573 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.573 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.574 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.575 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.575 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.575 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.575 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.576 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.576 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841398.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.576 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.576 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.576 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841398.577 * [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)))))
1550841398.577 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841398.577 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841398.577 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841398.577 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.577 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.577 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.577 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841398.577 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841398.578 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.578 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.578 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.578 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841398.578 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841398.578 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.579 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.579 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.579 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841398.579 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841398.579 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.579 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.580 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.580 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.580 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.580 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.580 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.580 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.581 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.581 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.581 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.581 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.581 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.582 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.582 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.583 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.583 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.583 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.583 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.583 * [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)))))
1550841398.584 * [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)))))
1550841398.584 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841398.584 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841398.584 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841398.584 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.584 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.584 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.584 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841398.584 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841398.585 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.585 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.585 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.585 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841398.585 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841398.585 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.585 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.586 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.586 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841398.586 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841398.586 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841398.586 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.587 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.587 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841398.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.587 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.587 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.587 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.588 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.588 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.588 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.588 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.588 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.589 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.589 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.590 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841398.590 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.590 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.590 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.590 * [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)))))
1550841398.590 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 2)
1550841398.590 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1550841398.590 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1550841398.590 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1550841398.590 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1550841398.590 * [misc]taylor:  Taking taylor expansion of b in a
1550841398.590 * [misc]backup-simplify:  Simplify b into b
1550841398.590 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.590 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.590 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.590 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.591 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1550841398.591 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.591 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1550841398.591 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1550841398.591 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.591 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.591 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.591 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.591 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.591 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.591 * [misc]backup-simplify:  Simplify a into a
1550841398.591 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.591 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.591 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1550841398.591 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1550841398.591 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.591 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.591 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.591 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.592 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.592 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.592 * [misc]backup-simplify:  Simplify a into a
1550841398.592 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.592 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.592 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1550841398.592 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1550841398.592 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.592 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.592 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.592 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.592 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.592 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550841398.592 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.593 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.593 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1550841398.593 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1550841398.593 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.593 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.593 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.594 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550841398.594 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.594 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.594 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1550841398.594 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1550841398.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.594 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.595 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.595 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.595 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.595 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550841398.596 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1550841398.596 * [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
1550841398.596 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.596 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.596 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.597 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550841398.597 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.597 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.597 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550841398.598 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1550841398.598 * [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
1550841398.598 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.598 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.598 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.598 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.599 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1550841398.599 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1550841398.599 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1550841398.599 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1550841398.599 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.599 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.599 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.599 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.599 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1550841398.599 * [misc]taylor:  Taking taylor expansion of b in a
1550841398.599 * [misc]backup-simplify:  Simplify b into b
1550841398.599 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.599 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1550841398.599 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1550841398.599 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1550841398.599 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.599 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.600 * [misc]backup-simplify:  Simplify a into a
1550841398.600 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.600 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.600 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.600 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.600 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.600 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.600 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1550841398.600 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1550841398.600 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.600 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.600 * [misc]backup-simplify:  Simplify a into a
1550841398.600 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.600 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.600 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.600 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.600 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.600 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.600 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1550841398.601 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.601 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.601 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.601 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.601 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.601 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.601 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1550841398.601 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.602 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1550841398.602 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.602 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.602 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.602 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.602 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.602 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1550841398.602 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.603 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.603 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.603 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.603 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.603 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.603 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.603 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.604 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1550841398.604 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550841398.605 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.605 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.605 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.605 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.605 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1550841398.605 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1550841398.605 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1550841398.605 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1550841398.605 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.605 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.605 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.605 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.605 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1550841398.605 * [misc]taylor:  Taking taylor expansion of b in a
1550841398.605 * [misc]backup-simplify:  Simplify b into b
1550841398.606 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.606 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1550841398.606 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1550841398.606 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.606 * [misc]backup-simplify:  Simplify a into a
1550841398.606 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.606 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.606 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.606 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.606 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.606 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1550841398.606 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of a in b
1550841398.606 * [misc]backup-simplify:  Simplify a into a
1550841398.606 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1550841398.606 * [misc]taylor:  Taking taylor expansion of b in b
1550841398.607 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.607 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.607 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1550841398.607 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.607 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1550841398.607 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1550841398.607 * [misc]taylor:  Taking taylor expansion of a in a
1550841398.607 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.607 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.607 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550841398.607 * [misc]backup-simplify:  Simplify 1 into 1
1550841398.607 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1550841398.608 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.608 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1550841398.608 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.608 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.608 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.608 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550841398.608 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.609 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1550841398.609 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.609 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.609 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.609 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.609 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.609 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.610 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550841398.610 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.610 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1550841398.610 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550841398.611 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550841398.611 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841398.611 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.611 * [misc]backup-simplify:  Simplify 0 into 0
1550841398.611 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1550841398.611 * * * [misc]progress:  simplifying candidates
1550841398.611 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.611 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.611 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1550841398.612 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1550841398.612 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.612 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.612 * * * * [misc]progress:  [ 7 / 49 ] 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))))))))>
1550841398.612 * * * * [misc]progress:  [ 8 / 49 ] 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))))))))>
1550841398.612 * * * * [misc]progress:  [ 9 / 49 ] 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))))))))>
1550841398.612 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841398.612 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841398.618 * * [misc]simplify:  iters left: 5 (39 enodes)
1550841398.630 * * [misc]simplify:  iters left: 4 (59 enodes)
1550841398.640 * * [misc]simplify:  iters left: 3 (89 enodes)
1550841398.652 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841398.670 * * [misc]simplify:  iters left: 1 (126 enodes)
1550841398.693 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.694 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841398.694 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550841398.694 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550841398.694 * * [misc]simplify:  Extracting #4: cost 15 inf + 0
1550841398.694 * * [misc]simplify:  Extracting #5: cost 33 inf + 1
1550841398.694 * * [misc]simplify:  Extracting #6: cost 42 inf + 44
1550841398.694 * * [misc]simplify:  Extracting #7: cost 20 inf + 1804
1550841398.695 * * [misc]simplify:  Extracting #8: cost 3 inf + 4082
1550841398.696 * * [misc]simplify:  Extracting #9: cost 0 inf + 4851
1550841398.697 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841398.697 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841398.697 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.697 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841398.698 * * [misc]simplify:  iters left: 6 (9 enodes)
1550841398.700 * * [misc]simplify:  iters left: 5 (35 enodes)
1550841398.706 * * [misc]simplify:  iters left: 4 (55 enodes)
1550841398.714 * * [misc]simplify:  iters left: 3 (85 enodes)
1550841398.727 * * [misc]simplify:  iters left: 2 (109 enodes)
1550841398.742 * * [misc]simplify:  iters left: 1 (122 enodes)
1550841398.765 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.765 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841398.765 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841398.765 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550841398.765 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1550841398.765 * * [misc]simplify:  Extracting #5: cost 31 inf + 1
1550841398.765 * * [misc]simplify:  Extracting #6: cost 40 inf + 44
1550841398.766 * * [misc]simplify:  Extracting #7: cost 18 inf + 1682
1550841398.768 * * [misc]simplify:  Extracting #8: cost 1 inf + 3922
1550841398.770 * * [misc]simplify:  Extracting #9: cost 0 inf + 4125
1550841398.771 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841398.772 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841398.772 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1550841398.772 * [enter]simplify:  Simplifying (sqrt 1)
1550841398.772 * * [misc]simplify:  iters left: 1 (2 enodes)
1550841398.775 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.775 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550841398.775 * [exit]simplify:  Simplified to 1
1550841398.775 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841398.776 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.776 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1550841398.776 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841398.776 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841398.780 * * [misc]simplify:  iters left: 5 (32 enodes)
1550841398.787 * * [misc]simplify:  iters left: 4 (52 enodes)
1550841398.795 * * [misc]simplify:  iters left: 3 (82 enodes)
1550841398.807 * * [misc]simplify:  iters left: 2 (106 enodes)
1550841398.823 * * [misc]simplify:  iters left: 1 (119 enodes)
1550841398.839 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.839 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841398.839 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841398.839 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841398.839 * * [misc]simplify:  Extracting #4: cost 29 inf + 1
1550841398.839 * * [misc]simplify:  Extracting #5: cost 33 inf + 372
1550841398.840 * * [misc]simplify:  Extracting #6: cost 8 inf + 2579
1550841398.841 * * [misc]simplify:  Extracting #7: cost 0 inf + 3639
1550841398.842 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841398.842 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841398.842 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1550841398.842 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841398.842 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
1550841398.842 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
1550841398.842 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1550841398.843 * [enter]simplify:  Simplifying (/ b a)
1550841398.843 * * [misc]simplify:  iters left: 2 (3 enodes)
1550841398.844 * * [misc]simplify:  iters left: 1 (9 enodes)
1550841398.845 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.845 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841398.845 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550841398.845 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550841398.845 * [exit]simplify:  Simplified to (/ b a)
1550841398.845 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1550841398.845 * [enter]simplify:  Simplifying (+ 1 1)
1550841398.845 * * [misc]simplify:  iters left: 2 (2 enodes)
1550841398.847 * * [misc]simplify:  iters left: 1 (9 enodes)
1550841398.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.848 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550841398.848 * [exit]simplify:  Simplified to 2
1550841398.848 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1550841398.849 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1550841398.849 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1550841398.849 * * [misc]simplify:  iters left: 4 (4 enodes)
1550841398.850 * * [misc]simplify:  iters left: 3 (16 enodes)
1550841398.852 * * [misc]simplify:  iters left: 2 (24 enodes)
1550841398.859 * * [misc]simplify:  iters left: 1 (36 enodes)
1550841398.869 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.869 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550841398.869 * * [misc]simplify:  Extracting #2: cost 10 inf + 332
1550841398.869 * * [misc]simplify:  Extracting #3: cost 2 inf + 826
1550841398.870 * * [misc]simplify:  Extracting #4: cost 0 inf + 990
1550841398.870 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1550841398.871 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1550841398.871 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1550841398.871 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1550841398.871 * [enter]simplify:  Simplifying (/ b a)
1550841398.871 * * [misc]simplify:  iters left: 2 (3 enodes)
1550841398.872 * * [misc]simplify:  iters left: 1 (9 enodes)
1550841398.875 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.875 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841398.875 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550841398.875 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550841398.875 * [exit]simplify:  Simplified to (/ b a)
1550841398.875 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1550841398.875 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1550841398.875 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1550841398.876 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1550841398.876 * * [misc]simplify:  iters left: 5 (5 enodes)
1550841398.878 * * [misc]simplify:  iters left: 4 (18 enodes)
1550841398.883 * * [misc]simplify:  iters left: 3 (28 enodes)
1550841398.892 * * [misc]simplify:  iters left: 2 (48 enodes)
1550841398.907 * * [misc]simplify:  iters left: 1 (82 enodes)
1550841398.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841398.922 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550841398.922 * * [misc]simplify:  Extracting #2: cost 30 inf + 0
1550841398.922 * * [misc]simplify:  Extracting #3: cost 29 inf + 73
1550841398.923 * * [misc]simplify:  Extracting #4: cost 6 inf + 3238
1550841398.924 * * [misc]simplify:  Extracting #5: cost 0 inf + 4137
1550841398.924 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1550841398.924 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1550841398.925 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1550841398.925 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1550841398.925 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
1550841398.925 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1550841398.925 * * [misc]simplify:  iters left: 6 (6 enodes)
1550841398.927 * * [misc]simplify:  iters left: 5 (29 enodes)
1550841398.932 * * [misc]simplify:  iters left: 4 (80 enodes)
1550841398.952 * * [misc]simplify:  iters left: 3 (196 enodes)
1550841399.073 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.074 * * [misc]simplify:  Extracting #1: cost 54 inf + 0
1550841399.075 * * [misc]simplify:  Extracting #2: cost 135 inf + 298
1550841399.080 * * [misc]simplify:  Extracting #3: cost 70 inf + 9925
1550841399.092 * * [misc]simplify:  Extracting #4: cost 3 inf + 21366
1550841399.105 * * [misc]simplify:  Extracting #5: cost 0 inf + 21692
1550841399.117 * * [misc]simplify:  Extracting #6: cost 0 inf + 21652
1550841399.130 * [exit]simplify:  Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))
1550841399.130 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))))))))
1550841399.130 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
1550841399.130 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
1550841399.130 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1550841399.130 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1550841399.130 * [enter]simplify:  Simplifying (* b b)
1550841399.131 * * [misc]simplify:  iters left: 2 (2 enodes)
1550841399.131 * * [misc]simplify:  iters left: 1 (6 enodes)
1550841399.133 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.133 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.133 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550841399.133 * * [misc]simplify:  Extracting #3: cost 0 inf + 83
1550841399.133 * [exit]simplify:  Simplified to (* b b)
1550841399.133 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1550841399.134 * [enter]simplify:  Simplifying (* a a)
1550841399.134 * * [misc]simplify:  iters left: 2 (2 enodes)
1550841399.135 * * [misc]simplify:  iters left: 1 (6 enodes)
1550841399.136 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.136 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.136 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550841399.137 * * [misc]simplify:  Extracting #3: cost 0 inf + 83
1550841399.137 * [exit]simplify:  Simplified to (* a a)
1550841399.137 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1550841399.137 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1550841399.137 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1550841399.137 * [enter]simplify:  Simplifying (cbrt (/ b a))
1550841399.137 * * [misc]simplify:  iters left: 3 (4 enodes)
1550841399.139 * * [misc]simplify:  iters left: 2 (12 enodes)
1550841399.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.142 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.142 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550841399.142 * * [misc]simplify:  Extracting #3: cost 4 inf + 2
1550841399.142 * * [misc]simplify:  Extracting #4: cost 0 inf + 330
1550841399.142 * [exit]simplify:  Simplified to (cbrt (/ b a))
1550841399.142 * [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)))))))
1550841399.143 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1550841399.143 * [enter]simplify:  Simplifying (sqrt (/ b a))
1550841399.143 * * [misc]simplify:  iters left: 3 (4 enodes)
1550841399.144 * * [misc]simplify:  iters left: 2 (12 enodes)
1550841399.147 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.148 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.148 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550841399.148 * * [misc]simplify:  Extracting #3: cost 4 inf + 2
1550841399.148 * * [misc]simplify:  Extracting #4: cost 0 inf + 250
1550841399.148 * [exit]simplify:  Simplified to (sqrt (/ b a))
1550841399.148 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1550841399.148 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1550841399.148 * [enter]simplify:  Simplifying (/ b a)
1550841399.149 * * [misc]simplify:  iters left: 2 (3 enodes)
1550841399.150 * * [misc]simplify:  iters left: 1 (9 enodes)
1550841399.152 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.152 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841399.152 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550841399.152 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550841399.152 * [exit]simplify:  Simplified to (/ b a)
1550841399.152 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1550841399.152 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1550841399.153 * [enter]simplify:  Simplifying (/ 1 a)
1550841399.153 * * [misc]simplify:  iters left: 2 (3 enodes)
1550841399.154 * * [misc]simplify:  iters left: 1 (11 enodes)
1550841399.156 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.156 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841399.156 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550841399.156 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550841399.156 * [exit]simplify:  Simplified to (/ 1 a)
1550841399.156 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1550841399.156 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1550841399.156 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1550841399.156 * * [misc]simplify:  iters left: 5 (5 enodes)
1550841399.157 * * [misc]simplify:  iters left: 4 (15 enodes)
1550841399.159 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.159 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.159 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841399.159 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1550841399.159 * * [misc]simplify:  Extracting #4: cost 6 inf + 2
1550841399.159 * * [misc]simplify:  Extracting #5: cost 0 inf + 654
1550841399.160 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1550841399.160 * [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)))))))
1550841399.160 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1550841399.160 * [enter]simplify:  Simplifying (sqrt (/ b a))
1550841399.160 * * [misc]simplify:  iters left: 3 (4 enodes)
1550841399.161 * * [misc]simplify:  iters left: 2 (12 enodes)
1550841399.162 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.162 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.162 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550841399.162 * * [misc]simplify:  Extracting #3: cost 4 inf + 2
1550841399.162 * * [misc]simplify:  Extracting #4: cost 0 inf + 250
1550841399.162 * [exit]simplify:  Simplified to (sqrt (/ b a))
1550841399.162 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1550841399.163 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1550841399.163 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1550841399.163 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1550841399.163 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1550841399.163 * [enter]simplify:  Simplifying (* b (/ b a))
1550841399.163 * * [misc]simplify:  iters left: 4 (4 enodes)
1550841399.166 * * [misc]simplify:  iters left: 3 (15 enodes)
1550841399.168 * * [misc]simplify:  iters left: 2 (19 enodes)
1550841399.171 * * [misc]simplify:  iters left: 1 (21 enodes)
1550841399.174 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.174 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550841399.174 * * [misc]simplify:  Extracting #2: cost 8 inf + 2
1550841399.174 * * [misc]simplify:  Extracting #3: cost 1 inf + 374
1550841399.174 * * [misc]simplify:  Extracting #4: cost 0 inf + 416
1550841399.175 * [exit]simplify:  Simplified to (* b (/ b a))
1550841399.175 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1550841399.175 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (posit16->real (real->posit16 (* (/ b a) (/ b a))))))))>
1550841399.175 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1550841399.175 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.175 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841399.175 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841399.178 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841399.183 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841399.193 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841399.217 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841399.248 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841399.279 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.280 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.280 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841399.280 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841399.280 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841399.280 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841399.281 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841399.281 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841399.282 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841399.282 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.282 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.282 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841399.283 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841399.285 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841399.292 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841399.300 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841399.315 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841399.346 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841399.378 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.378 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.378 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841399.378 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841399.378 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841399.378 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841399.379 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841399.381 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841399.383 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841399.383 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.383 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.383 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841399.383 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841399.388 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841399.399 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841399.417 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841399.442 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841399.476 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841399.499 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.499 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841399.499 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841399.499 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841399.499 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841399.499 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841399.500 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841399.502 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841399.503 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841399.503 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.503 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.504 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1550841399.504 * * [misc]simplify:  iters left: 3 (6 enodes)
1550841399.507 * * [misc]simplify:  iters left: 2 (20 enodes)
1550841399.513 * * [misc]simplify:  iters left: 1 (26 enodes)
1550841399.522 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.522 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550841399.522 * * [misc]simplify:  Extracting #2: cost 16 inf + 43
1550841399.522 * * [misc]simplify:  Extracting #3: cost 2 inf + 867
1550841399.523 * * [misc]simplify:  Extracting #4: cost 0 inf + 1031
1550841399.523 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1550841399.523 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.523 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.523 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1550841399.523 * * [misc]simplify:  iters left: 3 (6 enodes)
1550841399.526 * * [misc]simplify:  iters left: 2 (20 enodes)
1550841399.529 * * [misc]simplify:  iters left: 1 (26 enodes)
1550841399.533 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.533 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550841399.533 * * [misc]simplify:  Extracting #2: cost 16 inf + 43
1550841399.533 * * [misc]simplify:  Extracting #3: cost 2 inf + 867
1550841399.533 * * [misc]simplify:  Extracting #4: cost 0 inf + 1031
1550841399.533 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1550841399.533 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.533 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841399.534 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1550841399.534 * * [misc]simplify:  iters left: 3 (6 enodes)
1550841399.535 * * [misc]simplify:  iters left: 2 (20 enodes)
1550841399.538 * * [misc]simplify:  iters left: 1 (26 enodes)
1550841399.544 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841399.544 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550841399.544 * * [misc]simplify:  Extracting #2: cost 16 inf + 43
1550841399.544 * * [misc]simplify:  Extracting #3: cost 2 inf + 867
1550841399.544 * * [misc]simplify:  Extracting #4: cost 0 inf + 1031
1550841399.545 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1550841399.545 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841399.545 * * * [misc]progress:  adding candidates to table
1550841400.093 * * [misc]progress:  iteration 2 / 4
1550841400.093 * * * [misc]progress:  picking best candidate
1550841400.096 * * * * [misc]pick:  Picked  #<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))))))))>
1550841400.096 * * * [misc]progress:  localizing error
1550841400.104 * * * [misc]progress:  generating rewritten candidates
1550841400.104 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550841400.116 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550841400.117 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550841400.118 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1550841400.120 * * * [misc]progress:  generating series expansions
1550841400.120 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550841400.120 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.120 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1550841400.120 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.120 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.120 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.121 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.121 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.121 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.121 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.121 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.121 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.122 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.122 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.122 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.122 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.122 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.122 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.122 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.122 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.123 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.123 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.123 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.123 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.124 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.124 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.124 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.124 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.125 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.125 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.125 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.125 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.125 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.126 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.126 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.127 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.127 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.127 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.127 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.127 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.128 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))))) (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.128 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.128 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.128 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.128 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.128 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.129 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.129 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.129 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.129 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.129 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.129 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.130 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.130 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.130 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.130 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.130 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.130 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.130 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.131 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.131 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.131 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.131 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.131 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.131 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.131 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.131 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.133 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.133 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.133 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.133 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.133 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.134 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.134 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.134 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.134 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.134 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.134 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.135 * [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)))))
1550841400.136 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))))) (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.136 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.136 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.136 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.136 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.136 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.137 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.137 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.137 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.137 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.137 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.137 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.137 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.137 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.138 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.138 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.138 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.138 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.138 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.138 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.139 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.139 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.139 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.139 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.139 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.139 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.139 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.141 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.141 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.141 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.141 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.141 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.142 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.142 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.142 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.142 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.142 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.142 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.143 * [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)))))
1550841400.143 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550841400.143 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.143 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1550841400.143 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.143 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.143 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.143 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.144 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.144 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.144 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.144 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.144 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.144 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.144 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.144 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.145 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.145 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.145 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.145 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.145 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.145 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.145 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.145 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.145 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.145 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.145 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.145 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.145 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.146 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.146 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.146 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.146 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.146 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.147 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.147 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.147 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.147 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.147 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.147 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.147 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.147 * [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)))))
1550841400.147 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.148 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.148 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.148 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.148 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.148 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.148 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.148 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.148 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.148 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.148 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.148 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.148 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.148 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.149 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.149 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.149 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.149 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.149 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.149 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.149 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.149 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.149 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.149 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.149 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.150 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.150 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.150 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.150 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.150 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.151 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.151 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.151 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.151 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.151 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.151 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.151 * [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)))))
1550841400.151 * [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)))))
1550841400.151 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.151 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.151 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.152 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.152 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.152 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.152 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.152 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.152 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.152 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.153 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.153 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.153 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.153 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.153 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.153 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.153 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.153 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.153 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.153 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.153 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.154 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.154 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.154 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.155 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.155 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.155 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.155 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.155 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.155 * [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)))))
1550841400.156 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550841400.156 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.156 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1550841400.156 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.156 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.156 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.156 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.156 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.156 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.156 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.156 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.156 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.156 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.157 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.157 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.157 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.157 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.157 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.157 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.157 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.157 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.157 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.157 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.157 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.157 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.158 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.158 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.158 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.159 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.159 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.159 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.159 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.159 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.159 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.159 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.160 * [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)))))
1550841400.160 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.160 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.160 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.160 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.160 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.160 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.160 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.160 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.160 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.160 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.160 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.161 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.161 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.161 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.161 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.161 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.161 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.161 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.161 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.161 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.161 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.161 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.161 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.162 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.162 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.162 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.163 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.163 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.163 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.163 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.163 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.163 * [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)))))
1550841400.164 * [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)))))
1550841400.164 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.164 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.164 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.164 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.164 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.164 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.164 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.164 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.164 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.164 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.165 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.165 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.165 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.165 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.165 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.165 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.165 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.165 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.165 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.165 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.165 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.165 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.166 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.166 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.167 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.167 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.167 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.167 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.167 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.167 * [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)))))
1550841400.167 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1550841400.168 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.168 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1550841400.168 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.168 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.168 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.168 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.168 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.168 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.168 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.168 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.168 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.168 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.168 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1550841400.168 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1550841400.169 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.169 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.169 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.169 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1550841400.169 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1550841400.169 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1550841400.169 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.169 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.169 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.169 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.169 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.169 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.169 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.170 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.170 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.170 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.170 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.171 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.171 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.171 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1550841400.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.171 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.171 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.171 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841400.171 * [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)))))
1550841400.171 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.172 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.172 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.172 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.172 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.172 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.172 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.172 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.172 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.172 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.172 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.172 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.172 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.172 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.173 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.173 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.173 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.173 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.173 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.173 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.173 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.173 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.173 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.173 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.173 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.173 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.174 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.174 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.174 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.174 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.174 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.175 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.175 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.175 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.175 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.175 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.175 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.176 * [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)))))
1550841400.176 * [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)))))
1550841400.176 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1550841400.176 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.176 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.176 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.176 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.176 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.176 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.176 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.177 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.177 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.177 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.177 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1550841400.177 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1550841400.177 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.177 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.178 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.178 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1550841400.178 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1550841400.178 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1550841400.178 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.179 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.179 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1550841400.179 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.179 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.179 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.179 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.180 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.180 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.180 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.180 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.180 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.181 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.181 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.182 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1550841400.182 * [misc]taylor:  Taking taylor expansion of 0 in a
1550841400.182 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.182 * [misc]backup-simplify:  Simplify 0 into 0
1550841400.182 * [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)))))
1550841400.182 * * * [misc]progress:  simplifying candidates
1550841400.182 * * * * [misc]progress:  [ 1 / 70 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.182 * * * * [misc]progress:  [ 2 / 70 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.182 * * * * [misc]progress:  [ 3 / 70 ] simplifiying candidate #<alt (λ (a b) (pow (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1/3))>
1550841400.182 * * * * [misc]progress:  [ 4 / 70 ] simplifiying candidate #<alt (λ (a b) (pow (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1))>
1550841400.182 * * * * [misc]progress:  [ 5 / 70 ] simplifiying candidate #<alt (λ (a b) (exp (log (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.183 * * * * [misc]progress:  [ 6 / 70 ] simplifiying candidate #<alt (λ (a b) (log (exp (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.183 * * * * [misc]progress:  [ 7 / 70 ] simplifiying candidate #<alt (λ (a b) (* (cbrt (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.183 * [enter]simplify:  Simplifying (cbrt (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841400.183 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841400.188 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841400.200 * * [misc]simplify:  iters left: 4 (57 enodes)
1550841400.211 * * [misc]simplify:  iters left: 3 (87 enodes)
1550841400.224 * * [misc]simplify:  iters left: 2 (111 enodes)
1550841400.247 * * [misc]simplify:  iters left: 1 (124 enodes)
1550841400.280 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.280 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.280 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550841400.280 * * [misc]simplify:  Extracting #3: cost 13 inf + 0
1550841400.280 * * [misc]simplify:  Extracting #4: cost 31 inf + 1
1550841400.281 * * [misc]simplify:  Extracting #5: cost 39 inf + 126
1550841400.282 * * [misc]simplify:  Extracting #6: cost 16 inf + 2088
1550841400.283 * * [misc]simplify:  Extracting #7: cost 3 inf + 3556
1550841400.285 * * [misc]simplify:  Extracting #8: cost 0 inf + 4125
1550841400.287 * [exit]simplify:  Simplified to (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841400.287 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841400.287 * * * * [misc]progress:  [ 8 / 70 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.287 * * * * [misc]progress:  [ 9 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.287 * * * * [misc]progress:  [ 10 / 70 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1550841400.288 * [enter]simplify:  Simplifying (fabs (- 1 (* (/ b a) (/ b a))))
1550841400.288 * * [misc]simplify:  iters left: 6 (7 enodes)
1550841400.292 * * [misc]simplify:  iters left: 5 (29 enodes)
1550841400.297 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841400.304 * * [misc]simplify:  iters left: 3 (79 enodes)
1550841400.316 * * [misc]simplify:  iters left: 2 (103 enodes)
1550841400.330 * * [misc]simplify:  iters left: 1 (116 enodes)
1550841400.357 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.357 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.357 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550841400.358 * * [misc]simplify:  Extracting #3: cost 27 inf + 1
1550841400.358 * * [misc]simplify:  Extracting #4: cost 36 inf + 44
1550841400.359 * * [misc]simplify:  Extracting #5: cost 17 inf + 1478
1550841400.360 * * [misc]simplify:  Extracting #6: cost 1 inf + 3111
1550841400.362 * * [misc]simplify:  Extracting #7: cost 0 inf + 3233
1550841400.363 * [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))
1550841400.363 * [misc]simplify:  Simplified (2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.363 * * * * [misc]progress:  [ 11 / 70 ] 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 (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 12 / 70 ] simplifiying candidate #<alt (λ (a b) (* 1 (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1550841400.364 * * * * [misc]progress:  [ 13 / 70 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 14 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 15 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 16 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))))>
1550841400.364 * * * * [misc]progress:  [ 17 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))))>
1550841400.364 * * * * [misc]progress:  [ 18 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 19 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 20 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 21 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.364 * * * * [misc]progress:  [ 22 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.365 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841400.365 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841400.370 * * [misc]simplify:  iters left: 5 (39 enodes)
1550841400.381 * * [misc]simplify:  iters left: 4 (59 enodes)
1550841400.390 * * [misc]simplify:  iters left: 3 (89 enodes)
1550841400.402 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841400.421 * * [misc]simplify:  iters left: 1 (126 enodes)
1550841400.457 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.457 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841400.457 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550841400.457 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550841400.457 * * [misc]simplify:  Extracting #4: cost 15 inf + 0
1550841400.457 * * [misc]simplify:  Extracting #5: cost 33 inf + 1
1550841400.458 * * [misc]simplify:  Extracting #6: cost 42 inf + 44
1550841400.458 * * [misc]simplify:  Extracting #7: cost 20 inf + 1804
1550841400.460 * * [misc]simplify:  Extracting #8: cost 3 inf + 4082
1550841400.461 * * [misc]simplify:  Extracting #9: cost 0 inf + 4851
1550841400.462 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.462 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1550841400.462 * * * * [misc]progress:  [ 23 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.463 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.463 * * [misc]simplify:  iters left: 6 (9 enodes)
1550841400.465 * * [misc]simplify:  iters left: 5 (35 enodes)
1550841400.471 * * [misc]simplify:  iters left: 4 (55 enodes)
1550841400.480 * * [misc]simplify:  iters left: 3 (85 enodes)
1550841400.504 * * [misc]simplify:  iters left: 2 (109 enodes)
1550841400.533 * * [misc]simplify:  iters left: 1 (122 enodes)
1550841400.567 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.567 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.567 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841400.567 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550841400.567 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1550841400.567 * * [misc]simplify:  Extracting #5: cost 31 inf + 1
1550841400.568 * * [misc]simplify:  Extracting #6: cost 40 inf + 44
1550841400.568 * * [misc]simplify:  Extracting #7: cost 18 inf + 1682
1550841400.570 * * [misc]simplify:  Extracting #8: cost 1 inf + 3922
1550841400.572 * * [misc]simplify:  Extracting #9: cost 0 inf + 4125
1550841400.574 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.574 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1550841400.574 * * * * [misc]progress:  [ 24 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1550841400.575 * [enter]simplify:  Simplifying (sqrt 1)
1550841400.575 * * [misc]simplify:  iters left: 1 (2 enodes)
1550841400.578 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.578 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550841400.578 * [exit]simplify:  Simplified to 1
1550841400.578 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1550841400.578 * * * * [misc]progress:  [ 25 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.578 * * * * [misc]progress:  [ 26 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1550841400.578 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841400.579 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841400.583 * * [misc]simplify:  iters left: 5 (32 enodes)
1550841400.594 * * [misc]simplify:  iters left: 4 (52 enodes)
1550841400.608 * * [misc]simplify:  iters left: 3 (82 enodes)
1550841400.619 * * [misc]simplify:  iters left: 2 (106 enodes)
1550841400.640 * * [misc]simplify:  iters left: 1 (119 enodes)
1550841400.671 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.671 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.671 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841400.671 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841400.671 * * [misc]simplify:  Extracting #4: cost 29 inf + 1
1550841400.671 * * [misc]simplify:  Extracting #5: cost 33 inf + 372
1550841400.672 * * [misc]simplify:  Extracting #6: cost 8 inf + 2579
1550841400.673 * * [misc]simplify:  Extracting #7: cost 0 inf + 3639
1550841400.674 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841400.674 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1550841400.674 * * * * [misc]progress:  [ 27 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1550841400.674 * * * * [misc]progress:  [ 28 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (posit16->real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1550841400.674 * * * * [misc]progress:  [ 29 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 30 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 31 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2)) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 32 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1)) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 33 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 34 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 35 / 70 ] 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))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 36 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.674 * * * * [misc]progress:  [ 37 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.675 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841400.675 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841400.678 * * [misc]simplify:  iters left: 5 (39 enodes)
1550841400.685 * * [misc]simplify:  iters left: 4 (59 enodes)
1550841400.694 * * [misc]simplify:  iters left: 3 (89 enodes)
1550841400.708 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841400.731 * * [misc]simplify:  iters left: 1 (126 enodes)
1550841400.755 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.755 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841400.755 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550841400.755 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550841400.755 * * [misc]simplify:  Extracting #4: cost 15 inf + 0
1550841400.755 * * [misc]simplify:  Extracting #5: cost 33 inf + 1
1550841400.755 * * [misc]simplify:  Extracting #6: cost 42 inf + 44
1550841400.756 * * [misc]simplify:  Extracting #7: cost 20 inf + 1804
1550841400.758 * * [misc]simplify:  Extracting #8: cost 3 inf + 4082
1550841400.760 * * [misc]simplify:  Extracting #9: cost 0 inf + 4851
1550841400.762 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.762 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841400.762 * * * * [misc]progress:  [ 38 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.763 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.763 * * [misc]simplify:  iters left: 6 (9 enodes)
1550841400.767 * * [misc]simplify:  iters left: 5 (35 enodes)
1550841400.779 * * [misc]simplify:  iters left: 4 (55 enodes)
1550841400.797 * * [misc]simplify:  iters left: 3 (85 enodes)
1550841400.809 * * [misc]simplify:  iters left: 2 (109 enodes)
1550841400.824 * * [misc]simplify:  iters left: 1 (122 enodes)
1550841400.856 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.856 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.856 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841400.856 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550841400.856 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1550841400.856 * * [misc]simplify:  Extracting #5: cost 31 inf + 1
1550841400.857 * * [misc]simplify:  Extracting #6: cost 40 inf + 44
1550841400.857 * * [misc]simplify:  Extracting #7: cost 18 inf + 1682
1550841400.859 * * [misc]simplify:  Extracting #8: cost 1 inf + 3922
1550841400.861 * * [misc]simplify:  Extracting #9: cost 0 inf + 4125
1550841400.863 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841400.863 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841400.863 * * * * [misc]progress:  [ 39 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.863 * [enter]simplify:  Simplifying (sqrt 1)
1550841400.863 * * [misc]simplify:  iters left: 1 (2 enodes)
1550841400.866 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.867 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550841400.867 * [exit]simplify:  Simplified to 1
1550841400.867 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841400.867 * * * * [misc]progress:  [ 40 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.867 * * * * [misc]progress:  [ 41 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.867 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841400.867 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841400.871 * * [misc]simplify:  iters left: 5 (32 enodes)
1550841400.877 * * [misc]simplify:  iters left: 4 (52 enodes)
1550841400.886 * * [misc]simplify:  iters left: 3 (82 enodes)
1550841400.900 * * [misc]simplify:  iters left: 2 (106 enodes)
1550841400.923 * * [misc]simplify:  iters left: 1 (119 enodes)
1550841400.952 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841400.952 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841400.952 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841400.952 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841400.952 * * [misc]simplify:  Extracting #4: cost 29 inf + 1
1550841400.952 * * [misc]simplify:  Extracting #5: cost 33 inf + 372
1550841400.953 * * [misc]simplify:  Extracting #6: cost 8 inf + 2579
1550841400.954 * * [misc]simplify:  Extracting #7: cost 0 inf + 3639
1550841400.954 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841400.954 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841400.955 * * * * [misc]progress:  [ 42 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 43 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (posit16->real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 44 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 45 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 46 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 47 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 48 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 49 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 50 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (* (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 (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 51 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * * * * [misc]progress:  [ 52 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841400.955 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1550841400.955 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841400.958 * * [misc]simplify:  iters left: 5 (39 enodes)
1550841400.965 * * [misc]simplify:  iters left: 4 (59 enodes)
1550841400.974 * * [misc]simplify:  iters left: 3 (89 enodes)
1550841400.989 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.007 * * [misc]simplify:  iters left: 1 (126 enodes)
1550841401.026 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.026 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550841401.026 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550841401.026 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550841401.027 * * [misc]simplify:  Extracting #4: cost 15 inf + 0
1550841401.027 * * [misc]simplify:  Extracting #5: cost 33 inf + 1
1550841401.027 * * [misc]simplify:  Extracting #6: cost 42 inf + 44
1550841401.027 * * [misc]simplify:  Extracting #7: cost 20 inf + 1804
1550841401.028 * * [misc]simplify:  Extracting #8: cost 3 inf + 4082
1550841401.029 * * [misc]simplify:  Extracting #9: cost 0 inf + 4851
1550841401.030 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.031 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.031 * * * * [misc]progress:  [ 53 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.031 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.031 * * [misc]simplify:  iters left: 6 (9 enodes)
1550841401.033 * * [misc]simplify:  iters left: 5 (35 enodes)
1550841401.042 * * [misc]simplify:  iters left: 4 (55 enodes)
1550841401.058 * * [misc]simplify:  iters left: 3 (85 enodes)
1550841401.070 * * [misc]simplify:  iters left: 2 (109 enodes)
1550841401.087 * * [misc]simplify:  iters left: 1 (122 enodes)
1550841401.117 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.117 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.117 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.117 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550841401.117 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1550841401.117 * * [misc]simplify:  Extracting #5: cost 31 inf + 1
1550841401.117 * * [misc]simplify:  Extracting #6: cost 40 inf + 44
1550841401.117 * * [misc]simplify:  Extracting #7: cost 18 inf + 1682
1550841401.118 * * [misc]simplify:  Extracting #8: cost 1 inf + 3922
1550841401.119 * * [misc]simplify:  Extracting #9: cost 0 inf + 4125
1550841401.120 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.120 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.120 * * * * [misc]progress:  [ 54 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.120 * [enter]simplify:  Simplifying (sqrt 1)
1550841401.120 * * [misc]simplify:  iters left: 1 (2 enodes)
1550841401.122 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.122 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550841401.122 * [exit]simplify:  Simplified to 1
1550841401.122 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.122 * * * * [misc]progress:  [ 55 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.123 * * * * [misc]progress:  [ 56 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.123 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.123 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841401.125 * * [misc]simplify:  iters left: 5 (32 enodes)
1550841401.130 * * [misc]simplify:  iters left: 4 (52 enodes)
1550841401.138 * * [misc]simplify:  iters left: 3 (82 enodes)
1550841401.151 * * [misc]simplify:  iters left: 2 (106 enodes)
1550841401.179 * * [misc]simplify:  iters left: 1 (119 enodes)
1550841401.214 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.214 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.214 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.214 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.214 * * [misc]simplify:  Extracting #4: cost 29 inf + 1
1550841401.214 * * [misc]simplify:  Extracting #5: cost 33 inf + 372
1550841401.215 * * [misc]simplify:  Extracting #6: cost 8 inf + 2579
1550841401.217 * * [misc]simplify:  Extracting #7: cost 0 inf + 3639
1550841401.219 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.219 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.219 * * * * [misc]progress:  [ 57 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.219 * * * * [misc]progress:  [ 58 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (posit16->real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.219 * * * * [misc]progress:  [ 59 / 70 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841401.220 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.220 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.225 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.236 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.251 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.275 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.299 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.317 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.317 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.317 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.317 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.317 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.318 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.319 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.319 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.319 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.320 * * * * [misc]progress:  [ 60 / 70 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841401.320 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.320 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.325 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.335 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.350 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.373 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.405 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.435 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.435 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.435 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.435 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.435 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.436 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.436 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.438 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.440 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.440 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.440 * * * * [misc]progress:  [ 61 / 70 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1550841401.440 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.440 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.445 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.458 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.468 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.481 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.497 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.527 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.528 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.528 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.528 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.528 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.528 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.529 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.530 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.532 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.532 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1550841401.532 * * * * [misc]progress:  [ 62 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1550841401.533 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.533 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.538 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.549 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.564 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.590 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.615 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.631 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.631 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.631 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.631 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.631 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.631 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.631 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.632 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.634 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.634 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.634 * * * * [misc]progress:  [ 63 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1550841401.634 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.634 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.637 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.643 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.651 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.665 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.690 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.713 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.713 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.713 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.713 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.713 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.713 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.713 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.714 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.715 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.715 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.715 * * * * [misc]progress:  [ 64 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1550841401.715 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.715 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.718 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.724 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.732 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.755 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.780 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.797 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.797 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.797 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.797 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.797 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.797 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.797 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.798 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.799 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.799 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.799 * * * * [misc]progress:  [ 65 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.799 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.800 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.802 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.813 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.828 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.844 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.860 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.879 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.879 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.879 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.879 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.879 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.879 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.879 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.880 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.881 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.881 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.881 * * * * [misc]progress:  [ 66 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.881 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.882 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.885 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.891 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.899 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.911 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841401.933 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841401.963 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841401.963 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841401.963 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841401.963 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841401.963 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841401.963 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841401.964 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841401.966 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841401.967 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841401.967 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841401.967 * * * * [misc]progress:  [ 67 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841401.968 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841401.968 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841401.971 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841401.977 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841401.985 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841401.999 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841402.015 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841402.039 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841402.039 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841402.039 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841402.039 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841402.040 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841402.040 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841402.041 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841402.042 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841402.044 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841402.044 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841402.044 * * * * [misc]progress:  [ 68 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841402.044 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841402.044 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841402.049 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841402.060 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841402.073 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841402.094 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841402.113 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841402.129 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841402.129 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841402.129 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841402.129 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841402.129 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841402.129 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841402.130 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841402.131 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841402.131 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841402.131 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841402.132 * * * * [misc]progress:  [ 69 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841402.132 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841402.132 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841402.135 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841402.141 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841402.156 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841402.183 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841402.214 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841402.244 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841402.244 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841402.244 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841402.244 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841402.245 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841402.245 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841402.246 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841402.247 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841402.249 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841402.249 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841402.249 * * * * [misc]progress:  [ 70 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1550841402.250 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1550841402.250 * * [misc]simplify:  iters left: 6 (10 enodes)
1550841402.255 * * [misc]simplify:  iters left: 5 (36 enodes)
1550841402.266 * * [misc]simplify:  iters left: 4 (49 enodes)
1550841402.281 * * [misc]simplify:  iters left: 3 (77 enodes)
1550841402.306 * * [misc]simplify:  iters left: 2 (113 enodes)
1550841402.330 * * [misc]simplify:  iters left: 1 (127 enodes)
1550841402.346 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841402.346 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550841402.346 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550841402.346 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550841402.346 * * [misc]simplify:  Extracting #4: cost 28 inf + 1
1550841402.346 * * [misc]simplify:  Extracting #5: cost 38 inf + 44
1550841402.347 * * [misc]simplify:  Extracting #6: cost 14 inf + 2293
1550841402.348 * * [misc]simplify:  Extracting #7: cost 0 inf + 3640
1550841402.348 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841402.348 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1550841402.349 * * * [misc]progress:  adding candidates to table
1550841403.124 * [misc]progress:  [Phase 3 of 3] Extracting.
1550841403.124 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<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))))))))>)
1550841403.124 * * * [misc]regime-changes:  Trying 2 branch expressions: (b a)
1550841403.124 * * * * [misc]regimes:  Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
1550841403.165 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
1550841403.185 * * * [misc]regime:  Found split indices: #<option (#s(si 0 255))>
1550841403.186 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841403.186 * * [misc]simplify:  iters left: 6 (8 enodes)
1550841403.186 * * [misc]simplify:  iters left: 5 (10 enodes)
1550841403.186 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550841403.186 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550841403.186 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1550841403.186 * * [misc]simplify:  Extracting #3: cost 5 inf + 0
1550841403.186 * * [misc]simplify:  Extracting #4: cost 5 inf + 1
1550841403.186 * * [misc]simplify:  Extracting #5: cost 7 inf + 1
1550841403.187 * * [misc]simplify:  Extracting #6: cost 0 inf + 616
1550841403.187 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1550841404.842 * [misc]regime-testing:  Baseline error score: 7.179498895034472
1550841404.844 * [misc]regime-testing:  Oracle error score: 7.174373254329384
1550841404.847 * [misc]regime-testing:  End program error score: 7.179498895034472