1539331648.578 * [misc]progress:  [Phase 1 of 3] Setting up.
1539331648.578 * * * [misc]progress:  [1/2] Preparing points
1539331648.578 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1539331648.654 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.654 * * * * [misc]points:  Sampling 181 additional inputs, on iter 1 have 75 / 256
1539331648.735 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.735 * * * * [misc]points:  Sampling 144 additional inputs, on iter 2 have 112 / 256
1539331648.779 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.779 * * * * [misc]points:  Sampling 114 additional inputs, on iter 3 have 142 / 256
1539331648.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.815 * * * * [misc]points:  Sampling 93 additional inputs, on iter 4 have 163 / 256
1539331648.836 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.836 * * * * [misc]points:  Sampling 72 additional inputs, on iter 5 have 184 / 256
1539331648.848 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.848 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 200 / 256
1539331648.888 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.888 * * * * [misc]points:  Sampling 41 additional inputs, on iter 7 have 215 / 256
1539331648.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.895 * * * * [misc]points:  Sampling 32 additional inputs, on iter 8 have 224 / 256
1539331648.904 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.904 * * * * [misc]points:  Sampling 26 additional inputs, on iter 9 have 230 / 256
1539331648.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.909 * * * * [misc]points:  Sampling 24 additional inputs, on iter 10 have 232 / 256
1539331648.918 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.918 * * * * [misc]points:  Sampling 20 additional inputs, on iter 11 have 236 / 256
1539331648.923 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.923 * * * * [misc]points:  Sampling 12 additional inputs, on iter 12 have 244 / 256
1539331648.926 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.927 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1539331648.929 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.930 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1539331648.932 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.932 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1539331648.934 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331648.934 * * * * [exit]points:  Sampled 256 points with exact outputs
1539331648.934 * * * [misc]progress:  [2/2] Setting up program.
1539331648.939 * [misc]progress:  [Phase 2 of 3] Improving.
1539331648.939 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1539331648.940 * * [misc]simplify:  iters left: 6 (9 enodes)
1539331648.942 * * [misc]simplify:  iters left: 5 (14 enodes)
1539331648.944 * * [misc]simplify:  iters left: 4 (18 enodes)
1539331648.948 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1539331648.965 * * [misc]progress:  iteration 1 / 4
1539331648.965 * * * [misc]progress:  picking best candidate
1539331648.974 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1539331648.974 * * * [misc]progress:  localizing error
1539331649.040 * * * [misc]progress:  generating rewritten candidates
1539331649.040 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1539331649.093 * * * [misc]progress:  generating series expansions
1539331649.093 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1539331649.093 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))))
1539331649.094 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0
1539331649.094 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.094 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.094 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.094 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.094 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.094 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.094 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.094 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.094 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331649.094 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331649.095 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.095 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.095 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.095 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.095 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.095 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.095 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.095 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331649.095 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.095 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331649.096 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.096 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331649.096 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331649.096 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1539331649.096 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1539331649.096 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331649.096 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.096 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.096 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.096 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.096 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1539331649.096 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331649.096 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.096 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.096 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.097 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.097 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331649.097 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331649.097 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.097 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.097 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.097 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.097 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.097 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.097 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.097 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331649.097 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.098 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331649.098 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.098 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331649.098 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331649.099 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1539331649.099 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1539331649.099 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.100 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.100 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.100 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.102 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1539331649.103 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.104 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.104 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.104 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.104 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331649.105 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1539331649.106 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.106 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2
1539331649.106 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539331649.111 * [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
1539331649.111 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1539331649.112 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.112 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.112 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.112 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.113 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1539331649.113 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.113 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0
1539331649.114 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.121 * [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
1539331649.121 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.122 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.122 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331649.122 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.123 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.124 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1539331649.124 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.125 * [misc]backup-simplify:  Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8
1539331649.125 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1539331649.137 * [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
1539331649.137 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1539331649.138 * [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))))
1539331649.138 * [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)))))))
1539331649.138 * [misc]approximate:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0
1539331649.138 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1539331649.138 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1539331649.138 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.138 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.139 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.139 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1539331649.139 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.139 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.139 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.139 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331649.139 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331649.139 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.139 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.139 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331649.139 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.139 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.139 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.139 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.139 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.139 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.139 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.140 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331649.140 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331649.140 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.140 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.140 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.141 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.141 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331649.141 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1539331649.141 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.142 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1539331649.142 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1539331649.142 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331649.143 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.143 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.143 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.143 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.143 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.143 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.143 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.143 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.143 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.143 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.143 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.143 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.143 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.143 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.144 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.144 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331649.144 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331649.144 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.144 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.145 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.145 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.145 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331649.145 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1539331649.145 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.146 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1539331649.146 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1539331649.147 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331649.147 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331649.147 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331649.148 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.148 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.148 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.150 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331649.150 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1539331649.150 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.160 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1539331649.161 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331649.161 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331649.162 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.162 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.162 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.162 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331649.164 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1539331649.165 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1539331649.173 * [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
1539331649.173 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.173 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539331649.174 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.177 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1539331649.179 * [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
1539331649.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.190 * [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))
1539331649.191 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1539331649.192 * [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)))))
1539331649.192 * [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))))))))
1539331649.193 * [misc]approximate:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0
1539331649.193 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.193 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.193 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.193 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.193 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.193 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.193 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.193 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.193 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.193 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.193 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.193 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.193 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.193 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.193 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.193 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331649.193 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331649.193 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.194 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.195 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1539331649.195 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1539331649.195 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.195 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.196 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1539331649.196 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.196 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.196 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.196 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.196 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.196 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.196 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331649.196 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.196 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331649.196 * [misc]taylor:  Taking taylor expansion of x in x
1539331649.196 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.196 * [misc]backup-simplify:  Simplify 1 into 1
1539331649.196 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331649.196 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331649.196 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.196 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331649.196 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331649.197 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.197 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.198 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1539331649.198 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1539331649.198 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.198 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.199 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1539331649.199 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1539331649.199 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331649.199 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.199 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.199 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.200 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331649.201 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1539331649.201 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331649.201 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.201 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.203 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (sqrt -1)) 1)))) 1) into (/ 1 (sqrt -1))
1539331649.203 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331649.203 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.203 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.204 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331649.204 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.204 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.204 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.204 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331649.205 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1539331649.205 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1539331649.206 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1539331649.206 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.211 * [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
1539331649.211 * [misc]backup-simplify:  Simplify 0 into 0
1539331649.211 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.212 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.212 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331649.212 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1539331649.212 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.213 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539331649.213 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331649.213 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.213 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.214 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1539331649.216 * [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
1539331649.216 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331649.216 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331649.216 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1539331649.223 * [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))
1539331649.224 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1539331649.225 * [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))))
1539331649.225 * * * [misc]progress:  simplifying candidates
1539331649.225 * * * * [misc]progress:  [ 1 / 23 ] 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))))))>
1539331649.225 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331649.226 * * [misc]simplify:  iters left: 6 (11 enodes)
1539331649.228 * * [misc]simplify:  iters left: 5 (18 enodes)
1539331649.232 * * [misc]simplify:  iters left: 4 (22 enodes)
1539331649.236 * [exit]simplify:  Simplified to (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331649.236 * [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))))))
1539331649.236 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1539331649.236 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1539331649.237 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331649.239 * * [misc]simplify:  iters left: 5 (15 enodes)
1539331649.241 * * [misc]simplify:  iters left: 4 (19 enodes)
1539331649.245 * [exit]simplify:  Simplified to (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1539331649.245 * [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))))))
1539331649.245 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1539331649.245 * [enter]simplify:  Simplifying (log 1)
1539331649.245 * * [misc]simplify:  iters left: 1 (2 enodes)
1539331649.246 * [exit]simplify:  Simplified to 0
1539331649.246 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331649.246 * * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1539331649.246 * [enter]simplify:  Simplifying (log 1)
1539331649.246 * * [misc]simplify:  iters left: 1 (2 enodes)
1539331649.247 * [exit]simplify:  Simplified to 0
1539331649.247 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331649.247 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1539331649.248 * [enter]simplify:  Simplifying (log 1)
1539331649.248 * * [misc]simplify:  iters left: 1 (2 enodes)
1539331649.248 * [exit]simplify:  Simplified to 0
1539331649.248 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331649.249 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1539331649.249 * [enter]simplify:  Simplifying (log (/ 1 x))
1539331649.249 * * [misc]simplify:  iters left: 3 (4 enodes)
1539331649.251 * * [misc]simplify:  iters left: 2 (10 enodes)
1539331649.252 * [exit]simplify:  Simplified to (- (log x))
1539331649.252 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1539331649.252 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1539331649.252 * [enter]simplify:  Simplifying (log (/ 1 x))
1539331649.254 * * [misc]simplify:  iters left: 3 (4 enodes)
1539331649.256 * * [misc]simplify:  iters left: 2 (10 enodes)
1539331649.257 * [exit]simplify:  Simplified to (- (log x))
1539331649.257 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1539331649.257 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (+ (sqrt (- 1 (* x x))) 1)) (log (/ 1 x))))>
1539331649.257 * [enter]simplify:  Simplifying (log (+ (sqrt (- 1 (* x x))) 1))
1539331649.258 * * [misc]simplify:  iters left: 6 (7 enodes)
1539331649.259 * * [misc]simplify:  iters left: 5 (12 enodes)
1539331649.263 * * [misc]simplify:  iters left: 4 (16 enodes)
1539331649.269 * [exit]simplify:  Simplified to (log (+ 1 (sqrt (- 1 (* x x)))))
1539331649.269 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (+ 1 (sqrt (- 1 (* x x))))) (log (/ 1 x))))
1539331649.269 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) (log (* x x))))>
1539331649.269 * [enter]simplify:  Simplifying (log (+ (* 1 x) (* x (sqrt (- 1 (* x x))))))
1539331649.270 * * [misc]simplify:  iters left: 6 (9 enodes)
1539331649.275 * * [misc]simplify:  iters left: 5 (15 enodes)
1539331649.280 * * [misc]simplify:  iters left: 4 (21 enodes)
1539331649.287 * * [misc]simplify:  iters left: 3 (27 enodes)
1539331649.295 * * [misc]simplify:  iters left: 2 (31 enodes)
1539331649.303 * [exit]simplify:  Simplified to (log (+ x (* (sqrt (- 1 (* x x))) x)))
1539331649.303 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ x (* (sqrt (- 1 (* x x))) x))) (log (* x x))))
1539331649.303 * * * * [misc]progress:  [ 10 / 23 ] 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)))))))>
1539331649.303 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)))
1539331649.304 * * [misc]simplify:  iters left: 6 (12 enodes)
1539331649.308 * * [misc]simplify:  iters left: 5 (28 enodes)
1539331649.314 * * [misc]simplify:  iters left: 4 (53 enodes)
1539331649.334 * * [misc]simplify:  iters left: 3 (92 enodes)
1539331649.379 * * [misc]simplify:  iters left: 2 (144 enodes)
1539331649.432 * * [misc]simplify:  iters left: 1 (246 enodes)
1539331649.693 * [exit]simplify:  Simplified to (log (+ (/ (/ 1 x) (* x x)) (* (- (/ (/ 1 x) (* x x)) (/ 1 x)) (sqrt (- 1 (* x x))))))
1539331649.693 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (/ (/ 1 x) (* x x)) (* (- (/ (/ 1 x) (* x x)) (/ 1 x)) (sqrt (- 1 (* x x)))))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))
1539331649.693 * * * * [misc]progress:  [ 11 / 23 ] 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)))))>
1539331649.693 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))))
1539331649.694 * * [misc]simplify:  iters left: 6 (11 enodes)
1539331649.697 * * [misc]simplify:  iters left: 5 (28 enodes)
1539331649.705 * * [misc]simplify:  iters left: 4 (54 enodes)
1539331649.717 * * [misc]simplify:  iters left: 3 (87 enodes)
1539331649.746 * * [misc]simplify:  iters left: 2 (170 enodes)
1539331649.842 * * [misc]simplify:  iters left: 1 (375 enodes)
1539331650.100 * [exit]simplify:  Simplified to (log (+ (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) (/ x x)))
1539331650.100 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) (/ x x))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1539331650.100 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1539331650.100 * * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (x) (pow (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1))>
1539331650.100 * * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1539331650.100 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1539331650.101 * * [misc]simplify:  iters left: 6 (8 enodes)
1539331650.102 * * [misc]simplify:  iters left: 5 (13 enodes)
1539331650.105 * * [misc]simplify:  iters left: 4 (17 enodes)
1539331650.107 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1539331650.108 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1539331650.108 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1539331650.108 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1539331650.108 * * * * [misc]progress:  [ 17 / 23 ] 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))))))>
1539331650.108 * * * * [misc]progress:  [ 18 / 23 ] 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))))))>
1539331650.108 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1539331650.108 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1539331650.108 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1539331650.108 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1539331650.109 * * [misc]simplify:  iters left: 6 (14 enodes)
1539331650.112 * * [misc]simplify:  iters left: 5 (25 enodes)
1539331650.121 * * [misc]simplify:  iters left: 4 (52 enodes)
1539331650.149 * * [misc]simplify:  iters left: 3 (104 enodes)
1539331650.180 * * [misc]simplify:  iters left: 2 (199 enodes)
1539331650.272 * * [misc]simplify:  iters left: 1 (331 enodes)
1539331650.500 * [exit]simplify:  Simplified to (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x))))
1539331650.501 * [misc]simplify:  Simplified (2) to (λ (x) (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x)))))
1539331650.501 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))))>
1539331650.501 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1539331650.502 * * [misc]simplify:  iters left: 6 (16 enodes)
1539331650.507 * * [misc]simplify:  iters left: 5 (38 enodes)
1539331650.519 * * [misc]simplify:  iters left: 4 (82 enodes)
1539331650.544 * * [misc]simplify:  iters left: 3 (160 enodes)
1539331650.624 * * [misc]simplify:  iters left: 2 (306 enodes)
1539331650.990 * [exit]simplify:  Simplified to (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x))))
1539331650.990 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x)))))
1539331650.990 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))))>
1539331650.991 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1539331650.993 * * [misc]simplify:  iters left: 6 (17 enodes)
1539331651.003 * * [misc]simplify:  iters left: 5 (39 enodes)
1539331651.025 * * [misc]simplify:  iters left: 4 (78 enodes)
1539331651.062 * * [misc]simplify:  iters left: 3 (146 enodes)
1539331651.100 * * [misc]simplify:  iters left: 2 (247 enodes)
1539331651.238 * [exit]simplify:  Simplified to (+ (+ (/ (/ -1 x) (sqrt -1)) (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1)))) (log (- (sqrt -1))))
1539331651.238 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ (/ -1 x) (sqrt -1)) (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1)))) (log (- (sqrt -1)))))
1539331651.239 * * * [misc]progress:  adding candidates to table
1539331651.568 * * [misc]progress:  iteration 2 / 4
1539331651.570 * * * [misc]progress:  picking best candidate
1539331651.580 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1539331651.580 * * * [misc]progress:  localizing error
1539331651.613 * * * [misc]progress:  generating rewritten candidates
1539331651.613 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1539331651.727 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1539331651.776 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 1)
1539331651.825 * * * [misc]progress:  generating series expansions
1539331651.825 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1539331651.826 * [misc]backup-simplify:  Simplify (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))) into (- (log (+ 1 (sqrt (- 1 (pow x 2))))) (log x))
1539331651.826 * [misc]approximate:  Taking taylor expansion of (- (log (+ 1 (sqrt (- 1 (pow x 2))))) (log x)) in (x) around 0
1539331651.826 * [misc]taylor:  Taking taylor expansion of (- (log (+ 1 (sqrt (- 1 (pow x 2))))) (log x)) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of (log (+ 1 (sqrt (- 1 (pow x 2))))) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.826 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.826 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.826 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.826 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.826 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.826 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.826 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.826 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.826 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331651.827 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.827 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331651.827 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331651.827 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331651.827 * [misc]taylor:  Taking taylor expansion of (log x) in x
1539331651.827 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.827 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.827 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.827 * [misc]backup-simplify:  Simplify (log 1) into 0
1539331651.827 * [misc]taylor:  Taking taylor expansion of (- (log (+ 1 (sqrt (- 1 (pow x 2))))) (log x)) in x
1539331651.827 * [misc]taylor:  Taking taylor expansion of (log (+ 1 (sqrt (- 1 (pow x 2))))) in x
1539331651.827 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331651.827 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.828 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.828 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331651.828 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331651.828 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.828 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.828 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.828 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.828 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.828 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.828 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.828 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331651.828 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.828 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331651.828 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331651.829 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331651.829 * [misc]taylor:  Taking taylor expansion of (log x) in x
1539331651.829 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.829 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.829 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.829 * [misc]backup-simplify:  Simplify (log 1) into 0
1539331651.829 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1539331651.829 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539331651.829 * [misc]backup-simplify:  Simplify (+ (log 2) (- (log x))) into (- (log 2) (log x))
1539331651.830 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1539331651.830 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.832 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1539331651.834 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1539331651.834 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.835 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.835 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.835 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.835 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.835 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.836 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1539331651.836 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539331651.840 * [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
1539331651.844 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1539331651.844 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.844 * [misc]backup-simplify:  Simplify (+ -1/4 0) into -1/4
1539331651.845 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1539331651.845 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.845 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.845 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1539331651.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.852 * [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
1539331651.858 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1539331651.858 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.858 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.858 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331651.859 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.860 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1539331651.860 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1539331651.867 * [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
1539331651.874 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1539331651.874 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.875 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1539331651.875 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1539331651.875 * [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))))
1539331651.875 * [misc]backup-simplify:  Simplify (+ (- (log (/ 1 x))) (log (+ 1 (sqrt (- 1 (* (/ 1 x) (/ 1 x))))))) into (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ 1 x)))
1539331651.875 * [misc]approximate:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ 1 x))) in (x) around 0
1539331651.875 * [misc]taylor:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ 1 x))) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.875 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.875 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.875 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.875 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.875 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.875 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.876 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.876 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.876 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.876 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.876 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.876 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.876 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.876 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.876 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.876 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.877 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.877 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.877 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.877 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.877 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.877 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.877 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.877 * [misc]backup-simplify:  Simplify (log 1) into 0
1539331651.877 * [misc]taylor:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ 1 x))) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.877 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.877 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.877 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.877 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.877 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.877 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.878 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.878 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.878 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.878 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.878 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.878 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.878 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.878 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.879 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.879 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.879 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.879 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.879 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.879 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1539331651.879 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539331651.879 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.879 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.879 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.879 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.879 * [misc]backup-simplify:  Simplify (log 1) into 0
1539331651.880 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (sqrt -1))) into (- (log (sqrt -1)) (log x))
1539331651.880 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539331651.880 * [misc]backup-simplify:  Simplify (- (- (log x))) into (log x)
1539331651.880 * [misc]backup-simplify:  Simplify (+ (- (log (sqrt -1)) (log x)) (log x)) into (log (sqrt -1))
1539331651.880 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.880 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331651.887 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1539331651.887 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.889 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1539331651.889 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.890 * [misc]backup-simplify:  Simplify (+ (/ 1 (sqrt -1)) 0) into (/ 1 (sqrt -1))
1539331651.890 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331651.890 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331651.890 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.890 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.890 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.891 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331651.892 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331651.896 * [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
1539331651.896 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.899 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1539331651.899 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.899 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.899 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.899 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331651.899 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.900 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.900 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.900 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331651.900 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.906 * [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))
1539331651.907 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.911 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1539331651.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.912 * [misc]backup-simplify:  Simplify (+ (/ -1/6 (pow (sqrt -1) 3)) 0) into (- (* 1/6 (/ 1 (pow (sqrt -1) 3))))
1539331651.913 * [misc]backup-simplify:  Simplify (- (* 1/6 (/ 1 (pow (sqrt -1) 3)))) into (- (* 1/6 (/ 1 (pow (sqrt -1) 3))))
1539331651.915 * [misc]backup-simplify:  Simplify (+ (* (- (* 1/6 (/ 1 (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)))))
1539331651.915 * [misc]backup-simplify:  Simplify (+ (- (log (/ 1 (- x)))) (log (+ 1 (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))))) into (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ -1 x)))
1539331651.915 * [misc]approximate:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ -1 x))) in (x) around 0
1539331651.915 * [misc]taylor:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ -1 x))) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.915 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.915 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.915 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.915 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.915 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.916 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.916 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.916 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.916 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.916 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.916 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.916 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.916 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.916 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.917 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.917 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.917 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.917 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.917 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of -1 in x
1539331651.917 * [misc]backup-simplify:  Simplify -1 into -1
1539331651.917 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.917 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.917 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.917 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539331651.917 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539331651.917 * [misc]taylor:  Taking taylor expansion of (- (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) (log (/ -1 x))) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.917 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.918 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.918 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.918 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.918 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.918 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.918 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.918 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.918 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.918 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.918 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.918 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.918 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.919 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.919 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.919 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.919 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.919 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.919 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.919 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1539331651.919 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539331651.919 * [misc]taylor:  Taking taylor expansion of -1 in x
1539331651.919 * [misc]backup-simplify:  Simplify -1 into -1
1539331651.919 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.919 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.919 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.919 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539331651.919 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539331651.920 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (sqrt -1))) into (- (log (sqrt -1)) (log x))
1539331651.920 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539331651.920 * [misc]backup-simplify:  Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
1539331651.920 * [misc]backup-simplify:  Simplify (+ (- (log (sqrt -1)) (log x)) (- (log x) (log -1))) into (- (log (sqrt -1)) (log -1))
1539331651.921 * [misc]backup-simplify:  Simplify (- (log (sqrt -1)) (log -1)) into (- (log (sqrt -1)) (log -1))
1539331651.921 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331651.923 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1539331651.923 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1539331651.924 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1539331651.925 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.925 * [misc]backup-simplify:  Simplify (+ (/ 1 (sqrt -1)) 0) into (/ 1 (sqrt -1))
1539331651.925 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331651.925 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331651.925 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.926 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.926 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.926 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331651.927 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331651.931 * [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
1539331651.931 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.934 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1539331651.934 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.934 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.934 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.934 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331651.934 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.935 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.935 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331651.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.941 * [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))
1539331651.941 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.945 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
1539331651.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.946 * [misc]backup-simplify:  Simplify (+ (/ -1/6 (pow (sqrt -1) 3)) 0) into (- (* 1/6 (/ 1 (pow (sqrt -1) 3))))
1539331651.948 * [misc]backup-simplify:  Simplify (- (* 1/6 (/ 1 (pow (sqrt -1) 3)))) into (- (* 1/6 (/ 1 (pow (sqrt -1) 3))))
1539331651.950 * [misc]backup-simplify:  Simplify (+ (* (- (* 1/6 (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (- (log (sqrt -1)) (log -1)))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (/ 1 (* x (sqrt -1))) (log -1)))
1539331651.950 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1539331651.950 * [misc]backup-simplify:  Simplify (log (+ 1 (sqrt (- 1 (* x x))))) into (log (+ 1 (sqrt (- 1 (pow x 2)))))
1539331651.950 * [misc]approximate:  Taking taylor expansion of (log (+ 1 (sqrt (- 1 (pow x 2))))) in (x) around 0
1539331651.950 * [misc]taylor:  Taking taylor expansion of (log (+ 1 (sqrt (- 1 (pow x 2))))) in x
1539331651.950 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331651.950 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.950 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.950 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331651.950 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331651.950 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.950 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.950 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.950 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.950 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.950 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.950 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.950 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331651.950 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.951 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331651.951 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331651.951 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331651.951 * [misc]taylor:  Taking taylor expansion of (log (+ 1 (sqrt (- 1 (pow x 2))))) in x
1539331651.951 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331651.951 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.951 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.951 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331651.951 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331651.951 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.951 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.951 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.951 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.951 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.951 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.951 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.951 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331651.951 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.952 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331651.952 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331651.952 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331651.952 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1539331651.952 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.955 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1539331651.955 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.956 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.956 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.956 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.957 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1539331651.957 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539331651.961 * [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
1539331651.961 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1539331651.961 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.961 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.961 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1539331651.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.966 * [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
1539331651.966 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.966 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331651.966 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.966 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.967 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1539331651.967 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1539331651.974 * [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
1539331651.974 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1539331651.974 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (log 2))) into (- (log 2) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4))))
1539331651.975 * [misc]backup-simplify:  Simplify (log (+ 1 (sqrt (- 1 (* (/ 1 x) (/ 1 x)))))) into (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1))
1539331651.975 * [misc]approximate:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in (x) around 0
1539331651.975 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.975 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.975 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.975 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.975 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.975 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.975 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.975 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.975 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.975 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.975 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.975 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.976 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.976 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.976 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.976 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.976 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.976 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.976 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.976 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.976 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.976 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.976 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.976 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.976 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.977 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.977 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.977 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.977 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.977 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.977 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.977 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.977 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.977 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.977 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.977 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.977 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.977 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.977 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.978 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.978 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.978 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.978 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331651.978 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331651.978 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (sqrt -1))) into (- (log (sqrt -1)) (log x))
1539331651.979 * [misc]backup-simplify:  Simplify (- (log (sqrt -1)) (log x)) into (- (log (sqrt -1)) (log x))
1539331651.979 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331651.981 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1539331651.981 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331651.981 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331651.982 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.982 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.982 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331651.983 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331651.983 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331651.989 * [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
1539331651.989 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331651.989 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331651.989 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.990 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331651.990 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.996 * [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))
1539331651.996 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1539331651.998 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (- (log (sqrt -1)) (log (/ 1 x))))) into (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (/ 1 x))))
1539331651.998 * [misc]backup-simplify:  Simplify (log (+ 1 (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))))) into (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1))
1539331651.998 * [misc]approximate:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in (x) around 0
1539331651.998 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.998 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.998 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331651.998 * [misc]taylor:  Taking taylor expansion of x in x
1539331651.998 * [misc]backup-simplify:  Simplify 0 into 0
1539331651.998 * [misc]backup-simplify:  Simplify 1 into 1
1539331651.998 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331651.998 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331651.999 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331651.999 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331651.999 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331651.999 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331651.999 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331651.999 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331651.999 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331651.999 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331651.999 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331651.999 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.000 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331652.000 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331652.000 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.000 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.000 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.000 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.000 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.000 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.000 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.000 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331652.000 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.000 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.001 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.001 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.001 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331652.001 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.001 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.001 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331652.001 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.001 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.001 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331652.002 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1539331652.002 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (sqrt -1))) into (- (log (sqrt -1)) (log x))
1539331652.002 * [misc]backup-simplify:  Simplify (- (log (sqrt -1)) (log x)) into (- (log (sqrt -1)) (log x))
1539331652.002 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331652.004 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1539331652.004 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1539331652.004 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331652.005 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331652.005 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.005 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331652.006 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331652.006 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331652.012 * [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
1539331652.013 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.013 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539331652.013 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331652.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.014 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.014 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1539331652.014 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.024 * [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))
1539331652.025 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1539331652.028 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (- (log (sqrt -1)) (log (/ 1 (- x)))))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (log (/ -1 x)) (/ 1 (* x (sqrt -1)))))
1539331652.028 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 1)
1539331652.028 * [misc]backup-simplify:  Simplify (+ 1 (sqrt (- 1 (* x x)))) into (+ 1 (sqrt (- 1 (pow x 2))))
1539331652.028 * [misc]approximate:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in (x) around 0
1539331652.028 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331652.028 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.028 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.028 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331652.028 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331652.028 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.028 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.029 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.029 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.029 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.029 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.029 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331652.029 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331652.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.029 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331652.029 * [misc]taylor:  Taking taylor expansion of (+ 1 (sqrt (- 1 (pow x 2)))) in x
1539331652.029 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.029 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.029 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1539331652.029 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1539331652.030 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.030 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.030 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.030 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.030 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.030 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.030 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331652.030 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539331652.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.030 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1539331652.031 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539331652.031 * [misc]backup-simplify:  Simplify 2 into 2
1539331652.031 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.031 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.031 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.031 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.031 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.032 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1539331652.033 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539331652.033 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539331652.033 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.033 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.033 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.033 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1539331652.034 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.034 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.034 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331652.034 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.034 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.035 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1539331652.036 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1539331652.036 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1539331652.036 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 4)) (+ (* -1/2 (pow x 2)) 2)) into (- 2 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1539331652.036 * [misc]backup-simplify:  Simplify (+ 1 (sqrt (- 1 (* (/ 1 x) (/ 1 x))))) into (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)
1539331652.036 * [misc]approximate:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in (x) around 0
1539331652.036 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331652.036 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331652.036 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331652.036 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.036 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.036 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331652.036 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.036 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.036 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.036 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.036 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.036 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331652.037 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.037 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.037 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.037 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.037 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331652.037 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.037 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.037 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331652.037 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.037 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.037 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331652.037 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331652.037 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331652.037 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.037 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.037 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331652.038 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.038 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.038 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.038 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.038 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.038 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331652.038 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.038 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.038 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.038 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.038 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331652.038 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.039 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.039 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331652.039 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.039 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.039 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331652.039 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.039 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331652.039 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.039 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331652.040 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331652.040 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.040 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331652.041 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331652.041 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331652.041 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331652.042 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (+ 1 (* (sqrt -1) (/ 1 (/ 1 x))))) into (+ (* x (sqrt -1)) (+ (* 1/2 (/ 1 (* x (sqrt -1)))) 1))
1539331652.042 * [misc]backup-simplify:  Simplify (+ 1 (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1)
1539331652.042 * [misc]approximate:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in (x) around 0
1539331652.042 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331652.042 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331652.042 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331652.042 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.042 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.042 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331652.042 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.042 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.042 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.042 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.042 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.042 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331652.042 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.043 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.043 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.043 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.043 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331652.043 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.043 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.043 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331652.043 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.043 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.043 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- 1 (/ 1 (pow x 2)))) 1) in x
1539331652.043 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1539331652.043 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1539331652.043 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.043 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.043 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539331652.043 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539331652.043 * [misc]taylor:  Taking taylor expansion of x in x
1539331652.043 * [misc]backup-simplify:  Simplify 0 into 0
1539331652.043 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.044 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539331652.044 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539331652.044 * [misc]backup-simplify:  Simplify (- 1) into -1
1539331652.044 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539331652.044 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.044 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539331652.044 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539331652.044 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.044 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539331652.045 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1539331652.045 * [misc]taylor:  Taking taylor expansion of 1 in x
1539331652.045 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.045 * [misc]backup-simplify:  Simplify (+ (sqrt -1) 0) into (sqrt -1)
1539331652.045 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1539331652.045 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539331652.045 * [misc]backup-simplify:  Simplify 1 into 1
1539331652.045 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539331652.045 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539331652.046 * [misc]backup-simplify:  Simplify (- 0) into 0
1539331652.046 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539331652.047 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331652.047 * [misc]backup-simplify:  Simplify (+ (/ 1/2 (sqrt -1)) 0) into (* 1/2 (/ 1 (sqrt -1)))
1539331652.047 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1539331652.048 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 (sqrt -1)) (/ 1 (- x))) (+ 1 (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- 1 (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1539331652.048 * * * [misc]progress:  simplifying candidates
1539331652.048 * * * * [misc]progress:  [ 1 / 55 ] simplifiying candidate #<alt (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))>
1539331652.048 * [enter]simplify:  Simplifying (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))
1539331652.048 * * [misc]simplify:  iters left: 6 (8 enodes)
1539331652.051 * * [misc]simplify:  iters left: 5 (22 enodes)
1539331652.060 * * [misc]simplify:  iters left: 4 (57 enodes)
1539331652.078 * * [misc]simplify:  iters left: 3 (130 enodes)
1539331652.136 * * [misc]simplify:  iters left: 2 (135 enodes)
1539331652.144 * [exit]simplify:  Simplified to (/ (+ (sqrt (- 1 (* x x))) 1) x)
1539331652.144 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ (+ (sqrt (- 1 (* x x))) 1) x)))
1539331652.144 * * * * [misc]progress:  [ 2 / 55 ] simplifiying candidate #<alt (λ (x) (log (* (exp (- (log x))) (+ 1 (sqrt (- 1 (* x x)))))))>
1539331652.144 * [enter]simplify:  Simplifying (* (exp (- (log x))) (+ 1 (sqrt (- 1 (* x x)))))
1539331652.145 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.147 * * [misc]simplify:  iters left: 5 (24 enodes)
1539331652.154 * * [misc]simplify:  iters left: 4 (41 enodes)
1539331652.162 * * [misc]simplify:  iters left: 3 (68 enodes)
1539331652.182 * * [misc]simplify:  iters left: 2 (92 enodes)
1539331652.190 * [exit]simplify:  Simplified to (/ (+ (sqrt (- 1 (* x x))) 1) x)
1539331652.190 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ (+ (sqrt (- 1 (* x x))) 1) x)))
1539331652.190 * * * * [misc]progress:  [ 3 / 55 ] simplifiying candidate #<alt (λ (x) (pow (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))) 1))>
1539331652.190 * * * * [misc]progress:  [ 4 / 55 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.190 * * * * [misc]progress:  [ 5 / 55 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.190 * * * * [misc]progress:  [ 6 / 55 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))) (cbrt (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))) (cbrt (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.190 * * * * [misc]progress:  [ 7 / 55 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.190 * * * * [misc]progress:  [ 8 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))) (sqrt (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.190 * * * * [misc]progress:  [ 9 / 55 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (- (log x)) 3) (pow (log (+ 1 (sqrt (- 1 (* x x))))) 3)) (+ (* (- (log x)) (- (log x))) (- (* (log (+ 1 (sqrt (- 1 (* x x))))) (log (+ 1 (sqrt (- 1 (* x x)))))) (* (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))))>
1539331652.190 * * * * [misc]progress:  [ 10 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.190 * * * * [misc]progress:  [ 11 / 55 ] simplifiying candidate #<alt (λ (x) (/ (- (* (- (log x)) (- (log x))) (* (log (+ 1 (sqrt (- 1 (* x x))))) (log (+ 1 (sqrt (- 1 (* x x))))))) (- (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.190 * * * * [misc]progress:  [ 12 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.190 * [enter]simplify:  Simplifying (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))
1539331652.191 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.193 * * [misc]simplify:  iters left: 5 (16 enodes)
1539331652.196 * * [misc]simplify:  iters left: 4 (21 enodes)
1539331652.200 * [exit]simplify:  Simplified to (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))
1539331652.200 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))))
1539331652.200 * * * * [misc]progress:  [ 13 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.200 * [enter]simplify:  Simplifying (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))
1539331652.201 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.203 * * [misc]simplify:  iters left: 5 (16 enodes)
1539331652.205 * * [misc]simplify:  iters left: 4 (21 enodes)
1539331652.209 * [exit]simplify:  Simplified to (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))
1539331652.209 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))))
1539331652.209 * * * * [misc]progress:  [ 14 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.209 * [enter]simplify:  Simplifying (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))
1539331652.210 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.212 * * [misc]simplify:  iters left: 5 (16 enodes)
1539331652.215 * * [misc]simplify:  iters left: 4 (21 enodes)
1539331652.219 * [exit]simplify:  Simplified to (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))
1539331652.219 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))))
1539331652.219 * * * * [misc]progress:  [ 15 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.219 * [enter]simplify:  Simplifying (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))
1539331652.220 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.222 * * [misc]simplify:  iters left: 5 (16 enodes)
1539331652.224 * * [misc]simplify:  iters left: 4 (21 enodes)
1539331652.228 * [exit]simplify:  Simplified to (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))
1539331652.228 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log (+ 1 (sqrt (- 1 (* x x))))) (log x))))
1539331652.228 * * * * [misc]progress:  [ 16 / 55 ] simplifiying candidate #<alt (λ (x) (+ (+ (- (log x)) (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))))) (log (cbrt (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.228 * [enter]simplify:  Simplifying (log (cbrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.229 * * [misc]simplify:  iters left: 6 (8 enodes)
1539331652.231 * * [misc]simplify:  iters left: 5 (13 enodes)
1539331652.233 * * [misc]simplify:  iters left: 4 (17 enodes)
1539331652.236 * [exit]simplify:  Simplified to (log (cbrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.236 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (- (log x)) (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))))) (log (cbrt (+ 1 (sqrt (- 1 (* x x))))))))
1539331652.236 * * * * [misc]progress:  [ 17 / 55 ] simplifiying candidate #<alt (λ (x) (+ (+ (- (log x)) (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))) (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.236 * [enter]simplify:  Simplifying (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.236 * * [misc]simplify:  iters left: 6 (8 enodes)
1539331652.238 * * [misc]simplify:  iters left: 5 (13 enodes)
1539331652.241 * * [misc]simplify:  iters left: 4 (17 enodes)
1539331652.245 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.245 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (- (log x)) (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))) (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))))
1539331652.245 * * * * [misc]progress:  [ 18 / 55 ] simplifiying candidate #<alt (λ (x) (+ (+ (- (log x)) (log 1)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1539331652.246 * [enter]simplify:  Simplifying (log (+ 1 (sqrt (- 1 (* x x)))))
1539331652.246 * * [misc]simplify:  iters left: 6 (7 enodes)
1539331652.249 * * [misc]simplify:  iters left: 5 (12 enodes)
1539331652.253 * * [misc]simplify:  iters left: 4 (16 enodes)
1539331652.259 * [exit]simplify:  Simplified to (log (+ 1 (sqrt (- 1 (* x x)))))
1539331652.259 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (- (log x)) (log 1)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1539331652.259 * * * * [misc]progress:  [ 19 / 55 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log x)) (log (+ (pow 1 3) (pow (sqrt (- 1 (* x x))) 3)))) (log (+ (* 1 1) (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (* 1 (sqrt (- 1 (* x x)))))))))>
1539331652.259 * [enter]simplify:  Simplifying (log (+ (* 1 1) (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (* 1 (sqrt (- 1 (* x x)))))))
1539331652.260 * * [misc]simplify:  iters left: 6 (11 enodes)
1539331652.266 * * [misc]simplify:  iters left: 5 (24 enodes)
1539331652.280 * * [misc]simplify:  iters left: 4 (60 enodes)
1539331652.317 * * [misc]simplify:  iters left: 3 (124 enodes)
1539331652.395 * * [misc]simplify:  iters left: 2 (229 enodes)
1539331652.531 * * [misc]simplify:  iters left: 1 (358 enodes)
1539331652.780 * [exit]simplify:  Simplified to (log (- (- 2 (* x x)) (sqrt (- 1 (* x x)))))
1539331652.780 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (+ (- (log x)) (log (+ (pow 1 3) (pow (sqrt (- 1 (* x x))) 3)))) (log (- (- 2 (* x x)) (sqrt (- 1 (* x x)))))))
1539331652.780 * * * * [misc]progress:  [ 20 / 55 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log x)) (log (- (* 1 1) (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))))) (log (- 1 (sqrt (- 1 (* x x)))))))>
1539331652.780 * [enter]simplify:  Simplifying (log (- 1 (sqrt (- 1 (* x x)))))
1539331652.781 * * [misc]simplify:  iters left: 6 (7 enodes)
1539331652.784 * * [misc]simplify:  iters left: 5 (13 enodes)
1539331652.788 * * [misc]simplify:  iters left: 4 (18 enodes)
1539331652.795 * [exit]simplify:  Simplified to (log (- 1 (sqrt (- 1 (* x x)))))
1539331652.795 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (+ (- (log x)) (log (- (* 1 1) (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))))) (log (- 1 (sqrt (- 1 (* x x)))))))
1539331652.795 * * * * [misc]progress:  [ 21 / 55 ] simplifiying candidate #<alt (λ (x) (- 0 (- (log x) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.795 * * * * [misc]progress:  [ 22 / 55 ] simplifiying candidate #<alt (λ (x) (+ (log (+ 1 (sqrt (- 1 (* x x))))) (- (log x))))>
1539331652.795 * * * * [misc]progress:  [ 23 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (+ (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x))))))) (log (cbrt (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.795 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))))
1539331652.797 * * [misc]simplify:  iters left: 6 (9 enodes)
1539331652.800 * * [misc]simplify:  iters left: 5 (16 enodes)
1539331652.805 * * [misc]simplify:  iters left: 4 (20 enodes)
1539331652.813 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))))
1539331652.813 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (+ (log (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x))))))) (log (cbrt (+ 1 (sqrt (- 1 (* x x)))))))))
1539331652.813 * * * * [misc]progress:  [ 24 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (+ (log (sqrt (+ 1 (sqrt (- 1 (* x x)))))) (log (sqrt (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331652.814 * [enter]simplify:  Simplifying (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.814 * * [misc]simplify:  iters left: 6 (8 enodes)
1539331652.818 * * [misc]simplify:  iters left: 5 (13 enodes)
1539331652.826 * * [misc]simplify:  iters left: 4 (17 enodes)
1539331652.832 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (sqrt (- 1 (* x x))))))
1539331652.832 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (+ (log (sqrt (+ 1 (sqrt (- 1 (* x x)))))) (log (sqrt (+ 1 (sqrt (- 1 (* x x)))))))))
1539331652.832 * * * * [misc]progress:  [ 25 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (+ (log 1) (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331652.832 * [enter]simplify:  Simplifying (log 1)
1539331652.833 * * [misc]simplify:  iters left: 1 (2 enodes)
1539331652.834 * [exit]simplify:  Simplified to 0
1539331652.834 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (+ 0 (log (+ 1 (sqrt (- 1 (* x x))))))))
1539331652.834 * * * * [misc]progress:  [ 26 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (- (log (+ (pow 1 3) (pow (sqrt (- 1 (* x x))) 3))) (log (+ (* 1 1) (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (* 1 (sqrt (- 1 (* x x))))))))))>
1539331652.835 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow (sqrt (- 1 (* x x))) 3)))
1539331652.836 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331652.842 * * [misc]simplify:  iters left: 5 (20 enodes)
1539331652.852 * * [misc]simplify:  iters left: 4 (24 enodes)
1539331652.860 * * [misc]simplify:  iters left: 3 (33 enodes)
1539331652.871 * * [misc]simplify:  iters left: 2 (45 enodes)
1539331652.891 * * [misc]simplify:  iters left: 1 (84 enodes)
1539331652.945 * [exit]simplify:  Simplified to (log (+ 1 (* (- 1 (* x x)) (sqrt (- 1 (* x x))))))
1539331652.945 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (- (log (+ 1 (* (- 1 (* x x)) (sqrt (- 1 (* x x)))))) (log (+ (* 1 1) (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (* 1 (sqrt (- 1 (* x x))))))))))
1539331652.945 * * * * [misc]progress:  [ 27 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (- (log (- (* 1 1) (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))))) (log (- 1 (sqrt (- 1 (* x x))))))))>
1539331652.945 * [enter]simplify:  Simplifying (log (- (* 1 1) (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))))
1539331652.946 * * [misc]simplify:  iters left: 6 (9 enodes)
1539331652.951 * * [misc]simplify:  iters left: 5 (15 enodes)
1539331652.960 * * [misc]simplify:  iters left: 4 (32 enodes)
1539331652.968 * * [misc]simplify:  iters left: 3 (41 enodes)
1539331652.986 * * [misc]simplify:  iters left: 2 (88 enodes)
1539331653.022 * * [misc]simplify:  iters left: 1 (168 enodes)
1539331653.198 * [exit]simplify:  Simplified to (log (* x x))
1539331653.198 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (- (log (* x x)) (log (- 1 (sqrt (- 1 (* x x))))))))
1539331653.198 * * * * [misc]progress:  [ 28 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (* 1 (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331653.198 * * * * [misc]progress:  [ 29 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (pow (log (+ 1 (sqrt (- 1 (* x x))))) 1)))>
1539331653.199 * * * * [misc]progress:  [ 30 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1539331653.199 * [enter]simplify:  Simplifying (+ 1 (sqrt (- 1 (* x x))))
1539331653.200 * * [misc]simplify:  iters left: 6 (6 enodes)
1539331653.202 * * [misc]simplify:  iters left: 5 (11 enodes)
1539331653.206 * * [misc]simplify:  iters left: 4 (15 enodes)
1539331653.211 * [exit]simplify:  Simplified to (+ 1 (sqrt (- 1 (* x x))))
1539331653.211 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1539331653.211 * * * * [misc]progress:  [ 31 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (exp (log (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 32 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (exp (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 33 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (* (* (cbrt (log (+ 1 (sqrt (- 1 (* x x)))))) (cbrt (log (+ 1 (sqrt (- 1 (* x x))))))) (cbrt (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 34 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (cbrt (* (* (log (+ 1 (sqrt (- 1 (* x x))))) (log (+ 1 (sqrt (- 1 (* x x)))))) (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 35 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (* (sqrt (log (+ 1 (sqrt (- 1 (* x x)))))) (sqrt (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 36 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (* 1 (log (+ 1 (sqrt (- 1 (* x x))))))))>
1539331653.211 * * * * [misc]progress:  [ 37 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (pow (+ 1 (sqrt (- 1 (* x x)))) 1))))>
1539331653.211 * * * * [misc]progress:  [ 38 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (exp (log (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.211 * * * * [misc]progress:  [ 39 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (log (exp (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.212 * * * * [misc]progress:  [ 40 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (* (* (cbrt (+ 1 (sqrt (- 1 (* x x))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))) (cbrt (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.212 * * * * [misc]progress:  [ 41 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (cbrt (* (* (+ 1 (sqrt (- 1 (* x x)))) (+ 1 (sqrt (- 1 (* x x))))) (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.212 * * * * [misc]progress:  [ 42 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (* (sqrt (+ 1 (sqrt (- 1 (* x x))))) (sqrt (+ 1 (sqrt (- 1 (* x x)))))))))>
1539331653.212 * * * * [misc]progress:  [ 43 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (/ (+ (pow 1 3) (pow (sqrt (- 1 (* x x))) 3)) (+ (* 1 1) (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (* 1 (sqrt (- 1 (* x x))))))))))>
1539331653.212 * * * * [misc]progress:  [ 44 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (* 1 (+ 1 (sqrt (- 1 (* x x))))))))>
1539331653.212 * * * * [misc]progress:  [ 45 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (/ (- (* 1 1) (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))) (- 1 (sqrt (- 1 (* x x))))))))>
1539331653.212 * * * * [misc]progress:  [ 46 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (+ (sqrt (- 1 (* x x))) 1))))>
1539331653.212 * * * * [misc]progress:  [ 47 / 55 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1539331653.212 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1539331653.213 * * [misc]simplify:  iters left: 6 (14 enodes)
1539331653.217 * * [misc]simplify:  iters left: 5 (25 enodes)
1539331653.224 * * [misc]simplify:  iters left: 4 (52 enodes)
1539331653.238 * * [misc]simplify:  iters left: 3 (104 enodes)
1539331653.278 * * [misc]simplify:  iters left: 2 (199 enodes)
1539331653.375 * * [misc]simplify:  iters left: 1 (331 enodes)
1539331653.589 * [exit]simplify:  Simplified to (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x))))
1539331653.589 * [misc]simplify:  Simplified (2) to (λ (x) (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x)))))
1539331653.589 * * * * [misc]progress:  [ 48 / 55 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))))>
1539331653.589 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1539331653.591 * * [misc]simplify:  iters left: 6 (16 enodes)
1539331653.602 * * [misc]simplify:  iters left: 5 (38 enodes)
1539331653.624 * * [misc]simplify:  iters left: 4 (82 enodes)
1539331653.671 * * [misc]simplify:  iters left: 3 (160 enodes)
1539331653.751 * * [misc]simplify:  iters left: 2 (306 enodes)
1539331654.127 * [exit]simplify:  Simplified to (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x))))
1539331654.127 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x)))))
1539331654.127 * * * * [misc]progress:  [ 49 / 55 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (/ 1 (* x (sqrt -1))) (log -1))))>
1539331654.127 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (/ 1 (* x (sqrt -1))) (log -1)))
1539331654.129 * * [misc]simplify:  iters left: 6 (18 enodes)
1539331654.141 * * [misc]simplify:  iters left: 5 (43 enodes)
1539331654.163 * * [misc]simplify:  iters left: 4 (92 enodes)
1539331654.197 * * [misc]simplify:  iters left: 3 (197 enodes)
1539331654.286 * * [misc]simplify:  iters left: 2 (370 enodes)
1539331654.570 * [exit]simplify:  Simplified to (- (- (/ (/ -1 x) (sqrt -1)) (- (log -1) (log (sqrt -1)))) (/ -1/6 (* (* (- x) (* x x)) (sqrt -1))))
1539331654.570 * [misc]simplify:  Simplified (2) to (λ (x) (- (- (/ (/ -1 x) (sqrt -1)) (- (log -1) (log (sqrt -1)))) (/ -1/6 (* (* (- x) (* x x)) (sqrt -1)))))
1539331654.570 * * * * [misc]progress:  [ 50 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (- (log 2) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4))))))>
1539331654.570 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4))))
1539331654.572 * * [misc]simplify:  iters left: 6 (12 enodes)
1539331654.578 * * [misc]simplify:  iters left: 5 (20 enodes)
1539331654.587 * * [misc]simplify:  iters left: 4 (32 enodes)
1539331654.604 * * [misc]simplify:  iters left: 3 (65 enodes)
1539331654.629 * * [misc]simplify:  iters left: 2 (86 enodes)
1539331654.655 * * [misc]simplify:  iters left: 1 (101 enodes)
1539331654.709 * [exit]simplify:  Simplified to (+ (+ (* -3/32 (pow x 4)) (* -1/4 (* x x))) (log 2))
1539331654.709 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (log x)) (+ (+ (* -3/32 (pow x 4)) (* -1/4 (* x x))) (log 2))))
1539331654.709 * * * * [misc]progress:  [ 51 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (/ 1 x))))))>
1539331654.709 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (/ 1 x))))
1539331654.711 * * [misc]simplify:  iters left: 6 (19 enodes)
1539331654.725 * * [misc]simplify:  iters left: 5 (47 enodes)
1539331654.748 * * [misc]simplify:  iters left: 4 (97 enodes)
1539331654.794 * * [misc]simplify:  iters left: 3 (230 enodes)
1539331654.911 * * [misc]simplify:  iters left: 2 (443 enodes)
1539331655.341 * [exit]simplify:  Simplified to (+ (- (log (sqrt -1)) (/ (/ -1/6 (* x x)) (* (sqrt -1) x))) (+ (log x) (/ (/ 1 x) (sqrt -1))))
1539331655.341 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (log x)) (+ (- (log (sqrt -1)) (/ (/ -1/6 (* x x)) (* (sqrt -1) x))) (+ (log x) (/ (/ 1 x) (sqrt -1))))))
1539331655.341 * * * * [misc]progress:  [ 52 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (log (/ -1 x)) (/ 1 (* x (sqrt -1)))))))>
1539331655.341 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (sqrt -1))) (+ (log (/ -1 x)) (/ 1 (* x (sqrt -1)))))
1539331655.343 * * [misc]simplify:  iters left: 6 (19 enodes)
1539331655.355 * * [misc]simplify:  iters left: 5 (47 enodes)
1539331655.369 * * [misc]simplify:  iters left: 4 (104 enodes)
1539331655.412 * * [misc]simplify:  iters left: 3 (247 enodes)
1539331655.621 * [exit]simplify:  Simplified to (+ (+ (/ (/ -1 x) (sqrt -1)) (log (sqrt -1))) (- (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1))) (log (/ -1 x))))
1539331655.622 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (log x)) (+ (+ (/ (/ -1 x) (sqrt -1)) (log (sqrt -1))) (- (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1))) (log (/ -1 x))))))
1539331655.622 * * * * [misc]progress:  [ 53 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (- 2 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))))))>
1539331655.622 * [enter]simplify:  Simplifying (- 2 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1539331655.623 * * [misc]simplify:  iters left: 6 (11 enodes)
1539331655.627 * * [misc]simplify:  iters left: 5 (19 enodes)
1539331655.631 * * [misc]simplify:  iters left: 4 (31 enodes)
1539331655.639 * * [misc]simplify:  iters left: 3 (63 enodes)
1539331655.651 * * [misc]simplify:  iters left: 2 (84 enodes)
1539331655.679 * * [misc]simplify:  iters left: 1 (100 enodes)
1539331655.717 * [exit]simplify:  Simplified to (- (- (* (* x x) -1/2) (* 1/8 (pow x 4))) -2)
1539331655.717 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (log (- (- (* (* x x) -1/2) (* 1/8 (pow x 4))) -2))))
1539331655.717 * * * * [misc]progress:  [ 54 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (+ (* x (sqrt -1)) (+ (* 1/2 (/ 1 (* x (sqrt -1)))) 1)))))>
1539331655.717 * [enter]simplify:  Simplifying (+ (* x (sqrt -1)) (+ (* 1/2 (/ 1 (* x (sqrt -1)))) 1))
1539331655.717 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331655.724 * * [misc]simplify:  iters left: 5 (22 enodes)
1539331655.734 * * [misc]simplify:  iters left: 4 (34 enodes)
1539331655.748 * * [misc]simplify:  iters left: 3 (47 enodes)
1539331655.760 * * [misc]simplify:  iters left: 2 (59 enodes)
1539331655.772 * * [misc]simplify:  iters left: 1 (79 enodes)
1539331655.789 * [exit]simplify:  Simplified to (+ (+ (* x (sqrt -1)) 1) (/ (/ 1/2 x) (sqrt -1)))
1539331655.789 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (log (+ (+ (* x (sqrt -1)) 1) (/ (/ 1/2 x) (sqrt -1))))))
1539331655.789 * * * * [misc]progress:  [ 55 / 55 ] simplifiying candidate #<alt (λ (x) (+ (- (log x)) (log (- 1 (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))))))>
1539331655.790 * [enter]simplify:  Simplifying (- 1 (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1539331655.790 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331655.796 * * [misc]simplify:  iters left: 5 (23 enodes)
1539331655.807 * * [misc]simplify:  iters left: 4 (37 enodes)
1539331655.828 * * [misc]simplify:  iters left: 3 (77 enodes)
1539331655.866 * * [misc]simplify:  iters left: 2 (131 enodes)
1539331655.893 * * [misc]simplify:  iters left: 1 (191 enodes)
1539331656.027 * [exit]simplify:  Simplified to (- (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1))) -1)
1539331656.028 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (- (log x)) (log (- (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1))) -1))))
1539331656.028 * * * [misc]progress:  adding candidates to table
1539331657.045 * [misc]progress:  [Phase 3 of 3] Extracting.
1539331657.045 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1539331657.046 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1539331657.046 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1539331657.089 * * * * [misc]regimes:  Trying to branch on (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) from (#<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1539331657.194 * * * * [misc]regimes:  Trying to branch on (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) from (#<alt (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1539331657.281 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1539331657.281 * [enter]simplify:  Simplifying (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))
1539331657.283 * * [misc]simplify:  iters left: 6 (10 enodes)
1539331657.284 * * [misc]simplify:  iters left: 5 (14 enodes)
1539331657.287 * [exit]simplify:  Simplified to (+ (log (+ 1 (sqrt (- 1 (* x x))))) (- (log x)))
1539331657.287 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1539331660.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331660.009 * * * * [misc]points:  Sampling 5998 additional inputs, on iter 1 have 2002 / 8000
1539331662.143 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331662.144 * * * * [misc]points:  Sampling 4566 additional inputs, on iter 2 have 3434 / 8000
1539331663.598 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331663.599 * * * * [misc]points:  Sampling 3452 additional inputs, on iter 3 have 4548 / 8000
1539331664.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331664.942 * * * * [misc]points:  Sampling 2597 additional inputs, on iter 4 have 5403 / 8000
1539331665.741 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331665.742 * * * * [misc]points:  Sampling 1947 additional inputs, on iter 5 have 6053 / 8000
1539331666.718 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331666.719 * * * * [misc]points:  Sampling 1465 additional inputs, on iter 6 have 6535 / 8000
1539331667.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331667.115 * * * * [misc]points:  Sampling 1121 additional inputs, on iter 7 have 6879 / 8000
1539331667.497 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331667.497 * * * * [misc]points:  Sampling 836 additional inputs, on iter 8 have 7164 / 8000
1539331667.761 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331667.762 * * * * [misc]points:  Sampling 628 additional inputs, on iter 9 have 7372 / 8000
1539331667.912 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331667.912 * * * * [misc]points:  Sampling 477 additional inputs, on iter 10 have 7523 / 8000
1539331668.083 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.083 * * * * [misc]points:  Sampling 360 additional inputs, on iter 11 have 7640 / 8000
1539331668.162 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.162 * * * * [misc]points:  Sampling 274 additional inputs, on iter 12 have 7726 / 8000
1539331668.305 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.305 * * * * [misc]points:  Sampling 208 additional inputs, on iter 13 have 7792 / 8000
1539331668.340 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.340 * * * * [misc]points:  Sampling 148 additional inputs, on iter 14 have 7852 / 8000
1539331668.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.363 * * * * [misc]points:  Sampling 114 additional inputs, on iter 15 have 7886 / 8000
1539331668.420 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.420 * * * * [misc]points:  Sampling 82 additional inputs, on iter 16 have 7918 / 8000
1539331668.448 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.449 * * * * [misc]points:  Sampling 63 additional inputs, on iter 17 have 7937 / 8000
1539331668.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.470 * * * * [misc]points:  Sampling 47 additional inputs, on iter 18 have 7953 / 8000
1539331668.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.487 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 7967 / 8000
1539331668.500 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.500 * * * * [misc]points:  Sampling 23 additional inputs, on iter 20 have 7977 / 8000
1539331668.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.511 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1539331668.519 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.519 * * * * [misc]points:  Sampling 16 additional inputs, on iter 22 have 7984 / 8000
1539331668.527 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.528 * * * * [misc]points:  Sampling 11 additional inputs, on iter 23 have 7989 / 8000
1539331668.534 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.534 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1539331668.540 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.540 * * * * [misc]points:  Sampling 8 additional inputs, on iter 25 have 7992 / 8000
1539331668.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.545 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1539331668.549 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.549 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1539331668.552 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.552 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1539331668.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539331668.556 * * * * [exit]points:  Sampled 8000 points with exact outputs