1537028892.660 * [misc]progress:  [Phase 1 of 3] Setting up.
1537028892.660 * * * [misc]progress:  [1/2] Preparing points
1537028892.660 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537028892.703 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.703 * * * * [misc]points:  Sampling 178 additional inputs, on iter 1 have 78 / 256
1537028892.732 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.732 * * * * [misc]points:  Sampling 127 additional inputs, on iter 2 have 129 / 256
1537028892.762 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.762 * * * * [misc]points:  Sampling 96 additional inputs, on iter 3 have 160 / 256
1537028892.780 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.780 * * * * [misc]points:  Sampling 73 additional inputs, on iter 4 have 183 / 256
1537028892.827 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.827 * * * * [misc]points:  Sampling 49 additional inputs, on iter 5 have 207 / 256
1537028892.836 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.836 * * * * [misc]points:  Sampling 40 additional inputs, on iter 6 have 216 / 256
1537028892.843 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.843 * * * * [misc]points:  Sampling 26 additional inputs, on iter 7 have 230 / 256
1537028892.849 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.849 * * * * [misc]points:  Sampling 17 additional inputs, on iter 8 have 239 / 256
1537028892.854 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.854 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 242 / 256
1537028892.858 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.858 * * * * [misc]points:  Sampling 12 additional inputs, on iter 10 have 244 / 256
1537028892.862 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.862 * * * * [misc]points:  Sampling 9 additional inputs, on iter 11 have 247 / 256
1537028892.865 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.865 * * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
1537028892.867 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.867 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
1537028892.869 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.869 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
1537028892.871 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.871 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 255 / 256
1537028892.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.873 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 255 / 256
1537028892.875 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028892.875 * * * * [exit]points:  Sampled 256 points with exact outputs
1537028892.875 * * * [misc]progress:  [2/2] Setting up program.
1537028892.880 * [misc]progress:  [Phase 2 of 3] Improving.
1537028892.880 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537028892.881 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028892.883 * * [misc]simplify:  iters left: 5 (14 enodes)
1537028892.886 * * [misc]simplify:  iters left: 4 (18 enodes)
1537028892.889 * * [misc]simplify:  iters left: 3 (20 enodes)
1537028892.892 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537028892.919 * * [misc]progress:  iteration 1 / 4
1537028892.919 * * * [misc]progress:  picking best candidate
1537028892.923 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1537028892.923 * * * [misc]progress:  localizing error
1537028892.946 * * * [misc]progress:  generating rewritten candidates
1537028892.946 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1537028892.988 * * * [misc]progress:  generating series expansions
1537028892.988 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1537028892.988 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))))
1537028892.988 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0
1537028892.988 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1537028892.988 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1537028892.988 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028892.988 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.989 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.989 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.989 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028892.989 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1537028892.989 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028892.989 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.989 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.989 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.989 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028892.989 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1537028892.989 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1537028892.989 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028892.989 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.989 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028892.989 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.989 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.989 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.989 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028892.989 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537028892.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028892.990 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1537028892.990 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028892.990 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028892.990 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1537028892.990 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.990 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.990 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.990 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028892.990 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.990 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.990 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.990 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028892.990 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028892.990 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.990 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028892.990 * [misc]taylor:  Taking taylor expansion of x in x
1537028892.990 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.990 * [misc]backup-simplify:  Simplify 1 into 1
1537028892.990 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028892.991 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537028892.991 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028892.991 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1537028892.991 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028892.991 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028892.991 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1537028892.992 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1537028892.992 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1537028892.992 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028892.992 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028892.992 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028892.992 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028892.994 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1537028892.994 * [misc]backup-simplify:  Simplify 0 into 0
1537028892.994 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028892.994 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028892.994 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028892.994 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537028892.995 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1537028892.995 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028892.995 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2
1537028892.995 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1537028892.998 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow 2 1)))) 2) into -1/4
1537028892.998 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1537028892.998 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028892.998 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028892.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028892.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028892.999 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1537028892.999 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028892.999 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0
1537028892.999 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.003 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0
1537028893.003 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.004 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.004 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028893.004 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.004 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.005 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1537028893.005 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.005 * [misc]backup-simplify:  Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8
1537028893.005 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1537028893.012 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/8) 1)) (pow 2 1)))) 24) into -3/32
1537028893.012 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1537028893.012 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (- (log 2) (log x)))) into (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1537028893.013 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))
1537028893.013 * [misc]approximate:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0
1537028893.013 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.013 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.013 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.013 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.013 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.013 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.013 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028893.013 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.013 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028893.013 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.013 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.013 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.013 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028893.013 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028893.013 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.013 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537028893.013 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537028893.013 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537028893.014 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.015 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537028893.015 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537028893.015 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537028893.015 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.015 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.015 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.015 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.015 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.015 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.015 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028893.015 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.015 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028893.015 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.015 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.015 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.015 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028893.015 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028893.016 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.016 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537028893.016 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537028893.016 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028893.016 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028893.016 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.016 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.016 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537028893.016 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537028893.017 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.017 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537028893.017 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537028893.017 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537028893.018 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537028893.018 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028893.018 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.018 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.018 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028893.019 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1537028893.019 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1537028893.019 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028893.021 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1537028893.021 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1537028893.021 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028893.022 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.022 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.022 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.022 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1537028893.023 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1537028893.023 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1537028893.028 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 1)))) 2) into 0
1537028893.028 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.028 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537028893.028 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.028 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.028 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.030 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1537028893.031 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1537028893.031 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.038 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow (sqrt -1) 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt -1) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3))
1537028893.039 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1537028893.042 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1537028893.042 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))))
1537028893.042 * [misc]approximate:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0
1537028893.042 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.042 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.042 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.042 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.042 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028893.042 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.042 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028893.042 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.042 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.042 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.043 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028893.043 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028893.043 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.043 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537028893.043 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537028893.043 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537028893.044 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.045 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.045 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537028893.045 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537028893.046 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.046 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.046 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537028893.046 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1537028893.046 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537028893.046 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537028893.046 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.046 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.046 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.046 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537028893.046 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.047 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.047 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.047 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537028893.047 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537028893.047 * [misc]taylor:  Taking taylor expansion of 1 in x
1537028893.047 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.047 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537028893.047 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537028893.047 * [misc]taylor:  Taking taylor expansion of x in x
1537028893.047 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.047 * [misc]backup-simplify:  Simplify 1 into 1
1537028893.047 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537028893.047 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028893.047 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.047 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537028893.047 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537028893.048 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537028893.048 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537028893.048 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.048 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.048 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537028893.048 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537028893.049 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.049 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.049 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537028893.050 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537028893.050 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.050 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.050 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537028893.051 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537028893.051 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537028893.051 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.052 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.052 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028893.053 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1537028893.053 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1537028893.053 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537028893.054 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.054 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.057 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (sqrt -1)) 1)))) 1) into (/ 1 (sqrt -1))
1537028893.057 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1537028893.057 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.057 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.058 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537028893.058 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.058 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.058 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.058 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1537028893.060 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1537028893.060 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1537028893.061 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1537028893.061 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.068 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 1)))) 2) into 0
1537028893.069 * [misc]backup-simplify:  Simplify 0 into 0
1537028893.069 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.069 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.069 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028893.070 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1537028893.070 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.071 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537028893.071 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537028893.071 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.071 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.073 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1537028893.076 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1537028893.076 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028893.076 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028893.076 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537028893.088 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow (- (sqrt -1)) 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (sqrt -1)) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3))
1537028893.089 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1537028893.091 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (log (- (sqrt -1))))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1537028893.091 * * * [misc]progress:  simplifying candidates
1537028893.091 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028893.092 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028893.092 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028893.092 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028893.093 * * [misc]simplify:  iters left: 6 (11 enodes)
1537028893.098 * * [misc]simplify:  iters left: 5 (18 enodes)
1537028893.108 * * [misc]simplify:  iters left: 4 (22 enodes)
1537028893.116 * * [misc]simplify:  iters left: 3 (24 enodes)
1537028893.125 * [exit]simplify:  Simplified to (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028893.125 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1537028893.125 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028893.126 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537028893.127 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028893.131 * * [misc]simplify:  iters left: 5 (15 enodes)
1537028893.136 * * [misc]simplify:  iters left: 4 (19 enodes)
1537028893.143 * * [misc]simplify:  iters left: 3 (21 enodes)
1537028893.147 * [exit]simplify:  Simplified to (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537028893.147 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1537028893.147 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028893.147 * [enter]simplify:  Simplifying (log 1)
1537028893.147 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028893.148 * [exit]simplify:  Simplified to 0
1537028893.148 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028893.148 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028893.149 * [enter]simplify:  Simplifying (log 1)
1537028893.149 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028893.150 * [exit]simplify:  Simplified to 0
1537028893.150 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028893.150 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028893.150 * [enter]simplify:  Simplifying (log 1)
1537028893.150 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028893.151 * [exit]simplify:  Simplified to 0
1537028893.151 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028893.151 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1537028893.151 * [enter]simplify:  Simplifying (log (/ 1 x))
1537028893.151 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028893.153 * * [misc]simplify:  iters left: 2 (10 enodes)
1537028893.154 * [exit]simplify:  Simplified to (- (log x))
1537028893.154 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1537028893.154 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1537028893.154 * [enter]simplify:  Simplifying (log (/ 1 x))
1537028893.154 * * [misc]simplify:  iters left: 3 (4 enodes)
1537028893.156 * * [misc]simplify:  iters left: 2 (10 enodes)
1537028893.158 * [exit]simplify:  Simplified to (- (log x))
1537028893.158 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1537028893.158 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (x) (+ (log (+ (sqrt (- 1 (* x x))) 1)) (log (/ 1 x))))>
1537028893.158 * [enter]simplify:  Simplifying (log (+ (sqrt (- 1 (* x x))) 1))
1537028893.158 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028893.160 * * [misc]simplify:  iters left: 5 (12 enodes)
1537028893.162 * * [misc]simplify:  iters left: 4 (17 enodes)
1537028893.165 * * [misc]simplify:  iters left: 3 (19 enodes)
1537028893.169 * [exit]simplify:  Simplified to (log1p (sqrt (- 1 (* x x))))
1537028893.169 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log1p (sqrt (- 1 (* x x)))) (log (/ 1 x))))
1537028893.169 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) (log (* x x))))>
1537028893.169 * [enter]simplify:  Simplifying (log (+ (* 1 x) (* x (sqrt (- 1 (* x x))))))
1537028893.169 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028893.172 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028893.175 * * [misc]simplify:  iters left: 4 (24 enodes)
1537028893.179 * * [misc]simplify:  iters left: 3 (31 enodes)
1537028893.185 * * [misc]simplify:  iters left: 2 (36 enodes)
1537028893.191 * * [misc]simplify:  iters left: 1 (39 enodes)
1537028893.199 * [exit]simplify:  Simplified to (log (fma (sqrt (- 1 (* x x))) x x))
1537028893.199 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (fma (sqrt (- 1 (* x x))) x x)) (log (* x x))))
1537028893.199 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))>
1537028893.199 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)))
1537028893.201 * * [misc]simplify:  iters left: 6 (12 enodes)
1537028893.206 * * [misc]simplify:  iters left: 5 (28 enodes)
1537028893.213 * * [misc]simplify:  iters left: 4 (57 enodes)
1537028893.228 * * [misc]simplify:  iters left: 3 (98 enodes)
1537028893.253 * * [misc]simplify:  iters left: 2 (151 enodes)
1537028893.333 * * [misc]simplify:  iters left: 1 (258 enodes)
1537028893.562 * [exit]simplify:  Simplified to (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x))))
1537028893.562 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))
1537028893.562 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (x) (- (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028893.563 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))))
1537028893.564 * * [misc]simplify:  iters left: 6 (11 enodes)
1537028893.570 * * [misc]simplify:  iters left: 5 (29 enodes)
1537028893.583 * * [misc]simplify:  iters left: 4 (55 enodes)
1537028893.596 * * [misc]simplify:  iters left: 3 (96 enodes)
1537028893.626 * * [misc]simplify:  iters left: 2 (176 enodes)
1537028893.755 * * [misc]simplify:  iters left: 1 (367 enodes)
1537028894.096 * [exit]simplify:  Simplified to (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x))))
1537028894.096 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537028894.096 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028894.096 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (x) (pow (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1))>
1537028894.096 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1537028894.096 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1537028894.097 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028894.099 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028894.101 * * [misc]simplify:  iters left: 4 (17 enodes)
1537028894.105 * * [misc]simplify:  iters left: 3 (19 enodes)
1537028894.108 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1537028894.108 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537028894.108 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028894.108 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028894.108 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028894.108 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028894.108 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537028894.108 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537028894.108 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1537028894.109 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1537028894.109 * * [misc]simplify:  iters left: 6 (14 enodes)
1537028894.113 * * [misc]simplify:  iters left: 5 (27 enodes)
1537028894.124 * * [misc]simplify:  iters left: 4 (58 enodes)
1537028894.151 * * [misc]simplify:  iters left: 3 (123 enodes)
1537028894.195 * * [misc]simplify:  iters left: 2 (266 enodes)
1537028894.344 * * [misc]simplify:  iters left: 1 (491 enodes)
1537028894.615 * [exit]simplify:  Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1537028894.615 * [misc]simplify:  Simplified (2) to (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))
1537028894.615 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))))>
1537028894.615 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1537028894.616 * * [misc]simplify:  iters left: 6 (16 enodes)
1537028894.622 * * [misc]simplify:  iters left: 5 (38 enodes)
1537028894.635 * * [misc]simplify:  iters left: 4 (82 enodes)
1537028894.664 * * [misc]simplify:  iters left: 3 (164 enodes)
1537028894.757 * * [misc]simplify:  iters left: 2 (310 enodes)
1537028895.112 * [exit]simplify:  Simplified to (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))))
1537028895.112 * [misc]simplify:  Simplified (2) to (λ (x) (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1)))))
1537028895.112 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))))>
1537028895.112 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1537028895.114 * * [misc]simplify:  iters left: 6 (17 enodes)
1537028895.125 * * [misc]simplify:  iters left: 5 (40 enodes)
1537028895.149 * * [misc]simplify:  iters left: 4 (82 enodes)
1537028895.192 * * [misc]simplify:  iters left: 3 (157 enodes)
1537028895.271 * * [misc]simplify:  iters left: 2 (274 enodes)
1537028895.454 * [exit]simplify:  Simplified to (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1))))
1537028895.454 * [misc]simplify:  Simplified (2) to (λ (x) (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1)))))
1537028895.454 * * * [misc]progress:  adding candidates to table
1537028895.951 * [misc]progress:  [Phase 3 of 3] Extracting.
1537028895.956 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537028895.957 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028895.958 * * [misc]simplify:  iters left: 5 (12 enodes)
1537028895.959 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537028895.959 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537028898.610 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028898.611 * * * * [misc]points:  Sampling 6031 additional inputs, on iter 1 have 1969 / 8000
1537028900.781 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028900.783 * * * * [misc]points:  Sampling 4478 additional inputs, on iter 2 have 3522 / 8000
1537028902.234 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028902.235 * * * * [misc]points:  Sampling 3324 additional inputs, on iter 3 have 4676 / 8000
1537028903.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028903.541 * * * * [misc]points:  Sampling 2457 additional inputs, on iter 4 have 5543 / 8000
1537028904.217 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028904.218 * * * * [misc]points:  Sampling 1817 additional inputs, on iter 5 have 6183 / 8000
1537028904.717 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028904.717 * * * * [misc]points:  Sampling 1344 additional inputs, on iter 6 have 6656 / 8000
1537028905.026 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028905.026 * * * * [misc]points:  Sampling 1026 additional inputs, on iter 7 have 6974 / 8000
1537028905.378 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028905.378 * * * * [misc]points:  Sampling 769 additional inputs, on iter 8 have 7231 / 8000
1537028905.964 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028905.965 * * * * [misc]points:  Sampling 600 additional inputs, on iter 9 have 7400 / 8000
1537028906.140 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.140 * * * * [misc]points:  Sampling 441 additional inputs, on iter 10 have 7559 / 8000
1537028906.224 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.224 * * * * [misc]points:  Sampling 343 additional inputs, on iter 11 have 7657 / 8000
1537028906.350 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.350 * * * * [misc]points:  Sampling 258 additional inputs, on iter 12 have 7742 / 8000
1537028906.427 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.428 * * * * [misc]points:  Sampling 207 additional inputs, on iter 13 have 7793 / 8000
1537028906.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.503 * * * * [misc]points:  Sampling 154 additional inputs, on iter 14 have 7846 / 8000
1537028906.527 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.527 * * * * [misc]points:  Sampling 124 additional inputs, on iter 15 have 7876 / 8000
1537028906.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.556 * * * * [misc]points:  Sampling 87 additional inputs, on iter 16 have 7913 / 8000
1537028906.583 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.583 * * * * [misc]points:  Sampling 69 additional inputs, on iter 17 have 7931 / 8000
1537028906.604 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.604 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1537028906.662 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.662 * * * * [misc]points:  Sampling 31 additional inputs, on iter 19 have 7969 / 8000
1537028906.674 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.675 * * * * [misc]points:  Sampling 20 additional inputs, on iter 20 have 7980 / 8000
1537028906.679 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.679 * * * * [misc]points:  Sampling 18 additional inputs, on iter 21 have 7982 / 8000
1537028906.684 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.684 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1537028906.688 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.688 * * * * [misc]points:  Sampling 14 additional inputs, on iter 23 have 7986 / 8000
1537028906.692 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.692 * * * * [misc]points:  Sampling 13 additional inputs, on iter 24 have 7987 / 8000
1537028906.696 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.696 * * * * [misc]points:  Sampling 11 additional inputs, on iter 25 have 7989 / 8000
1537028906.699 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.699 * * * * [misc]points:  Sampling 8 additional inputs, on iter 26 have 7992 / 8000
1537028906.702 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.702 * * * * [misc]points:  Sampling 6 additional inputs, on iter 27 have 7994 / 8000
1537028906.705 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.705 * * * * [misc]points:  Sampling 6 additional inputs, on iter 28 have 7994 / 8000
1537028906.707 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.707 * * * * [misc]points:  Sampling 6 additional inputs, on iter 29 have 7994 / 8000
1537028906.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.710 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7996 / 8000
1537028906.713 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.713 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7997 / 8000
1537028906.717 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.717 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7998 / 8000
1537028906.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.723 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 7998 / 8000
1537028906.727 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028906.728 * * * * [exit]points:  Sampled 8000 points with exact outputs