1544785426.168 * [misc]progress:  [Phase 1 of 3] Setting up.
1544785426.169 * * * [misc]progress:  [1/2] Preparing points
1544785426.170 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544785426.296 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.297 * * * * [misc]points:  Sampling 183 additional inputs, on iter 1 have 73 / 256
1544785426.312 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.312 * * * * [misc]points:  Sampling 138 additional inputs, on iter 2 have 118 / 256
1544785426.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.325 * * * * [misc]points:  Sampling 91 additional inputs, on iter 3 have 165 / 256
1544785426.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.333 * * * * [misc]points:  Sampling 70 additional inputs, on iter 4 have 186 / 256
1544785426.340 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.340 * * * * [misc]points:  Sampling 56 additional inputs, on iter 5 have 200 / 256
1544785426.350 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.350 * * * * [misc]points:  Sampling 45 additional inputs, on iter 6 have 211 / 256
1544785426.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.359 * * * * [misc]points:  Sampling 33 additional inputs, on iter 7 have 223 / 256
1544785426.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.367 * * * * [misc]points:  Sampling 23 additional inputs, on iter 8 have 233 / 256
1544785426.373 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.373 * * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 237 / 256
1544785426.377 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.377 * * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
1544785426.379 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.379 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1544785426.382 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.382 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1544785426.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.384 * * * * [misc]points:  Sampling 7 additional inputs, on iter 13 have 249 / 256
1544785426.386 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.386 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
1544785426.387 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.387 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1544785426.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.414 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1544785426.415 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.415 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
1544785426.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785426.417 * * * * [exit]points:  Sampled 257 points with exact outputs
1544785426.417 * * * [misc]progress:  [2/2] Setting up program.
1544785426.430 * [misc]progress:  [Phase 2 of 3] Improving.
1544785426.432 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544785426.434 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785426.444 * * [misc]simplify:  iters left: 5 (11 enodes)
1544785426.448 * * [misc]simplify:  iters left: 4 (12 enodes)
1544785426.453 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544785426.471 * * [misc]progress:  iteration 1 / 4
1544785426.471 * * * [misc]progress:  picking best candidate
1544785426.478 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544785426.478 * * * [misc]progress:  localizing error
1544785426.507 * * * [misc]progress:  generating rewritten candidates
1544785426.507 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1544785426.533 * * * [misc]progress:  generating series expansions
1544785426.533 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1544785426.933 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1544785426.934 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1544785426.935 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544785426.935 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785426.935 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785426.935 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.935 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.935 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.936 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785426.936 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.936 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.937 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785426.937 * [misc]backup-simplify:  Simplify (log 1) into 0
1544785426.937 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544785426.937 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785426.937 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785426.937 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.937 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.937 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.937 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785426.937 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.937 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.938 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785426.938 * [misc]backup-simplify:  Simplify (log 1) into 0
1544785426.939 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544785426.939 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544785426.940 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544785426.941 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.941 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785426.944 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1544785426.944 * [misc]backup-simplify:  Simplify -1 into -1
1544785426.945 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544785426.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785426.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785426.950 * [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
1544785426.950 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544785426.951 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544785426.951 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1544785426.951 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1544785426.951 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544785426.951 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785426.951 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.951 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.951 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.951 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.951 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.951 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.952 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785426.952 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.952 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544785426.952 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785426.952 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.952 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.952 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.952 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.952 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.952 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.952 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785426.952 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.952 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.952 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785426.952 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785426.954 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544785426.954 * [misc]backup-simplify:  Simplify -1 into -1
1544785426.954 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785426.955 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785426.957 * [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
1544785426.957 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544785426.958 * [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)))))
1544785426.958 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1544785426.958 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1544785426.958 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.958 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.958 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.958 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.958 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.958 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785426.958 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.958 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.958 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.958 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785426.958 * [misc]taylor:  Taking taylor expansion of x in x
1544785426.958 * [misc]backup-simplify:  Simplify 0 into 0
1544785426.958 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.958 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785426.958 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.959 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785426.959 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.959 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.959 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.959 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544785426.959 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785426.959 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.959 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.961 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1544785426.961 * [misc]backup-simplify:  Simplify 1 into 1
1544785426.961 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.961 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785426.961 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785426.961 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785426.964 * [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
1544785426.964 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544785426.964 * [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)))))
1544785426.964 * * * [misc]progress:  simplifying candidates
1544785426.965 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (- (/ 1 x) 1))))))>
1544785426.965 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (- (/ 1 x) 1))))))>
1544785426.965 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
1544785426.965 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544785426.966 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785426.968 * * [misc]simplify:  iters left: 5 (14 enodes)
1544785426.970 * * [misc]simplify:  iters left: 4 (15 enodes)
1544785426.972 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544785426.972 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
1544785426.972 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544785426.973 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1544785426.973 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785426.975 * * [misc]simplify:  iters left: 5 (11 enodes)
1544785426.976 * * [misc]simplify:  iters left: 4 (12 enodes)
1544785426.978 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1544785426.978 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544785426.978 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
1544785426.978 * [enter]simplify:  Simplifying (log 1)
1544785426.978 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785426.979 * [exit]simplify:  Simplified to 0
1544785426.979 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
1544785426.979 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
1544785426.980 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1544785426.980 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785426.982 * * [misc]simplify:  iters left: 5 (9 enodes)
1544785426.985 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785426.989 * [exit]simplify:  Simplified to (log1p (sqrt (/ 1 x)))
1544785426.989 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))))
1544785426.989 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1544785426.989 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1544785426.990 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785426.996 * * [misc]simplify:  iters left: 5 (20 enodes)
1544785427.007 * * [misc]simplify:  iters left: 4 (38 enodes)
1544785427.019 * * [misc]simplify:  iters left: 3 (47 enodes)
1544785427.030 * * [misc]simplify:  iters left: 2 (53 enodes)
1544785427.036 * * [misc]simplify:  iters left: 1 (59 enodes)
1544785427.045 * [exit]simplify:  Simplified to (log (fma (/ (/ 1 x) x) (/ 1 x) -1))
1544785427.045 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (fma (/ (/ 1 x) x) (/ 1 x) -1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
1544785427.046 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
1544785427.046 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544785427.051 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785427.055 * * [misc]simplify:  iters left: 5 (18 enodes)
1544785427.058 * * [misc]simplify:  iters left: 4 (23 enodes)
1544785427.061 * * [misc]simplify:  iters left: 3 (31 enodes)
1544785427.067 * * [misc]simplify:  iters left: 2 (48 enodes)
1544785427.076 * * [misc]simplify:  iters left: 1 (71 enodes)
1544785427.120 * [exit]simplify:  Simplified to (log (fma (/ 1 x) (/ 1 x) -1))
1544785427.120 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (fma (/ 1 x) (/ 1 x) -1)) (log (+ (/ 1 x) 1)))))
1544785427.120 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544785427.120 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
1544785427.120 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544785427.120 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544785427.120 * * [misc]simplify:  iters left: 4 (4 enodes)
1544785427.123 * * [misc]simplify:  iters left: 3 (9 enodes)
1544785427.125 * * [misc]simplify:  iters left: 2 (10 enodes)
1544785427.128 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544785427.128 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544785427.128 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
1544785427.128 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1544785427.128 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
1544785427.128 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
1544785427.128 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1544785427.128 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544785427.129 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1544785427.129 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544785427.130 * * [misc]simplify:  iters left: 6 (9 enodes)
1544785427.135 * * [misc]simplify:  iters left: 5 (19 enodes)
1544785427.144 * * [misc]simplify:  iters left: 4 (36 enodes)
1544785427.170 * * [misc]simplify:  iters left: 3 (85 enodes)
1544785427.210 * * [misc]simplify:  iters left: 2 (154 enodes)
1544785427.248 * * [misc]simplify:  iters left: 1 (200 enodes)
1544785427.407 * [exit]simplify:  Simplified to (- (* (fma -1/2 x -1) x) (log x))
1544785427.407 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (fma -1/2 x -1) x) (log x))))
1544785427.407 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544785427.407 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544785427.408 * * [misc]simplify:  iters left: 6 (12 enodes)
1544785427.412 * * [misc]simplify:  iters left: 5 (23 enodes)
1544785427.418 * * [misc]simplify:  iters left: 4 (36 enodes)
1544785427.432 * * [misc]simplify:  iters left: 3 (65 enodes)
1544785427.473 * * [misc]simplify:  iters left: 2 (111 enodes)
1544785427.516 * * [misc]simplify:  iters left: 1 (154 enodes)
1544785427.581 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1544785427.581 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1544785427.581 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544785427.581 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544785427.582 * * [misc]simplify:  iters left: 6 (12 enodes)
1544785427.589 * * [misc]simplify:  iters left: 5 (23 enodes)
1544785427.599 * * [misc]simplify:  iters left: 4 (36 enodes)
1544785427.620 * * [misc]simplify:  iters left: 3 (65 enodes)
1544785427.655 * * [misc]simplify:  iters left: 2 (111 enodes)
1544785427.693 * * [misc]simplify:  iters left: 1 (154 enodes)
1544785427.751 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1544785427.751 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1544785427.751 * * * [misc]progress:  adding candidates to table
1544785428.014 * * [misc]progress:  iteration 2 / 4
1544785428.014 * * * [misc]progress:  picking best candidate
1544785428.023 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.023 * * * [misc]progress:  localizing error
1544785428.049 * * * [misc]progress:  generating rewritten candidates
1544785428.049 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1)
1544785428.088 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1544785428.109 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1544785428.134 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1544785428.165 * * * [misc]progress:  generating series expansions
1544785428.165 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1)
1544785428.165 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544785428.165 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544785428.165 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.165 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.166 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.166 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.166 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.166 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.166 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.166 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.166 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.166 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.167 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.167 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.167 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.167 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.167 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.167 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.167 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.167 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.167 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.167 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.168 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.168 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.168 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.168 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.168 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.169 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.169 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544785428.169 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.169 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.171 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544785428.171 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.171 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544785428.171 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.173 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544785428.173 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.173 * [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)))))
1544785428.173 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544785428.173 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544785428.173 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.173 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.173 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.173 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.173 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.174 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.174 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.174 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.174 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.174 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.174 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.175 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.175 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.175 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.175 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.175 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.175 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.175 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.175 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.175 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.175 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.175 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.176 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.176 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.176 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.177 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.177 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544785428.177 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.177 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.180 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.180 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.183 * [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)))))
1544785428.184 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544785428.184 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544785428.184 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.184 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.184 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.184 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.184 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.184 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.184 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.184 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.184 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.184 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.184 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.185 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.185 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.185 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.185 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.185 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.186 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.186 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.186 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.186 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.186 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.186 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.186 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.186 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.186 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.186 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.186 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.186 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.187 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.187 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.187 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.187 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.188 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.188 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544785428.188 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.188 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.191 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.192 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.194 * [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)))))
1544785428.194 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1544785428.194 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544785428.194 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544785428.194 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.194 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.194 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.194 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.194 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.194 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.195 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.195 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.195 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.195 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.195 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.196 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.196 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.196 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.196 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.196 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.196 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.196 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.196 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.196 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.196 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.196 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.196 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.197 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.197 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.197 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.197 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544785428.197 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.198 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.199 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544785428.199 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.199 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544785428.199 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.200 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.201 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544785428.201 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.201 * [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)))))
1544785428.201 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544785428.201 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544785428.201 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.201 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.201 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.201 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.201 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.201 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.201 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.202 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.202 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.202 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.202 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.202 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.203 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.203 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.203 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.203 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.203 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.203 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.203 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.203 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.203 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.203 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.204 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.204 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.204 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.204 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.205 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.205 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544785428.205 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.205 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.208 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.209 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.211 * [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)))))
1544785428.211 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544785428.211 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544785428.211 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.211 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.211 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.211 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.211 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.211 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.211 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.211 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.212 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.212 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.212 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.212 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.212 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.212 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.212 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.213 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.213 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.213 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.213 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.213 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.213 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.213 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.213 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.213 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.213 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.214 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.214 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.214 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.214 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.214 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.214 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.215 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.215 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.216 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544785428.216 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.216 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.218 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.219 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.221 * [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)))))
1544785428.222 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1544785428.222 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1544785428.222 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1544785428.222 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544785428.222 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.222 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.222 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.222 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.222 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.222 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.222 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.222 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.222 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.222 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.223 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.223 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.223 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.223 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544785428.223 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.223 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.223 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.223 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.223 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.224 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.224 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.224 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.224 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.224 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.224 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.224 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.225 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.225 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.225 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544785428.225 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.225 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.227 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544785428.229 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544785428.229 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.229 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544785428.230 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.230 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.231 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544785428.236 * [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
1544785428.236 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.236 * [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)))))
1544785428.236 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1544785428.236 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1544785428.236 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544785428.236 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.236 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.236 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.237 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.237 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.237 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.237 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.237 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.237 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.237 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.237 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.237 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.238 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.238 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.238 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544785428.238 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.238 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.238 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.238 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.238 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.238 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.239 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.239 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.239 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.239 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.239 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.239 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.240 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.240 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.241 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.245 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2))
1544785428.247 * [misc]backup-simplify:  Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2))
1544785428.247 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.247 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.249 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.256 * [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))
1544785428.257 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544785428.259 * [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)))))
1544785428.259 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1544785428.259 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1544785428.259 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544785428.259 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.259 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.260 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.260 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.260 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.260 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.260 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.260 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.260 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.260 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.260 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.260 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.260 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.260 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.260 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.261 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.261 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.261 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544785428.261 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.261 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.261 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.261 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.261 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.261 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.261 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.261 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.261 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.261 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.261 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.262 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.262 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.262 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.262 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.262 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.263 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.263 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.266 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2))
1544785428.266 * [misc]backup-simplify:  Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2))
1544785428.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.268 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.273 * [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))
1544785428.274 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544785428.276 * [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)))))
1544785428.276 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1544785428.276 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1544785428.276 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1544785428.276 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544785428.276 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.276 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.276 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.276 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.276 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.276 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.276 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.276 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.277 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.277 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.277 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.277 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.277 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1544785428.277 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544785428.277 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544785428.277 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785428.277 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.277 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.277 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.277 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785428.277 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.277 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.277 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.278 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544785428.278 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544785428.278 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.278 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544785428.278 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544785428.278 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.278 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.279 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544785428.281 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544785428.281 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544785428.281 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.282 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544785428.285 * [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
1544785428.285 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544785428.285 * [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)))))
1544785428.285 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1544785428.285 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1544785428.285 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544785428.285 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.285 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.285 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.285 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.285 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.285 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.285 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.285 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.285 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.285 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.286 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.286 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.286 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.286 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.286 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- x 1))) in x
1544785428.286 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544785428.286 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544785428.286 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.286 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.286 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.286 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.286 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.286 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.286 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785428.287 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.287 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.287 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.287 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544785428.287 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.288 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.290 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2))
1544785428.291 * [misc]backup-simplify:  Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2))
1544785428.291 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.291 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.292 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.303 * [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))
1544785428.304 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544785428.307 * [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)))))
1544785428.308 * [misc]backup-simplify:  Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1544785428.308 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1544785428.308 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544785428.308 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.308 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.308 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.308 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.308 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.308 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.308 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.308 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.308 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.308 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.308 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.309 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.309 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.309 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.309 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.309 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.310 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.310 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1544785428.310 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544785428.310 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544785428.310 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544785428.310 * [misc]taylor:  Taking taylor expansion of x in x
1544785428.310 * [misc]backup-simplify:  Simplify 0 into 0
1544785428.310 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.310 * [misc]taylor:  Taking taylor expansion of 1 in x
1544785428.310 * [misc]backup-simplify:  Simplify 1 into 1
1544785428.310 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544785428.310 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.311 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.311 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544785428.311 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785428.311 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.311 * [misc]backup-simplify:  Simplify (- 1) into -1
1544785428.312 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544785428.312 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.312 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1544785428.317 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2))
1544785428.318 * [misc]backup-simplify:  Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2))
1544785428.318 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785428.318 * [misc]backup-simplify:  Simplify (- 0) into 0
1544785428.320 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544785428.329 * [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))
1544785428.330 * [misc]backup-simplify:  Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4))
1544785428.333 * [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)))))
1544785428.333 * * * [misc]progress:  simplifying candidates
1544785428.333 * * * * [misc]progress:  [ 1 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))))))>
1544785428.333 * * * * [misc]progress:  [ 2 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))))))>
1544785428.333 * * * * [misc]progress:  [ 3 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) 1/2)))))>
1544785428.333 * * * * [misc]progress:  [ 4 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (sqrt (- (/ 1 x) 1)) 1)))))>
1544785428.333 * * * * [misc]progress:  [ 5 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.333 * * * * [misc]progress:  [ 6 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log (exp (sqrt (- (/ 1 x) 1))))))))>
1544785428.333 * * * * [misc]progress:  [ 7 / 88 ] 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))))))))>
1544785428.333 * * * * [misc]progress:  [ 8 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
1544785428.334 * * * * [misc]progress:  [ 9 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))))))>
1544785428.334 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544785428.335 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.339 * * [misc]simplify:  iters left: 5 (13 enodes)
1544785428.342 * * [misc]simplify:  iters left: 4 (14 enodes)
1544785428.346 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544785428.346 * [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))))))))
1544785428.346 * * * * [misc]progress:  [ 10 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544785428.347 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544785428.347 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785428.350 * * [misc]simplify:  iters left: 5 (11 enodes)
1544785428.354 * * [misc]simplify:  iters left: 4 (12 enodes)
1544785428.357 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544785428.357 * [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))))))))
1544785428.357 * * * * [misc]progress:  [ 11 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
1544785428.358 * [enter]simplify:  Simplifying (sqrt 1)
1544785428.358 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785428.359 * [exit]simplify:  Simplified to 1
1544785428.359 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))
1544785428.360 * * * * [misc]progress:  [ 12 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544785428.360 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544785428.360 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785428.363 * * [misc]simplify:  iters left: 5 (9 enodes)
1544785428.365 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544785428.366 * [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)))))))
1544785428.366 * * * * [misc]progress:  [ 13 / 88 ] 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)))))))))>
1544785428.366 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544785428.367 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.372 * * [misc]simplify:  iters left: 5 (20 enodes)
1544785428.382 * * [misc]simplify:  iters left: 4 (38 enodes)
1544785428.394 * * [misc]simplify:  iters left: 3 (47 enodes)
1544785428.408 * * [misc]simplify:  iters left: 2 (53 enodes)
1544785428.416 * * [misc]simplify:  iters left: 1 (59 enodes)
1544785428.425 * [exit]simplify:  Simplified to (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1))
1544785428.425 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544785428.425 * * * * [misc]progress:  [ 14 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))))))>
1544785428.425 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544785428.427 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.430 * * [misc]simplify:  iters left: 5 (18 enodes)
1544785428.433 * * [misc]simplify:  iters left: 4 (23 enodes)
1544785428.437 * * [misc]simplify:  iters left: 3 (31 enodes)
1544785428.442 * * [misc]simplify:  iters left: 2 (45 enodes)
1544785428.450 * * [misc]simplify:  iters left: 1 (64 enodes)
1544785428.473 * [exit]simplify:  Simplified to (sqrt (fma (/ 1 x) (/ 1 x) -1))
1544785428.473 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (sqrt (+ (/ 1 x) 1)))))))
1544785428.473 * * * * [misc]progress:  [ 15 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544785428.473 * * * * [misc]progress:  [ 16 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))>
1544785428.473 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544785428.474 * * [misc]simplify:  iters left: 5 (5 enodes)
1544785428.475 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785428.477 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785428.478 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544785428.478 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))
1544785428.478 * * * * [misc]progress:  [ 17 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))>
1544785428.479 * * * * [misc]progress:  [ 18 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 19 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 20 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) 1/2)) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 21 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (sqrt (- (/ 1 x) 1)) 1)) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 22 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 23 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log (exp (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 24 / 88 ] 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))))))>
1544785428.479 * * * * [misc]progress:  [ 25 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * * * * [misc]progress:  [ 26 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.479 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544785428.479 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.482 * * [misc]simplify:  iters left: 5 (13 enodes)
1544785428.483 * * [misc]simplify:  iters left: 4 (14 enodes)
1544785428.485 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544785428.485 * [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))))))
1544785428.485 * * * * [misc]progress:  [ 27 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.485 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544785428.486 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785428.488 * * [misc]simplify:  iters left: 5 (11 enodes)
1544785428.489 * * [misc]simplify:  iters left: 4 (12 enodes)
1544785428.491 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544785428.491 * [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))))))
1544785428.491 * * * * [misc]progress:  [ 28 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.491 * [enter]simplify:  Simplifying (sqrt 1)
1544785428.491 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785428.493 * [exit]simplify:  Simplified to 1
1544785428.493 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.493 * * * * [misc]progress:  [ 29 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.493 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544785428.494 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785428.496 * * [misc]simplify:  iters left: 5 (9 enodes)
1544785428.499 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544785428.499 * [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))))))
1544785428.499 * * * * [misc]progress:  [ 30 / 88 ] 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))))))>
1544785428.499 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544785428.500 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.509 * * [misc]simplify:  iters left: 5 (20 enodes)
1544785428.520 * * [misc]simplify:  iters left: 4 (38 enodes)
1544785428.531 * * [misc]simplify:  iters left: 3 (47 enodes)
1544785428.544 * * [misc]simplify:  iters left: 2 (53 enodes)
1544785428.557 * * [misc]simplify:  iters left: 1 (59 enodes)
1544785428.575 * [exit]simplify:  Simplified to (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1))
1544785428.575 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.575 * * * * [misc]progress:  [ 31 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.575 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544785428.576 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.582 * * [misc]simplify:  iters left: 5 (18 enodes)
1544785428.588 * * [misc]simplify:  iters left: 4 (23 enodes)
1544785428.594 * * [misc]simplify:  iters left: 3 (31 enodes)
1544785428.604 * * [misc]simplify:  iters left: 2 (45 enodes)
1544785428.616 * * [misc]simplify:  iters left: 1 (64 enodes)
1544785428.641 * [exit]simplify:  Simplified to (sqrt (fma (/ 1 x) (/ 1 x) -1))
1544785428.641 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.641 * * * * [misc]progress:  [ 32 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.641 * * * * [misc]progress:  [ 33 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.642 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544785428.642 * * [misc]simplify:  iters left: 5 (5 enodes)
1544785428.645 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785428.648 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785428.651 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544785428.651 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.651 * * * * [misc]progress:  [ 34 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.651 * * * * [misc]progress:  [ 35 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log1p (expm1 (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.651 * * * * [misc]progress:  [ 36 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (expm1 (log1p (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.651 * * * * [misc]progress:  [ 37 / 88 ] 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))))))))>
1544785428.652 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544785428.653 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.657 * * [misc]simplify:  iters left: 5 (15 enodes)
1544785428.661 * * [misc]simplify:  iters left: 4 (16 enodes)
1544785428.667 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544785428.667 * [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))))))))
1544785428.667 * * * * [misc]progress:  [ 38 / 88 ] 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))))))))>
1544785428.667 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
1544785428.668 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.673 * * [misc]simplify:  iters left: 5 (14 enodes)
1544785428.677 * * [misc]simplify:  iters left: 4 (15 enodes)
1544785428.682 * [exit]simplify:  Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
1544785428.682 * [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))))))))
1544785428.682 * * * * [misc]progress:  [ 39 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544785428.682 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.683 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.685 * * [misc]simplify:  iters left: 5 (12 enodes)
1544785428.687 * * [misc]simplify:  iters left: 4 (13 enodes)
1544785428.689 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.689 * [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))))))))
1544785428.689 * * * * [misc]progress:  [ 40 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))))))>
1544785428.689 * [enter]simplify:  Simplifying (log (sqrt 1))
1544785428.689 * * [misc]simplify:  iters left: 2 (3 enodes)
1544785428.690 * * [misc]simplify:  iters left: 1 (5 enodes)
1544785428.691 * [exit]simplify:  Simplified to 0
1544785428.691 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
1544785428.691 * * * * [misc]progress:  [ 41 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544785428.691 * [enter]simplify:  Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544785428.692 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.693 * * [misc]simplify:  iters left: 5 (10 enodes)
1544785428.695 * [exit]simplify:  Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544785428.695 * [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)))))))
1544785428.695 * * * * [misc]progress:  [ 42 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544785428.695 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.695 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.697 * * [misc]simplify:  iters left: 5 (12 enodes)
1544785428.699 * * [misc]simplify:  iters left: 4 (13 enodes)
1544785428.701 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.701 * [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))))))))
1544785428.701 * * * * [misc]progress:  [ 43 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log 1) (log (sqrt (- (/ 1 x) 1)))))))>
1544785428.701 * [enter]simplify:  Simplifying (log 1)
1544785428.702 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785428.703 * [exit]simplify:  Simplified to 0
1544785428.703 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
1544785428.703 * * * * [misc]progress:  [ 44 / 88 ] 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)))))))))>
1544785428.703 * [enter]simplify:  Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544785428.703 * * [misc]simplify:  iters left: 6 (9 enodes)
1544785428.707 * * [misc]simplify:  iters left: 5 (21 enodes)
1544785428.713 * * [misc]simplify:  iters left: 4 (39 enodes)
1544785428.725 * * [misc]simplify:  iters left: 3 (48 enodes)
1544785428.742 * * [misc]simplify:  iters left: 2 (54 enodes)
1544785428.756 * * [misc]simplify:  iters left: 1 (61 enodes)
1544785428.774 * [exit]simplify:  Simplified to (log (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544785428.774 * [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)))))))))
1544785428.774 * * * * [misc]progress:  [ 45 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))))))>
1544785428.774 * [enter]simplify:  Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544785428.775 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.782 * * [misc]simplify:  iters left: 5 (19 enodes)
1544785428.788 * * [misc]simplify:  iters left: 4 (24 enodes)
1544785428.794 * * [misc]simplify:  iters left: 3 (32 enodes)
1544785428.800 * * [misc]simplify:  iters left: 2 (46 enodes)
1544785428.808 * * [misc]simplify:  iters left: 1 (65 enodes)
1544785428.840 * [exit]simplify:  Simplified to (log (sqrt (fma (/ 1 x) (/ 1 x) -1)))
1544785428.840 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (fma (/ 1 x) (/ 1 x) -1))) (log (sqrt (+ (/ 1 x) 1)))))))
1544785428.840 * * * * [misc]progress:  [ 46 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1/2 (log (- (/ 1 x) 1))))))>
1544785428.840 * * * * [misc]progress:  [ 47 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
1544785428.840 * * * * [misc]progress:  [ 48 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (pow (log (sqrt (- (/ 1 x) 1))) 1))))>
1544785428.840 * * * * [misc]progress:  [ 49 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.840 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544785428.841 * * [misc]simplify:  iters left: 5 (5 enodes)
1544785428.844 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785428.847 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785428.849 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544785428.849 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.849 * * * * [misc]progress:  [ 50 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (exp (log (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.849 * * * * [misc]progress:  [ 51 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.849 * * * * [misc]progress:  [ 52 / 88 ] 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))))))))>
1544785428.849 * * * * [misc]progress:  [ 53 / 88 ] 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))))))))>
1544785428.849 * * * * [misc]progress:  [ 54 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))))))>
1544785428.849 * * * * [misc]progress:  [ 55 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
1544785428.849 * * * * [misc]progress:  [ 56 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log1p (expm1 (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.849 * * * * [misc]progress:  [ 57 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (expm1 (log1p (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.849 * * * * [misc]progress:  [ 58 / 88 ] 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))))))>
1544785428.849 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544785428.852 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.854 * * [misc]simplify:  iters left: 5 (15 enodes)
1544785428.856 * * [misc]simplify:  iters left: 4 (16 enodes)
1544785428.859 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
1544785428.859 * [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))))))
1544785428.859 * * * * [misc]progress:  [ 59 / 88 ] 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))))))>
1544785428.859 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
1544785428.860 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.862 * * [misc]simplify:  iters left: 5 (14 enodes)
1544785428.864 * * [misc]simplify:  iters left: 4 (15 enodes)
1544785428.866 * [exit]simplify:  Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
1544785428.867 * [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))))))
1544785428.867 * * * * [misc]progress:  [ 60 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.867 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.867 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.869 * * [misc]simplify:  iters left: 5 (12 enodes)
1544785428.871 * * [misc]simplify:  iters left: 4 (13 enodes)
1544785428.873 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.873 * [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))))))
1544785428.873 * * * * [misc]progress:  [ 61 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.874 * [enter]simplify:  Simplifying (log (sqrt 1))
1544785428.874 * * [misc]simplify:  iters left: 2 (3 enodes)
1544785428.876 * * [misc]simplify:  iters left: 1 (5 enodes)
1544785428.876 * [exit]simplify:  Simplified to 0
1544785428.876 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.876 * * * * [misc]progress:  [ 62 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.877 * [enter]simplify:  Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544785428.877 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.881 * * [misc]simplify:  iters left: 5 (10 enodes)
1544785428.884 * [exit]simplify:  Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
1544785428.884 * [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))))))
1544785428.884 * * * * [misc]progress:  [ 63 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.884 * [enter]simplify:  Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.885 * * [misc]simplify:  iters left: 6 (7 enodes)
1544785428.886 * * [misc]simplify:  iters left: 5 (12 enodes)
1544785428.888 * * [misc]simplify:  iters left: 4 (13 enodes)
1544785428.890 * [exit]simplify:  Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
1544785428.890 * [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))))))
1544785428.890 * * * * [misc]progress:  [ 64 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log 1) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.890 * [enter]simplify:  Simplifying (log 1)
1544785428.890 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785428.891 * [exit]simplify:  Simplified to 0
1544785428.891 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785428.891 * * * * [misc]progress:  [ 65 / 88 ] 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))))))>
1544785428.892 * [enter]simplify:  Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544785428.892 * * [misc]simplify:  iters left: 6 (9 enodes)
1544785428.896 * * [misc]simplify:  iters left: 5 (21 enodes)
1544785428.901 * * [misc]simplify:  iters left: 4 (39 enodes)
1544785428.908 * * [misc]simplify:  iters left: 3 (48 enodes)
1544785428.914 * * [misc]simplify:  iters left: 2 (54 enodes)
1544785428.921 * * [misc]simplify:  iters left: 1 (61 enodes)
1544785428.932 * [exit]simplify:  Simplified to (log (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544785428.932 * [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))))))
1544785428.932 * * * * [misc]progress:  [ 66 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785428.932 * [enter]simplify:  Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544785428.933 * * [misc]simplify:  iters left: 6 (8 enodes)
1544785428.936 * * [misc]simplify:  iters left: 5 (19 enodes)
1544785428.940 * * [misc]simplify:  iters left: 4 (24 enodes)
1544785428.943 * * [misc]simplify:  iters left: 3 (32 enodes)
1544785428.948 * * [misc]simplify:  iters left: 2 (46 enodes)
1544785428.961 * * [misc]simplify:  iters left: 1 (65 enodes)
1544785429.006 * [exit]simplify:  Simplified to (log (sqrt (fma (/ 1 x) (/ 1 x) -1)))
1544785429.006 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (fma (/ 1 x) (/ 1 x) -1))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
1544785429.006 * * * * [misc]progress:  [ 67 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/2 (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.006 * * * * [misc]progress:  [ 68 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.006 * * * * [misc]progress:  [ 69 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (pow (log (sqrt (- (/ 1 x) 1))) 1) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.007 * * * * [misc]progress:  [ 70 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.007 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544785429.007 * * [misc]simplify:  iters left: 5 (5 enodes)
1544785429.010 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785429.013 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785429.017 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544785429.017 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544785429.017 * * * * [misc]progress:  [ 71 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (exp (log (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.017 * * * * [misc]progress:  [ 72 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.017 * * * * [misc]progress:  [ 73 / 88 ] 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))))))>
1544785429.017 * * * * [misc]progress:  [ 74 / 88 ] 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))))))>
1544785429.017 * * * * [misc]progress:  [ 75 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.017 * * * * [misc]progress:  [ 76 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.017 * * * * [misc]progress:  [ 77 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
1544785429.018 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544785429.018 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0))))
1544785429.018 * * * * [misc]progress:  [ 78 / 88 ] 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)))))))))>
1544785429.018 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544785429.020 * * [misc]simplify:  iters left: 6 (18 enodes)
1544785429.034 * * [misc]simplify:  iters left: 5 (42 enodes)
1544785429.063 * * [misc]simplify:  iters left: 4 (89 enodes)
1544785429.093 * * [misc]simplify:  iters left: 3 (163 enodes)
1544785429.133 * * [misc]simplify:  iters left: 2 (254 enodes)
1544785429.356 * [exit]simplify:  Simplified to (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))
1544785429.356 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))))))
1544785429.356 * * * * [misc]progress:  [ 79 / 88 ] 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)))))))))>
1544785429.356 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544785429.357 * * [misc]simplify:  iters left: 6 (18 enodes)
1544785429.367 * * [misc]simplify:  iters left: 5 (42 enodes)
1544785429.380 * * [misc]simplify:  iters left: 4 (89 enodes)
1544785429.408 * * [misc]simplify:  iters left: 3 (163 enodes)
1544785429.448 * * [misc]simplify:  iters left: 2 (254 enodes)
1544785429.659 * [exit]simplify:  Simplified to (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))
1544785429.659 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))))))
1544785429.659 * * * * [misc]progress:  [ 80 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785429.659 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544785429.659 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1))))))
1544785429.659 * * * * [misc]progress:  [ 81 / 88 ] 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))))))>
1544785429.660 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544785429.661 * * [misc]simplify:  iters left: 6 (18 enodes)
1544785429.674 * * [misc]simplify:  iters left: 5 (42 enodes)
1544785429.700 * * [misc]simplify:  iters left: 4 (89 enodes)
1544785429.740 * * [misc]simplify:  iters left: 3 (163 enodes)
1544785429.771 * * [misc]simplify:  iters left: 2 (254 enodes)
1544785429.970 * [exit]simplify:  Simplified to (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))
1544785429.970 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))) (log (sqrt (- (/ 1 x) 1))))))
1544785429.970 * * * * [misc]progress:  [ 82 / 88 ] 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))))))>
1544785429.971 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544785429.973 * * [misc]simplify:  iters left: 6 (18 enodes)
1544785429.986 * * [misc]simplify:  iters left: 5 (42 enodes)
1544785430.012 * * [misc]simplify:  iters left: 4 (89 enodes)
1544785430.053 * * [misc]simplify:  iters left: 3 (163 enodes)
1544785430.112 * * [misc]simplify:  iters left: 2 (254 enodes)
1544785430.347 * [exit]simplify:  Simplified to (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))
1544785430.348 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)) (/ -1/8 (* (* x x) (sqrt -1))))) (log (sqrt (- (/ 1 x) 1))))))
1544785430.348 * * * * [misc]progress:  [ 83 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))))))>
1544785430.348 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544785430.348 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) +nan.0)))
1544785430.348 * * * * [misc]progress:  [ 84 / 88 ] 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))))))))>
1544785430.348 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544785430.350 * * [misc]simplify:  iters left: 6 (20 enodes)
1544785430.360 * * [misc]simplify:  iters left: 5 (41 enodes)
1544785430.373 * * [misc]simplify:  iters left: 4 (81 enodes)
1544785430.412 * * [misc]simplify:  iters left: 3 (144 enodes)
1544785430.476 * * [misc]simplify:  iters left: 2 (239 enodes)
1544785430.559 * * [misc]simplify:  iters left: 1 (358 enodes)
1544785430.816 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544785430.816 * [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)))))))
1544785430.816 * * * * [misc]progress:  [ 85 / 88 ] 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))))))))>
1544785430.816 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544785430.818 * * [misc]simplify:  iters left: 6 (20 enodes)
1544785430.824 * * [misc]simplify:  iters left: 5 (41 enodes)
1544785430.838 * * [misc]simplify:  iters left: 4 (81 enodes)
1544785430.891 * * [misc]simplify:  iters left: 3 (144 enodes)
1544785430.976 * * [misc]simplify:  iters left: 2 (239 enodes)
1544785431.064 * * [misc]simplify:  iters left: 1 (358 enodes)
1544785431.265 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544785431.265 * [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)))))))
1544785431.265 * * * * [misc]progress:  [ 86 / 88 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) (log (sqrt (- (/ 1 x) 1))))))>
1544785431.266 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1544785431.266 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ +nan.0 (log (sqrt (- (/ 1 x) 1))))))
1544785431.266 * * * * [misc]progress:  [ 87 / 88 ] 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))))))>
1544785431.266 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544785431.267 * * [misc]simplify:  iters left: 6 (20 enodes)
1544785431.274 * * [misc]simplify:  iters left: 5 (41 enodes)
1544785431.287 * * [misc]simplify:  iters left: 4 (81 enodes)
1544785431.319 * * [misc]simplify:  iters left: 3 (144 enodes)
1544785431.390 * * [misc]simplify:  iters left: 2 (239 enodes)
1544785431.509 * * [misc]simplify:  iters left: 1 (358 enodes)
1544785431.784 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544785431.784 * [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))))))
1544785431.784 * * * * [misc]progress:  [ 88 / 88 ] 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))))))>
1544785431.785 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4)))))
1544785431.787 * * [misc]simplify:  iters left: 6 (20 enodes)
1544785431.800 * * [misc]simplify:  iters left: 5 (41 enodes)
1544785431.824 * * [misc]simplify:  iters left: 4 (81 enodes)
1544785431.876 * * [misc]simplify:  iters left: 3 (144 enodes)
1544785431.938 * * [misc]simplify:  iters left: 2 (239 enodes)
1544785432.036 * * [misc]simplify:  iters left: 1 (358 enodes)
1544785432.312 * [exit]simplify:  Simplified to (+ (/ (/ (/ -1/4 x) x) (pow (sqrt -1) 4)) (+ (/ -1/2 x) (log (sqrt -1))))
1544785432.312 * [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))))))
1544785432.312 * * * [misc]progress:  adding candidates to table
1544785434.004 * [misc]progress:  [Phase 3 of 3] Extracting.
1544785434.005 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.007 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1544785434.007 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.048 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.090 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.141 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.184 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
1544785434.229 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1544785434.229 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544785434.230 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785434.231 * * [misc]simplify:  iters left: 5 (8 enodes)
1544785434.232 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544785434.232 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544785435.488 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785435.489 * * * * [misc]points:  Sampling 5959 additional inputs, on iter 1 have 2041 / 8000
1544785436.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785436.672 * * * * [misc]points:  Sampling 4433 additional inputs, on iter 2 have 3567 / 8000
1544785437.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785437.335 * * * * [misc]points:  Sampling 3340 additional inputs, on iter 3 have 4660 / 8000
1544785437.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785437.798 * * * * [misc]points:  Sampling 2514 additional inputs, on iter 4 have 5486 / 8000
1544785438.206 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785438.206 * * * * [misc]points:  Sampling 1873 additional inputs, on iter 5 have 6127 / 8000
1544785438.532 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785438.532 * * * * [misc]points:  Sampling 1435 additional inputs, on iter 6 have 6565 / 8000
1544785438.758 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785438.758 * * * * [misc]points:  Sampling 1100 additional inputs, on iter 7 have 6900 / 8000
1544785438.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785438.970 * * * * [misc]points:  Sampling 822 additional inputs, on iter 8 have 7178 / 8000
1544785439.099 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.099 * * * * [misc]points:  Sampling 606 additional inputs, on iter 9 have 7394 / 8000
1544785439.578 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.578 * * * * [misc]points:  Sampling 457 additional inputs, on iter 10 have 7543 / 8000
1544785439.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.647 * * * * [misc]points:  Sampling 348 additional inputs, on iter 11 have 7652 / 8000
1544785439.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.675 * * * * [misc]points:  Sampling 259 additional inputs, on iter 12 have 7741 / 8000
1544785439.741 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.741 * * * * [misc]points:  Sampling 193 additional inputs, on iter 13 have 7807 / 8000
1544785439.757 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.757 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1544785439.769 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.770 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1544785439.784 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.784 * * * * [misc]points:  Sampling 86 additional inputs, on iter 16 have 7914 / 8000
1544785439.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.799 * * * * [misc]points:  Sampling 69 additional inputs, on iter 17 have 7931 / 8000
1544785439.812 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.812 * * * * [misc]points:  Sampling 61 additional inputs, on iter 18 have 7939 / 8000
1544785439.823 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.823 * * * * [misc]points:  Sampling 46 additional inputs, on iter 19 have 7954 / 8000
1544785439.832 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.832 * * * * [misc]points:  Sampling 37 additional inputs, on iter 20 have 7963 / 8000
1544785439.836 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.836 * * * * [misc]points:  Sampling 27 additional inputs, on iter 21 have 7973 / 8000
1544785439.840 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.840 * * * * [misc]points:  Sampling 23 additional inputs, on iter 22 have 7977 / 8000
1544785439.843 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.843 * * * * [misc]points:  Sampling 16 additional inputs, on iter 23 have 7984 / 8000
1544785439.871 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.871 * * * * [misc]points:  Sampling 11 additional inputs, on iter 24 have 7989 / 8000
1544785439.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.873 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1544785439.875 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.875 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1544785439.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.877 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1544785439.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.878 * * * * [misc]points:  Sampling 5 additional inputs, on iter 28 have 7995 / 8000
1544785439.880 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.880 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7996 / 8000
1544785439.883 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.883 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7996 / 8000
1544785439.884 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.884 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7996 / 8000
1544785439.886 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.886 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7997 / 8000
1544785439.887 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.888 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 7998 / 8000
1544785439.889 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785439.889 * * * * [exit]points:  Sampled 8000 points with exact outputs