1537028903.384 * [misc]progress:  [Phase 1 of 3] Setting up.
1537028903.384 * * * [misc]progress:  [1/2] Preparing points
1537028903.384 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537028903.386 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1537028903.389 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.391 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.393 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1537028903.395 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.398 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.400 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1537028903.402 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.406 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.410 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1537028903.413 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.419 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.426 * * * * [misc]points:  Computing exacts for 256 points
1537028903.428 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.447 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.466 * * * * [misc]points:  Sampling 132 additional inputs, on iter 1 have 124 / 256
1537028903.467 * * * * [misc]points:  Computing exacts on every 8 of 132 points to ramp up precision
1537028903.470 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.471 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.472 * * * * [misc]points:  Computing exacts on every 4 of 132 points to ramp up precision
1537028903.474 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.476 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.478 * * * * [misc]points:  Computing exacts on every 2 of 132 points to ramp up precision
1537028903.480 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.484 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.487 * * * * [misc]points:  Computing exacts for 132 points
1537028903.489 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.495 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.500 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.500 * * * * [misc]points:  Sampling 71 additional inputs, on iter 2 have 185 / 256
1537028903.501 * * * * [misc]points:  Computing exacts on every 4 of 71 points to ramp up precision
1537028903.502 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.503 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.503 * * * * [misc]points:  Computing exacts on every 2 of 71 points to ramp up precision
1537028903.505 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.506 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.506 * * * * [misc]points:  Computing exacts for 71 points
1537028903.508 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.539 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.544 * * * * [misc]points:  Sampling 36 additional inputs, on iter 3 have 220 / 256
1537028903.545 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1537028903.547 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.548 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.552 * * * * [misc]points:  Computing exacts for 36 points
1537028903.554 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.557 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.560 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.560 * * * * [misc]points:  Sampling 16 additional inputs, on iter 4 have 240 / 256
1537028903.560 * * * * [misc]points:  Computing exacts for 16 points
1537028903.563 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.564 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.565 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.565 * * * * [misc]points:  Sampling 5 additional inputs, on iter 5 have 251 / 256
1537028903.566 * * * * [misc]points:  Computing exacts for 5 points
1537028903.568 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.568 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.569 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.569 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 253 / 256
1537028903.569 * * * * [misc]points:  Computing exacts for 4 points
1537028903.571 * * * * [misc]points:  Setting MPFR precision to 64
1537028903.572 * * * * [misc]points:  Setting MPFR precision to 320
1537028903.572 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.572 * * * * [exit]points:  Sampled 256 points with exact outputs
1537028903.572 * * * [misc]progress:  [2/2] Setting up program.
1537028903.578 * [misc]progress:  [Phase 2 of 3] Improving.
1537028903.578 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1537028903.579 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028903.581 * * [misc]simplify:  iters left: 5 (19 enodes)
1537028903.586 * * [misc]simplify:  iters left: 4 (44 enodes)
1537028903.597 * * [misc]simplify:  iters left: 3 (86 enodes)
1537028903.631 * * [misc]simplify:  iters left: 2 (156 enodes)
1537028903.734 * * [misc]simplify:  iters left: 1 (330 enodes)
1537028903.899 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028903.911 * * [misc]progress:  iteration 1 / 4
1537028903.911 * * * [misc]progress:  picking best candidate
1537028903.919 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1537028903.919 * * * [misc]progress:  localizing error
1537028903.952 * * * [misc]progress:  generating rewritten candidates
1537028903.952 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2)
1537028904.003 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1537028904.011 * * * [misc]progress:  generating series expansions
1537028904.011 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2)
1537028904.011 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1537028904.011 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1537028904.011 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1537028904.012 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028904.012 * [misc]taylor:  Taking taylor expansion of b in a
1537028904.012 * [misc]backup-simplify:  Simplify b into b
1537028904.012 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.012 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.012 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.012 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.012 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028904.012 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.012 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1537028904.012 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028904.012 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.012 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.012 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.012 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.012 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.012 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.012 * [misc]backup-simplify:  Simplify a into a
1537028904.013 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.013 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.013 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028904.013 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028904.013 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.013 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.013 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.013 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.013 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.013 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.013 * [misc]backup-simplify:  Simplify a into a
1537028904.013 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.013 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.013 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028904.013 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1537028904.014 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.014 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.014 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.014 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.014 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.014 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028904.014 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.014 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.014 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028904.015 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1537028904.015 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.015 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.015 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.015 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028904.015 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.016 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.016 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028904.016 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1537028904.016 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.016 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.017 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.017 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.017 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.017 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028904.018 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028904.018 * [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
1537028904.018 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.018 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.018 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.019 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028904.019 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.019 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.020 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537028904.020 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1537028904.021 * [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
1537028904.021 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.021 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.021 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.021 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.021 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1537028904.022 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1537028904.022 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028904.022 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028904.022 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.022 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.022 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.022 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.022 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028904.022 * [misc]taylor:  Taking taylor expansion of b in a
1537028904.022 * [misc]backup-simplify:  Simplify b into b
1537028904.022 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.022 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028904.023 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028904.023 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.023 * [misc]backup-simplify:  Simplify a into a
1537028904.023 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.023 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.023 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.023 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.023 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.023 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028904.023 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.023 * [misc]backup-simplify:  Simplify a into a
1537028904.023 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.023 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.023 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.023 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.023 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.024 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.024 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028904.024 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.024 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.024 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.024 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.024 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.024 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.024 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028904.024 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.025 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028904.025 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.025 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.025 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.025 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.025 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.026 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028904.026 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.026 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.026 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.026 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.026 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.027 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.027 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.027 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.027 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028904.028 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028904.028 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.028 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.028 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.028 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.029 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1537028904.029 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1537028904.029 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028904.029 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028904.029 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.029 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.030 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.030 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.030 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028904.030 * [misc]taylor:  Taking taylor expansion of b in a
1537028904.030 * [misc]backup-simplify:  Simplify b into b
1537028904.030 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.030 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028904.030 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028904.030 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028904.030 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.030 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.030 * [misc]backup-simplify:  Simplify a into a
1537028904.030 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.030 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.030 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.030 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.030 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.030 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.031 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028904.031 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028904.031 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028904.031 * [misc]taylor:  Taking taylor expansion of a in b
1537028904.031 * [misc]backup-simplify:  Simplify a into a
1537028904.031 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028904.031 * [misc]taylor:  Taking taylor expansion of b in b
1537028904.031 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.031 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.031 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028904.031 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.031 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028904.031 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028904.031 * [misc]taylor:  Taking taylor expansion of a in a
1537028904.031 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.031 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.032 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028904.032 * [misc]backup-simplify:  Simplify 1 into 1
1537028904.032 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028904.032 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.032 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028904.032 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.032 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.032 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.033 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028904.033 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.033 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028904.033 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.034 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.034 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.034 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.034 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.034 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.034 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028904.034 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.035 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028904.035 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028904.036 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028904.036 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.036 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.036 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.036 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1537028904.036 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1537028904.037 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.037 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1537028904.037 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1537028904.037 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1537028904.037 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028904.038 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.038 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.038 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1537028904.038 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1537028904.038 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028904.038 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.039 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.039 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1537028904.039 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1537028904.039 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028904.039 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.040 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.040 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1537028904.040 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1537028904.040 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028904.040 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.040 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.041 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.041 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.041 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.041 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.041 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.042 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.042 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.043 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.043 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.044 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028904.044 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.044 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.044 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.044 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028904.044 * [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)))))
1537028904.044 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1537028904.044 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028904.044 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028904.045 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.045 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.045 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.045 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028904.045 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028904.045 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.046 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.046 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.046 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028904.046 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028904.046 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.047 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.047 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.047 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028904.047 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028904.047 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.048 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.048 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.048 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.048 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.048 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.048 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.048 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.049 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.049 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.050 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.050 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.050 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.051 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.051 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.051 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.051 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.051 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.051 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.052 * [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)))))
1537028904.052 * [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)))))
1537028904.052 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1537028904.052 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028904.052 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028904.053 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.053 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.053 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.053 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028904.053 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028904.053 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.054 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.054 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.054 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028904.054 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028904.054 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.055 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.055 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.055 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028904.055 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028904.055 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028904.055 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.056 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.056 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028904.056 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.056 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.056 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.056 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.057 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.057 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.057 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.058 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.058 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.059 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.059 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.059 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028904.059 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028904.059 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.059 * [misc]backup-simplify:  Simplify 0 into 0
1537028904.060 * [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)))))
1537028904.060 * * * [misc]progress:  simplifying candidates
1537028904.060 * * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
1537028904.060 * * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
1537028904.060 * * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1537028904.060 * [enter]simplify:  Simplifying (/ b a)
1537028904.061 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028904.062 * [exit]simplify:  Simplified to (/ b a)
1537028904.062 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1537028904.062 * [enter]simplify:  Simplifying (+ 1 1)
1537028904.062 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028904.064 * * [misc]simplify:  iters left: 1 (5 enodes)
1537028904.065 * [exit]simplify:  Simplified to 2
1537028904.065 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1537028904.065 * * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1537028904.065 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1537028904.066 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028904.068 * * [misc]simplify:  iters left: 3 (8 enodes)
1537028904.072 * * [misc]simplify:  iters left: 2 (14 enodes)
1537028904.077 * * [misc]simplify:  iters left: 1 (20 enodes)
1537028904.085 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028904.085 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1537028904.085 * * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1537028904.085 * * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1537028904.086 * [enter]simplify:  Simplifying (/ b a)
1537028904.086 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028904.087 * [exit]simplify:  Simplified to (/ b a)
1537028904.087 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1537028904.087 * * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1537028904.087 * * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1537028904.087 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1537028904.088 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028904.091 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028904.095 * * [misc]simplify:  iters left: 3 (14 enodes)
1537028904.106 * * [misc]simplify:  iters left: 2 (28 enodes)
1537028904.118 * * [misc]simplify:  iters left: 1 (53 enodes)
1537028904.143 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1537028904.143 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1537028904.143 * * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1537028904.143 * * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1537028904.143 * * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
1537028904.144 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1537028904.144 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028904.149 * * [misc]simplify:  iters left: 5 (17 enodes)
1537028904.161 * * [misc]simplify:  iters left: 4 (61 enodes)
1537028904.185 * * [misc]simplify:  iters left: 3 (157 enodes)
1537028904.321 * * [misc]simplify:  iters left: 2 (463 enodes)
1537028905.317 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1537028905.317 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))
1537028905.317 * * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
1537028905.318 * * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
1537028905.318 * * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1537028905.318 * * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1537028905.318 * [enter]simplify:  Simplifying (* b b)
1537028905.318 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028905.318 * [exit]simplify:  Simplified to (* b b)
1537028905.318 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1537028905.319 * [enter]simplify:  Simplifying (* a a)
1537028905.319 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028905.319 * [exit]simplify:  Simplified to (* a a)
1537028905.319 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1537028905.319 * * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1537028905.319 * * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1537028905.319 * [enter]simplify:  Simplifying (cbrt (/ b a))
1537028905.320 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028905.321 * [exit]simplify:  Simplified to (cbrt (/ b a))
1537028905.321 * [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)))))))
1537028905.321 * * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1537028905.322 * [enter]simplify:  Simplifying (sqrt (/ b a))
1537028905.322 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028905.324 * [exit]simplify:  Simplified to (sqrt (/ b a))
1537028905.324 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1537028905.324 * * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1537028905.324 * [enter]simplify:  Simplifying (/ b a)
1537028905.324 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028905.325 * [exit]simplify:  Simplified to (/ b a)
1537028905.325 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1537028905.325 * * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1537028905.326 * [enter]simplify:  Simplifying (/ 1 a)
1537028905.326 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028905.327 * * [misc]simplify:  iters left: 1 (5 enodes)
1537028905.328 * [exit]simplify:  Simplified to (/ 1 a)
1537028905.328 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1537028905.328 * * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1537028905.329 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1537028905.329 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028905.331 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1537028905.331 * [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)))))))
1537028905.331 * * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1537028905.332 * [enter]simplify:  Simplifying (sqrt (/ b a))
1537028905.332 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028905.333 * [exit]simplify:  Simplified to (sqrt (/ b a))
1537028905.333 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1537028905.333 * * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1537028905.333 * * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1537028905.334 * * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1537028905.334 * * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1537028905.334 * [enter]simplify:  Simplifying (* b (/ b a))
1537028905.334 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028905.336 * * [misc]simplify:  iters left: 3 (7 enodes)
1537028905.339 * * [misc]simplify:  iters left: 2 (9 enodes)
1537028905.343 * [exit]simplify:  Simplified to (* b (/ b a))
1537028905.343 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1537028905.343 * * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1537028905.343 * * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.343 * * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.343 * * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1537028905.343 * * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1537028905.343 * * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.343 * * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.343 * * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.344 * * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.344 * * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.344 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1537028905.345 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028905.350 * * [misc]simplify:  iters left: 5 (19 enodes)
1537028905.364 * * [misc]simplify:  iters left: 4 (33 enodes)
1537028905.375 * * [misc]simplify:  iters left: 3 (51 enodes)
1537028905.388 * * [misc]simplify:  iters left: 2 (66 enodes)
1537028905.397 * * [misc]simplify:  iters left: 1 (74 enodes)
1537028905.410 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.410 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1537028905.410 * * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.410 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.411 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028905.415 * * [misc]simplify:  iters left: 5 (17 enodes)
1537028905.422 * * [misc]simplify:  iters left: 4 (31 enodes)
1537028905.433 * * [misc]simplify:  iters left: 3 (49 enodes)
1537028905.449 * * [misc]simplify:  iters left: 2 (64 enodes)
1537028905.469 * * [misc]simplify:  iters left: 1 (72 enodes)
1537028905.482 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.482 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1537028905.482 * * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1537028905.482 * [enter]simplify:  Simplifying (sqrt 1)
1537028905.482 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028905.483 * [exit]simplify:  Simplified to 1
1537028905.483 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1537028905.483 * * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1537028905.483 * * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1537028905.484 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028905.484 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028905.486 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028905.490 * * [misc]simplify:  iters left: 4 (30 enodes)
1537028905.496 * * [misc]simplify:  iters left: 3 (48 enodes)
1537028905.513 * * [misc]simplify:  iters left: 2 (63 enodes)
1537028905.530 * * [misc]simplify:  iters left: 1 (71 enodes)
1537028905.556 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028905.556 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1537028905.557 * * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1537028905.557 * * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.557 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028905.557 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028905.560 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028905.563 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028905.569 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028905.569 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.569 * * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.569 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028905.569 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028905.571 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028905.574 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028905.577 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028905.577 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.577 * * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.578 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028905.578 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028905.579 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028905.581 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028905.584 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028905.584 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.584 * * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.585 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028905.585 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028905.587 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028905.590 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028905.596 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028905.613 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028905.634 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028905.658 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028905.658 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.658 * * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.658 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028905.659 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028905.663 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028905.669 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028905.680 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028905.699 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028905.717 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028905.730 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028905.730 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.730 * * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028905.730 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028905.730 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028905.733 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028905.736 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028905.742 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028905.754 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028905.775 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028905.801 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028905.801 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028905.801 * * * [misc]progress:  adding candidates to table
1537028906.563 * * [misc]progress:  iteration 2 / 4
1537028906.563 * * * [misc]progress:  picking best candidate
1537028906.574 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1537028906.574 * * * [misc]progress:  localizing error
1537028906.608 * * * [misc]progress:  generating rewritten candidates
1537028906.608 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 2)
1537028906.641 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1 2 1 1)
1537028906.672 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1537028906.676 * * * [misc]progress:  generating series expansions
1537028906.677 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 2)
1537028906.677 * [misc]backup-simplify:  Simplify (log (exp (* (/ b a) (/ b a)))) into (/ (pow b 2) (pow a 2))
1537028906.677 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1537028906.677 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1537028906.677 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.677 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.677 * [misc]backup-simplify:  Simplify b into b
1537028906.677 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.677 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.677 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.677 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.677 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.677 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.677 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1537028906.677 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028906.677 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.677 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.677 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.677 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.677 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.678 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.678 * [misc]backup-simplify:  Simplify a into a
1537028906.678 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.678 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.678 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028906.678 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028906.678 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.678 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.678 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.678 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.678 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.678 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.678 * [misc]backup-simplify:  Simplify a into a
1537028906.678 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.678 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.678 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028906.678 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1537028906.678 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.678 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.678 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.678 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.678 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.678 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028906.678 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.679 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.679 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.679 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1537028906.679 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.679 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.679 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.679 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028906.679 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.679 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.680 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.680 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1537028906.680 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.680 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.680 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.680 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.680 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.680 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.681 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.681 * [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
1537028906.681 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.681 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.681 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.681 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.681 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.682 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537028906.682 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1537028906.682 * [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
1537028906.682 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.682 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.682 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.682 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.683 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1537028906.683 * [misc]backup-simplify:  Simplify (log (exp (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (/ (pow a 2) (pow b 2))
1537028906.683 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028906.683 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028906.683 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.683 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.683 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.683 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.683 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.683 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.683 * [misc]backup-simplify:  Simplify b into b
1537028906.683 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.683 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.683 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028906.683 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.683 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.683 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.683 * [misc]backup-simplify:  Simplify a into a
1537028906.683 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.683 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.683 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.683 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.683 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.684 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.684 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.684 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.684 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.684 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.684 * [misc]backup-simplify:  Simplify a into a
1537028906.684 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.684 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.684 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.684 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.684 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.684 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.684 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.684 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.684 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.684 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.684 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.684 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.684 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.684 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.684 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.685 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028906.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.685 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.685 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.685 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.685 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.685 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.685 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.686 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.686 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.686 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.686 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.686 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.686 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.686 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.686 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.687 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.687 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.687 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.687 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.687 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1537028906.687 * [misc]backup-simplify:  Simplify (log (exp (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (/ (pow a 2) (pow b 2))
1537028906.687 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028906.687 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028906.687 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.687 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.687 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.687 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.687 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.687 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.687 * [misc]backup-simplify:  Simplify b into b
1537028906.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.688 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.688 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028906.688 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.688 * [misc]backup-simplify:  Simplify a into a
1537028906.688 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.688 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.688 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.688 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.688 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.688 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.688 * [misc]backup-simplify:  Simplify a into a
1537028906.688 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.688 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.688 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.688 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.688 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.688 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.688 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.688 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.688 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.688 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.689 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.689 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.689 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.689 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.689 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028906.689 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.689 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.689 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.689 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.689 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.689 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.690 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.690 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.690 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.690 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.690 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.690 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.690 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.691 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.691 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.692 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.692 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.692 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.692 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.692 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1537028906.692 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1 2 1 1)
1537028906.693 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1537028906.693 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1537028906.693 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1537028906.693 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.693 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.693 * [misc]backup-simplify:  Simplify b into b
1537028906.693 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.693 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.693 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.693 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.693 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.693 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.693 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1537028906.693 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028906.693 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.693 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.693 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.693 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.693 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.693 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.694 * [misc]backup-simplify:  Simplify a into a
1537028906.694 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.694 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.694 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028906.694 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1537028906.694 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.694 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.694 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.694 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.694 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.694 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.694 * [misc]backup-simplify:  Simplify a into a
1537028906.694 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.694 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.694 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1537028906.695 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1537028906.695 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.695 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.695 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.695 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.695 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.695 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028906.695 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.695 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.695 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.696 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1537028906.696 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.696 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.696 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028906.696 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.697 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.697 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.697 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1537028906.697 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.697 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.698 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.698 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.698 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.699 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.699 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.699 * [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
1537028906.699 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.699 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.700 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.700 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.700 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.700 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.701 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537028906.701 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1537028906.702 * [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
1537028906.702 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.702 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.702 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.702 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.702 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1537028906.703 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1537028906.703 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028906.703 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028906.703 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.703 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.703 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.703 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.703 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.703 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.703 * [misc]backup-simplify:  Simplify b into b
1537028906.703 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.703 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.703 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028906.703 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.703 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.703 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.704 * [misc]backup-simplify:  Simplify a into a
1537028906.704 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.704 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.704 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.704 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.704 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.704 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.704 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.704 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.704 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.704 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.704 * [misc]backup-simplify:  Simplify a into a
1537028906.704 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.704 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.704 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.704 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.704 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.704 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.705 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.705 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.705 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.705 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.705 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.705 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.705 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.705 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.705 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.706 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028906.706 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.706 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.706 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.706 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.706 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.706 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.707 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.707 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.707 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.707 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.707 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.707 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.708 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.708 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.708 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.708 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.709 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.709 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.709 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.709 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.710 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1537028906.710 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1537028906.710 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1537028906.710 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1537028906.710 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.710 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.710 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.710 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.710 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1537028906.710 * [misc]taylor:  Taking taylor expansion of b in a
1537028906.710 * [misc]backup-simplify:  Simplify b into b
1537028906.710 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.710 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1537028906.710 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1537028906.711 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.711 * [misc]backup-simplify:  Simplify a into a
1537028906.711 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.711 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.711 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.711 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.711 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.711 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.711 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of a in b
1537028906.711 * [misc]backup-simplify:  Simplify a into a
1537028906.711 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1537028906.711 * [misc]taylor:  Taking taylor expansion of b in b
1537028906.711 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.711 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.711 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1537028906.712 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.712 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1537028906.712 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1537028906.712 * [misc]taylor:  Taking taylor expansion of a in a
1537028906.712 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.712 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.712 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028906.712 * [misc]backup-simplify:  Simplify 1 into 1
1537028906.712 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1537028906.713 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.713 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1537028906.713 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.713 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.713 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.713 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028906.713 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.714 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1537028906.714 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.714 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.714 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.714 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.714 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.715 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.715 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028906.715 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.715 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1537028906.716 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028906.716 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028906.716 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.716 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.716 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.717 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1537028906.717 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1537028906.718 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.718 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1537028906.718 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1537028906.718 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1537028906.718 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028906.718 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.719 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.719 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1537028906.719 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1537028906.719 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028906.719 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.719 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.719 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1537028906.720 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1537028906.720 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028906.720 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.720 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.721 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1537028906.721 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1537028906.721 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1537028906.721 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.721 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.721 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.722 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.722 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.722 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.722 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.723 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.723 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.723 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.723 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.723 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.724 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.724 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.725 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1537028906.725 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.725 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.725 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.725 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028906.725 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (log (exp (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.726 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1537028906.726 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028906.726 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028906.726 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.726 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.726 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.726 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028906.726 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028906.727 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.727 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.727 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.727 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028906.727 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028906.728 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.728 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.728 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.728 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028906.728 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028906.728 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.729 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.729 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.729 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.729 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.729 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.729 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.729 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.730 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.730 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.730 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.730 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.731 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.731 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.731 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.732 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.732 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.732 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.732 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.733 * [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)))))
1537028906.733 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (log (exp (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.733 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1537028906.733 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028906.733 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028906.733 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.734 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.734 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028906.734 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028906.734 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.734 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.735 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.735 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1537028906.735 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1537028906.735 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.735 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.736 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.736 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1537028906.736 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1537028906.736 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1537028906.736 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.736 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.737 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1537028906.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.737 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.737 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.737 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.738 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.738 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.738 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.738 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.738 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.739 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.739 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.739 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1537028906.739 * [misc]taylor:  Taking taylor expansion of 0 in a
1537028906.739 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.739 * [misc]backup-simplify:  Simplify 0 into 0
1537028906.740 * [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)))))
1537028906.740 * * * [misc]progress:  simplifying candidates
1537028906.740 * * * * [misc]progress:  [ 1 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.740 * * * * [misc]progress:  [ 2 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.740 * * * * [misc]progress:  [ 3 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (+ (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a)))))) (log (cbrt (exp (* (/ b a) (/ b a))))))))))>
1537028906.741 * [enter]simplify:  Simplifying (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a))))))
1537028906.741 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028906.746 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028906.752 * * [misc]simplify:  iters left: 4 (22 enodes)
1537028906.760 * * [misc]simplify:  iters left: 3 (28 enodes)
1537028906.764 * * [misc]simplify:  iters left: 2 (31 enodes)
1537028906.770 * [exit]simplify:  Simplified to (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a))))))
1537028906.770 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a)))))) (log (cbrt (exp (* (/ b a) (/ b a))))))))))
1537028906.770 * * * * [misc]progress:  [ 4 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (+ (log (sqrt (exp (* (/ b a) (/ b a))))) (log (sqrt (exp (* (/ b a) (/ b a))))))))))>
1537028906.771 * [enter]simplify:  Simplifying (log (sqrt (exp (* (/ b a) (/ b a)))))
1537028906.771 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028906.773 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028906.776 * * [misc]simplify:  iters left: 4 (19 enodes)
1537028906.779 * * [misc]simplify:  iters left: 3 (25 enodes)
1537028906.783 * * [misc]simplify:  iters left: 2 (28 enodes)
1537028906.787 * [exit]simplify:  Simplified to (log (sqrt (exp (* (/ b a) (/ b a)))))
1537028906.787 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ (log (sqrt (exp (* (/ b a) (/ b a))))) (log (sqrt (exp (* (/ b a) (/ b a))))))))))
1537028906.787 * * * * [misc]progress:  [ 5 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (+ (log 1) (log (exp (* (/ b a) (/ b a)))))))))>
1537028906.787 * [enter]simplify:  Simplifying (log 1)
1537028906.788 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028906.789 * [exit]simplify:  Simplified to 0
1537028906.789 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ 0 (log (exp (* (/ b a) (/ b a)))))))))
1537028906.789 * * * * [misc]progress:  [ 6 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a))))))))>
1537028906.789 * [enter]simplify:  Simplifying (/ b a)
1537028906.789 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028906.790 * [exit]simplify:  Simplified to (/ b a)
1537028906.790 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a))))))))
1537028906.790 * * * * [misc]progress:  [ 7 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (log (exp (* (/ b a) (/ b a)))))))))>
1537028906.790 * * * * [misc]progress:  [ 8 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a))))))))>
1537028906.790 * [enter]simplify:  Simplifying (/ b a)
1537028906.790 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028906.790 * [exit]simplify:  Simplified to (/ b a)
1537028906.790 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a))))))))
1537028906.790 * * * * [misc]progress:  [ 9 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (log (exp (* (/ b a) (/ b a)))) 1)))))>
1537028906.790 * * * * [misc]progress:  [ 10 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1537028906.791 * [enter]simplify:  Simplifying (/ b a)
1537028906.791 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028906.791 * [exit]simplify:  Simplified to (/ b a)
1537028906.791 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028906.791 * * * * [misc]progress:  [ 11 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.791 * * * * [misc]progress:  [ 12 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.791 * * * * [misc]progress:  [ 13 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (log (exp (* (/ b a) (/ b a))))) (cbrt (log (exp (* (/ b a) (/ b a)))))) (cbrt (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.791 * * * * [misc]progress:  [ 14 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (log (exp (* (/ b a) (/ b a)))) (log (exp (* (/ b a) (/ b a))))) (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.791 * * * * [misc]progress:  [ 15 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (log (exp (* (/ b a) (/ b a))))) (sqrt (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.791 * * * * [misc]progress:  [ 16 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (log (exp (* (/ b a) (/ b a)))))))))>
1537028906.791 * * * * [misc]progress:  [ 17 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (log1p (expm1 (* (/ b a) (/ b a))))))))))>
1537028906.792 * * * * [misc]progress:  [ 18 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (expm1 (log1p (* (/ b a) (/ b a))))))))))>
1537028906.792 * * * * [misc]progress:  [ 19 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1))))))))>
1537028906.792 * [enter]simplify:  Simplifying (/ b a)
1537028906.792 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028906.792 * [exit]simplify:  Simplified to (/ b a)
1537028906.792 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1))))))))
1537028906.792 * [enter]simplify:  Simplifying (+ 1 1)
1537028906.793 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028906.794 * * [misc]simplify:  iters left: 1 (5 enodes)
1537028906.794 * [exit]simplify:  Simplified to 2
1537028906.794 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))
1537028906.794 * * * * [misc]progress:  [ 20 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (* (/ b a) (/ b a)) 1)))))))>
1537028906.794 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1537028906.794 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028906.795 * * [misc]simplify:  iters left: 3 (8 enodes)
1537028906.797 * * [misc]simplify:  iters left: 2 (14 enodes)
1537028906.800 * * [misc]simplify:  iters left: 1 (20 enodes)
1537028906.804 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028906.804 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (* (/ b a) (/ b a)) 1)))))))
1537028906.804 * * * * [misc]progress:  [ 21 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))>
1537028906.804 * * * * [misc]progress:  [ 22 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1))))))))>
1537028906.804 * [enter]simplify:  Simplifying (/ b a)
1537028906.805 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028906.805 * [exit]simplify:  Simplified to (/ b a)
1537028906.805 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1))))))))
1537028906.805 * * * * [misc]progress:  [ 23 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (* (/ b a) (/ b a)) 1)))))))>
1537028906.805 * * * * [misc]progress:  [ 24 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (exp (+ (log (/ b a)) (log (/ b a))))))))))>
1537028906.805 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1537028906.806 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028906.807 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028906.808 * * [misc]simplify:  iters left: 3 (14 enodes)
1537028906.812 * * [misc]simplify:  iters left: 2 (28 enodes)
1537028906.819 * * [misc]simplify:  iters left: 1 (53 enodes)
1537028906.833 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1537028906.833 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (exp (+ (log (/ b a)) (log (/ b a))))))))))
1537028906.833 * * * * [misc]progress:  [ 25 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (exp (log (* (/ b a) (/ b a))))))))))>
1537028906.833 * * * * [misc]progress:  [ 26 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (log (exp (* (/ b a) (/ b a))))))))))>
1537028906.833 * * * * [misc]progress:  [ 27 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))))>
1537028906.834 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1537028906.834 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028906.836 * * [misc]simplify:  iters left: 5 (17 enodes)
1537028906.844 * * [misc]simplify:  iters left: 4 (61 enodes)
1537028906.868 * * [misc]simplify:  iters left: 3 (157 enodes)
1537028906.970 * * [misc]simplify:  iters left: 2 (463 enodes)
1537028907.856 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1537028907.856 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))))
1537028907.856 * * * * [misc]progress:  [ 28 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))))>
1537028907.856 * * * * [misc]progress:  [ 29 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))))>
1537028907.856 * * * * [misc]progress:  [ 30 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))))>
1537028907.856 * * * * [misc]progress:  [ 31 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b b) (* a a))))))))>
1537028907.857 * [enter]simplify:  Simplifying (* b b)
1537028907.857 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028907.858 * [exit]simplify:  Simplified to (* b b)
1537028907.858 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b b) (* a a))))))))
1537028907.858 * [enter]simplify:  Simplifying (* a a)
1537028907.858 * * [misc]simplify:  iters left: 2 (2 enodes)
1537028907.859 * [exit]simplify:  Simplified to (* a a)
1537028907.859 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b b) (* a a))))))))
1537028907.859 * * * * [misc]progress:  [ 32 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* 1 (* (/ b a) (/ b a)))))))))>
1537028907.859 * * * * [misc]progress:  [ 33 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))))>
1537028907.860 * [enter]simplify:  Simplifying (cbrt (/ b a))
1537028907.860 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028907.861 * [exit]simplify:  Simplified to (cbrt (/ b a))
1537028907.861 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))))
1537028907.861 * * * * [misc]progress:  [ 34 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))))>
1537028907.862 * [enter]simplify:  Simplifying (sqrt (/ b a))
1537028907.862 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028907.863 * [exit]simplify:  Simplified to (sqrt (/ b a))
1537028907.863 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))))
1537028907.863 * * * * [misc]progress:  [ 35 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) 1) (/ b a))))))))>
1537028907.864 * [enter]simplify:  Simplifying (/ b a)
1537028907.864 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028907.865 * [exit]simplify:  Simplified to (/ b a)
1537028907.865 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) 1) (/ b a))))))))
1537028907.865 * * * * [misc]progress:  [ 36 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) b) (/ 1 a))))))))>
1537028907.865 * [enter]simplify:  Simplifying (/ 1 a)
1537028907.865 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028907.866 * * [misc]simplify:  iters left: 1 (5 enodes)
1537028907.868 * [exit]simplify:  Simplified to (/ 1 a)
1537028907.868 * [misc]simplify:  Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) b) (/ 1 a))))))))
1537028907.868 * * * * [misc]progress:  [ 37 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))))>
1537028907.868 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1537028907.869 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028907.870 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1537028907.870 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))))
1537028907.870 * * * * [misc]progress:  [ 38 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))))>
1537028907.871 * [enter]simplify:  Simplifying (sqrt (/ b a))
1537028907.871 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028907.872 * [exit]simplify:  Simplified to (sqrt (/ b a))
1537028907.872 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))))
1537028907.873 * * * * [misc]progress:  [ 39 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* 1 (* (/ b a) (/ b a)))))))))>
1537028907.873 * * * * [misc]progress:  [ 40 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* b (* (/ 1 a) (/ b a)))))))))>
1537028907.873 * * * * [misc]progress:  [ 41 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* (/ b a) b) a)))))))>
1537028907.873 * * * * [misc]progress:  [ 42 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))>
1537028907.873 * [enter]simplify:  Simplifying (* b (/ b a))
1537028907.873 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028907.875 * * [misc]simplify:  iters left: 3 (7 enodes)
1537028907.878 * * [misc]simplify:  iters left: 2 (9 enodes)
1537028907.881 * [exit]simplify:  Simplified to (* b (/ b a))
1537028907.881 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))
1537028907.881 * * * * [misc]progress:  [ 43 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1537028907.881 * * * * [misc]progress:  [ 44 / 66 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.881 * * * * [misc]progress:  [ 45 / 66 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.881 * * * * [misc]progress:  [ 46 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))) 1/2))>
1537028907.881 * * * * [misc]progress:  [ 47 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) 1))>
1537028907.881 * * * * [misc]progress:  [ 48 / 66 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.881 * * * * [misc]progress:  [ 49 / 66 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.881 * * * * [misc]progress:  [ 50 / 66 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) (cbrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))) (cbrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.881 * * * * [misc]progress:  [ 51 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.882 * * * * [misc]progress:  [ 52 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))) (sqrt (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028907.882 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))
1537028907.883 * * [misc]simplify:  iters left: 6 (12 enodes)
1537028907.889 * * [misc]simplify:  iters left: 5 (23 enodes)
1537028907.899 * * [misc]simplify:  iters left: 4 (39 enodes)
1537028907.915 * * [misc]simplify:  iters left: 3 (77 enodes)
1537028907.950 * * [misc]simplify:  iters left: 2 (106 enodes)
1537028907.977 * * [misc]simplify:  iters left: 1 (120 enodes)
1537028908.008 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.008 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))
1537028908.008 * * * * [misc]progress:  [ 53 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028908.008 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))
1537028908.009 * * [misc]simplify:  iters left: 6 (11 enodes)
1537028908.011 * * [misc]simplify:  iters left: 5 (21 enodes)
1537028908.016 * * [misc]simplify:  iters left: 4 (37 enodes)
1537028908.024 * * [misc]simplify:  iters left: 3 (75 enodes)
1537028908.039 * * [misc]simplify:  iters left: 2 (104 enodes)
1537028908.067 * * [misc]simplify:  iters left: 1 (118 enodes)
1537028908.086 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.086 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))
1537028908.086 * * * * [misc]progress:  [ 54 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))>
1537028908.086 * [enter]simplify:  Simplifying (sqrt 1)
1537028908.086 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028908.087 * [exit]simplify:  Simplified to 1
1537028908.087 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))
1537028908.087 * * * * [misc]progress:  [ 55 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))))>
1537028908.087 * * * * [misc]progress:  [ 56 / 66 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))>
1537028908.088 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))
1537028908.088 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028908.091 * * [misc]simplify:  iters left: 5 (20 enodes)
1537028908.095 * * [misc]simplify:  iters left: 4 (36 enodes)
1537028908.104 * * [misc]simplify:  iters left: 3 (74 enodes)
1537028908.132 * * [misc]simplify:  iters left: 2 (102 enodes)
1537028908.577 * * [misc]simplify:  iters left: 1 (118 enodes)
1537028908.609 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028908.609 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1537028908.609 * * * * [misc]progress:  [ 57 / 66 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))>
1537028908.609 * * * * [misc]progress:  [ 58 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.609 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.610 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.611 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.613 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.616 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.616 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.616 * * * * [misc]progress:  [ 59 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.616 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.617 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.618 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.620 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.623 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.623 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.623 * * * * [misc]progress:  [ 60 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.623 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.624 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.625 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.627 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.630 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.630 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.630 * * * * [misc]progress:  [ 61 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (pow b 2) (pow a 2))))))))>
1537028908.631 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.631 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.632 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.634 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.639 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.639 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))
1537028908.639 * * * * [misc]progress:  [ 62 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (pow b 2) (pow a 2))))))))>
1537028908.640 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.640 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.642 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.646 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.653 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.653 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))
1537028908.653 * * * * [misc]progress:  [ 63 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (pow b 2) (pow a 2))))))))>
1537028908.653 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1537028908.653 * * [misc]simplify:  iters left: 3 (6 enodes)
1537028908.656 * * [misc]simplify:  iters left: 2 (8 enodes)
1537028908.658 * * [misc]simplify:  iters left: 1 (14 enodes)
1537028908.661 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1537028908.661 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))
1537028908.661 * * * * [misc]progress:  [ 64 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.661 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028908.662 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028908.664 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028908.667 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028908.675 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028908.685 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028908.699 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028908.711 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028908.711 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.711 * * * * [misc]progress:  [ 65 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.711 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028908.711 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028908.713 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028908.716 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028908.721 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028908.730 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028908.746 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028908.773 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028908.773 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.774 * * * * [misc]progress:  [ 66 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1537028908.774 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1537028908.775 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028908.779 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028908.786 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028908.796 * * [misc]simplify:  iters left: 3 (42 enodes)
1537028908.812 * * [misc]simplify:  iters left: 2 (68 enodes)
1537028908.830 * * [misc]simplify:  iters left: 1 (77 enodes)
1537028908.856 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1537028908.856 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1537028908.856 * * * [misc]progress:  adding candidates to table
1537028910.111 * [misc]progress:  [Phase 3 of 3] Extracting.
1537028910.116 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))
1537028910.117 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028910.118 * * [misc]simplify:  iters left: 5 (12 enodes)
1537028910.119 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))
1537028910.119 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537028910.147 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1537028910.148 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.149 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.150 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1537028910.151 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.153 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.156 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1537028910.158 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.163 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.168 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1537028910.171 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.180 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.189 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1537028910.192 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.208 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.224 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1537028910.227 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.247 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.294 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1537028910.295 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.332 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.400 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1537028910.402 * * * * [misc]points:  Setting MPFR precision to 64
1537028910.541 * * * * [misc]points:  Setting MPFR precision to 320
1537028910.709 * * * * [misc]points:  Computing exacts for 8000 points
1537028910.712 * * * * [misc]points:  Setting MPFR precision to 64
1537028911.182 * * * * [misc]points:  Setting MPFR precision to 320
1537028911.818 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.788 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028912.790 * * * * [misc]points:  Sampling 3968 additional inputs, on iter 1 have 4032 / 8000
1537028912.814 * * * * [misc]points:  Computing exacts on every 248 of 3968 points to ramp up precision
1537028912.817 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.818 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.819 * * * * [misc]points:  Computing exacts on every 124 of 3968 points to ramp up precision
1537028912.822 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.825 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.827 * * * * [misc]points:  Computing exacts on every 62 of 3968 points to ramp up precision
1537028912.830 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.835 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.839 * * * * [misc]points:  Computing exacts on every 31 of 3968 points to ramp up precision
1537028912.841 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.850 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.859 * * * * [misc]points:  Computing exacts on every 15 of 3968 points to ramp up precision
1537028912.862 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.879 * * * * [misc]points:  Setting MPFR precision to 576
1537028912.897 * * * * [misc]points:  Computing exacts on every 7 of 3968 points to ramp up precision
1537028912.899 * * * * [misc]points:  Setting MPFR precision to 320
1537028912.964 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.001 * * * * [misc]points:  Computing exacts on every 3 of 3968 points to ramp up precision
1537028913.005 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.046 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.143 * * * * [misc]points:  Computing exacts for 3968 points
1537028913.144 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.410 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.698 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028913.699 * * * * [misc]points:  Sampling 1970 additional inputs, on iter 2 have 6030 / 8000
1537028913.708 * * * * [misc]points:  Computing exacts on every 123 of 1970 points to ramp up precision
1537028913.709 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.710 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.711 * * * * [misc]points:  Computing exacts on every 61 of 1970 points to ramp up precision
1537028913.712 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.715 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.717 * * * * [misc]points:  Computing exacts on every 30 of 1970 points to ramp up precision
1537028913.719 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.724 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.729 * * * * [misc]points:  Computing exacts on every 15 of 1970 points to ramp up precision
1537028913.731 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.740 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.749 * * * * [misc]points:  Computing exacts on every 7 of 1970 points to ramp up precision
1537028913.752 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.766 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.775 * * * * [misc]points:  Computing exacts on every 3 of 1970 points to ramp up precision
1537028913.777 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.798 * * * * [misc]points:  Setting MPFR precision to 576
1537028913.873 * * * * [misc]points:  Computing exacts for 1970 points
1537028913.875 * * * * [misc]points:  Setting MPFR precision to 320
1537028913.974 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.131 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.132 * * * * [misc]points:  Sampling 982 additional inputs, on iter 3 have 7018 / 8000
1537028914.138 * * * * [misc]points:  Computing exacts on every 61 of 982 points to ramp up precision
1537028914.141 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.143 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.144 * * * * [misc]points:  Computing exacts on every 30 of 982 points to ramp up precision
1537028914.146 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.149 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.152 * * * * [misc]points:  Computing exacts on every 15 of 982 points to ramp up precision
1537028914.154 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.158 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.163 * * * * [misc]points:  Computing exacts on every 7 of 982 points to ramp up precision
1537028914.166 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.171 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.175 * * * * [misc]points:  Computing exacts on every 3 of 982 points to ramp up precision
1537028914.177 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.186 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.231 * * * * [misc]points:  Computing exacts for 982 points
1537028914.233 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.270 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.306 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.307 * * * * [misc]points:  Sampling 490 additional inputs, on iter 4 have 7510 / 8000
1537028914.308 * * * * [misc]points:  Computing exacts on every 30 of 490 points to ramp up precision
1537028914.310 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.311 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.311 * * * * [misc]points:  Computing exacts on every 15 of 490 points to ramp up precision
1537028914.312 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.314 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.315 * * * * [misc]points:  Computing exacts on every 7 of 490 points to ramp up precision
1537028914.317 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.321 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.326 * * * * [misc]points:  Computing exacts on every 3 of 490 points to ramp up precision
1537028914.329 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.338 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.393 * * * * [misc]points:  Computing exacts for 490 points
1537028914.395 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.435 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.472 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.472 * * * * [misc]points:  Sampling 248 additional inputs, on iter 5 have 7752 / 8000
1537028914.474 * * * * [misc]points:  Computing exacts on every 15 of 248 points to ramp up precision
1537028914.476 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.477 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.479 * * * * [misc]points:  Computing exacts on every 7 of 248 points to ramp up precision
1537028914.481 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.483 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.485 * * * * [misc]points:  Computing exacts on every 3 of 248 points to ramp up precision
1537028914.488 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.493 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.497 * * * * [misc]points:  Computing exacts for 248 points
1537028914.500 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.518 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.537 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.537 * * * * [misc]points:  Sampling 133 additional inputs, on iter 6 have 7867 / 8000
1537028914.538 * * * * [misc]points:  Computing exacts on every 8 of 133 points to ramp up precision
1537028914.541 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.542 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.543 * * * * [misc]points:  Computing exacts on every 4 of 133 points to ramp up precision
1537028914.546 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.548 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.550 * * * * [misc]points:  Computing exacts on every 2 of 133 points to ramp up precision
1537028914.552 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.556 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.559 * * * * [misc]points:  Computing exacts for 133 points
1537028914.561 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.571 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.581 * * * * [misc]points:  Sampling 62 additional inputs, on iter 7 have 7938 / 8000
1537028914.582 * * * * [misc]points:  Computing exacts on every 3 of 62 points to ramp up precision
1537028914.584 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.628 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.630 * * * * [misc]points:  Computing exacts for 62 points
1537028914.633 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.637 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.645 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.645 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 7971 / 8000
1537028914.646 * * * * [misc]points:  Computing exacts for 29 points
1537028914.648 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.650 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.653 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.653 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 7986 / 8000
1537028914.653 * * * * [misc]points:  Computing exacts for 14 points
1537028914.655 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.657 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.658 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.658 * * * * [misc]points:  Sampling 9 additional inputs, on iter 10 have 7991 / 8000
1537028914.658 * * * * [misc]points:  Computing exacts for 9 points
1537028914.660 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.661 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.662 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.662 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1537028914.662 * * * * [misc]points:  Computing exacts for 4 points
1537028914.665 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.665 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.665 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1537028914.666 * * * * [misc]points:  Computing exacts for 4 points
1537028914.668 * * * * [misc]points:  Setting MPFR precision to 320
1537028914.668 * * * * [misc]points:  Setting MPFR precision to 576
1537028914.668 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028914.668 * * * * [exit]points:  Sampled 8000 points with exact outputs