1545391182.952 * [misc]progress:  [Phase 1 of 3] Setting up.
1545391182.954 * * * [misc]progress:  [1/2] Preparing points
1545391182.954 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545391183.104 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.104 * * * * [misc]points:  Sampling 189 additional inputs, on iter 1 have 67 / 256
1545391183.121 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.121 * * * * [misc]points:  Sampling 138 additional inputs, on iter 2 have 118 / 256
1545391183.142 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.142 * * * * [misc]points:  Sampling 97 additional inputs, on iter 3 have 159 / 256
1545391183.159 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.159 * * * * [misc]points:  Sampling 76 additional inputs, on iter 4 have 180 / 256
1545391183.202 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.203 * * * * [misc]points:  Sampling 53 additional inputs, on iter 5 have 203 / 256
1545391183.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.214 * * * * [misc]points:  Sampling 41 additional inputs, on iter 6 have 215 / 256
1545391183.223 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.223 * * * * [misc]points:  Sampling 26 additional inputs, on iter 7 have 230 / 256
1545391183.230 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.230 * * * * [misc]points:  Sampling 18 additional inputs, on iter 8 have 238 / 256
1545391183.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.493 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 242 / 256
1545391183.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.495 * * * * [misc]points:  Sampling 11 additional inputs, on iter 10 have 245 / 256
1545391183.498 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.498 * * * * [misc]points:  Sampling 9 additional inputs, on iter 11 have 247 / 256
1545391183.504 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.504 * * * * [misc]points:  Sampling 5 additional inputs, on iter 12 have 251 / 256
1545391183.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.506 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
1545391183.508 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.508 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1545391183.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391183.510 * * * * [exit]points:  Sampled 256 points with exact outputs
1545391183.511 * * * [misc]progress:  [2/2] Setting up program.
1545391183.518 * [misc]progress:  [Phase 2 of 3] Improving.
1545391183.519 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1545391183.520 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391183.530 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391183.532 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391183.535 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1545391183.543 * * [misc]progress:  iteration 1 / 4
1545391183.543 * * * [misc]progress:  picking best candidate
1545391183.546 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1545391183.546 * * * [misc]progress:  localizing error
1545391183.560 * * * [misc]progress:  generating rewritten candidates
1545391183.560 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1545391183.568 * * * [misc]progress:  generating series expansions
1545391183.569 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1545391183.576 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1545391183.576 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1545391183.577 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391183.577 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391183.577 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391183.577 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.577 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.577 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.578 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391183.578 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.578 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.579 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391183.579 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391183.579 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391183.579 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391183.579 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391183.579 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.579 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.579 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.579 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391183.579 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.579 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.580 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391183.580 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391183.581 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391183.581 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1545391183.582 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391183.582 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.583 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391183.587 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391183.587 * [misc]backup-simplify:  Simplify -1 into -1
1545391183.588 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545391183.588 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391183.588 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391183.593 * [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
1545391183.593 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391183.593 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391183.594 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1545391183.594 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1545391183.594 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391183.594 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391183.594 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.594 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.594 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.594 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.594 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.594 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.594 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391183.594 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.594 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391183.594 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391183.594 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.594 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.594 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.594 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.594 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.595 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.595 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391183.595 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.595 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.595 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391183.595 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391183.598 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391183.598 * [misc]backup-simplify:  Simplify -1 into -1
1545391183.598 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391183.598 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391183.602 * [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
1545391183.602 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391183.603 * [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)))))
1545391183.603 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1545391183.603 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1545391183.603 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391183.603 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391183.603 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391183.603 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.603 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.603 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.603 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.603 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.603 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391183.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.604 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.604 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391183.604 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391183.604 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391183.604 * [misc]taylor:  Taking taylor expansion of x in x
1545391183.604 * [misc]backup-simplify:  Simplify 0 into 0
1545391183.604 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.604 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391183.604 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.604 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391183.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.605 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.605 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.605 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391183.605 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391183.605 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.605 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.608 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391183.608 * [misc]backup-simplify:  Simplify 1 into 1
1545391183.608 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.608 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.608 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391183.608 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391183.609 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391183.613 * [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
1545391183.613 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391183.613 * [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)))))
1545391183.631 * * * [misc]progress:  simplifying candidates
1545391183.632 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (- (/ 1 x) 1))))))>
1545391183.632 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (- (/ 1 x) 1))))))>
1545391183.632 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
1545391183.633 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545391183.633 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391183.637 * * [misc]simplify:  iters left: 5 (14 enodes)
1545391183.641 * * [misc]simplify:  iters left: 4 (15 enodes)
1545391183.645 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545391183.645 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
1545391183.646 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1545391183.646 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1545391183.646 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391183.648 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391183.650 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391183.651 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1545391183.651 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1545391183.651 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
1545391183.651 * [enter]simplify:  Simplifying (log 1)
1545391183.651 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391183.652 * [exit]simplify:  Simplified to 0
1545391183.652 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
1545391183.652 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
1545391183.652 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1545391183.652 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391183.653 * * [misc]simplify:  iters left: 5 (9 enodes)
1545391183.655 * * [misc]simplify:  iters left: 4 (10 enodes)
1545391183.656 * [exit]simplify:  Simplified to (log1p (sqrt (/ 1 x)))
1545391183.656 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))))
1545391183.656 * * * * [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)))))))>
1545391183.656 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1545391183.656 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391183.659 * * [misc]simplify:  iters left: 5 (20 enodes)
1545391183.663 * * [misc]simplify:  iters left: 4 (38 enodes)
1545391183.668 * * [misc]simplify:  iters left: 3 (47 enodes)
1545391183.674 * * [misc]simplify:  iters left: 2 (53 enodes)
1545391183.685 * * [misc]simplify:  iters left: 1 (59 enodes)
1545391183.696 * [exit]simplify:  Simplified to (log (fma (/ (/ 1 x) x) (/ 1 x) -1))
1545391183.696 * [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)))))))
1545391183.696 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
1545391183.696 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1545391183.696 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391183.699 * * [misc]simplify:  iters left: 5 (18 enodes)
1545391183.702 * * [misc]simplify:  iters left: 4 (23 enodes)
1545391183.704 * * [misc]simplify:  iters left: 3 (31 enodes)
1545391183.740 * * [misc]simplify:  iters left: 2 (48 enodes)
1545391183.752 * * [misc]simplify:  iters left: 1 (71 enodes)
1545391183.781 * [exit]simplify:  Simplified to (log (fma (/ 1 x) (/ 1 x) -1))
1545391183.781 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (fma (/ 1 x) (/ 1 x) -1)) (log (+ (/ 1 x) 1)))))
1545391183.782 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1545391183.782 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
1545391183.782 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1545391183.782 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1545391183.782 * * [misc]simplify:  iters left: 4 (4 enodes)
1545391183.784 * * [misc]simplify:  iters left: 3 (9 enodes)
1545391183.785 * * [misc]simplify:  iters left: 2 (10 enodes)
1545391183.786 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1545391183.787 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1545391183.787 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
1545391183.787 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1545391183.787 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
1545391183.787 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
1545391183.787 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1545391183.787 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1545391183.787 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1545391183.787 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391183.787 * * [misc]simplify:  iters left: 6 (9 enodes)
1545391183.789 * * [misc]simplify:  iters left: 5 (19 enodes)
1545391183.792 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391183.803 * * [misc]simplify:  iters left: 3 (85 enodes)
1545391183.922 * * [misc]simplify:  iters left: 2 (154 enodes)
1545391183.966 * * [misc]simplify:  iters left: 1 (200 enodes)
1545391184.065 * [exit]simplify:  Simplified to (- (* (fma -1/2 x -1) x) (log x))
1545391184.065 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (fma -1/2 x -1) x) (log x))))
1545391184.065 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545391184.066 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391184.066 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391184.069 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391184.074 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391184.082 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391184.099 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391184.117 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391184.152 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391184.152 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1545391184.153 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545391184.153 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391184.153 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391184.158 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391184.167 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391184.182 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391184.215 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391184.232 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391184.264 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391184.264 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1545391184.264 * * * [misc]progress:  adding candidates to table
1545391184.414 * * [misc]progress:  iteration 2 / 4
1545391184.414 * * * [misc]progress:  picking best candidate
1545391184.420 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.420 * * * [misc]progress:  localizing error
1545391184.435 * * * [misc]progress:  generating rewritten candidates
1545391184.435 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1545391184.451 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1545391184.458 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1545391184.466 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545391184.472 * * * [misc]progress:  generating series expansions
1545391184.472 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1545391184.472 * [misc]backup-simplify:  Simplify (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) into (log (- (/ 1 x) 1))
1545391184.473 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1545391184.473 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.473 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.473 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.473 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.473 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.473 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.473 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.473 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.473 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.473 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.473 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.474 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.474 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.474 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.474 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.474 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.474 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.474 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.474 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.474 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.474 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.474 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.475 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.475 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1545391184.475 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.475 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.475 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.478 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.478 * [misc]backup-simplify:  Simplify -1 into -1
1545391184.478 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545391184.479 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.479 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.483 * [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
1545391184.483 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.484 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391184.484 * [misc]backup-simplify:  Simplify (* (sqrt (log (- (/ 1 (/ 1 x)) 1))) (sqrt (log (- (/ 1 (/ 1 x)) 1)))) into (log (- x 1))
1545391184.484 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1545391184.484 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.484 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.484 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.484 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.484 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.484 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.484 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.484 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.485 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.485 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.485 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.485 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.485 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.485 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.485 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.485 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.485 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.485 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.485 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.486 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.486 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.486 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.486 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.489 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.489 * [misc]backup-simplify:  Simplify -1 into -1
1545391184.489 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.489 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.494 * [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
1545391184.494 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.494 * [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)))))
1545391184.495 * [misc]backup-simplify:  Simplify (* (sqrt (log (- (/ 1 (/ 1 (- x))) 1))) (sqrt (log (- (/ 1 (/ 1 (- x))) 1)))) into (log (- (+ x 1)))
1545391184.495 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1545391184.495 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.495 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.495 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.495 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.495 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.495 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.495 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.495 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.495 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.495 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.496 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.496 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.496 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.496 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.496 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.496 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.496 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.496 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.496 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.496 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.496 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.496 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.497 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.497 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.497 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.497 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.497 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.498 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.500 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.501 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.501 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.501 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.501 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.501 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.501 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.505 * [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
1545391184.505 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.505 * [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)))))
1545391184.505 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1545391184.505 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 x) 1))) into (sqrt (log (- (/ 1 x) 1)))
1545391184.505 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in (x) around 0
1545391184.505 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in x
1545391184.505 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.505 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.505 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.505 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.505 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.505 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.505 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.505 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.506 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.506 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.506 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.506 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.506 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.506 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.506 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.506 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.507 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.508 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.508 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.508 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (- (log x))))) into (/ -1/2 (sqrt (- (log x))))
1545391184.508 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in x
1545391184.508 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.508 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.508 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.509 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.509 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.509 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.509 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.509 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.509 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.509 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.509 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.509 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.509 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.509 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.509 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.509 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.510 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.511 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.511 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.511 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (- (log x))))) into (/ -1/2 (sqrt (- (log x))))
1545391184.511 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.511 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt (- (log x)))) into (/ -1/2 (sqrt (- (log x))))
1545391184.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545391184.512 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.512 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.515 * [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
1545391184.515 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (/ -1/2 (sqrt (- (log x)))) 2) (+)) (* 2 (sqrt (- (log x))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x)))))
1545391184.515 * [misc]backup-simplify:  Simplify (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x)))))
1545391184.516 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x))))) (pow x 2)) (+ (* (/ -1/2 (sqrt (- (log x)))) x) (sqrt (- (log x))))) into (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x))))))))
1545391184.516 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 (/ 1 x)) 1))) into (sqrt (log (- x 1)))
1545391184.516 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- x 1))) in (x) around 0
1545391184.516 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- x 1))) in x
1545391184.516 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.516 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.516 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.516 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.516 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.516 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.516 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.516 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.516 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.516 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.517 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.517 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.517 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.518 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.519 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.519 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- x 1))) in x
1545391184.519 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.519 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.519 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.519 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.519 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.519 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.519 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.519 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.519 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.519 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.520 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.520 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.520 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.521 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.522 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.522 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.522 * [misc]backup-simplify:  Simplify (* -1/2 (sqrt (/ 1 (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.523 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.523 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.529 * [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
1545391184.531 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (log -1)))) 2) (+)) (* 2 (sqrt (log -1)))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.532 * [misc]backup-simplify:  Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.534 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) (pow (/ 1 x) 2)) (+ (* (* -1/2 (sqrt (/ 1 (log -1)))) (/ 1 x)) (sqrt (log -1)))) into (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391184.535 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 (/ 1 (- x))) 1))) into (sqrt (log (- (+ x 1))))
1545391184.535 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in (x) around 0
1545391184.535 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in x
1545391184.535 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.535 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.535 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.535 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.535 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.535 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.535 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.535 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.535 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.535 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.535 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.535 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.535 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.536 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.536 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.536 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.537 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.538 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.538 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in x
1545391184.538 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.538 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.538 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.538 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.538 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.538 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.538 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.538 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.538 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.538 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.538 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.538 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.539 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.539 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.539 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.539 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.540 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.541 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.541 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.541 * [misc]backup-simplify:  Simplify (* 1/2 (sqrt (/ 1 (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.542 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.542 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.542 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.542 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.542 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.544 * [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
1545391184.546 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (* 1/2 (sqrt (/ 1 (log -1)))) 2) (+)) (* 2 (sqrt (log -1)))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.547 * [misc]backup-simplify:  Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.550 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) (pow (/ 1 (- x)) 2)) (+ (* (* 1/2 (sqrt (/ 1 (log -1)))) (/ 1 (- x))) (sqrt (log -1)))) into (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391184.550 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1545391184.550 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 x) 1))) into (sqrt (log (- (/ 1 x) 1)))
1545391184.550 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in (x) around 0
1545391184.550 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in x
1545391184.550 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.550 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.550 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.550 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.550 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.550 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.550 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.550 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.550 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.550 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.550 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.551 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.551 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.551 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.551 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.551 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.551 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.553 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.553 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.553 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (- (log x))))) into (/ -1/2 (sqrt (- (log x))))
1545391184.553 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (/ 1 x) 1))) in x
1545391184.553 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.553 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.553 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.553 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.553 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.553 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.553 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.553 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.553 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.553 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.553 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.554 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.554 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.554 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.554 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.554 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.554 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.556 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.556 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.556 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (- (log x))))) into (/ -1/2 (sqrt (- (log x))))
1545391184.556 * [misc]backup-simplify:  Simplify (sqrt (- (log x))) into (sqrt (- (log x)))
1545391184.556 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt (- (log x)))) into (/ -1/2 (sqrt (- (log x))))
1545391184.556 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545391184.556 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.556 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.559 * [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
1545391184.559 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (/ -1/2 (sqrt (- (log x)))) 2) (+)) (* 2 (sqrt (- (log x))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x)))))
1545391184.559 * [misc]backup-simplify:  Simplify (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x)))))
1545391184.560 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (log x))) 2))) 1/2) (sqrt (- (log x))))) (pow x 2)) (+ (* (/ -1/2 (sqrt (- (log x)))) x) (sqrt (- (log x))))) into (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x))))))))
1545391184.560 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 (/ 1 x)) 1))) into (sqrt (log (- x 1)))
1545391184.560 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- x 1))) in (x) around 0
1545391184.560 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- x 1))) in x
1545391184.560 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.560 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.560 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.560 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.560 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.560 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.560 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.560 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.560 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.561 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.561 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.561 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.561 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.563 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.563 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.563 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- x 1))) in x
1545391184.563 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.563 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.563 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.563 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.563 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.563 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.563 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.563 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.564 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.564 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.564 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.564 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.564 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.565 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.566 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.566 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.567 * [misc]backup-simplify:  Simplify (* -1/2 (sqrt (/ 1 (log -1)))) into (* -1/2 (sqrt (/ 1 (log -1))))
1545391184.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.570 * [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
1545391184.571 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (log -1)))) 2) (+)) (* 2 (sqrt (log -1)))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.572 * [misc]backup-simplify:  Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.574 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) (pow (/ 1 x) 2)) (+ (* (* -1/2 (sqrt (/ 1 (log -1)))) (/ 1 x)) (sqrt (log -1)))) into (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391184.575 * [misc]backup-simplify:  Simplify (sqrt (log (- (/ 1 (/ 1 (- x))) 1))) into (sqrt (log (- (+ x 1))))
1545391184.575 * [misc]approximate:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in (x) around 0
1545391184.575 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in x
1545391184.575 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.575 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.575 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.575 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.575 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.575 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.575 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.575 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.575 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.575 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.575 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.575 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.576 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.576 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.576 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.576 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.578 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.578 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.578 * [misc]taylor:  Taking taylor expansion of (sqrt (log (- (+ x 1)))) in x
1545391184.579 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.579 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.579 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.579 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.579 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.579 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.579 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.579 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.579 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.579 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.579 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.579 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.579 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.579 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.579 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.580 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.581 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.581 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.582 * [misc]backup-simplify:  Simplify (sqrt (log -1)) into (sqrt (log -1))
1545391184.582 * [misc]backup-simplify:  Simplify (* 1/2 (sqrt (/ 1 (log -1)))) into (* 1/2 (sqrt (/ 1 (log -1))))
1545391184.582 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.582 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.583 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.583 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.585 * [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
1545391184.587 * [misc]backup-simplify:  Simplify (/ (- -1/2 (pow (* 1/2 (sqrt (/ 1 (log -1)))) 2) (+)) (* 2 (sqrt (log -1)))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.588 * [misc]backup-simplify:  Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1)))))
1545391184.590 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (log -1))) 1/2) (sqrt (/ 1 (log -1))))) (pow (/ 1 (- x)) 2)) (+ (* (* 1/2 (sqrt (/ 1 (log -1)))) (/ 1 (- x))) (sqrt (log -1)))) into (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391184.590 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545391184.590 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1545391184.590 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1545391184.590 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.590 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.590 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.590 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.590 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.590 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.591 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.591 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.591 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.591 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.591 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.591 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545391184.591 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545391184.591 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545391184.591 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.591 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.591 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.591 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545391184.591 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.591 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.591 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.591 * [misc]backup-simplify:  Simplify (log 1) into 0
1545391184.591 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545391184.591 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1545391184.592 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545391184.592 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.592 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.593 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545391184.593 * [misc]backup-simplify:  Simplify -1 into -1
1545391184.594 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545391184.594 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.594 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.596 * [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
1545391184.596 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.597 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391184.597 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1545391184.597 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1545391184.597 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.597 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.597 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.597 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.597 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.597 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.597 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.597 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.597 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.597 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.597 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545391184.597 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545391184.597 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.597 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.597 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.597 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.597 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.597 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.597 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545391184.598 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.598 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.598 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.598 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.600 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545391184.600 * [misc]backup-simplify:  Simplify -1 into -1
1545391184.600 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.600 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.602 * [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
1545391184.602 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.603 * [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)))))
1545391184.603 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1545391184.603 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1545391184.603 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.603 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.603 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.603 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.603 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.603 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.603 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.603 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.603 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.603 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.603 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.603 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.603 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545391184.603 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545391184.604 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545391184.604 * [misc]taylor:  Taking taylor expansion of x in x
1545391184.604 * [misc]backup-simplify:  Simplify 0 into 0
1545391184.604 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.604 * [misc]taylor:  Taking taylor expansion of 1 in x
1545391184.604 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.604 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545391184.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.604 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.604 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545391184.604 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545391184.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.604 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.606 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545391184.606 * [misc]backup-simplify:  Simplify 1 into 1
1545391184.606 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.606 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.606 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545391184.607 * [misc]backup-simplify:  Simplify (- 0) into 0
1545391184.607 * [misc]backup-simplify:  Simplify (- 1) into -1
1545391184.609 * [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
1545391184.609 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545391184.609 * [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)))))
1545391184.610 * * * [misc]progress:  simplifying candidates
1545391184.610 * * * * [misc]progress:  [ 1 / 93 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.610 * * * * [misc]progress:  [ 2 / 93 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.610 * * * * [misc]progress:  [ 3 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) (+ 1/2 1/2))))>
1545391184.610 * [enter]simplify:  Simplifying (log (- (/ 1 x) 1))
1545391184.610 * * [misc]simplify:  iters left: 5 (5 enodes)
1545391184.611 * * [misc]simplify:  iters left: 4 (10 enodes)
1545391184.613 * * [misc]simplify:  iters left: 3 (11 enodes)
1545391184.614 * [exit]simplify:  Simplified to (log (- (/ 1 x) 1))
1545391184.614 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (pow (log (- (/ 1 x) 1)) (+ 1/2 1/2))))
1545391184.614 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1545391184.614 * * [misc]simplify:  iters left: 2 (2 enodes)
1545391184.615 * * [misc]simplify:  iters left: 1 (3 enodes)
1545391184.616 * [exit]simplify:  Simplified to 1
1545391184.616 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))
1545391184.616 * * * * [misc]progress:  [ 4 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) (+ 1 1))))>
1545391184.616 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.616 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.617 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.619 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.620 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.620 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) (+ 1 1))))
1545391184.620 * [enter]simplify:  Simplifying (+ 1 1)
1545391184.620 * * [misc]simplify:  iters left: 2 (2 enodes)
1545391184.621 * * [misc]simplify:  iters left: 1 (5 enodes)
1545391184.622 * [exit]simplify:  Simplified to 2
1545391184.622 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) 2)))
1545391184.622 * * * * [misc]progress:  [ 5 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1/2)))>
1545391184.622 * [enter]simplify:  Simplifying (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))
1545391184.622 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.624 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.625 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.630 * [exit]simplify:  Simplified to (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))
1545391184.630 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (pow (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1/2)))
1545391184.630 * * * * [misc]progress:  [ 6 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) 1)))>
1545391184.630 * [enter]simplify:  Simplifying (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))
1545391184.630 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.632 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.634 * * [misc]simplify:  iters left: 4 (14 enodes)
1545391184.635 * [exit]simplify:  Simplified to (log (- (/ 1 x) 1))
1545391184.636 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))
1545391184.636 * * * * [misc]progress:  [ 7 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) 2)))>
1545391184.636 * * * * [misc]progress:  [ 8 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) (+ 1 1))))>
1545391184.636 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.636 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.637 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.638 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.640 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.640 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (pow (sqrt (log (- (/ 1 x) 1))) (+ 1 1))))
1545391184.640 * * * * [misc]progress:  [ 9 / 93 ] simplifiying candidate #<alt (λ (x) (- (pow (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) 1)))>
1545391184.640 * * * * [misc]progress:  [ 10 / 93 ] simplifiying candidate #<alt (λ (x) (- (exp (+ (log (sqrt (log (- (/ 1 x) 1)))) (log (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.640 * [enter]simplify:  Simplifying (+ (log (sqrt (log (- (/ 1 x) 1)))) (log (sqrt (log (- (/ 1 x) 1)))))
1545391184.640 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.642 * * [misc]simplify:  iters left: 5 (13 enodes)
1545391184.644 * * [misc]simplify:  iters left: 4 (14 enodes)
1545391184.645 * [exit]simplify:  Simplified to (+ (log (sqrt (log (- (/ 1 x) 1)))) (log (sqrt (log (- (/ 1 x) 1)))))
1545391184.646 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (exp (+ (log (sqrt (log (- (/ 1 x) 1)))) (log (sqrt (log (- (/ 1 x) 1))))))))
1545391184.646 * * * * [misc]progress:  [ 11 / 93 ] simplifiying candidate #<alt (λ (x) (- (exp (log (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.646 * * * * [misc]progress:  [ 12 / 93 ] simplifiying candidate #<alt (λ (x) (- (log (exp (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.646 * * * * [misc]progress:  [ 13 / 93 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))) (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.646 * [enter]simplify:  Simplifying (* (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))) (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))
1545391184.646 * * [misc]simplify:  iters left: 6 (9 enodes)
1545391184.648 * * [misc]simplify:  iters left: 5 (19 enodes)
1545391184.651 * * [misc]simplify:  iters left: 4 (29 enodes)
1545391184.656 * * [misc]simplify:  iters left: 3 (34 enodes)
1545391184.661 * * [misc]simplify:  iters left: 2 (37 enodes)
1545391184.666 * * [misc]simplify:  iters left: 1 (40 enodes)
1545391184.671 * [exit]simplify:  Simplified to (pow (log (- (/ 1 x) 1)) 3)
1545391184.671 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) 3))))
1545391184.671 * * * * [misc]progress:  [ 14 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))) (cbrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))) (cbrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.671 * * * * [misc]progress:  [ 15 / 93 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))) (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.671 * * * * [misc]progress:  [ 16 / 93 ] simplifiying candidate #<alt (λ (x) (- (sqrt (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))))>
1545391184.671 * [enter]simplify:  Simplifying (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))
1545391184.671 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.673 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.674 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.676 * [exit]simplify:  Simplified to (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))
1545391184.676 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (sqrt (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))))
1545391184.676 * * * * [misc]progress:  [ 17 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))) (sqrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.676 * * * * [misc]progress:  [ 18 / 93 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1545391184.676 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1545391184.676 * * [misc]simplify:  iters left: 4 (4 enodes)
1545391184.677 * * [misc]simplify:  iters left: 3 (9 enodes)
1545391184.679 * * [misc]simplify:  iters left: 2 (10 enodes)
1545391184.680 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1545391184.680 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1545391184.680 * * * * [misc]progress:  [ 19 / 93 ] simplifiying candidate #<alt (λ (x) (- (* 1 (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.680 * * * * [misc]progress:  [ 20 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1)))))) (cbrt (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.680 * [enter]simplify:  Simplifying (cbrt (sqrt (log (- (/ 1 x) 1))))
1545391184.680 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.682 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.683 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.685 * [exit]simplify:  Simplified to (cbrt (sqrt (log (- (/ 1 x) 1))))
1545391184.685 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1)))))) (cbrt (sqrt (log (- (/ 1 x) 1)))))))
1545391184.685 * * * * [misc]progress:  [ 21 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt 1)) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.685 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.685 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.687 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.688 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.690 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.690 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt 1)) (sqrt (log (- (/ 1 x) 1))))))
1545391184.690 * * * * [misc]progress:  [ 22 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))))) (sqrt (cbrt (log (- (/ 1 x) 1)))))))>
1545391184.690 * [enter]simplify:  Simplifying (sqrt (cbrt (log (- (/ 1 x) 1))))
1545391184.690 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.692 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.693 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.695 * [exit]simplify:  Simplified to (sqrt (cbrt (log (- (/ 1 x) 1))))
1545391184.695 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))))) (sqrt (cbrt (log (- (/ 1 x) 1)))))))
1545391184.695 * * * * [misc]progress:  [ 23 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.695 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.695 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.697 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.698 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.700 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.700 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (sqrt (log (- (/ 1 x) 1)))))))
1545391184.700 * * * * [misc]progress:  [ 24 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt 1)) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.700 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.700 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.702 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.703 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.705 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.705 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt 1)) (sqrt (log (- (/ 1 x) 1))))))
1545391184.705 * * * * [misc]progress:  [ 25 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.705 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.705 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.707 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.708 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.710 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.710 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (sqrt (log (- (/ 1 x) 1)))))))
1545391184.710 * * * * [misc]progress:  [ 26 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) 1) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.710 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.710 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.712 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.713 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.715 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.715 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (* (sqrt (log (- (/ 1 x) 1))) 1) (sqrt (log (- (/ 1 x) 1))))))
1545391184.715 * * * * [misc]progress:  [ 27 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1))))) (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.715 * [enter]simplify:  Simplifying (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1)))))
1545391184.715 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.717 * * [misc]simplify:  iters left: 5 (13 enodes)
1545391184.721 * * [misc]simplify:  iters left: 4 (14 enodes)
1545391184.725 * [exit]simplify:  Simplified to (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1)))))
1545391184.726 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1))))) (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.726 * * * * [misc]progress:  [ 28 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt 1) (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.726 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.726 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.728 * [exit]simplify:  Simplified to 1
1545391184.728 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* 1 (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.728 * * * * [misc]progress:  [ 29 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))) (* (sqrt (cbrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.728 * [enter]simplify:  Simplifying (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))))
1545391184.728 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.732 * * [misc]simplify:  iters left: 5 (14 enodes)
1545391184.736 * * [misc]simplify:  iters left: 4 (15 enodes)
1545391184.740 * [exit]simplify:  Simplified to (fabs (cbrt (log (- (/ 1 x) 1))))
1545391184.740 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (fabs (cbrt (log (- (/ 1 x) 1)))) (* (sqrt (cbrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.740 * * * * [misc]progress:  [ 30 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.740 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.740 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.743 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.747 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.750 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.750 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.750 * * * * [misc]progress:  [ 31 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt 1) (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.750 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.750 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.752 * [exit]simplify:  Simplified to 1
1545391184.752 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* 1 (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.752 * * * * [misc]progress:  [ 32 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.752 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.752 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.755 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.758 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.760 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.761 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))))))
1545391184.761 * * * * [misc]progress:  [ 33 / 93 ] simplifiying candidate #<alt (λ (x) (- (* 1 (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.761 * * * * [misc]progress:  [ 34 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.761 * * * * [misc]progress:  [ 35 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (log1p (expm1 (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 36 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (expm1 (log1p (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 37 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (pow (log (- (/ 1 x) 1)) 1/2))))>
1545391184.761 * * * * [misc]progress:  [ 38 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (pow (sqrt (log (- (/ 1 x) 1))) 1))))>
1545391184.761 * * * * [misc]progress:  [ 39 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (exp (log (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 40 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (log (exp (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 41 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1))))) (cbrt (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 42 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (cbrt (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.761 * * * * [misc]progress:  [ 43 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt 1) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.761 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.762 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.763 * [exit]simplify:  Simplified to 1
1545391184.763 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* 1 (sqrt (log (- (/ 1 x) 1)))))))
1545391184.763 * * * * [misc]progress:  [ 44 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))) (sqrt (cbrt (log (- (/ 1 x) 1))))))))>
1545391184.763 * [enter]simplify:  Simplifying (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))))
1545391184.763 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.766 * * [misc]simplify:  iters left: 5 (14 enodes)
1545391184.770 * * [misc]simplify:  iters left: 4 (15 enodes)
1545391184.773 * [exit]simplify:  Simplified to (fabs (cbrt (log (- (/ 1 x) 1))))
1545391184.773 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (fabs (cbrt (log (- (/ 1 x) 1)))) (sqrt (cbrt (log (- (/ 1 x) 1))))))))
1545391184.773 * * * * [misc]progress:  [ 45 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.774 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.774 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.777 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.780 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.784 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.784 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))))))
1545391184.784 * * * * [misc]progress:  [ 46 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt 1) (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.784 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.784 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.786 * [exit]simplify:  Simplified to 1
1545391184.786 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* 1 (sqrt (log (- (/ 1 x) 1)))))))
1545391184.786 * * * * [misc]progress:  [ 47 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.786 * * * * [misc]progress:  [ 48 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (fabs (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.787 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.787 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.789 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.790 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.792 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.792 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (fabs (sqrt (log (- (/ 1 x) 1)))))))
1545391184.792 * * * * [misc]progress:  [ 49 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (* 1 (sqrt (log (- (/ 1 x) 1)))))))>
1545391184.792 * * * * [misc]progress:  [ 50 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (log1p (expm1 (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 51 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (expm1 (log1p (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 52 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (pow (log (- (/ 1 x) 1)) 1/2) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 53 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (pow (sqrt (log (- (/ 1 x) 1))) 1) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 54 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (exp (log (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 55 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (log (exp (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 56 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (* (cbrt (sqrt (log (- (/ 1 x) 1)))) (cbrt (sqrt (log (- (/ 1 x) 1))))) (cbrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.792 * * * * [misc]progress:  [ 57 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (cbrt (* (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.793 * * * * [misc]progress:  [ 58 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt 1) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.793 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.793 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.794 * [exit]simplify:  Simplified to 1
1545391184.794 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (* (* 1 (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.794 * * * * [misc]progress:  [ 59 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))) (sqrt (cbrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.795 * [enter]simplify:  Simplifying (sqrt (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))))
1545391184.795 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.798 * * [misc]simplify:  iters left: 5 (14 enodes)
1545391184.802 * * [misc]simplify:  iters left: 4 (15 enodes)
1545391184.806 * [exit]simplify:  Simplified to (fabs (cbrt (log (- (/ 1 x) 1))))
1545391184.806 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (* (* (fabs (cbrt (log (- (/ 1 x) 1)))) (sqrt (cbrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.806 * * * * [misc]progress:  [ 60 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.806 * [enter]simplify:  Simplifying (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.807 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.809 * * [misc]simplify:  iters left: 5 (12 enodes)
1545391184.812 * * [misc]simplify:  iters left: 4 (13 enodes)
1545391184.815 * [exit]simplify:  Simplified to (sqrt (sqrt (log (- (/ 1 x) 1))))
1545391184.815 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (* (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.815 * * * * [misc]progress:  [ 61 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt 1) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.815 * [enter]simplify:  Simplifying (sqrt 1)
1545391184.815 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.817 * [exit]simplify:  Simplified to 1
1545391184.817 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (* (* 1 (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.817 * * * * [misc]progress:  [ 62 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* (sqrt (sqrt (log (- (/ 1 x) 1)))) (sqrt (sqrt (log (- (/ 1 x) 1))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.817 * * * * [misc]progress:  [ 63 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (fabs (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.817 * [enter]simplify:  Simplifying (sqrt (log (- (/ 1 x) 1)))
1545391184.817 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.820 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.822 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.825 * [exit]simplify:  Simplified to (sqrt (log (- (/ 1 x) 1)))
1545391184.825 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (* (fabs (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.825 * * * * [misc]progress:  [ 64 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (* 1 (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.825 * * * * [misc]progress:  [ 65 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log1p (expm1 (log (- (/ 1 x) 1))))))))>
1545391184.825 * * * * [misc]progress:  [ 66 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (expm1 (log1p (log (- (/ 1 x) 1))))))))>
1545391184.825 * * * * [misc]progress:  [ 67 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))))>
1545391184.825 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545391184.825 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.828 * * [misc]simplify:  iters left: 5 (14 enodes)
1545391184.832 * * [misc]simplify:  iters left: 4 (15 enodes)
1545391184.835 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545391184.835 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))))
1545391184.835 * * * * [misc]progress:  [ 68 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))))>
1545391184.836 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1545391184.836 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.838 * * [misc]simplify:  iters left: 5 (11 enodes)
1545391184.841 * * [misc]simplify:  iters left: 4 (12 enodes)
1545391184.843 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1545391184.843 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))))
1545391184.843 * * * * [misc]progress:  [ 69 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log 1) (log (- (/ 1 x) 1)))))))>
1545391184.844 * [enter]simplify:  Simplifying (log 1)
1545391184.844 * * [misc]simplify:  iters left: 1 (2 enodes)
1545391184.845 * [exit]simplify:  Simplified to 0
1545391184.845 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ 0 (log (- (/ 1 x) 1)))))))
1545391184.845 * * * * [misc]progress:  [ 70 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))))>
1545391184.846 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1545391184.846 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391184.847 * * [misc]simplify:  iters left: 5 (9 enodes)
1545391184.849 * * [misc]simplify:  iters left: 4 (10 enodes)
1545391184.852 * [exit]simplify:  Simplified to (log1p (sqrt (/ 1 x)))
1545391184.852 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))))))
1545391184.852 * * * * [misc]progress:  [ 71 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1545391184.853 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1545391184.853 * * [misc]simplify:  iters left: 6 (8 enodes)
1545391184.857 * * [misc]simplify:  iters left: 5 (20 enodes)
1545391184.864 * * [misc]simplify:  iters left: 4 (38 enodes)
1545391184.873 * * [misc]simplify:  iters left: 3 (47 enodes)
1545391184.886 * * [misc]simplify:  iters left: 2 (53 enodes)
1545391184.897 * * [misc]simplify:  iters left: 1 (59 enodes)
1545391184.913 * [exit]simplify:  Simplified to (log (fma (/ (/ 1 x) x) (/ 1 x) -1))
1545391184.913 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log (fma (/ (/ 1 x) x) (/ 1 x) -1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1545391184.913 * * * * [misc]progress:  [ 72 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))))>
1545391184.913 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1545391184.913 * * [misc]simplify:  iters left: 6 (7 enodes)
1545391184.917 * * [misc]simplify:  iters left: 5 (18 enodes)
1545391184.923 * * [misc]simplify:  iters left: 4 (23 enodes)
1545391184.928 * * [misc]simplify:  iters left: 3 (31 enodes)
1545391184.936 * * [misc]simplify:  iters left: 2 (48 enodes)
1545391184.949 * * [misc]simplify:  iters left: 1 (71 enodes)
1545391184.984 * [exit]simplify:  Simplified to (log (fma (/ 1 x) (/ 1 x) -1))
1545391184.984 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log (fma (/ 1 x) (/ 1 x) -1)) (log (+ (/ 1 x) 1)))))))
1545391184.984 * * * * [misc]progress:  [ 73 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* 1 (log (- (/ 1 x) 1)))))))>
1545391184.984 * * * * [misc]progress:  [ 74 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (pow (log (- (/ 1 x) 1)) 1)))))>
1545391184.984 * * * * [misc]progress:  [ 75 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1545391184.985 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1545391184.985 * * [misc]simplify:  iters left: 4 (4 enodes)
1545391184.987 * * [misc]simplify:  iters left: 3 (9 enodes)
1545391184.989 * * [misc]simplify:  iters left: 2 (10 enodes)
1545391184.991 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1545391184.991 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))
1545391184.991 * * * * [misc]progress:  [ 76 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (exp (log (log (- (/ 1 x) 1))))))))>
1545391184.992 * * * * [misc]progress:  [ 77 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (exp (log (- (/ 1 x) 1))))))))>
1545391184.992 * * * * [misc]progress:  [ 78 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))))>
1545391184.992 * * * * [misc]progress:  [ 79 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))))>
1545391184.992 * * * * [misc]progress:  [ 80 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))))>
1545391184.992 * * * * [misc]progress:  [ 81 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (* 1 (log (- (/ 1 x) 1)))))))>
1545391184.992 * * * * [misc]progress:  [ 82 / 93 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1545391184.992 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391184.992 * * [misc]simplify:  iters left: 6 (9 enodes)
1545391184.995 * * [misc]simplify:  iters left: 5 (19 enodes)
1545391185.001 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391185.016 * * [misc]simplify:  iters left: 3 (85 enodes)
1545391185.052 * * [misc]simplify:  iters left: 2 (154 enodes)
1545391185.104 * * [misc]simplify:  iters left: 1 (200 enodes)
1545391185.187 * [exit]simplify:  Simplified to (- (* (fma -1/2 x -1) x) (log x))
1545391185.187 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (fma -1/2 x -1) x) (log x))))
1545391185.187 * * * * [misc]progress:  [ 83 / 93 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545391185.187 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391185.187 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391185.190 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391185.195 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391185.205 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391185.234 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391185.252 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391185.295 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391185.295 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1545391185.295 * * * * [misc]progress:  [ 84 / 93 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545391185.295 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391185.296 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391185.301 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391185.309 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391185.324 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391185.358 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391185.392 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391185.442 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391185.442 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))
1545391185.442 * * * * [misc]progress:  [ 85 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x)))))))))))>
1545391185.443 * [enter]simplify:  Simplifying (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x))))))))
1545391185.443 * * [misc]simplify:  iters left: 6 (20 enodes)
1545391185.450 * * [misc]simplify:  iters left: 5 (43 enodes)
1545391185.466 * * [misc]simplify:  iters left: 4 (105 enodes)
1545391185.498 * * [misc]simplify:  iters left: 3 (271 enodes)
1545391185.624 * [exit]simplify:  Simplified to (- (sqrt (- (log x))) (fma (/ (* x x) (sqrt (- (log x)))) (+ (/ 1/8 (- (log x))) 1/4) (/ (* 1/2 x) (sqrt (- (log x))))))
1545391185.624 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (- (log x))) (fma (/ (* x x) (sqrt (- (log x)))) (+ (/ 1/8 (- (log x))) 1/4) (/ (* 1/2 x) (sqrt (- (log x)))))))))
1545391185.624 * * * * [misc]progress:  [ 86 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3)))))))))))>
1545391185.625 * [enter]simplify:  Simplifying (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391185.625 * * [misc]simplify:  iters left: 6 (27 enodes)
1545391185.635 * * [misc]simplify:  iters left: 5 (60 enodes)
1545391185.665 * * [misc]simplify:  iters left: 4 (164 enodes)
1545391185.774 * * [misc]simplify:  iters left: 3 (439 enodes)
1545391186.077 * [exit]simplify:  Simplified to (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x)))))
1545391186.077 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x))))))))
1545391186.077 * * * * [misc]progress:  [ 87 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3)))))))))))>
1545391186.078 * [enter]simplify:  Simplifying (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391186.078 * * [misc]simplify:  iters left: 6 (27 enodes)
1545391186.083 * * [misc]simplify:  iters left: 5 (60 enodes)
1545391186.104 * * [misc]simplify:  iters left: 4 (164 enodes)
1545391186.184 * * [misc]simplify:  iters left: 3 (439 enodes)
1545391186.861 * [exit]simplify:  Simplified to (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x)))))
1545391186.861 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x))))))))
1545391186.861 * * * * [misc]progress:  [ 88 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x)))))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391186.861 * [enter]simplify:  Simplifying (- (sqrt (- (log x))) (+ (* 1/2 (/ x (sqrt (- (log x))))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt (- (log x))) 3))) (* 1/4 (/ (pow x 2) (sqrt (- (log x))))))))
1545391186.861 * * [misc]simplify:  iters left: 6 (20 enodes)
1545391186.865 * * [misc]simplify:  iters left: 5 (43 enodes)
1545391186.878 * * [misc]simplify:  iters left: 4 (105 enodes)
1545391186.911 * * [misc]simplify:  iters left: 3 (271 enodes)
1545391187.014 * [exit]simplify:  Simplified to (- (sqrt (- (log x))) (fma (/ (* x x) (sqrt (- (log x)))) (+ (/ 1/8 (- (log x))) 1/4) (/ (* 1/2 x) (sqrt (- (log x))))))
1545391187.014 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (- (sqrt (- (log x))) (fma (/ (* x x) (sqrt (- (log x)))) (+ (/ 1/8 (- (log x))) 1/4) (/ (* 1/2 x) (sqrt (- (log x)))))) (sqrt (log (- (/ 1 x) 1))))))
1545391187.014 * * * * [misc]progress:  [ 89 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3)))))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391187.015 * [enter]simplify:  Simplifying (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391187.015 * * [misc]simplify:  iters left: 6 (27 enodes)
1545391187.026 * * [misc]simplify:  iters left: 5 (60 enodes)
1545391187.046 * * [misc]simplify:  iters left: 4 (164 enodes)
1545391187.119 * * [misc]simplify:  iters left: 3 (439 enodes)
1545391187.432 * [exit]simplify:  Simplified to (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x)))))
1545391187.432 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x))))) (sqrt (log (- (/ 1 x) 1))))))
1545391187.432 * * * * [misc]progress:  [ 90 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3)))))))) (sqrt (log (- (/ 1 x) 1))))))>
1545391187.432 * [enter]simplify:  Simplifying (- (sqrt (log -1)) (+ (* 1/2 (* (/ 1 x) (sqrt (/ 1 (log -1))))) (+ (* 1/4 (* (/ 1 (pow x 2)) (sqrt (/ 1 (log -1))))) (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (log -1) 3))))))))
1545391187.432 * * [misc]simplify:  iters left: 6 (27 enodes)
1545391187.442 * * [misc]simplify:  iters left: 5 (60 enodes)
1545391187.470 * * [misc]simplify:  iters left: 4 (164 enodes)
1545391187.525 * * [misc]simplify:  iters left: 3 (439 enodes)
1545391187.822 * [exit]simplify:  Simplified to (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x)))))
1545391187.822 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (* (- (sqrt (log -1)) (fma (sqrt (/ (/ 1 (log -1)) (* (log -1) (log -1)))) (/ 1/8 (* x x)) (* (sqrt (/ 1 (log -1))) (+ (/ (/ 1/4 x) x) (/ 1/2 x))))) (sqrt (log (- (/ 1 x) 1))))))
1545391187.822 * * * * [misc]progress:  [ 91 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))))>
1545391187.823 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545391187.823 * * [misc]simplify:  iters left: 6 (9 enodes)
1545391187.825 * * [misc]simplify:  iters left: 5 (19 enodes)
1545391187.828 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391187.835 * * [misc]simplify:  iters left: 3 (85 enodes)
1545391187.855 * * [misc]simplify:  iters left: 2 (154 enodes)
1545391187.905 * * [misc]simplify:  iters left: 1 (200 enodes)
1545391188.044 * [exit]simplify:  Simplified to (- (* (fma -1/2 x -1) x) (log x))
1545391188.044 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (* (fma -1/2 x -1) x) (log x))))))
1545391188.044 * * * * [misc]progress:  [ 92 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))))>
1545391188.044 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391188.044 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391188.050 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391188.059 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391188.076 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391188.103 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391188.121 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391188.149 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391188.149 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))))
1545391188.149 * * * * [misc]progress:  [ 93 / 93 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))))>
1545391188.150 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545391188.150 * * [misc]simplify:  iters left: 6 (12 enodes)
1545391188.152 * * [misc]simplify:  iters left: 5 (23 enodes)
1545391188.157 * * [misc]simplify:  iters left: 4 (36 enodes)
1545391188.166 * * [misc]simplify:  iters left: 3 (65 enodes)
1545391188.189 * * [misc]simplify:  iters left: 2 (111 enodes)
1545391188.215 * * [misc]simplify:  iters left: 1 (154 enodes)
1545391188.244 * [exit]simplify:  Simplified to (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))
1545391188.244 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (fma (/ (/ -1 x) x) 1/2 (+ (log -1) (/ -1 x)))))))
1545391188.244 * * * [misc]progress:  adding candidates to table
1545391189.140 * [misc]progress:  [Phase 3 of 3] Extracting.
1545391189.141 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.142 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1545391189.143 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.179 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.214 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.239 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.292 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1545391189.321 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545391189.322 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1545391189.322 * * [misc]simplify:  iters left: 6 (6 enodes)
1545391189.322 * * [misc]simplify:  iters left: 5 (8 enodes)
1545391189.323 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1545391189.323 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545391190.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391190.537 * * * * [misc]points:  Sampling 6025 additional inputs, on iter 1 have 1975 / 8000
1545391191.371 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391191.372 * * * * [misc]points:  Sampling 4448 additional inputs, on iter 2 have 3552 / 8000
1545391192.355 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391192.356 * * * * [misc]points:  Sampling 3292 additional inputs, on iter 3 have 4708 / 8000
1545391192.806 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391192.806 * * * * [misc]points:  Sampling 2477 additional inputs, on iter 4 have 5523 / 8000
1545391193.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.158 * * * * [misc]points:  Sampling 1841 additional inputs, on iter 5 have 6159 / 8000
1545391193.440 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.441 * * * * [misc]points:  Sampling 1401 additional inputs, on iter 6 have 6599 / 8000
1545391193.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.601 * * * * [misc]points:  Sampling 1058 additional inputs, on iter 7 have 6942 / 8000
1545391193.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.745 * * * * [misc]points:  Sampling 760 additional inputs, on iter 8 have 7240 / 8000
1545391193.870 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.870 * * * * [misc]points:  Sampling 557 additional inputs, on iter 9 have 7443 / 8000
1545391193.955 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391193.955 * * * * [misc]points:  Sampling 429 additional inputs, on iter 10 have 7571 / 8000
1545391194.001 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.002 * * * * [misc]points:  Sampling 328 additional inputs, on iter 11 have 7672 / 8000
1545391194.440 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.440 * * * * [misc]points:  Sampling 252 additional inputs, on iter 12 have 7748 / 8000
1545391194.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.463 * * * * [misc]points:  Sampling 194 additional inputs, on iter 13 have 7806 / 8000
1545391194.492 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.493 * * * * [misc]points:  Sampling 143 additional inputs, on iter 14 have 7857 / 8000
1545391194.515 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.516 * * * * [misc]points:  Sampling 105 additional inputs, on iter 15 have 7895 / 8000
1545391194.532 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.532 * * * * [misc]points:  Sampling 73 additional inputs, on iter 16 have 7927 / 8000
1545391194.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.545 * * * * [misc]points:  Sampling 53 additional inputs, on iter 17 have 7947 / 8000
1545391194.554 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.554 * * * * [misc]points:  Sampling 43 additional inputs, on iter 18 have 7957 / 8000
1545391194.562 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.562 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 7967 / 8000
1545391194.569 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.569 * * * * [misc]points:  Sampling 27 additional inputs, on iter 20 have 7973 / 8000
1545391194.575 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.575 * * * * [misc]points:  Sampling 17 additional inputs, on iter 21 have 7983 / 8000
1545391194.579 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.579 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1545391194.583 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.583 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1545391194.586 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.586 * * * * [misc]points:  Sampling 11 additional inputs, on iter 24 have 7989 / 8000
1545391194.589 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.590 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1545391194.592 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.592 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7997 / 8000
1545391194.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.594 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1545391194.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.596 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1545391194.598 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545391194.598 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545391195.046 * [misc]regime-testing:  Baseline error score: 0.03687416116401708
1545391195.046 * [misc]regime-testing:  End program error score: 0.03687416116401708
1545391195.047 * [misc]regime-testing:  Oracle error score: 0.03605104085142694