1544780860.150 * [misc]progress:  [Phase 1 of 3] Setting up.
1544780860.151 * * * [misc]progress:  [1/2] Preparing points
1544780860.152 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544780860.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.413 * * * * [misc]points:  Sampling 183 additional inputs, on iter 1 have 73 / 256
1544780860.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.433 * * * * [misc]points:  Sampling 138 additional inputs, on iter 2 have 118 / 256
1544780860.448 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.448 * * * * [misc]points:  Sampling 91 additional inputs, on iter 3 have 165 / 256
1544780860.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.458 * * * * [misc]points:  Sampling 70 additional inputs, on iter 4 have 186 / 256
1544780860.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.466 * * * * [misc]points:  Sampling 56 additional inputs, on iter 5 have 200 / 256
1544780860.472 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.472 * * * * [misc]points:  Sampling 45 additional inputs, on iter 6 have 211 / 256
1544780860.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.478 * * * * [misc]points:  Sampling 33 additional inputs, on iter 7 have 223 / 256
1544780860.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.483 * * * * [misc]points:  Sampling 23 additional inputs, on iter 8 have 233 / 256
1544780860.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.487 * * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 237 / 256
1544780860.490 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.490 * * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
1544780860.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.493 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1544780860.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.495 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1544780860.498 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.498 * * * * [misc]points:  Sampling 7 additional inputs, on iter 13 have 249 / 256
1544780860.539 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.539 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
1544780860.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.541 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1544780860.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.544 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1544780860.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.545 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
1544780860.547 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780860.547 * * * * [exit]points:  Sampled 257 points with exact outputs
1544780860.547 * * * [misc]progress:  [2/2] Setting up program.
1544780860.554 * [misc]progress:  [Phase 2 of 3] Improving.
1544780860.554 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544780860.556 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780860.562 * * [misc]simplify:  iters left: 5 (11 enodes)
1544780860.564 * * [misc]simplify:  iters left: 4 (12 enodes)
1544780860.567 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544780860.576 * * [misc]progress:  iteration 1 / 4
1544780860.576 * * * [misc]progress:  picking best candidate
1544780860.581 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544780860.581 * * * [misc]progress:  localizing error
1544780860.597 * * * [misc]progress:  generating rewritten candidates
1544780860.598 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1544780860.610 * * * [misc]progress:  generating series expansions
1544780860.610 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1544780860.615 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1544780860.615 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1544780860.980 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544780860.980 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780860.980 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780860.980 * [misc]taylor:  Taking taylor expansion of x in x
1544780860.981 * [misc]backup-simplify:  Simplify 0 into 0
1544780860.981 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.981 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780860.981 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780860.981 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.982 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780860.982 * [misc]backup-simplify:  Simplify (log 1) into 0
1544780860.982 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544780860.982 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780860.982 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780860.982 * [misc]taylor:  Taking taylor expansion of x in x
1544780860.982 * [misc]backup-simplify:  Simplify 0 into 0
1544780860.982 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.982 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780860.982 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780860.982 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.982 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780860.982 * [misc]backup-simplify:  Simplify (log 1) into 0
1544780860.984 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544780860.984 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544780860.984 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544780860.984 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780860.985 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780860.987 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1544780860.987 * [misc]backup-simplify:  Simplify -1 into -1
1544780860.988 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544780860.988 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780860.988 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780860.991 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544780860.991 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544780860.992 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544780860.992 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1544780860.992 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1544780860.992 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544780860.992 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780860.992 * [misc]taylor:  Taking taylor expansion of x in x
1544780860.992 * [misc]backup-simplify:  Simplify 0 into 0
1544780860.992 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.992 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780860.992 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.992 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780860.993 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780860.993 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780860.993 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544780860.993 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780860.993 * [misc]taylor:  Taking taylor expansion of x in x
1544780860.993 * [misc]backup-simplify:  Simplify 0 into 0
1544780860.993 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.993 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780860.993 * [misc]backup-simplify:  Simplify 1 into 1
1544780860.993 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780860.993 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780860.993 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780860.994 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780860.994 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780860.994 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780860.997 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544780860.997 * [misc]backup-simplify:  Simplify -1 into -1
1544780860.997 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780860.997 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.002 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544780861.002 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544780861.002 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544780861.003 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1544780861.003 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1544780861.003 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544780861.003 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.003 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.003 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.003 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.003 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.003 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.003 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.003 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.003 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.003 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.004 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780861.004 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544780861.004 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.004 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.004 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.004 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.004 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.004 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.004 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.004 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.004 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.004 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.005 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780861.005 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544780861.005 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.005 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.005 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.008 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1544780861.008 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.008 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.008 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.008 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.008 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.008 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.011 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544780861.011 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544780861.012 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544780861.012 * * * [misc]progress:  simplifying candidates
1544780861.012 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
1544780861.012 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544780861.013 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780861.015 * * [misc]simplify:  iters left: 5 (14 enodes)
1544780861.017 * * [misc]simplify:  iters left: 4 (15 enodes)
1544780861.020 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544780861.020 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
1544780861.020 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544780861.020 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1544780861.021 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780861.022 * * [misc]simplify:  iters left: 5 (11 enodes)
1544780861.024 * * [misc]simplify:  iters left: 4 (12 enodes)
1544780861.026 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1544780861.026 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544780861.026 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
1544780861.026 * [enter]simplify:  Simplifying (log 1)
1544780861.026 * * [misc]simplify:  iters left: 1 (2 enodes)
1544780861.027 * [exit]simplify:  Simplified to 0
1544780861.027 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
1544780861.027 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
1544780861.028 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1544780861.028 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780861.029 * * [misc]simplify:  iters left: 5 (9 enodes)
1544780861.031 * [exit]simplify:  Simplified to (log (+ (sqrt (/ 1 x)) 1))
1544780861.031 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))
1544780861.031 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1544780861.031 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1544780861.032 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780861.036 * * [misc]simplify:  iters left: 5 (20 enodes)
1544780861.039 * * [misc]simplify:  iters left: 4 (32 enodes)
1544780861.046 * * [misc]simplify:  iters left: 3 (41 enodes)
1544780861.053 * * [misc]simplify:  iters left: 2 (49 enodes)
1544780861.060 * * [misc]simplify:  iters left: 1 (56 enodes)
1544780861.068 * [exit]simplify:  Simplified to (log (- (/ (/ 1 x) (* x x)) 1))
1544780861.068 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
1544780861.068 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
1544780861.069 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544780861.073 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780861.076 * * [misc]simplify:  iters left: 5 (16 enodes)
1544780861.079 * * [misc]simplify:  iters left: 4 (17 enodes)
1544780861.082 * * [misc]simplify:  iters left: 3 (24 enodes)
1544780861.087 * * [misc]simplify:  iters left: 2 (35 enodes)
1544780861.096 * * [misc]simplify:  iters left: 1 (57 enodes)
1544780861.133 * [exit]simplify:  Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1))
1544780861.133 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1)))))
1544780861.133 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544780861.133 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
1544780861.133 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544780861.134 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544780861.134 * * [misc]simplify:  iters left: 4 (4 enodes)
1544780861.137 * * [misc]simplify:  iters left: 3 (9 enodes)
1544780861.140 * * [misc]simplify:  iters left: 2 (10 enodes)
1544780861.142 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544780861.142 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544780861.142 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
1544780861.142 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1544780861.142 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
1544780861.142 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
1544780861.143 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1544780861.143 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544780861.143 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1544780861.143 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544780861.144 * * [misc]simplify:  iters left: 6 (9 enodes)
1544780861.148 * * [misc]simplify:  iters left: 5 (18 enodes)
1544780861.158 * * [misc]simplify:  iters left: 4 (34 enodes)
1544780861.176 * * [misc]simplify:  iters left: 3 (75 enodes)
1544780861.210 * * [misc]simplify:  iters left: 2 (104 enodes)
1544780861.248 * * [misc]simplify:  iters left: 1 (140 enodes)
1544780861.334 * [exit]simplify:  Simplified to (- (* (* x x) -1/2) (+ x (log x)))
1544780861.334 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1544780861.334 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544780861.335 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544780861.336 * * [misc]simplify:  iters left: 6 (12 enodes)
1544780861.344 * * [misc]simplify:  iters left: 5 (23 enodes)
1544780861.355 * * [misc]simplify:  iters left: 4 (34 enodes)
1544780861.374 * * [misc]simplify:  iters left: 3 (62 enodes)
1544780861.401 * * [misc]simplify:  iters left: 2 (94 enodes)
1544780861.430 * * [misc]simplify:  iters left: 1 (125 enodes)
1544780861.496 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1544780861.496 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1544780861.496 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544780861.496 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544780861.497 * * [misc]simplify:  iters left: 6 (12 enodes)
1544780861.505 * * [misc]simplify:  iters left: 5 (23 enodes)
1544780861.517 * * [misc]simplify:  iters left: 4 (34 enodes)
1544780861.533 * * [misc]simplify:  iters left: 3 (62 enodes)
1544780861.554 * * [misc]simplify:  iters left: 2 (94 enodes)
1544780861.578 * * [misc]simplify:  iters left: 1 (125 enodes)
1544780861.613 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1544780861.613 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1544780861.613 * * * [misc]progress:  adding candidates to table
1544780861.861 * * [misc]progress:  iteration 2 / 4
1544780861.861 * * * [misc]progress:  picking best candidate
1544780861.867 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544780861.867 * * * [misc]progress:  localizing error
1544780861.882 * * * [misc]progress:  generating rewritten candidates
1544780861.882 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1)
1544780861.900 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1544780861.930 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1544780861.941 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1544780861.953 * * * [misc]progress:  generating series expansions
1544780861.953 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1)
1544780861.953 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544780861.953 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544780861.953 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780861.953 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780861.953 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780861.953 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.953 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.953 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.954 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780861.954 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.954 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.954 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.954 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780861.954 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780861.954 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780861.954 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780861.954 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780861.954 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.954 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.954 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.954 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780861.954 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.954 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.955 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.955 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780861.955 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780861.955 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.955 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.956 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544780861.956 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.956 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.957 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544780861.957 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.957 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544780861.957 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.957 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.958 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544780861.958 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.958 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544780861.958 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544780861.958 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544780861.958 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780861.958 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780861.958 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.958 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.958 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.958 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.958 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.958 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.959 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.959 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.959 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.959 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.959 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780861.959 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780861.959 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780861.959 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.959 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.959 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.959 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.959 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.960 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.960 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.960 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.960 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.960 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.960 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780861.960 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.961 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544780861.961 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.962 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.963 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.965 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780861.965 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544780861.965 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544780861.965 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780861.965 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.965 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.965 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.965 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.965 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.966 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.966 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.966 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.966 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.966 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.966 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.966 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.967 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.967 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.968 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780861.968 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780861.968 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.968 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.968 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.968 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.968 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.968 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.968 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.968 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.968 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.969 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.969 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.969 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.969 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.969 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.970 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780861.970 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.970 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544780861.971 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.971 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.974 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.975 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.977 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780861.977 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1544780861.977 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544780861.978 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544780861.978 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780861.978 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780861.978 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780861.978 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.978 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.978 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.978 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780861.978 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.978 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.978 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.978 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780861.979 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780861.979 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780861.979 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780861.979 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780861.979 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.979 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.979 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.979 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780861.979 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.979 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.979 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.980 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780861.980 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780861.980 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.980 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.981 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544780861.981 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.981 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.982 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544780861.982 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.983 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544780861.983 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.983 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.984 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544780861.984 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780861.985 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544780861.985 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544780861.985 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544780861.985 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780861.985 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780861.985 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.985 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.985 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.985 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.985 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.985 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.986 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.986 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.986 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.986 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.987 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780861.987 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780861.987 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780861.987 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.987 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.987 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.987 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.987 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.987 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.987 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780861.987 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.987 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.988 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.988 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780861.988 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.989 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544780861.989 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780861.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.992 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.993 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544780861.995 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780861.995 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544780861.995 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544780861.995 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780861.995 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.995 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.995 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.995 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.995 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.995 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.995 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.995 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.995 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.996 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.996 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.996 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.996 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.996 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.996 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780861.996 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780861.996 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780861.996 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780861.996 * [misc]taylor:  Taking taylor expansion of x in x
1544780861.996 * [misc]backup-simplify:  Simplify 0 into 0
1544780861.996 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.996 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780861.996 * [misc]backup-simplify:  Simplify 1 into 1
1544780861.997 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780861.997 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.997 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.997 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.997 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780861.997 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.997 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780861.997 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780861.998 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780861.998 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544780861.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780861.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.000 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.000 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.002 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780862.002 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1544780862.002 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1544780862.002 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1544780862.002 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544780862.002 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780862.002 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780862.002 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780862.002 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.002 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.002 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.002 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780862.002 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.002 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.002 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.002 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780862.003 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780862.003 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.003 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544780862.003 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780862.003 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780862.003 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780862.003 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.003 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.003 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.003 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780862.003 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.003 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.003 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.003 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780862.004 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780862.004 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.004 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.004 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544780862.004 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.004 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.005 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544780862.006 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544780862.007 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780862.007 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544780862.007 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.007 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.008 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544780862.013 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544780862.013 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780862.013 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544780862.013 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1544780862.014 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1544780862.014 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544780862.014 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780862.014 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780862.014 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.014 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.014 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.014 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.014 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.014 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.014 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.014 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.015 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.015 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780862.015 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.016 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544780862.016 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780862.016 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780862.016 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.016 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.016 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.016 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.016 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.016 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.016 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.016 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.016 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.017 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.017 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780862.017 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.018 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.023 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2))
1544780862.028 * [misc]backup-simplify:  Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2))
1544780862.028 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.028 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.031 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.039 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.040 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.044 * [misc]backup-simplify:  Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (pow (sqrt -1) 2)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780862.044 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1544780862.044 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1544780862.044 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544780862.044 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780862.044 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780862.044 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780862.044 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.044 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.044 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.044 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.044 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.045 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780862.045 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.045 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.045 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.045 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.045 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.046 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.046 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780862.046 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.046 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544780862.046 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780862.046 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780862.047 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780862.047 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.047 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.047 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.047 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.047 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.047 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780862.047 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.047 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.047 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.048 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.048 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.048 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.048 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780862.049 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.049 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.054 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2))
1544780862.055 * [misc]backup-simplify:  Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2))
1544780862.055 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.055 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.057 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.066 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.067 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.069 * [misc]backup-simplify:  Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (pow (sqrt -1) 2)) (/ 1 (- x))) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780862.069 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1544780862.070 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1544780862.070 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1544780862.070 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544780862.070 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780862.070 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780862.070 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780862.070 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.070 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.070 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.070 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780862.070 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.070 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.070 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.070 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780862.070 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780862.071 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.071 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544780862.071 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544780862.071 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544780862.071 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544780862.071 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.071 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.071 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.071 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544780862.071 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.071 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.071 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.071 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544780862.071 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544780862.071 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.072 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544780862.072 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544780862.072 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.072 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.073 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544780862.074 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544780862.075 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780862.075 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544780862.075 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.075 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.076 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544780862.078 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544780862.079 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544780862.079 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544780862.079 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1544780862.079 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1544780862.079 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544780862.079 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780862.079 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780862.079 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.079 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.079 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.079 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.079 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.079 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.080 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.080 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.080 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.080 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.080 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780862.080 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.080 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544780862.080 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544780862.081 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544780862.081 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.081 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.081 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.081 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.081 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.081 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.081 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544780862.081 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.081 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.081 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.081 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544780862.082 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.082 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.085 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2))
1544780862.085 * [misc]backup-simplify:  Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2))
1544780862.085 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.085 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.087 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.092 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.093 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.095 * [misc]backup-simplify:  Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (pow (sqrt -1) 2)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780862.095 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1544780862.095 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1544780862.095 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544780862.095 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780862.095 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780862.095 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780862.095 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.095 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.095 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.095 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.095 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.096 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780862.096 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.096 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.096 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.096 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.096 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.096 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.097 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780862.097 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.097 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544780862.097 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544780862.097 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544780862.097 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544780862.097 * [misc]taylor:  Taking taylor expansion of x in x
1544780862.097 * [misc]backup-simplify:  Simplify 0 into 0
1544780862.097 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.097 * [misc]taylor:  Taking taylor expansion of 1 in x
1544780862.097 * [misc]backup-simplify:  Simplify 1 into 1
1544780862.097 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544780862.097 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.097 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.097 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544780862.097 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544780862.097 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.098 * [misc]backup-simplify:  Simplify (- 1) into -1
1544780862.098 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544780862.098 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.098 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544780862.101 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2))
1544780862.102 * [misc]backup-simplify:  Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2))
1544780862.102 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544780862.102 * [misc]backup-simplify:  Simplify (- 0) into 0
1544780862.103 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544780862.109 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.109 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544780862.112 * [misc]backup-simplify:  Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (pow (sqrt -1) 2)) (/ 1 (- x))) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780862.112 * * * [misc]progress:  simplifying candidates
1544780862.112 * * * * [misc]progress:  [ 1 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) 1/2)))))>
1544780862.112 * * * * [misc]progress:  [ 2 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (sqrt (- (/ 1 x) 1)) 1)))))>
1544780862.112 * * * * [misc]progress:  [ 3 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.112 * * * * [misc]progress:  [ 4 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log (exp (sqrt (- (/ 1 x) 1))))))))>
1544780862.112 * * * * [misc]progress:  [ 5 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.112 * * * * [misc]progress:  [ 6 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
1544780862.112 * * * * [misc]progress:  [ 7 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))))))>
1544780862.112 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544780862.113 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.115 * * [misc]simplify:  iters left: 5 (13 enodes)
1544780862.117 * * [misc]simplify:  iters left: 4 (14 enodes)
1544780862.119 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544780862.119 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))))))
1544780862.119 * * * * [misc]progress:  [ 8 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.119 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544780862.119 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780862.121 * * [misc]simplify:  iters left: 5 (11 enodes)
1544780862.123 * * [misc]simplify:  iters left: 4 (12 enodes)
1544780862.125 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544780862.125 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))
1544780862.125 * * * * [misc]progress:  [ 9 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
1544780862.125 * [enter]simplify:  Simplifying (sqrt 1)
1544780862.125 * * [misc]simplify:  iters left: 1 (2 enodes)
1544780862.126 * [exit]simplify:  Simplified to 1
1544780862.126 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))
1544780862.126 * * * * [misc]progress:  [ 10 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544780862.126 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544780862.127 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780862.128 * * [misc]simplify:  iters left: 5 (9 enodes)
1544780862.129 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544780862.129 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))
1544780862.129 * * * * [misc]progress:  [ 11 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544780862.130 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544780862.130 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.135 * * [misc]simplify:  iters left: 5 (20 enodes)
1544780862.139 * * [misc]simplify:  iters left: 4 (32 enodes)
1544780862.151 * * [misc]simplify:  iters left: 3 (41 enodes)
1544780862.164 * * [misc]simplify:  iters left: 2 (49 enodes)
1544780862.178 * * [misc]simplify:  iters left: 1 (56 enodes)
1544780862.195 * [exit]simplify:  Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1))
1544780862.195 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544780862.195 * * * * [misc]progress:  [ 12 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))))))>
1544780862.195 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544780862.196 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.200 * * [misc]simplify:  iters left: 5 (16 enodes)
1544780862.205 * * [misc]simplify:  iters left: 4 (17 enodes)
1544780862.211 * * [misc]simplify:  iters left: 3 (24 enodes)
1544780862.219 * * [misc]simplify:  iters left: 2 (32 enodes)
1544780862.228 * * [misc]simplify:  iters left: 1 (51 enodes)
1544780862.245 * [exit]simplify:  Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1))
1544780862.245 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))))))
1544780862.245 * * * * [misc]progress:  [ 13 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.245 * * * * [misc]progress:  [ 14 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))>
1544780862.246 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544780862.246 * * [misc]simplify:  iters left: 5 (5 enodes)
1544780862.249 * * [misc]simplify:  iters left: 4 (10 enodes)
1544780862.251 * * [misc]simplify:  iters left: 3 (11 enodes)
1544780862.252 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544780862.252 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))
1544780862.252 * * * * [misc]progress:  [ 15 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))>
1544780862.252 * * * * [misc]progress:  [ 16 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) 1/2)) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.252 * * * * [misc]progress:  [ 17 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (sqrt (- (/ 1 x) 1)) 1)) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.252 * * * * [misc]progress:  [ 18 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.253 * * * * [misc]progress:  [ 19 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log (exp (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.253 * * * * [misc]progress:  [ 20 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.253 * * * * [misc]progress:  [ 21 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.253 * * * * [misc]progress:  [ 22 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.253 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544780862.253 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.256 * * [misc]simplify:  iters left: 5 (13 enodes)
1544780862.257 * * [misc]simplify:  iters left: 4 (14 enodes)
1544780862.260 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544780862.260 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.260 * * * * [misc]progress:  [ 23 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.260 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544780862.261 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780862.264 * * [misc]simplify:  iters left: 5 (11 enodes)
1544780862.267 * * [misc]simplify:  iters left: 4 (12 enodes)
1544780862.270 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544780862.270 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.270 * * * * [misc]progress:  [ 24 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.270 * [enter]simplify:  Simplifying (sqrt 1)
1544780862.271 * * [misc]simplify:  iters left: 1 (2 enodes)
1544780862.272 * [exit]simplify:  Simplified to 1
1544780862.272 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.272 * * * * [misc]progress:  [ 25 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.273 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544780862.273 * * [misc]simplify:  iters left: 6 (6 enodes)
1544780862.276 * * [misc]simplify:  iters left: 5 (9 enodes)
1544780862.279 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544780862.279 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.279 * * * * [misc]progress:  [ 26 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.279 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544780862.280 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.286 * * [misc]simplify:  iters left: 5 (20 enodes)
1544780862.292 * * [misc]simplify:  iters left: 4 (32 enodes)
1544780862.304 * * [misc]simplify:  iters left: 3 (41 enodes)
1544780862.317 * * [misc]simplify:  iters left: 2 (49 enodes)
1544780862.331 * * [misc]simplify:  iters left: 1 (56 enodes)
1544780862.347 * [exit]simplify:  Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1))
1544780862.347 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.347 * * * * [misc]progress:  [ 27 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.348 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544780862.349 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.353 * * [misc]simplify:  iters left: 5 (16 enodes)
1544780862.357 * * [misc]simplify:  iters left: 4 (17 enodes)
1544780862.363 * * [misc]simplify:  iters left: 3 (24 enodes)
1544780862.371 * * [misc]simplify:  iters left: 2 (32 enodes)
1544780862.386 * * [misc]simplify:  iters left: 1 (51 enodes)
1544780862.403 * [exit]simplify:  Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1))
1544780862.403 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.403 * * * * [misc]progress:  [ 28 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.403 * * * * [misc]progress:  [ 29 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.403 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544780862.404 * * [misc]simplify:  iters left: 5 (5 enodes)
1544780862.406 * * [misc]simplify:  iters left: 4 (10 enodes)
1544780862.407 * * [misc]simplify:  iters left: 3 (11 enodes)
1544780862.409 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544780862.409 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.409 * * * * [misc]progress:  [ 30 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.409 * * * * [misc]progress:  [ 31 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.409 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544780862.409 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.412 * * [misc]simplify:  iters left: 5 (15 enodes)
1544780862.414 * * [misc]simplify:  iters left: 4 (16 enodes)
1544780862.418 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544780862.418 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))))))
1544780862.418 * * * * [misc]progress:  [ 32 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (log (sqrt (cbrt (- (/ 1 x) 1))))))))>
1544780862.419 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
1544780862.420 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.424 * * [misc]simplify:  iters left: 5 (14 enodes)
1544780862.428 * * [misc]simplify:  iters left: 4 (15 enodes)
1544780862.433 * [exit]simplify:  Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
1544780862.433 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1))))))))
1544780862.433 * * * * [misc]progress:  [ 33 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.433 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.434 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.437 * * [misc]simplify:  iters left: 5 (12 enodes)
1544780862.441 * * [misc]simplify:  iters left: 4 (13 enodes)
1544780862.445 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.445 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))
1544780862.445 * * * * [misc]progress:  [ 34 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))))))>
1544780862.446 * [enter]simplify:  Simplifying (log (sqrt 1))
1544780862.446 * * [misc]simplify:  iters left: 2 (3 enodes)
1544780862.449 * * [misc]simplify:  iters left: 1 (5 enodes)
1544780862.449 * [exit]simplify:  Simplified to 0
1544780862.449 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
1544780862.449 * * * * [misc]progress:  [ 35 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544780862.450 * [enter]simplify:  Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544780862.450 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.453 * * [misc]simplify:  iters left: 5 (10 enodes)
1544780862.456 * [exit]simplify:  Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544780862.456 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))
1544780862.456 * * * * [misc]progress:  [ 36 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544780862.457 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.457 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.461 * * [misc]simplify:  iters left: 5 (12 enodes)
1544780862.464 * * [misc]simplify:  iters left: 4 (13 enodes)
1544780862.468 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.468 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))
1544780862.468 * * * * [misc]progress:  [ 37 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log 1) (log (sqrt (- (/ 1 x) 1)))))))>
1544780862.469 * [enter]simplify:  Simplifying (log 1)
1544780862.469 * * [misc]simplify:  iters left: 1 (2 enodes)
1544780862.470 * [exit]simplify:  Simplified to 0
1544780862.471 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
1544780862.471 * * * * [misc]progress:  [ 38 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544780862.471 * [enter]simplify:  Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544780862.472 * * [misc]simplify:  iters left: 6 (9 enodes)
1544780862.478 * * [misc]simplify:  iters left: 5 (21 enodes)
1544780862.482 * * [misc]simplify:  iters left: 4 (33 enodes)
1544780862.491 * * [misc]simplify:  iters left: 3 (42 enodes)
1544780862.499 * * [misc]simplify:  iters left: 2 (50 enodes)
1544780862.506 * * [misc]simplify:  iters left: 1 (57 enodes)
1544780862.522 * [exit]simplify:  Simplified to (log (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544780862.522 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (/ (/ 1 x) (* x x)) 1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544780862.522 * * * * [misc]progress:  [ 39 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))))))>
1544780862.522 * [enter]simplify:  Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544780862.523 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.528 * * [misc]simplify:  iters left: 5 (17 enodes)
1544780862.533 * * [misc]simplify:  iters left: 4 (18 enodes)
1544780862.539 * * [misc]simplify:  iters left: 3 (25 enodes)
1544780862.548 * * [misc]simplify:  iters left: 2 (33 enodes)
1544780862.562 * * [misc]simplify:  iters left: 1 (52 enodes)
1544780862.589 * [exit]simplify:  Simplified to (log (sqrt (- (* (/ 1 x) (/ 1 x)) 1)))
1544780862.589 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) (log (sqrt (+ (/ 1 x) 1)))))))
1544780862.589 * * * * [misc]progress:  [ 40 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1/2 (log (- (/ 1 x) 1))))))>
1544780862.590 * * * * [misc]progress:  [ 41 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
1544780862.590 * * * * [misc]progress:  [ 42 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (pow (log (sqrt (- (/ 1 x) 1))) 1))))>
1544780862.590 * * * * [misc]progress:  [ 43 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.590 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544780862.590 * * [misc]simplify:  iters left: 5 (5 enodes)
1544780862.592 * * [misc]simplify:  iters left: 4 (10 enodes)
1544780862.593 * * [misc]simplify:  iters left: 3 (11 enodes)
1544780862.595 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544780862.595 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.595 * * * * [misc]progress:  [ 44 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (exp (log (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.595 * * * * [misc]progress:  [ 45 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.595 * * * * [misc]progress:  [ 46 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (* (cbrt (log (sqrt (- (/ 1 x) 1)))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (cbrt (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.595 * * * * [misc]progress:  [ 47 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (cbrt (* (* (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.595 * * * * [misc]progress:  [ 48 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))))))>
1544780862.595 * * * * [misc]progress:  [ 49 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
1544780862.595 * * * * [misc]progress:  [ 50 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.595 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544780862.596 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.600 * * [misc]simplify:  iters left: 5 (15 enodes)
1544780862.602 * * [misc]simplify:  iters left: 4 (16 enodes)
1544780862.605 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544780862.605 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.605 * * * * [misc]progress:  [ 51 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (log (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.605 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
1544780862.606 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.608 * * [misc]simplify:  iters left: 5 (14 enodes)
1544780862.610 * * [misc]simplify:  iters left: 4 (15 enodes)
1544780862.613 * [exit]simplify:  Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
1544780862.613 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.613 * * * * [misc]progress:  [ 52 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.614 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.614 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.618 * * [misc]simplify:  iters left: 5 (12 enodes)
1544780862.621 * * [misc]simplify:  iters left: 4 (13 enodes)
1544780862.625 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.625 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.625 * * * * [misc]progress:  [ 53 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.625 * [enter]simplify:  Simplifying (log (sqrt 1))
1544780862.625 * * [misc]simplify:  iters left: 2 (3 enodes)
1544780862.628 * * [misc]simplify:  iters left: 1 (5 enodes)
1544780862.628 * [exit]simplify:  Simplified to 0
1544780862.628 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.628 * * * * [misc]progress:  [ 54 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.628 * [enter]simplify:  Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544780862.629 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.630 * * [misc]simplify:  iters left: 5 (10 enodes)
1544780862.632 * [exit]simplify:  Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544780862.632 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.632 * * * * [misc]progress:  [ 55 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.632 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.632 * * [misc]simplify:  iters left: 6 (7 enodes)
1544780862.634 * * [misc]simplify:  iters left: 5 (12 enodes)
1544780862.636 * * [misc]simplify:  iters left: 4 (13 enodes)
1544780862.638 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544780862.638 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.638 * * * * [misc]progress:  [ 56 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log 1) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.638 * [enter]simplify:  Simplifying (log 1)
1544780862.638 * * [misc]simplify:  iters left: 1 (2 enodes)
1544780862.639 * [exit]simplify:  Simplified to 0
1544780862.639 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.639 * * * * [misc]progress:  [ 57 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.640 * [enter]simplify:  Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544780862.640 * * [misc]simplify:  iters left: 6 (9 enodes)
1544780862.644 * * [misc]simplify:  iters left: 5 (21 enodes)
1544780862.648 * * [misc]simplify:  iters left: 4 (33 enodes)
1544780862.654 * * [misc]simplify:  iters left: 3 (42 enodes)
1544780862.661 * * [misc]simplify:  iters left: 2 (50 enodes)
1544780862.668 * * [misc]simplify:  iters left: 1 (57 enodes)
1544780862.676 * [exit]simplify:  Simplified to (log (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544780862.676 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (- (/ (/ 1 x) (* x x)) 1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.676 * * * * [misc]progress:  [ 58 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.676 * [enter]simplify:  Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544780862.677 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780862.681 * * [misc]simplify:  iters left: 5 (17 enodes)
1544780862.684 * * [misc]simplify:  iters left: 4 (18 enodes)
1544780862.687 * * [misc]simplify:  iters left: 3 (25 enodes)
1544780862.691 * * [misc]simplify:  iters left: 2 (33 enodes)
1544780862.705 * * [misc]simplify:  iters left: 1 (52 enodes)
1544780862.737 * [exit]simplify:  Simplified to (log (sqrt (- (* (/ 1 x) (/ 1 x)) 1)))
1544780862.737 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.737 * * * * [misc]progress:  [ 59 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/2 (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.737 * * * * [misc]progress:  [ 60 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.737 * * * * [misc]progress:  [ 61 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (pow (log (sqrt (- (/ 1 x) 1))) 1) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.737 * * * * [misc]progress:  [ 62 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.737 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544780862.738 * * [misc]simplify:  iters left: 5 (5 enodes)
1544780862.741 * * [misc]simplify:  iters left: 4 (10 enodes)
1544780862.743 * * [misc]simplify:  iters left: 3 (11 enodes)
1544780862.746 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544780862.746 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544780862.746 * * * * [misc]progress:  [ 63 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (exp (log (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.746 * * * * [misc]progress:  [ 64 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.747 * * * * [misc]progress:  [ 65 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (* (* (cbrt (log (sqrt (- (/ 1 x) 1)))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.747 * * * * [misc]progress:  [ 66 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (cbrt (* (* (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.747 * * * * [misc]progress:  [ 67 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.747 * * * * [misc]progress:  [ 68 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544780862.747 * * * * [misc]progress:  [ 69 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
1544780862.747 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544780862.747 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0))))
1544780862.747 * * * * [misc]progress:  [ 70 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))))>
1544780862.747 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780862.749 * * [misc]simplify:  iters left: 6 (18 enodes)
1544780862.761 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780862.785 * * [misc]simplify:  iters left: 4 (85 enodes)
1544780862.833 * * [misc]simplify:  iters left: 3 (151 enodes)
1544780862.902 * * [misc]simplify:  iters left: 2 (240 enodes)
1544780863.114 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544780863.114 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))))))
1544780863.115 * * * * [misc]progress:  [ 71 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))))>
1544780863.115 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780863.117 * * [misc]simplify:  iters left: 6 (18 enodes)
1544780863.133 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780863.156 * * [misc]simplify:  iters left: 4 (85 enodes)
1544780863.189 * * [misc]simplify:  iters left: 3 (151 enodes)
1544780863.243 * * [misc]simplify:  iters left: 2 (240 enodes)
1544780863.472 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544780863.473 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))))))
1544780863.473 * * * * [misc]progress:  [ 72 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780863.473 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544780863.473 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1))))))
1544780863.473 * * * * [misc]progress:  [ 73 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780863.473 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780863.475 * * [misc]simplify:  iters left: 6 (18 enodes)
1544780863.486 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780863.500 * * [misc]simplify:  iters left: 4 (85 enodes)
1544780863.524 * * [misc]simplify:  iters left: 3 (151 enodes)
1544780863.574 * * [misc]simplify:  iters left: 2 (240 enodes)
1544780863.845 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544780863.845 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780863.845 * * * * [misc]progress:  [ 74 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780863.845 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544780863.847 * * [misc]simplify:  iters left: 6 (18 enodes)
1544780863.859 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780863.882 * * [misc]simplify:  iters left: 4 (85 enodes)
1544780863.924 * * [misc]simplify:  iters left: 3 (151 enodes)
1544780863.960 * * [misc]simplify:  iters left: 2 (240 enodes)
1544780864.163 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544780864.163 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780864.163 * * * * [misc]progress:  [ 75 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))))))>
1544780864.163 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544780864.163 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) +nan.0)))
1544780864.163 * * * * [misc]progress:  [ 76 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))))))>
1544780864.163 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780864.168 * * [misc]simplify:  iters left: 6 (20 enodes)
1544780864.175 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780864.197 * * [misc]simplify:  iters left: 4 (77 enodes)
1544780864.242 * * [misc]simplify:  iters left: 3 (128 enodes)
1544780864.321 * * [misc]simplify:  iters left: 2 (213 enodes)
1544780864.414 * * [misc]simplify:  iters left: 1 (312 enodes)
1544780864.553 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544780864.553 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1)))))))
1544780864.554 * * * * [misc]progress:  [ 77 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))))))>
1544780864.554 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780864.557 * * [misc]simplify:  iters left: 6 (20 enodes)
1544780864.570 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780864.594 * * [misc]simplify:  iters left: 4 (77 enodes)
1544780864.640 * * [misc]simplify:  iters left: 3 (128 enodes)
1544780864.716 * * [misc]simplify:  iters left: 2 (213 enodes)
1544780864.817 * * [misc]simplify:  iters left: 1 (312 enodes)
1544780865.041 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544780865.041 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1)))))))
1544780865.041 * * * * [misc]progress:  [ 78 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780865.042 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544780865.042 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ +nan.0 (log (sqrt (- (/ 1 x) 1))))))
1544780865.042 * * * * [misc]progress:  [ 79 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780865.042 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780865.044 * * [misc]simplify:  iters left: 6 (20 enodes)
1544780865.057 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780865.079 * * [misc]simplify:  iters left: 4 (77 enodes)
1544780865.122 * * [misc]simplify:  iters left: 3 (128 enodes)
1544780865.185 * * [misc]simplify:  iters left: 2 (213 enodes)
1544780865.254 * * [misc]simplify:  iters left: 1 (312 enodes)
1544780865.408 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544780865.408 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780865.408 * * * * [misc]progress:  [ 80 / 80 ] simplifiying candidate #<alt (λ (x) (- (+ (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) (log (sqrt (- (/ 1 x) 1))))))>
1544780865.409 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544780865.411 * * [misc]simplify:  iters left: 6 (20 enodes)
1544780865.421 * * [misc]simplify:  iters left: 5 (41 enodes)
1544780865.434 * * [misc]simplify:  iters left: 4 (77 enodes)
1544780865.473 * * [misc]simplify:  iters left: 3 (128 enodes)
1544780865.516 * * [misc]simplify:  iters left: 2 (213 enodes)
1544780865.570 * * [misc]simplify:  iters left: 1 (312 enodes)
1544780865.738 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544780865.738 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1)))) (log (sqrt (- (/ 1 x) 1))))))
1544780865.738 * * * [misc]progress:  adding candidates to table
1544780867.286 * [misc]progress:  [Phase 3 of 3] Extracting.
1544780867.286 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.287 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1544780867.288 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.323 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.377 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.444 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.513 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544780867.584 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1544780867.585 * [enter]simplify:  Simplifying (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))
1544780867.586 * * [misc]simplify:  iters left: 6 (8 enodes)
1544780867.588 * * [misc]simplify:  iters left: 5 (12 enodes)
1544780867.590 * [exit]simplify:  Simplified to (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))
1544780867.590 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544780868.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780868.715 * * * * [misc]points:  Sampling 5959 additional inputs, on iter 1 have 2041 / 8000
1544780870.021 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780870.023 * * * * [misc]points:  Sampling 4433 additional inputs, on iter 2 have 3567 / 8000
1544780870.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780870.658 * * * * [misc]points:  Sampling 3340 additional inputs, on iter 3 have 4660 / 8000
1544780871.185 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780871.186 * * * * [misc]points:  Sampling 2514 additional inputs, on iter 4 have 5486 / 8000
1544780871.588 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780871.588 * * * * [misc]points:  Sampling 1873 additional inputs, on iter 5 have 6127 / 8000
1544780871.852 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780871.853 * * * * [misc]points:  Sampling 1435 additional inputs, on iter 6 have 6565 / 8000
1544780872.044 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.045 * * * * [misc]points:  Sampling 1100 additional inputs, on iter 7 have 6900 / 8000
1544780872.199 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.199 * * * * [misc]points:  Sampling 822 additional inputs, on iter 8 have 7178 / 8000
1544780872.320 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.320 * * * * [misc]points:  Sampling 606 additional inputs, on iter 9 have 7394 / 8000
1544780872.403 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.403 * * * * [misc]points:  Sampling 457 additional inputs, on iter 10 have 7543 / 8000
1544780872.903 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.903 * * * * [misc]points:  Sampling 348 additional inputs, on iter 11 have 7652 / 8000
1544780872.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780872.960 * * * * [misc]points:  Sampling 259 additional inputs, on iter 12 have 7741 / 8000
1544780873.003 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.003 * * * * [misc]points:  Sampling 193 additional inputs, on iter 13 have 7807 / 8000
1544780873.037 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.037 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1544780873.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.061 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1544780873.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.129 * * * * [misc]points:  Sampling 86 additional inputs, on iter 16 have 7914 / 8000
1544780873.144 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.144 * * * * [misc]points:  Sampling 69 additional inputs, on iter 17 have 7931 / 8000
1544780873.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.157 * * * * [misc]points:  Sampling 61 additional inputs, on iter 18 have 7939 / 8000
1544780873.168 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.169 * * * * [misc]points:  Sampling 46 additional inputs, on iter 19 have 7954 / 8000
1544780873.178 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.178 * * * * [misc]points:  Sampling 37 additional inputs, on iter 20 have 7963 / 8000
1544780873.186 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.186 * * * * [misc]points:  Sampling 27 additional inputs, on iter 21 have 7973 / 8000
1544780873.192 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.193 * * * * [misc]points:  Sampling 23 additional inputs, on iter 22 have 7977 / 8000
1544780873.198 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.198 * * * * [misc]points:  Sampling 16 additional inputs, on iter 23 have 7984 / 8000
1544780873.203 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.203 * * * * [misc]points:  Sampling 11 additional inputs, on iter 24 have 7989 / 8000
1544780873.207 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.207 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1544780873.210 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.210 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1544780873.213 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.213 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1544780873.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.215 * * * * [misc]points:  Sampling 5 additional inputs, on iter 28 have 7995 / 8000
1544780873.217 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.217 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7996 / 8000
1544780873.219 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.219 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7996 / 8000
1544780873.220 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.220 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7996 / 8000
1544780873.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.222 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7997 / 8000
1544780873.223 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.223 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 7998 / 8000
1544780873.224 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544780873.225 * * * * [exit]points:  Sampled 8000 points with exact outputs