1538652009.434 * [misc]progress: [Phase 1 of 3] Setting up. 1538652009.435 * * * [misc]progress: [1/2] Preparing points 1538652009.436 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538652009.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.622 * * * * [misc]points: Sampling 207 additional inputs, on iter 1 have 49 / 256 1538652009.647 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.647 * * * * [misc]points: Sampling 156 additional inputs, on iter 2 have 100 / 256 1538652009.714 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.715 * * * * [misc]points: Sampling 115 additional inputs, on iter 3 have 141 / 256 1538652009.739 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.740 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1538652009.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.921 * * * * [misc]points: Sampling 68 additional inputs, on iter 5 have 188 / 256 1538652009.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.977 * * * * [misc]points: Sampling 55 additional inputs, on iter 6 have 201 / 256 1538652009.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.989 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 220 / 256 1538652009.999 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652009.999 * * * * [misc]points: Sampling 30 additional inputs, on iter 8 have 226 / 256 1538652010.007 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.007 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538652010.013 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.013 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 242 / 256 1538652010.057 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.057 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1538652010.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.063 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1538652010.068 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.068 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538652010.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.072 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538652010.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.077 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1538652010.080 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.080 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 254 / 256 1538652010.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.084 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 255 / 256 1538652010.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652010.088 * * * * [exit]points: Sampled 256 points with exact outputs 1538652010.088 * * * [misc]progress: [2/2] Setting up program. 1538652010.099 * [misc]progress: [Phase 2 of 3] Improving. 1538652010.100 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1538652010.102 * * [misc]simplify: iters left: 6 (6 enodes) 1538652010.111 * * [misc]simplify: iters left: 5 (11 enodes) 1538652010.114 * * [misc]simplify: iters left: 4 (12 enodes) 1538652010.119 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1538652010.135 * * [misc]progress: iteration 1 / 4 1538652010.135 * * * [misc]progress: picking best candidate 1538652010.140 * * * * [misc]pick: Picked # 1538652010.140 * * * [misc]progress: localizing error 1538652010.174 * * * [misc]progress: generating rewritten candidates 1538652010.177 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538652010.199 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1538652010.224 * * * [misc]progress: generating series expansions 1538652010.224 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538652010.233 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1538652010.233 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1538652010.235 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1538652010.235 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538652010.235 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652010.235 * [misc]taylor: Taking taylor expansion of x in x 1538652010.235 * [misc]backup-simplify: Simplify 0 into 0 1538652010.235 * [misc]backup-simplify: Simplify 1 into 1 1538652010.236 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652010.236 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.236 * [misc]backup-simplify: Simplify 1 into 1 1538652010.236 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.237 * [misc]backup-simplify: Simplify (log 1) into 0 1538652010.237 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1538652010.237 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538652010.237 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652010.237 * [misc]taylor: Taking taylor expansion of x in x 1538652010.237 * [misc]backup-simplify: Simplify 0 into 0 1538652010.237 * [misc]backup-simplify: Simplify 1 into 1 1538652010.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652010.237 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.237 * [misc]backup-simplify: Simplify 1 into 1 1538652010.237 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.237 * [misc]backup-simplify: Simplify (log 1) into 0 1538652010.239 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1538652010.239 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1538652010.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652010.240 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.240 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652010.243 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1538652010.243 * [misc]backup-simplify: Simplify -1 into -1 1538652010.244 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.245 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.249 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1538652010.249 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652010.250 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1538652010.250 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1538652010.250 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1538652010.250 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1538652010.250 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538652010.250 * [misc]taylor: Taking taylor expansion of x in x 1538652010.251 * [misc]backup-simplify: Simplify 0 into 0 1538652010.251 * [misc]backup-simplify: Simplify 1 into 1 1538652010.251 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.251 * [misc]backup-simplify: Simplify 1 into 1 1538652010.251 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.251 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652010.251 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.251 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1538652010.251 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538652010.251 * [misc]taylor: Taking taylor expansion of x in x 1538652010.251 * [misc]backup-simplify: Simplify 0 into 0 1538652010.251 * [misc]backup-simplify: Simplify 1 into 1 1538652010.251 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.251 * [misc]backup-simplify: Simplify 1 into 1 1538652010.252 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.252 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652010.252 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.252 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.252 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.252 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.255 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1538652010.255 * [misc]backup-simplify: Simplify -1 into -1 1538652010.255 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.255 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.258 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1538652010.258 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652010.259 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1538652010.259 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1538652010.259 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1538652010.259 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of x in x 1538652010.259 * [misc]backup-simplify: Simplify 0 into 0 1538652010.259 * [misc]backup-simplify: Simplify 1 into 1 1538652010.259 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.259 * [misc]backup-simplify: Simplify 1 into 1 1538652010.259 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652010.259 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.259 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.259 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.259 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538652010.259 * [misc]taylor: Taking taylor expansion of x in x 1538652010.259 * [misc]backup-simplify: Simplify 0 into 0 1538652010.259 * [misc]backup-simplify: Simplify 1 into 1 1538652010.259 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.259 * [misc]backup-simplify: Simplify 1 into 1 1538652010.260 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652010.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.260 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.260 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652010.260 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.262 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1538652010.262 * [misc]backup-simplify: Simplify 1 into 1 1538652010.262 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.262 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.262 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.262 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.262 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.265 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1538652010.265 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652010.265 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1538652010.265 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1538652010.266 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1538652010.266 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1538652010.266 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538652010.266 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652010.266 * [misc]taylor: Taking taylor expansion of x in x 1538652010.266 * [misc]backup-simplify: Simplify 0 into 0 1538652010.266 * [misc]backup-simplify: Simplify 1 into 1 1538652010.266 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652010.266 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.266 * [misc]backup-simplify: Simplify 1 into 1 1538652010.266 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538652010.266 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652010.266 * [misc]taylor: Taking taylor expansion of x in x 1538652010.266 * [misc]backup-simplify: Simplify 0 into 0 1538652010.266 * [misc]backup-simplify: Simplify 1 into 1 1538652010.266 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652010.266 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.266 * [misc]backup-simplify: Simplify 1 into 1 1538652010.266 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.266 * [misc]backup-simplify: Simplify 1 into 1 1538652010.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652010.267 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.267 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652010.267 * [misc]backup-simplify: Simplify -1 into -1 1538652010.267 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.267 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.267 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.267 * [misc]backup-simplify: Simplify 0 into 0 1538652010.267 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.267 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.268 * [misc]backup-simplify: Simplify 0 into 0 1538652010.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.268 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.268 * [misc]backup-simplify: Simplify 0 into 0 1538652010.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.269 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.269 * [misc]backup-simplify: Simplify 0 into 0 1538652010.269 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.269 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.269 * [misc]backup-simplify: Simplify 0 into 0 1538652010.270 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652010.270 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.270 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.270 * [misc]backup-simplify: Simplify 0 into 0 1538652010.270 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1538652010.270 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1538652010.270 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1538652010.270 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538652010.270 * [misc]taylor: Taking taylor expansion of x in x 1538652010.270 * [misc]backup-simplify: Simplify 0 into 0 1538652010.270 * [misc]backup-simplify: Simplify 1 into 1 1538652010.270 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.270 * [misc]backup-simplify: Simplify 1 into 1 1538652010.270 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538652010.270 * [misc]taylor: Taking taylor expansion of x in x 1538652010.270 * [misc]backup-simplify: Simplify 0 into 0 1538652010.270 * [misc]backup-simplify: Simplify 1 into 1 1538652010.270 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.270 * [misc]backup-simplify: Simplify 1 into 1 1538652010.270 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.270 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652010.270 * [misc]backup-simplify: Simplify -1 into -1 1538652010.271 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.271 * [misc]backup-simplify: Simplify 1 into 1 1538652010.271 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify 0 into 0 1538652010.271 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify 0 into 0 1538652010.271 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.271 * [misc]backup-simplify: Simplify 0 into 0 1538652010.271 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify 0 into 0 1538652010.272 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify 0 into 0 1538652010.272 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.272 * [misc]backup-simplify: Simplify 0 into 0 1538652010.272 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1538652010.272 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1538652010.272 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1538652010.272 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1538652010.272 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538652010.272 * [misc]taylor: Taking taylor expansion of x in x 1538652010.272 * [misc]backup-simplify: Simplify 0 into 0 1538652010.272 * [misc]backup-simplify: Simplify 1 into 1 1538652010.272 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.272 * [misc]backup-simplify: Simplify 1 into 1 1538652010.272 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1538652010.272 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538652010.272 * [misc]taylor: Taking taylor expansion of x in x 1538652010.272 * [misc]backup-simplify: Simplify 0 into 0 1538652010.272 * [misc]backup-simplify: Simplify 1 into 1 1538652010.272 * [misc]taylor: Taking taylor expansion of 1 in x 1538652010.272 * [misc]backup-simplify: Simplify 1 into 1 1538652010.273 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652010.273 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.273 * [misc]backup-simplify: Simplify -1 into -1 1538652010.273 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652010.273 * [misc]backup-simplify: Simplify (- 1) into -1 1538652010.273 * [misc]backup-simplify: Simplify -1 into -1 1538652010.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.273 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.273 * [misc]backup-simplify: Simplify 0 into 0 1538652010.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.273 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.273 * [misc]backup-simplify: Simplify 0 into 0 1538652010.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify 0 into 0 1538652010.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify 0 into 0 1538652010.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify 0 into 0 1538652010.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify (- 0) into 0 1538652010.274 * [misc]backup-simplify: Simplify 0 into 0 1538652010.274 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1538652010.274 * * * [misc]progress: simplifying candidates 1538652010.275 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1538652010.275 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1538652010.276 * * [misc]simplify: iters left: 6 (7 enodes) 1538652010.278 * * [misc]simplify: iters left: 5 (14 enodes) 1538652010.280 * * [misc]simplify: iters left: 4 (15 enodes) 1538652010.282 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1538652010.282 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1538652010.282 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1538652010.283 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1538652010.283 * * [misc]simplify: iters left: 6 (6 enodes) 1538652010.285 * * [misc]simplify: iters left: 5 (11 enodes) 1538652010.286 * * [misc]simplify: iters left: 4 (12 enodes) 1538652010.288 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1538652010.288 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1538652010.288 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1538652010.288 * [enter]simplify: Simplifying (log 1) 1538652010.295 * * [misc]simplify: iters left: 1 (2 enodes) 1538652010.296 * [exit]simplify: Simplified to 0 1538652010.296 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1538652010.296 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1538652010.296 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1538652010.296 * * [misc]simplify: iters left: 6 (6 enodes) 1538652010.298 * * [misc]simplify: iters left: 5 (9 enodes) 1538652010.299 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1538652010.299 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1538652010.299 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1538652010.299 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1538652010.300 * * [misc]simplify: iters left: 6 (8 enodes) 1538652010.305 * * [misc]simplify: iters left: 5 (20 enodes) 1538652010.309 * * [misc]simplify: iters left: 4 (32 enodes) 1538652010.315 * * [misc]simplify: iters left: 3 (41 enodes) 1538652010.322 * * [misc]simplify: iters left: 2 (49 enodes) 1538652010.329 * * [misc]simplify: iters left: 1 (56 enodes) 1538652010.338 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1538652010.338 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1538652010.338 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1538652010.338 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1538652010.338 * * [misc]simplify: iters left: 6 (7 enodes) 1538652010.341 * * [misc]simplify: iters left: 5 (16 enodes) 1538652010.344 * * [misc]simplify: iters left: 4 (17 enodes) 1538652010.347 * * [misc]simplify: iters left: 3 (24 enodes) 1538652010.351 * * [misc]simplify: iters left: 2 (35 enodes) 1538652010.360 * * [misc]simplify: iters left: 1 (57 enodes) 1538652010.384 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1538652010.384 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))) 1538652010.384 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1538652010.384 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1538652010.384 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1538652010.384 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1538652010.385 * * [misc]simplify: iters left: 4 (4 enodes) 1538652010.386 * * [misc]simplify: iters left: 3 (9 enodes) 1538652010.388 * * [misc]simplify: iters left: 2 (10 enodes) 1538652010.389 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1538652010.389 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1538652010.389 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1538652010.389 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1538652010.390 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1538652010.390 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1538652010.390 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1538652010.390 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1538652010.390 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1538652010.390 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1538652010.390 * * [misc]simplify: iters left: 5 (5 enodes) 1538652010.391 * * [misc]simplify: iters left: 4 (8 enodes) 1538652010.392 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1538652010.392 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1538652010.392 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1538652010.393 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1538652010.393 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1538652010.393 * * [misc]simplify: iters left: 6 (9 enodes) 1538652010.396 * * [misc]simplify: iters left: 5 (18 enodes) 1538652010.400 * * [misc]simplify: iters left: 4 (34 enodes) 1538652010.410 * * [misc]simplify: iters left: 3 (75 enodes) 1538652010.426 * * [misc]simplify: iters left: 2 (104 enodes) 1538652010.448 * * [misc]simplify: iters left: 1 (140 enodes) 1538652010.491 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1538652010.491 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652010.491 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1538652010.492 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1538652010.492 * * [misc]simplify: iters left: 6 (12 enodes) 1538652010.496 * * [misc]simplify: iters left: 5 (23 enodes) 1538652010.502 * * [misc]simplify: iters left: 4 (34 enodes) 1538652010.512 * * [misc]simplify: iters left: 3 (62 enodes) 1538652010.529 * * [misc]simplify: iters left: 2 (94 enodes) 1538652010.545 * * [misc]simplify: iters left: 1 (125 enodes) 1538652010.576 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1538652010.576 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1538652010.576 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1538652010.576 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1538652010.577 * * [misc]simplify: iters left: 6 (12 enodes) 1538652010.581 * * [misc]simplify: iters left: 5 (23 enodes) 1538652010.586 * * [misc]simplify: iters left: 4 (34 enodes) 1538652010.599 * * [misc]simplify: iters left: 3 (62 enodes) 1538652010.613 * * [misc]simplify: iters left: 2 (94 enodes) 1538652010.627 * * [misc]simplify: iters left: 1 (125 enodes) 1538652010.658 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1538652010.658 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1538652010.658 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1538652010.658 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1538652010.659 * * [misc]simplify: iters left: 4 (4 enodes) 1538652010.660 * * [misc]simplify: iters left: 3 (9 enodes) 1538652010.661 * * [misc]simplify: iters left: 2 (10 enodes) 1538652010.663 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1538652010.663 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1538652010.663 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1538652010.663 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1538652010.663 * * [misc]simplify: iters left: 4 (4 enodes) 1538652010.666 * * [misc]simplify: iters left: 3 (9 enodes) 1538652010.668 * * [misc]simplify: iters left: 2 (10 enodes) 1538652010.669 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1538652010.669 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1538652010.669 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1538652010.669 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1538652010.669 * * [misc]simplify: iters left: 4 (4 enodes) 1538652010.671 * * [misc]simplify: iters left: 3 (9 enodes) 1538652010.672 * * [misc]simplify: iters left: 2 (10 enodes) 1538652010.673 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1538652010.673 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1538652010.673 * * * [misc]progress: adding candidates to table 1538652011.069 * * [misc]progress: iteration 2 / 4 1538652011.069 * * * [misc]progress: picking best candidate 1538652011.078 * * * * [misc]pick: Picked # 1538652011.078 * * * [misc]progress: localizing error 1538652011.113 * * * [misc]progress: generating rewritten candidates 1538652011.113 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1538652011.237 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1538652011.239 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1538652011.241 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1538652011.313 * * * [misc]progress: generating series expansions 1538652011.313 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1538652011.313 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) into (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) 1538652011.313 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in (x) around 0 1538652011.313 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1538652011.313 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1538652011.313 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.313 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.313 * [misc]taylor: Taking taylor expansion of x in x 1538652011.313 * [misc]backup-simplify: Simplify 0 into 0 1538652011.313 * [misc]backup-simplify: Simplify 1 into 1 1538652011.313 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.314 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.314 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.314 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.314 * [misc]backup-simplify: Simplify 1 into 1 1538652011.314 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1538652011.314 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.314 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.314 * [misc]taylor: Taking taylor expansion of x in x 1538652011.314 * [misc]backup-simplify: Simplify 0 into 0 1538652011.314 * [misc]backup-simplify: Simplify 1 into 1 1538652011.314 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.314 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.315 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.315 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.315 * [misc]backup-simplify: Simplify 1 into 1 1538652011.315 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of x in x 1538652011.315 * [misc]backup-simplify: Simplify 0 into 0 1538652011.315 * [misc]backup-simplify: Simplify 1 into 1 1538652011.315 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.315 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.315 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.315 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.315 * [misc]backup-simplify: Simplify 1 into 1 1538652011.315 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.315 * [misc]taylor: Taking taylor expansion of x in x 1538652011.315 * [misc]backup-simplify: Simplify 0 into 0 1538652011.315 * [misc]backup-simplify: Simplify 1 into 1 1538652011.316 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.316 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.316 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.316 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.316 * [misc]backup-simplify: Simplify 1 into 1 1538652011.316 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.316 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.317 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538652011.317 * [misc]backup-simplify: Simplify 0 into 0 1538652011.317 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1538652011.317 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.317 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1538652011.317 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1538652011.317 * [misc]backup-simplify: Simplify 0 into 0 1538652011.317 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.318 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.318 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.319 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.319 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.319 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.320 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.320 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1538652011.320 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.321 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.321 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.321 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.322 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.322 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.322 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.323 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.324 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1538652011.324 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.324 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.325 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.325 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.326 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.327 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.327 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.327 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.329 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))))) into (- +nan.0) 1538652011.329 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.329 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow x 2)) (+ (* (- +nan.0) x) (- +nan.0))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652011.330 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 x))) 1) (- (sqrt (/ 1 (/ 1 x))) 1)) into (* (- (sqrt x) 1) (+ (sqrt x) 1)) 1538652011.330 * [misc]approximate: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in (x) around 0 1538652011.330 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1538652011.330 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1538652011.330 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.330 * [misc]taylor: Taking taylor expansion of x in x 1538652011.330 * [misc]backup-simplify: Simplify 0 into 0 1538652011.330 * [misc]backup-simplify: Simplify 1 into 1 1538652011.330 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.330 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.330 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.331 * [misc]backup-simplify: Simplify 1 into 1 1538652011.331 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1538652011.331 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.331 * [misc]taylor: Taking taylor expansion of x in x 1538652011.331 * [misc]backup-simplify: Simplify 0 into 0 1538652011.331 * [misc]backup-simplify: Simplify 1 into 1 1538652011.331 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.331 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.331 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.331 * [misc]backup-simplify: Simplify 1 into 1 1538652011.331 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1538652011.331 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1538652011.331 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.331 * [misc]taylor: Taking taylor expansion of x in x 1538652011.331 * [misc]backup-simplify: Simplify 0 into 0 1538652011.331 * [misc]backup-simplify: Simplify 1 into 1 1538652011.331 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.332 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.332 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.332 * [misc]backup-simplify: Simplify 1 into 1 1538652011.332 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1538652011.332 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.332 * [misc]taylor: Taking taylor expansion of x in x 1538652011.332 * [misc]backup-simplify: Simplify 0 into 0 1538652011.332 * [misc]backup-simplify: Simplify 1 into 1 1538652011.332 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.332 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.332 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.332 * [misc]backup-simplify: Simplify 1 into 1 1538652011.332 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.332 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.332 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.333 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.333 * [misc]backup-simplify: Simplify -1 into -1 1538652011.333 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.333 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.333 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.333 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1538652011.334 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.334 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.334 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.335 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.335 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.335 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.336 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1538652011.336 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.337 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1538652011.337 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 (- x)))) 1) (- (sqrt (/ 1 (/ 1 (- x)))) 1)) into (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) 1538652011.337 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in (x) around 0 1538652011.337 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1538652011.337 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1538652011.337 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.337 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.337 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.337 * [misc]backup-simplify: Simplify -1 into -1 1538652011.337 * [misc]taylor: Taking taylor expansion of x in x 1538652011.337 * [misc]backup-simplify: Simplify 0 into 0 1538652011.337 * [misc]backup-simplify: Simplify 1 into 1 1538652011.337 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.337 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.337 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.338 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.338 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.338 * [misc]backup-simplify: Simplify 1 into 1 1538652011.338 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1538652011.338 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.338 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.338 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.338 * [misc]backup-simplify: Simplify -1 into -1 1538652011.338 * [misc]taylor: Taking taylor expansion of x in x 1538652011.338 * [misc]backup-simplify: Simplify 0 into 0 1538652011.338 * [misc]backup-simplify: Simplify 1 into 1 1538652011.338 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.338 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.338 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.339 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.339 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.339 * [misc]backup-simplify: Simplify 1 into 1 1538652011.339 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.339 * [misc]backup-simplify: Simplify -1 into -1 1538652011.339 * [misc]taylor: Taking taylor expansion of x in x 1538652011.339 * [misc]backup-simplify: Simplify 0 into 0 1538652011.339 * [misc]backup-simplify: Simplify 1 into 1 1538652011.339 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.339 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.339 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.339 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.339 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.339 * [misc]backup-simplify: Simplify 1 into 1 1538652011.339 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.339 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.339 * [misc]backup-simplify: Simplify -1 into -1 1538652011.339 * [misc]taylor: Taking taylor expansion of x in x 1538652011.339 * [misc]backup-simplify: Simplify 0 into 0 1538652011.340 * [misc]backup-simplify: Simplify 1 into 1 1538652011.340 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.340 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.340 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.340 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.340 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.340 * [misc]backup-simplify: Simplify 1 into 1 1538652011.340 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.340 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.341 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.341 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.341 * [misc]backup-simplify: Simplify -1 into -1 1538652011.341 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.341 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.341 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.341 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1538652011.342 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.342 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.342 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.343 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.343 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.343 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.343 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.344 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.345 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1538652011.345 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538652011.345 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1538652011.345 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1) 1538652011.345 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1538652011.345 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1538652011.345 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.345 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.345 * [misc]taylor: Taking taylor expansion of x in x 1538652011.345 * [misc]backup-simplify: Simplify 0 into 0 1538652011.345 * [misc]backup-simplify: Simplify 1 into 1 1538652011.346 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.346 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.346 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.346 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.346 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.346 * [misc]taylor: Taking taylor expansion of x in x 1538652011.346 * [misc]backup-simplify: Simplify 0 into 0 1538652011.346 * [misc]backup-simplify: Simplify 1 into 1 1538652011.346 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.346 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.346 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.347 * [misc]backup-simplify: Simplify 0 into 0 1538652011.347 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.347 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.347 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.347 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.348 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.348 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.348 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652011.349 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1538652011.349 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1538652011.349 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.349 * [misc]taylor: Taking taylor expansion of x in x 1538652011.349 * [misc]backup-simplify: Simplify 0 into 0 1538652011.349 * [misc]backup-simplify: Simplify 1 into 1 1538652011.349 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.349 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.349 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.349 * [misc]taylor: Taking taylor expansion of x in x 1538652011.349 * [misc]backup-simplify: Simplify 0 into 0 1538652011.349 * [misc]backup-simplify: Simplify 1 into 1 1538652011.349 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.349 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.350 * [misc]backup-simplify: Simplify 0 into 0 1538652011.350 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.350 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.350 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.351 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.351 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.352 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652011.352 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1538652011.352 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1538652011.352 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.352 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.352 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.352 * [misc]backup-simplify: Simplify -1 into -1 1538652011.352 * [misc]taylor: Taking taylor expansion of x in x 1538652011.352 * [misc]backup-simplify: Simplify 0 into 0 1538652011.352 * [misc]backup-simplify: Simplify 1 into 1 1538652011.352 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.352 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.352 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.352 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.352 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.353 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.353 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.353 * [misc]backup-simplify: Simplify -1 into -1 1538652011.353 * [misc]taylor: Taking taylor expansion of x in x 1538652011.353 * [misc]backup-simplify: Simplify 0 into 0 1538652011.353 * [misc]backup-simplify: Simplify 1 into 1 1538652011.353 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.353 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.353 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.353 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.353 * [misc]backup-simplify: Simplify 0 into 0 1538652011.353 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.353 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.354 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.354 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.354 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538652011.355 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.355 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.356 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652011.356 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1538652011.356 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1538652011.356 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1538652011.356 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.356 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.356 * [misc]taylor: Taking taylor expansion of x in x 1538652011.356 * [misc]backup-simplify: Simplify 0 into 0 1538652011.356 * [misc]backup-simplify: Simplify 1 into 1 1538652011.356 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.357 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.357 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.357 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.357 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.357 * [misc]taylor: Taking taylor expansion of x in x 1538652011.357 * [misc]backup-simplify: Simplify 0 into 0 1538652011.357 * [misc]backup-simplify: Simplify 1 into 1 1538652011.357 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.358 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.358 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.358 * [misc]backup-simplify: Simplify 0 into 0 1538652011.358 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.358 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.360 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.360 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.360 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.361 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.361 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.361 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652011.361 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1538652011.362 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1538652011.362 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.362 * [misc]taylor: Taking taylor expansion of x in x 1538652011.362 * [misc]backup-simplify: Simplify 0 into 0 1538652011.362 * [misc]backup-simplify: Simplify 1 into 1 1538652011.362 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.362 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.362 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.362 * [misc]taylor: Taking taylor expansion of x in x 1538652011.362 * [misc]backup-simplify: Simplify 0 into 0 1538652011.362 * [misc]backup-simplify: Simplify 1 into 1 1538652011.363 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.363 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.363 * [misc]backup-simplify: Simplify 0 into 0 1538652011.363 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.364 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.364 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.365 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.366 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.366 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652011.366 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1538652011.366 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1538652011.366 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.366 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.366 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.367 * [misc]backup-simplify: Simplify -1 into -1 1538652011.367 * [misc]taylor: Taking taylor expansion of x in x 1538652011.367 * [misc]backup-simplify: Simplify 0 into 0 1538652011.367 * [misc]backup-simplify: Simplify 1 into 1 1538652011.367 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.367 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.367 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.368 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.368 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.368 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.368 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.368 * [misc]backup-simplify: Simplify -1 into -1 1538652011.368 * [misc]taylor: Taking taylor expansion of x in x 1538652011.368 * [misc]backup-simplify: Simplify 0 into 0 1538652011.368 * [misc]backup-simplify: Simplify 1 into 1 1538652011.368 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.368 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.368 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.369 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.369 * [misc]backup-simplify: Simplify 0 into 0 1538652011.369 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.369 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.370 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.370 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.371 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538652011.372 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.372 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.373 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652011.373 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1538652011.373 * [misc]backup-simplify: Simplify (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))) into (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) 1538652011.373 * [misc]approximate: Taking taylor expansion of (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in (x) around 0 1538652011.373 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in x 1538652011.373 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1538652011.373 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1538652011.373 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.373 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.373 * [misc]taylor: Taking taylor expansion of x in x 1538652011.373 * [misc]backup-simplify: Simplify 0 into 0 1538652011.373 * [misc]backup-simplify: Simplify 1 into 1 1538652011.374 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.374 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.374 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.374 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.374 * [misc]backup-simplify: Simplify 1 into 1 1538652011.374 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1538652011.374 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.374 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.374 * [misc]taylor: Taking taylor expansion of x in x 1538652011.374 * [misc]backup-simplify: Simplify 0 into 0 1538652011.374 * [misc]backup-simplify: Simplify 1 into 1 1538652011.375 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.375 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.375 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.375 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.375 * [misc]backup-simplify: Simplify 1 into 1 1538652011.375 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.376 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.376 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538652011.376 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1538652011.376 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.376 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1538652011.377 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1538652011.377 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.378 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.378 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.378 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.379 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.380 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.380 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.381 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1538652011.381 * [misc]backup-simplify: Simplify (log (- +nan.0)) into (log (- +nan.0)) 1538652011.382 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in x 1538652011.382 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1538652011.382 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1538652011.382 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.382 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.382 * [misc]taylor: Taking taylor expansion of x in x 1538652011.382 * [misc]backup-simplify: Simplify 0 into 0 1538652011.382 * [misc]backup-simplify: Simplify 1 into 1 1538652011.382 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.382 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.383 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.383 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.383 * [misc]backup-simplify: Simplify 1 into 1 1538652011.383 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1538652011.383 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1538652011.383 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652011.383 * [misc]taylor: Taking taylor expansion of x in x 1538652011.383 * [misc]backup-simplify: Simplify 0 into 0 1538652011.383 * [misc]backup-simplify: Simplify 1 into 1 1538652011.383 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652011.383 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.384 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.384 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.384 * [misc]backup-simplify: Simplify 1 into 1 1538652011.384 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.385 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652011.385 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538652011.385 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1538652011.385 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.385 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1538652011.386 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1538652011.386 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.387 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.387 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.387 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652011.388 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.389 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.389 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.390 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1538652011.390 * [misc]backup-simplify: Simplify (log (- +nan.0)) into (log (- +nan.0)) 1538652011.391 * [misc]backup-simplify: Simplify (log (- +nan.0)) into (log (- +nan.0)) 1538652011.391 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.392 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.393 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.393 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.394 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.394 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.394 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.397 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1538652011.400 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0 1538652011.400 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.400 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.402 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.402 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.403 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652011.404 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538652011.405 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.405 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.408 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))))) into (- +nan.0) 1538652011.414 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0 1538652011.414 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.414 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log (- +nan.0)))) into (- (log (- +nan.0)) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1538652011.415 * [misc]backup-simplify: Simplify (log (* (+ (sqrt (/ 1 (/ 1 x))) 1) (- (sqrt (/ 1 (/ 1 x))) 1))) into (log (* (- (sqrt x) 1) (+ (sqrt x) 1))) 1538652011.415 * [misc]approximate: Taking taylor expansion of (log (* (- (sqrt x) 1) (+ (sqrt x) 1))) in (x) around 0 1538652011.415 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt x) 1) (+ (sqrt x) 1))) in x 1538652011.415 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1538652011.415 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1538652011.415 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.415 * [misc]taylor: Taking taylor expansion of x in x 1538652011.415 * [misc]backup-simplify: Simplify 0 into 0 1538652011.415 * [misc]backup-simplify: Simplify 1 into 1 1538652011.415 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.416 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.416 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.416 * [misc]backup-simplify: Simplify 1 into 1 1538652011.416 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1538652011.416 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.416 * [misc]taylor: Taking taylor expansion of x in x 1538652011.416 * [misc]backup-simplify: Simplify 0 into 0 1538652011.416 * [misc]backup-simplify: Simplify 1 into 1 1538652011.416 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.417 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.417 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.417 * [misc]backup-simplify: Simplify 1 into 1 1538652011.417 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.417 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.417 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.417 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.417 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.417 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt x) 1) (+ (sqrt x) 1))) in x 1538652011.417 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1538652011.418 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1538652011.418 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.418 * [misc]taylor: Taking taylor expansion of x in x 1538652011.418 * [misc]backup-simplify: Simplify 0 into 0 1538652011.418 * [misc]backup-simplify: Simplify 1 into 1 1538652011.418 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.418 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.418 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.418 * [misc]backup-simplify: Simplify 1 into 1 1538652011.418 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1538652011.418 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1538652011.418 * [misc]taylor: Taking taylor expansion of x in x 1538652011.418 * [misc]backup-simplify: Simplify 0 into 0 1538652011.418 * [misc]backup-simplify: Simplify 1 into 1 1538652011.419 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.419 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1538652011.419 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.419 * [misc]backup-simplify: Simplify 1 into 1 1538652011.419 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.419 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.420 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.420 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.420 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.420 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.420 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.421 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.421 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.422 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1538652011.428 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow -1 1)))) 1) into +nan.0 1538652011.428 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.429 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.429 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.430 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.430 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.430 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.432 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1538652011.437 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow -1 1)))) 2) into +nan.0 1538652011.437 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.438 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log -1))) into (- (log -1) (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))) 1538652011.438 * [misc]backup-simplify: Simplify (log (* (+ (sqrt (/ 1 (/ 1 (- x)))) 1) (- (sqrt (/ 1 (/ 1 (- x)))) 1))) into (log (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) 1538652011.438 * [misc]approximate: Taking taylor expansion of (log (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in (x) around 0 1538652011.438 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in x 1538652011.438 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1538652011.438 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1538652011.438 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.439 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.439 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.439 * [misc]backup-simplify: Simplify -1 into -1 1538652011.439 * [misc]taylor: Taking taylor expansion of x in x 1538652011.439 * [misc]backup-simplify: Simplify 0 into 0 1538652011.439 * [misc]backup-simplify: Simplify 1 into 1 1538652011.439 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.439 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.440 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.440 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.440 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.440 * [misc]backup-simplify: Simplify 1 into 1 1538652011.440 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1538652011.440 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.440 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.441 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.441 * [misc]backup-simplify: Simplify -1 into -1 1538652011.441 * [misc]taylor: Taking taylor expansion of x in x 1538652011.441 * [misc]backup-simplify: Simplify 0 into 0 1538652011.441 * [misc]backup-simplify: Simplify 1 into 1 1538652011.441 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.441 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.441 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.442 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.442 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.442 * [misc]backup-simplify: Simplify 1 into 1 1538652011.442 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.442 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.442 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.442 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.442 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.443 * [misc]taylor: Taking taylor expansion of (log (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in x 1538652011.443 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1538652011.443 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1538652011.443 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.443 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.443 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.443 * [misc]backup-simplify: Simplify -1 into -1 1538652011.443 * [misc]taylor: Taking taylor expansion of x in x 1538652011.443 * [misc]backup-simplify: Simplify 0 into 0 1538652011.443 * [misc]backup-simplify: Simplify 1 into 1 1538652011.443 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.443 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.443 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.444 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.444 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.444 * [misc]backup-simplify: Simplify 1 into 1 1538652011.444 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1538652011.444 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1538652011.444 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1538652011.444 * [misc]taylor: Taking taylor expansion of -1 in x 1538652011.444 * [misc]backup-simplify: Simplify -1 into -1 1538652011.444 * [misc]taylor: Taking taylor expansion of x in x 1538652011.444 * [misc]backup-simplify: Simplify 0 into 0 1538652011.444 * [misc]backup-simplify: Simplify 1 into 1 1538652011.444 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538652011.444 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538652011.445 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538652011.445 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538652011.445 * [misc]taylor: Taking taylor expansion of 1 in x 1538652011.445 * [misc]backup-simplify: Simplify 1 into 1 1538652011.445 * [misc]backup-simplify: Simplify (- 1) into -1 1538652011.445 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652011.446 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652011.446 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538652011.446 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.446 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652011.446 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.447 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.447 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.448 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1538652011.450 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow -1 1)))) 1) into +nan.0 1538652011.451 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.451 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.452 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.452 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.453 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538652011.454 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538652011.454 * [misc]backup-simplify: Simplify (- 0) into 0 1538652011.454 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1538652011.456 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1538652011.461 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow -1 1)))) 2) into +nan.0 1538652011.461 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1538652011.461 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))) 1538652011.462 * * * [misc]progress: simplifying candidates 1538652011.462 * * * * [misc]progress: [ 1 / 91 ] simplifiying candidate # 1538652011.462 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1538652011.463 * * [misc]simplify: iters left: 6 (7 enodes) 1538652011.467 * * [misc]simplify: iters left: 5 (14 enodes) 1538652011.473 * * [misc]simplify: iters left: 4 (29 enodes) 1538652011.495 * * [misc]simplify: iters left: 3 (60 enodes) 1538652011.516 * * [misc]simplify: iters left: 2 (156 enodes) 1538652011.598 * * [misc]simplify: iters left: 1 (354 enodes) 1538652011.797 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1538652011.797 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (pow (+ -1 (/ 1 x)) 1)))) 1538652011.797 * * * * [misc]progress: [ 2 / 91 ] simplifiying candidate # 1538652011.797 * * * * [misc]progress: [ 3 / 91 ] simplifiying candidate # 1538652011.797 * [enter]simplify: Simplifying (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))) 1538652011.798 * * [misc]simplify: iters left: 6 (9 enodes) 1538652011.803 * * [misc]simplify: iters left: 5 (16 enodes) 1538652011.807 * * [misc]simplify: iters left: 4 (17 enodes) 1538652011.813 * [exit]simplify: Simplified to (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))) 1538652011.813 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (exp (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))))) 1538652011.813 * * * * [misc]progress: [ 4 / 91 ] simplifiying candidate # 1538652011.813 * * * * [misc]progress: [ 5 / 91 ] simplifiying candidate # 1538652011.813 * * * * [misc]progress: [ 6 / 91 ] simplifiying candidate # 1538652011.813 * [enter]simplify: Simplifying (* (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1)) (* (* (- (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1))) 1538652011.815 * * [misc]simplify: iters left: 6 (11 enodes) 1538652011.823 * * [misc]simplify: iters left: 5 (36 enodes) 1538652011.854 * * [misc]simplify: iters left: 4 (114 enodes) 1538652011.995 * [exit]simplify: Simplified to (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)) 1538652011.995 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)))))) 1538652011.995 * * * * [misc]progress: [ 7 / 91 ] simplifiying candidate # 1538652011.995 * * * * [misc]progress: [ 8 / 91 ] simplifiying candidate # 1538652011.995 * * * * [misc]progress: [ 9 / 91 ] simplifiying candidate # 1538652011.995 * * * * [misc]progress: [ 10 / 91 ] simplifiying candidate # 1538652011.995 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) 1538652011.996 * * [misc]simplify: iters left: 6 (10 enodes) 1538652012.000 * * [misc]simplify: iters left: 5 (22 enodes) 1538652012.011 * * [misc]simplify: iters left: 4 (39 enodes) 1538652012.036 * * [misc]simplify: iters left: 3 (105 enodes) 1538652012.096 * * [misc]simplify: iters left: 2 (211 enodes) 1538652012.255 * * [misc]simplify: iters left: 1 (452 enodes) 1538652012.459 * [exit]simplify: Simplified to (+ -1 (pow (/ 1 x) 3)) 1538652012.459 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (+ -1 (pow (/ 1 x) 3)) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))))))) 1538652012.459 * [enter]simplify: Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))) 1538652012.461 * * [misc]simplify: iters left: 6 (12 enodes) 1538652012.469 * * [misc]simplify: iters left: 5 (32 enodes) 1538652012.496 * * [misc]simplify: iters left: 4 (96 enodes) 1538652012.581 * * [misc]simplify: iters left: 3 (369 enodes) 1538652013.017 * [exit]simplify: Simplified to (* (- (+ (/ 1 x) 1) (sqrt (/ 1 x))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x)))) 1538652013.017 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (+ -1 (pow (/ 1 x) 3)) (* (- (+ (/ 1 x) 1) (sqrt (/ 1 x))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x)))))))) 1538652013.017 * * * * [misc]progress: [ 11 / 91 ] simplifiying candidate # 1538652013.018 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) 1538652013.018 * * [misc]simplify: iters left: 6 (12 enodes) 1538652013.022 * * [misc]simplify: iters left: 5 (22 enodes) 1538652013.026 * * [misc]simplify: iters left: 4 (40 enodes) 1538652013.041 * * [misc]simplify: iters left: 3 (84 enodes) 1538652013.074 * * [misc]simplify: iters left: 2 (234 enodes) 1538652013.423 * [exit]simplify: Simplified to (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) 1538652013.423 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1)))))) 1538652013.423 * [enter]simplify: Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1)) 1538652013.424 * * [misc]simplify: iters left: 6 (11 enodes) 1538652013.428 * * [misc]simplify: iters left: 5 (28 enodes) 1538652013.439 * * [misc]simplify: iters left: 4 (73 enodes) 1538652013.496 * * [misc]simplify: iters left: 3 (196 enodes) 1538652013.650 * [exit]simplify: Simplified to (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) 1538652013.650 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))))))) 1538652013.650 * * * * [misc]progress: [ 12 / 91 ] simplifiying candidate # 1538652013.650 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) 1538652013.651 * * [misc]simplify: iters left: 6 (12 enodes) 1538652013.655 * * [misc]simplify: iters left: 5 (23 enodes) 1538652013.663 * * [misc]simplify: iters left: 4 (38 enodes) 1538652013.685 * * [misc]simplify: iters left: 3 (86 enodes) 1538652013.754 * * [misc]simplify: iters left: 2 (274 enodes) 1538652014.083 * [exit]simplify: Simplified to (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) 1538652014.083 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))))))) 1538652014.083 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))) 1538652014.084 * * [misc]simplify: iters left: 6 (11 enodes) 1538652014.089 * * [misc]simplify: iters left: 5 (29 enodes) 1538652014.098 * * [misc]simplify: iters left: 4 (76 enodes) 1538652014.153 * * [misc]simplify: iters left: 3 (239 enodes) 1538652014.385 * [exit]simplify: Simplified to (* (- (sqrt (/ 1 x)) 1) (+ (+ (/ 1 x) 1) (sqrt (/ 1 x)))) 1538652014.385 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (+ (/ 1 x) 1) (sqrt (/ 1 x)))))))) 1538652014.385 * * * * [misc]progress: [ 13 / 91 ] simplifiying candidate # 1538652014.385 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) 1538652014.387 * * [misc]simplify: iters left: 6 (8 enodes) 1538652014.391 * * [misc]simplify: iters left: 5 (13 enodes) 1538652014.395 * * [misc]simplify: iters left: 4 (17 enodes) 1538652014.400 * * [misc]simplify: iters left: 3 (24 enodes) 1538652014.415 * * [misc]simplify: iters left: 2 (74 enodes) 1538652014.485 * * [misc]simplify: iters left: 1 (310 enodes) 1538652014.836 * [exit]simplify: Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1)) 1538652014.836 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)))))) 1538652014.836 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) 1538652014.841 * * [misc]simplify: iters left: 6 (7 enodes) 1538652014.846 * * [misc]simplify: iters left: 5 (20 enodes) 1538652014.860 * * [misc]simplify: iters left: 4 (40 enodes) 1538652014.885 * * [misc]simplify: iters left: 3 (107 enodes) 1538652014.956 * * [misc]simplify: iters left: 2 (255 enodes) 1538652015.107 * * [misc]simplify: iters left: 1 (405 enodes) 1538652015.345 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1538652015.345 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))) 1538652015.345 * * * * [misc]progress: [ 14 / 91 ] simplifiying candidate # 1538652015.346 * * * * [misc]progress: [ 15 / 91 ] simplifiying candidate # 1538652015.346 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1538652015.347 * * [misc]simplify: iters left: 6 (7 enodes) 1538652015.351 * * [misc]simplify: iters left: 5 (14 enodes) 1538652015.355 * * [misc]simplify: iters left: 4 (16 enodes) 1538652015.367 * * [misc]simplify: iters left: 3 (35 enodes) 1538652015.379 * * [misc]simplify: iters left: 2 (54 enodes) 1538652015.395 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1538652015.395 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x))))))) 1538652015.395 * * * * [misc]progress: [ 16 / 91 ] simplifiying candidate # 1538652015.395 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1538652015.396 * * [misc]simplify: iters left: 6 (7 enodes) 1538652015.400 * * [misc]simplify: iters left: 5 (14 enodes) 1538652015.405 * * [misc]simplify: iters left: 4 (16 enodes) 1538652015.416 * * [misc]simplify: iters left: 3 (35 enodes) 1538652015.428 * * [misc]simplify: iters left: 2 (54 enodes) 1538652015.445 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1538652015.445 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x))))))) 1538652015.445 * * * * [misc]progress: [ 17 / 91 ] simplifiying candidate # 1538652015.446 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1538652015.446 * * [misc]simplify: iters left: 6 (7 enodes) 1538652015.453 * * [misc]simplify: iters left: 5 (20 enodes) 1538652015.462 * * [misc]simplify: iters left: 4 (32 enodes) 1538652015.472 * * [misc]simplify: iters left: 3 (39 enodes) 1538652015.485 * * [misc]simplify: iters left: 2 (44 enodes) 1538652015.494 * * [misc]simplify: iters left: 1 (45 enodes) 1538652015.503 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1538652015.503 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1538652015.503 * * * * [misc]progress: [ 18 / 91 ] simplifiying candidate # 1538652015.504 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1538652015.505 * * [misc]simplify: iters left: 6 (7 enodes) 1538652015.511 * * [misc]simplify: iters left: 5 (20 enodes) 1538652015.520 * * [misc]simplify: iters left: 4 (32 enodes) 1538652015.530 * * [misc]simplify: iters left: 3 (39 enodes) 1538652015.541 * * [misc]simplify: iters left: 2 (44 enodes) 1538652015.550 * * [misc]simplify: iters left: 1 (45 enodes) 1538652015.559 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1538652015.559 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1538652015.559 * * * * [misc]progress: [ 19 / 91 ] simplifiying candidate # 1538652015.559 * [enter]simplify: Simplifying (cbrt (- (sqrt (/ 1 x)) 1)) 1538652015.560 * * [misc]simplify: iters left: 6 (6 enodes) 1538652015.564 * * [misc]simplify: iters left: 5 (11 enodes) 1538652015.567 * * [misc]simplify: iters left: 4 (12 enodes) 1538652015.569 * [exit]simplify: Simplified to (cbrt (- (sqrt (/ 1 x)) 1)) 1538652015.569 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (* (cbrt (- (sqrt (/ 1 x)) 1)) (cbrt (- (sqrt (/ 1 x)) 1)))) (cbrt (- (sqrt (/ 1 x)) 1)))))) 1538652015.569 * * * * [misc]progress: [ 20 / 91 ] simplifiying candidate # 1538652015.569 * [enter]simplify: Simplifying (sqrt (- (sqrt (/ 1 x)) 1)) 1538652015.569 * * [misc]simplify: iters left: 6 (6 enodes) 1538652015.571 * * [misc]simplify: iters left: 5 (11 enodes) 1538652015.572 * * [misc]simplify: iters left: 4 (12 enodes) 1538652015.574 * [exit]simplify: Simplified to (sqrt (- (sqrt (/ 1 x)) 1)) 1538652015.574 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1)))))) 1538652015.574 * * * * [misc]progress: [ 21 / 91 ] simplifiying candidate # 1538652015.574 * [enter]simplify: Simplifying (- (sqrt (/ 1 x)) 1) 1538652015.575 * * [misc]simplify: iters left: 5 (5 enodes) 1538652015.576 * * [misc]simplify: iters left: 4 (10 enodes) 1538652015.578 * * [misc]simplify: iters left: 3 (11 enodes) 1538652015.579 * [exit]simplify: Simplified to (- (sqrt (/ 1 x)) 1) 1538652015.579 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1))))) 1538652015.579 * * * * [misc]progress: [ 22 / 91 ] simplifiying candidate # 1538652015.579 * [enter]simplify: Simplifying (- (sqrt (sqrt (/ 1 x))) 1) 1538652015.580 * * [misc]simplify: iters left: 6 (6 enodes) 1538652015.581 * * [misc]simplify: iters left: 5 (11 enodes) 1538652015.583 * * [misc]simplify: iters left: 4 (12 enodes) 1538652015.584 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1538652015.584 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1538652015.585 * * * * [misc]progress: [ 23 / 91 ] simplifiying candidate # 1538652015.585 * [enter]simplify: Simplifying (- (sqrt (sqrt (/ 1 x))) 1) 1538652015.585 * * [misc]simplify: iters left: 6 (6 enodes) 1538652015.587 * * [misc]simplify: iters left: 5 (11 enodes) 1538652015.588 * * [misc]simplify: iters left: 4 (12 enodes) 1538652015.590 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1538652015.590 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1538652015.590 * * * * [misc]progress: [ 24 / 91 ] simplifiying candidate # 1538652015.590 * [enter]simplify: Simplifying (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1538652015.591 * * [misc]simplify: iters left: 6 (7 enodes) 1538652015.592 * * [misc]simplify: iters left: 5 (10 enodes) 1538652015.594 * [exit]simplify: Simplified to (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1538652015.594 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) (* (cbrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))) 1538652015.594 * * * * [misc]progress: [ 25 / 91 ] simplifiying candidate # 1538652015.594 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1538652015.594 * * [misc]simplify: iters left: 6 (6 enodes) 1538652015.598 * * [misc]simplify: iters left: 5 (9 enodes) 1538652015.601 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1538652015.601 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))) 1538652015.601 * * * * [misc]progress: [ 26 / 91 ] simplifiying candidate # 1538652015.601 * * * * [misc]progress: [ 27 / 91 ] simplifiying candidate # 1538652015.601 * [enter]simplify: Simplifying (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))) 1538652015.603 * * [misc]simplify: iters left: 6 (9 enodes) 1538652015.607 * * [misc]simplify: iters left: 5 (17 enodes) 1538652015.614 * * [misc]simplify: iters left: 4 (27 enodes) 1538652015.624 * * [misc]simplify: iters left: 3 (35 enodes) 1538652015.638 * * [misc]simplify: iters left: 2 (55 enodes) 1538652015.665 * * [misc]simplify: iters left: 1 (82 enodes) 1538652015.681 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))) 1538652015.681 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))))))) 1538652015.681 * * * * [misc]progress: [ 28 / 91 ] simplifiying candidate # 1538652015.681 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1538652015.681 * * [misc]simplify: iters left: 5 (5 enodes) 1538652015.682 * * [misc]simplify: iters left: 4 (8 enodes) 1538652015.684 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1538652015.684 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (+ (sqrt (/ 1 x)) 1))))) 1538652015.684 * * * * [misc]progress: [ 29 / 91 ] simplifiying candidate # 1538652015.684 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (sqrt (/ 1 x)) 1)) 1538652015.684 * * [misc]simplify: iters left: 6 (10 enodes) 1538652015.688 * * [misc]simplify: iters left: 5 (22 enodes) 1538652015.692 * * [misc]simplify: iters left: 4 (39 enodes) 1538652015.725 * * [misc]simplify: iters left: 3 (94 enodes) 1538652015.781 * * [misc]simplify: iters left: 2 (174 enodes) 1538652015.898 * * [misc]simplify: iters left: 1 (347 enodes) 1538652016.120 * [exit]simplify: Simplified to (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ 1 (/ -1 x)))) 1538652016.120 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ 1 (/ -1 x)))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))))))) 1538652016.120 * * * * [misc]progress: [ 30 / 91 ] simplifiying candidate # 1538652016.120 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1)) 1538652016.121 * * [misc]simplify: iters left: 6 (9 enodes) 1538652016.127 * * [misc]simplify: iters left: 5 (16 enodes) 1538652016.133 * * [misc]simplify: iters left: 4 (26 enodes) 1538652016.151 * * [misc]simplify: iters left: 3 (66 enodes) 1538652016.198 * * [misc]simplify: iters left: 2 (195 enodes) 1538652016.276 * * [misc]simplify: iters left: 1 (488 enodes) 1538652016.713 * [exit]simplify: Simplified to (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1)) 1538652016.713 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1)) (- (sqrt (/ 1 x)) 1))))) 1538652016.713 * * * * [misc]progress: [ 31 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 32 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 33 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 34 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 35 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 36 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 37 / 91 ] simplifiying candidate # 1538652016.714 * * * * [misc]progress: [ 38 / 91 ] simplifiying candidate # 1538652016.714 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1538652016.714 * * [misc]simplify: iters left: 6 (6 enodes) 1538652016.716 * * [misc]simplify: iters left: 5 (9 enodes) 1538652016.717 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1538652016.717 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1))))) 1538652016.717 * * * * [misc]progress: [ 39 / 91 ] simplifiying candidate # 1538652016.717 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1538652016.717 * * [misc]simplify: iters left: 4 (5 enodes) 1538652016.718 * * [misc]simplify: iters left: 3 (7 enodes) 1538652016.719 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1538652016.719 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1))))) 1538652016.719 * * * * [misc]progress: [ 40 / 91 ] simplifiying candidate # 1538652016.720 * [enter]simplify: Simplifying (sqrt 1) 1538652016.720 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.721 * [exit]simplify: Simplified to 1 1538652016.721 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1))))) 1538652016.721 * * * * [misc]progress: [ 41 / 91 ] simplifiying candidate # 1538652016.721 * [enter]simplify: Simplifying (sqrt 1) 1538652016.721 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.722 * [exit]simplify: Simplified to 1 1538652016.722 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1))))) 1538652016.722 * * * * [misc]progress: [ 42 / 91 ] simplifiying candidate # 1538652016.722 * [enter]simplify: Simplifying (sqrt 1) 1538652016.722 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.723 * [exit]simplify: Simplified to 1 1538652016.723 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (/ 1 (sqrt x)) 1))))) 1538652016.723 * * * * [misc]progress: [ 43 / 91 ] simplifiying candidate # 1538652016.723 * * * * [misc]progress: [ 44 / 91 ] simplifiying candidate # 1538652016.723 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1538652016.724 * * [misc]simplify: iters left: 3 (4 enodes) 1538652016.724 * * [misc]simplify: iters left: 2 (6 enodes) 1538652016.725 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1538652016.725 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (fabs (sqrt (/ 1 x))) 1))))) 1538652016.725 * * * * [misc]progress: [ 45 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 46 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 47 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 48 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 49 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 50 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 51 / 91 ] simplifiying candidate # 1538652016.725 * * * * [misc]progress: [ 52 / 91 ] simplifiying candidate # 1538652016.726 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1538652016.726 * * [misc]simplify: iters left: 6 (6 enodes) 1538652016.727 * * [misc]simplify: iters left: 5 (9 enodes) 1538652016.730 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1538652016.730 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.730 * * * * [misc]progress: [ 53 / 91 ] simplifiying candidate # 1538652016.730 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1538652016.731 * * [misc]simplify: iters left: 4 (5 enodes) 1538652016.732 * * [misc]simplify: iters left: 3 (7 enodes) 1538652016.734 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1538652016.734 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.735 * * * * [misc]progress: [ 54 / 91 ] simplifiying candidate # 1538652016.735 * [enter]simplify: Simplifying (sqrt 1) 1538652016.735 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.736 * [exit]simplify: Simplified to 1 1538652016.736 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.736 * * * * [misc]progress: [ 55 / 91 ] simplifiying candidate # 1538652016.737 * [enter]simplify: Simplifying (sqrt 1) 1538652016.737 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.738 * [exit]simplify: Simplified to 1 1538652016.738 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.738 * * * * [misc]progress: [ 56 / 91 ] simplifiying candidate # 1538652016.739 * [enter]simplify: Simplifying (sqrt 1) 1538652016.739 * * [misc]simplify: iters left: 1 (2 enodes) 1538652016.740 * [exit]simplify: Simplified to 1 1538652016.740 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.740 * * * * [misc]progress: [ 57 / 91 ] simplifiying candidate # 1538652016.740 * * * * [misc]progress: [ 58 / 91 ] simplifiying candidate # 1538652016.741 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1538652016.741 * * [misc]simplify: iters left: 3 (4 enodes) 1538652016.742 * * [misc]simplify: iters left: 2 (6 enodes) 1538652016.744 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1538652016.744 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (fabs (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1538652016.744 * * * * [misc]progress: [ 59 / 91 ] simplifiying candidate # 1538652016.744 * * * * [misc]progress: [ 60 / 91 ] simplifiying candidate # 1538652016.744 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1538652016.745 * * [misc]simplify: iters left: 6 (6 enodes) 1538652016.747 * * [misc]simplify: iters left: 5 (9 enodes) 1538652016.750 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1538652016.750 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1538652016.750 * * * * [misc]progress: [ 61 / 91 ] simplifiying candidate # 1538652016.750 * [enter]simplify: Simplifying (log (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) 1538652016.752 * * [misc]simplify: iters left: 6 (11 enodes) 1538652016.759 * * [misc]simplify: iters left: 5 (26 enodes) 1538652016.768 * * [misc]simplify: iters left: 4 (44 enodes) 1538652016.813 * * [misc]simplify: iters left: 3 (110 enodes) 1538652016.884 * * [misc]simplify: iters left: 2 (219 enodes) 1538652017.023 * * [misc]simplify: iters left: 1 (481 enodes) 1538652017.322 * [exit]simplify: Simplified to (log (+ -1 (pow (/ 1 x) 3))) 1538652017.322 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (+ -1 (pow (/ 1 x) 3))) (log (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))))))) 1538652017.322 * * * * [misc]progress: [ 62 / 91 ] simplifiying candidate # 1538652017.322 * [enter]simplify: Simplifying (log (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) 1538652017.323 * * [misc]simplify: iters left: 6 (13 enodes) 1538652017.331 * * [misc]simplify: iters left: 5 (26 enodes) 1538652017.339 * * [misc]simplify: iters left: 4 (45 enodes) 1538652017.352 * * [misc]simplify: iters left: 3 (92 enodes) 1538652017.394 * * [misc]simplify: iters left: 2 (250 enodes) 1538652017.774 * [exit]simplify: Simplified to (log (+ (- (/ 1 x) 1) (/ (- (/ 1 x) 1) (/ x (sqrt (/ 1 x)))))) 1538652017.774 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (+ (- (/ 1 x) 1) (/ (- (/ 1 x) 1) (/ x (sqrt (/ 1 x)))))) (log (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1)))))) 1538652017.774 * * * * [misc]progress: [ 63 / 91 ] simplifiying candidate # 1538652017.774 * [enter]simplify: Simplifying (log (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) 1538652017.776 * * [misc]simplify: iters left: 6 (13 enodes) 1538652017.784 * * [misc]simplify: iters left: 5 (27 enodes) 1538652017.794 * * [misc]simplify: iters left: 4 (43 enodes) 1538652017.819 * * [misc]simplify: iters left: 3 (94 enodes) 1538652017.899 * * [misc]simplify: iters left: 2 (287 enodes) 1538652018.311 * [exit]simplify: Simplified to (log (- (* (* (- (/ 1 x) 1) (/ 1 x)) (sqrt (/ 1 x))) (- (/ 1 x) 1))) 1538652018.311 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (* (- (/ 1 x) 1) (/ 1 x)) (sqrt (/ 1 x))) (- (/ 1 x) 1))) (log (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))))))) 1538652018.312 * * * * [misc]progress: [ 64 / 91 ] simplifiying candidate # 1538652018.312 * [enter]simplify: Simplifying (log (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) 1538652018.313 * * [misc]simplify: iters left: 6 (9 enodes) 1538652018.318 * * [misc]simplify: iters left: 5 (16 enodes) 1538652018.323 * * [misc]simplify: iters left: 4 (20 enodes) 1538652018.329 * * [misc]simplify: iters left: 3 (30 enodes) 1538652018.338 * * [misc]simplify: iters left: 2 (85 enodes) 1538652018.414 * * [misc]simplify: iters left: 1 (344 enodes) 1538652018.868 * [exit]simplify: Simplified to (log (* (- (/ 1 x) 1) (- (/ 1 x) 1))) 1538652018.868 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (* (- (/ 1 x) 1) (- (/ 1 x) 1))) (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)))))) 1538652018.868 * * * * [misc]progress: [ 65 / 91 ] simplifiying candidate # 1538652018.869 * [enter]simplify: Simplifying (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) 1538652018.870 * * [misc]simplify: iters left: 6 (11 enodes) 1538652018.874 * * [misc]simplify: iters left: 5 (26 enodes) 1538652018.878 * * [misc]simplify: iters left: 4 (42 enodes) 1538652018.894 * * [misc]simplify: iters left: 3 (90 enodes) 1538652018.925 * * [misc]simplify: iters left: 2 (148 enodes) 1538652018.978 * * [misc]simplify: iters left: 1 (256 enodes) 1538652019.151 * [exit]simplify: Simplified to (log (+ (* (sqrt (/ 1 x)) (+ (/ 1 x) -1)) (+ (* (/ 1 x) (/ 1 x)) -1))) 1538652019.151 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (+ (* (sqrt (/ 1 x)) (+ (/ 1 x) -1)) (+ (* (/ 1 x) (/ 1 x)) -1))) (log (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))) 1538652019.151 * * * * [misc]progress: [ 66 / 91 ] simplifiying candidate # 1538652019.151 * [enter]simplify: Simplifying (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) 1538652019.152 * * [misc]simplify: iters left: 6 (10 enodes) 1538652019.155 * * [misc]simplify: iters left: 5 (20 enodes) 1538652019.159 * * [misc]simplify: iters left: 4 (32 enodes) 1538652019.168 * * [misc]simplify: iters left: 3 (62 enodes) 1538652019.191 * * [misc]simplify: iters left: 2 (143 enodes) 1538652019.282 * * [misc]simplify: iters left: 1 (331 enodes) 1538652019.671 * [exit]simplify: Simplified to (log (* (- (/ 1 x) 1) (+ (sqrt (/ 1 x)) 1))) 1538652019.671 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (* (- (/ 1 x) 1) (+ (sqrt (/ 1 x)) 1))) (log (+ (sqrt (/ 1 x)) 1))))) 1538652019.671 * * * * [misc]progress: [ 67 / 91 ] simplifiying candidate # 1538652019.672 * [enter]simplify: Simplifying (log (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (sqrt (/ 1 x)) 1))) 1538652019.672 * * [misc]simplify: iters left: 6 (11 enodes) 1538652019.676 * * [misc]simplify: iters left: 5 (26 enodes) 1538652019.681 * * [misc]simplify: iters left: 4 (44 enodes) 1538652019.701 * * [misc]simplify: iters left: 3 (99 enodes) 1538652019.732 * * [misc]simplify: iters left: 2 (185 enodes) 1538652019.864 * * [misc]simplify: iters left: 1 (359 enodes) 1538652020.121 * [exit]simplify: Simplified to (log (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ (/ -1 x) 1)))) 1538652020.121 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ (/ -1 x) 1)))) (log (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))))))) 1538652020.121 * * * * [misc]progress: [ 68 / 91 ] simplifiying candidate # 1538652020.121 * [enter]simplify: Simplifying (log (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1))) 1538652020.122 * * [misc]simplify: iters left: 6 (10 enodes) 1538652020.128 * * [misc]simplify: iters left: 5 (20 enodes) 1538652020.135 * * [misc]simplify: iters left: 4 (31 enodes) 1538652020.151 * * [misc]simplify: iters left: 3 (70 enodes) 1538652020.213 * * [misc]simplify: iters left: 2 (196 enodes) 1538652020.325 * * [misc]simplify: iters left: 1 (459 enodes) 1538652020.778 * [exit]simplify: Simplified to (log (- (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (- (/ 1 x) 1))) 1538652020.778 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (- (/ 1 x) 1))) (log (- (sqrt (/ 1 x)) 1))))) 1538652020.778 * * * * [misc]progress: [ 69 / 91 ] simplifiying candidate # 1538652020.778 * * * * [misc]progress: [ 70 / 91 ] simplifiying candidate # 1538652020.778 * * * * [misc]progress: [ 71 / 91 ] simplifiying candidate # 1538652020.778 * * * * [misc]progress: [ 72 / 91 ] simplifiying candidate # 1538652020.779 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1538652020.779 * * [misc]simplify: iters left: 6 (6 enodes) 1538652020.780 * * [misc]simplify: iters left: 5 (9 enodes) 1538652020.782 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1538652020.782 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1538652020.782 * * * * [misc]progress: [ 73 / 91 ] simplifiying candidate # 1538652020.782 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1538652020.782 * * [misc]simplify: iters left: 6 (7 enodes) 1538652020.785 * * [misc]simplify: iters left: 5 (14 enodes) 1538652020.788 * * [misc]simplify: iters left: 4 (29 enodes) 1538652020.803 * * [misc]simplify: iters left: 3 (60 enodes) 1538652020.827 * * [misc]simplify: iters left: 2 (156 enodes) 1538652020.972 * * [misc]simplify: iters left: 1 (354 enodes) 1538652021.152 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1538652021.152 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (+ -1 (/ 1 x))))) 1538652021.152 * * * * [misc]progress: [ 74 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 75 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 76 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 77 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 78 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 79 / 91 ] simplifiying candidate # 1538652021.152 * * * * [misc]progress: [ 80 / 91 ] simplifiying candidate # 1538652021.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652021.152 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1538652021.152 * * * * [misc]progress: [ 81 / 91 ] simplifiying candidate # 1538652021.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1538652021.152 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1538652021.152 * * * * [misc]progress: [ 82 / 91 ] simplifiying candidate # 1538652021.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1538652021.153 * * * * [misc]progress: [ 83 / 91 ] simplifiying candidate # 1538652021.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1538652021.153 * * * * [misc]progress: [ 84 / 91 ] simplifiying candidate # 1538652021.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1538652021.153 * * * * [misc]progress: [ 85 / 91 ] simplifiying candidate # 1538652021.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1538652021.153 * * * * [misc]progress: [ 86 / 91 ] simplifiying candidate # 1538652021.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1538652021.153 * * * * [misc]progress: [ 87 / 91 ] simplifiying candidate # 1538652021.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652021.153 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1538652021.153 * * * * [misc]progress: [ 88 / 91 ] simplifiying candidate # 1538652021.154 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1538652021.154 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1538652021.154 * * * * [misc]progress: [ 89 / 91 ] simplifiying candidate # 1538652021.154 * [enter]simplify: Simplifying (- (log (- +nan.0)) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1538652021.154 * [misc]simplify: Simplified (2 1) to (λ (x) (- +nan.0)) 1538652021.154 * * * * [misc]progress: [ 90 / 91 ] simplifiying candidate # 1538652021.154 * [enter]simplify: Simplifying (- (log -1) (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))) 1538652021.154 * [misc]simplify: Simplified (2 1) to (λ (x) (- +nan.0)) 1538652021.154 * * * * [misc]progress: [ 91 / 91 ] simplifiying candidate # 1538652021.154 * [enter]simplify: Simplifying (- (log -1) (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))) 1538652021.154 * [misc]simplify: Simplified (2 1) to (λ (x) (- +nan.0)) 1538652021.154 * * * [misc]progress: adding candidates to table 1538652022.868 * * [misc]progress: iteration 3 / 4 1538652022.868 * * * [misc]progress: picking best candidate 1538652022.876 * * * * [misc]pick: Picked # 1538652022.876 * * * [misc]progress: localizing error 1538652022.906 * * * [misc]progress: generating rewritten candidates 1538652022.906 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2) 1538652022.917 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1538652022.995 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1538652023.008 * * * [misc]progress: generating series expansions 1538652023.008 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 2) 1538652023.008 * [misc]backup-simplify: Simplify (+ x (log x)) into (+ x (log x)) 1538652023.008 * [misc]approximate: Taking taylor expansion of (+ x (log x)) in (x) around 0 1538652023.008 * [misc]taylor: Taking taylor expansion of (+ x (log x)) in x 1538652023.008 * [misc]taylor: Taking taylor expansion of x in x 1538652023.008 * [misc]backup-simplify: Simplify 0 into 0 1538652023.008 * [misc]backup-simplify: Simplify 1 into 1 1538652023.008 * [misc]taylor: Taking taylor expansion of (log x) in x 1538652023.008 * [misc]taylor: Taking taylor expansion of x in x 1538652023.008 * [misc]backup-simplify: Simplify 0 into 0 1538652023.008 * [misc]backup-simplify: Simplify 1 into 1 1538652023.009 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.009 * [misc]taylor: Taking taylor expansion of (+ x (log x)) in x 1538652023.009 * [misc]taylor: Taking taylor expansion of x in x 1538652023.009 * [misc]backup-simplify: Simplify 0 into 0 1538652023.009 * [misc]backup-simplify: Simplify 1 into 1 1538652023.009 * [misc]taylor: Taking taylor expansion of (log x) in x 1538652023.009 * [misc]taylor: Taking taylor expansion of x in x 1538652023.009 * [misc]backup-simplify: Simplify 0 into 0 1538652023.009 * [misc]backup-simplify: Simplify 1 into 1 1538652023.009 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.009 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1538652023.010 * [misc]backup-simplify: Simplify (+ 0 (log x)) into (log x) 1538652023.010 * [misc]backup-simplify: Simplify (log x) into (log x) 1538652023.013 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538652023.013 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652023.013 * [misc]backup-simplify: Simplify 1 into 1 1538652023.017 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538652023.018 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.018 * [misc]backup-simplify: Simplify 0 into 0 1538652023.026 * [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 1538652023.026 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.026 * [misc]backup-simplify: Simplify 0 into 0 1538652023.043 * [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 1538652023.044 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.044 * [misc]backup-simplify: Simplify 0 into 0 1538652023.064 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538652023.064 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.064 * [misc]backup-simplify: Simplify 0 into 0 1538652023.093 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538652023.094 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.094 * [misc]backup-simplify: Simplify 0 into 0 1538652023.129 * [misc]backup-simplify: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 0 1538652023.130 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.130 * [misc]backup-simplify: Simplify 0 into 0 1538652023.130 * [misc]backup-simplify: Simplify (+ (* 1 x) (log x)) into (+ x (log x)) 1538652023.130 * [misc]backup-simplify: Simplify (+ (/ 1 x) (log (/ 1 x))) into (+ (log (/ 1 x)) (/ 1 x)) 1538652023.130 * [misc]approximate: Taking taylor expansion of (+ (log (/ 1 x)) (/ 1 x)) in (x) around 0 1538652023.130 * [misc]taylor: Taking taylor expansion of (+ (log (/ 1 x)) (/ 1 x)) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of x in x 1538652023.130 * [misc]backup-simplify: Simplify 0 into 0 1538652023.130 * [misc]backup-simplify: Simplify 1 into 1 1538652023.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.130 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.130 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of x in x 1538652023.130 * [misc]backup-simplify: Simplify 0 into 0 1538652023.130 * [misc]backup-simplify: Simplify 1 into 1 1538652023.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.130 * [misc]taylor: Taking taylor expansion of (+ (log (/ 1 x)) (/ 1 x)) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.130 * [misc]taylor: Taking taylor expansion of x in x 1538652023.130 * [misc]backup-simplify: Simplify 0 into 0 1538652023.130 * [misc]backup-simplify: Simplify 1 into 1 1538652023.131 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.131 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.131 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.131 * [misc]taylor: Taking taylor expansion of x in x 1538652023.131 * [misc]backup-simplify: Simplify 0 into 0 1538652023.131 * [misc]backup-simplify: Simplify 1 into 1 1538652023.131 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.131 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652023.131 * [misc]backup-simplify: Simplify 1 into 1 1538652023.131 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1538652023.131 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.131 * [misc]backup-simplify: Simplify (+ (- (log x)) 0) into (- (log x)) 1538652023.131 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1538652023.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.133 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538652023.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.133 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.134 * [misc]backup-simplify: Simplify 0 into 0 1538652023.134 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.136 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538652023.137 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.137 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.137 * [misc]backup-simplify: Simplify 0 into 0 1538652023.137 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.141 * [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 1538652023.141 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.141 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.142 * [misc]backup-simplify: Simplify 0 into 0 1538652023.142 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.153 * [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 1538652023.153 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.154 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.154 * [misc]backup-simplify: Simplify 0 into 0 1538652023.154 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.171 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538652023.171 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.171 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.171 * [misc]backup-simplify: Simplify 0 into 0 1538652023.171 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.190 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538652023.190 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.190 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.191 * [misc]backup-simplify: Simplify 0 into 0 1538652023.191 * [misc]backup-simplify: Simplify (+ (- (log (/ 1 x))) (* 1 (/ 1 (/ 1 x)))) into (- x (log (/ 1 x))) 1538652023.191 * [misc]backup-simplify: Simplify (+ (/ 1 (- x)) (log (/ 1 (- x)))) into (- (log (/ -1 x)) (/ 1 x)) 1538652023.191 * [misc]approximate: Taking taylor expansion of (- (log (/ -1 x)) (/ 1 x)) in (x) around 0 1538652023.191 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 x)) (/ 1 x)) in x 1538652023.191 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1538652023.191 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538652023.191 * [misc]taylor: Taking taylor expansion of -1 in x 1538652023.191 * [misc]backup-simplify: Simplify -1 into -1 1538652023.191 * [misc]taylor: Taking taylor expansion of x in x 1538652023.191 * [misc]backup-simplify: Simplify 0 into 0 1538652023.191 * [misc]backup-simplify: Simplify 1 into 1 1538652023.191 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538652023.191 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652023.191 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.191 * [misc]taylor: Taking taylor expansion of x in x 1538652023.191 * [misc]backup-simplify: Simplify 0 into 0 1538652023.191 * [misc]backup-simplify: Simplify 1 into 1 1538652023.192 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.192 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 x)) (/ 1 x)) in x 1538652023.192 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1538652023.192 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538652023.192 * [misc]taylor: Taking taylor expansion of -1 in x 1538652023.192 * [misc]backup-simplify: Simplify -1 into -1 1538652023.192 * [misc]taylor: Taking taylor expansion of x in x 1538652023.192 * [misc]backup-simplify: Simplify 0 into 0 1538652023.192 * [misc]backup-simplify: Simplify 1 into 1 1538652023.192 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538652023.192 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652023.192 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.192 * [misc]taylor: Taking taylor expansion of x in x 1538652023.192 * [misc]backup-simplify: Simplify 0 into 0 1538652023.192 * [misc]backup-simplify: Simplify 1 into 1 1538652023.192 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.192 * [misc]backup-simplify: Simplify (- 1) into -1 1538652023.192 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538652023.192 * [misc]backup-simplify: Simplify -1 into -1 1538652023.193 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1538652023.193 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.193 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.193 * [misc]backup-simplify: Simplify (+ (- (log -1) (log x)) 0) into (- (log -1) (log x)) 1538652023.193 * [misc]backup-simplify: Simplify (- (log -1) (log x)) into (- (log -1) (log x)) 1538652023.194 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1538652023.195 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1538652023.196 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.196 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.196 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.196 * [misc]backup-simplify: Simplify 0 into 0 1538652023.196 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.199 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1538652023.199 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.199 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.199 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.199 * [misc]backup-simplify: Simplify 0 into 0 1538652023.199 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.204 * [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 1538652023.204 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.204 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.204 * [misc]backup-simplify: Simplify 0 into 0 1538652023.204 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.211 * [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 1538652023.212 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.212 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.212 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.212 * [misc]backup-simplify: Simplify 0 into 0 1538652023.212 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.223 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 1538652023.223 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.223 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.223 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.223 * [misc]backup-simplify: Simplify 0 into 0 1538652023.224 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.241 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 1538652023.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.242 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.242 * [misc]backup-simplify: Simplify 0 into 0 1538652023.242 * [misc]backup-simplify: Simplify (+ (- (log -1) (log (/ 1 (- x)))) (* -1 (/ 1 (/ 1 (- x))))) into (- (+ x (log -1)) (log (/ -1 x))) 1538652023.242 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1538652023.242 * [misc]backup-simplify: Simplify (- (* (* x x) -1/2) (+ x (log x))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1538652023.242 * [misc]approximate: Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) in (x) around 0 1538652023.242 * [misc]taylor: Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of (+ x (+ (* 1/2 (pow x 2)) (log x))) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (log x)) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.243 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.243 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]taylor: Taking taylor expansion of (log x) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.243 * [misc]taylor: Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of (+ x (+ (* 1/2 (pow x 2)) (log x))) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (log x)) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.243 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.243 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]taylor: Taking taylor expansion of (log x) in x 1538652023.243 * [misc]taylor: Taking taylor expansion of x in x 1538652023.243 * [misc]backup-simplify: Simplify 0 into 0 1538652023.243 * [misc]backup-simplify: Simplify 1 into 1 1538652023.243 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.244 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1538652023.244 * [misc]backup-simplify: Simplify (+ 0 (log x)) into (log x) 1538652023.244 * [misc]backup-simplify: Simplify (+ 0 (log x)) into (log x) 1538652023.244 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1538652023.244 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1538652023.245 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538652023.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.245 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652023.246 * [misc]backup-simplify: Simplify (- 1) into -1 1538652023.246 * [misc]backup-simplify: Simplify -1 into -1 1538652023.246 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.246 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538652023.250 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538652023.250 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538652023.250 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1538652023.250 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538652023.250 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.250 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1538652023.251 * [misc]backup-simplify: Simplify (- (* (* (/ 1 x) (/ 1 x)) -1/2) (+ (/ 1 x) (log (/ 1 x)))) into (- (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) 1538652023.251 * [misc]approximate: Taking taylor expansion of (- (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) in (x) around 0 1538652023.251 * [misc]taylor: Taking taylor expansion of (- (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of x in x 1538652023.251 * [misc]backup-simplify: Simplify 0 into 0 1538652023.251 * [misc]backup-simplify: Simplify 1 into 1 1538652023.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.251 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.251 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.251 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.251 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538652023.251 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of x in x 1538652023.252 * [misc]backup-simplify: Simplify 0 into 0 1538652023.252 * [misc]backup-simplify: Simplify 1 into 1 1538652023.252 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.252 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of x in x 1538652023.252 * [misc]backup-simplify: Simplify 0 into 0 1538652023.252 * [misc]backup-simplify: Simplify 1 into 1 1538652023.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.252 * [misc]taylor: Taking taylor expansion of (- (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.252 * [misc]taylor: Taking taylor expansion of x in x 1538652023.252 * [misc]backup-simplify: Simplify 0 into 0 1538652023.252 * [misc]backup-simplify: Simplify 1 into 1 1538652023.253 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.253 * [misc]backup-simplify: Simplify (log 1) into 0 1538652023.253 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 1538652023.253 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1538652023.253 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.253 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.253 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538652023.253 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.253 * [misc]taylor: Taking taylor expansion of x in x 1538652023.253 * [misc]backup-simplify: Simplify 0 into 0 1538652023.253 * [misc]backup-simplify: Simplify 1 into 1 1538652023.253 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.253 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.253 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.253 * [misc]taylor: Taking taylor expansion of x in x 1538652023.253 * [misc]backup-simplify: Simplify 0 into 0 1538652023.253 * [misc]backup-simplify: Simplify 1 into 1 1538652023.253 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.254 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538652023.254 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538652023.254 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1538652023.254 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538652023.254 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538652023.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.255 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1538652023.255 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652023.255 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538652023.255 * [misc]backup-simplify: Simplify (- 1) into -1 1538652023.255 * [misc]backup-simplify: Simplify -1 into -1 1538652023.256 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1538652023.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.257 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.257 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.257 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.257 * [misc]backup-simplify: Simplify (+ (- (log x)) 0) into (- (log x)) 1538652023.257 * [misc]backup-simplify: Simplify (- (- (log x))) into (log x) 1538652023.257 * [misc]backup-simplify: Simplify (log x) into (log x) 1538652023.258 * [misc]backup-simplify: Simplify (+ (log (/ 1 x)) (+ (* -1 (/ 1 (/ 1 x))) (* -1/2 (pow (/ 1 (/ 1 x)) 2)))) into (- (log (/ 1 x)) (+ (* 1/2 (pow x 2)) x)) 1538652023.258 * [misc]backup-simplify: Simplify (- (* (* (/ 1 (- x)) (/ 1 (- x))) -1/2) (+ (/ 1 (- x)) (log (/ 1 (- x))))) into (- (/ 1 x) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1538652023.258 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) in (x) around 0 1538652023.258 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) in x 1538652023.258 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.258 * [misc]taylor: Taking taylor expansion of x in x 1538652023.258 * [misc]backup-simplify: Simplify 0 into 0 1538652023.258 * [misc]backup-simplify: Simplify 1 into 1 1538652023.259 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.259 * [misc]taylor: Taking taylor expansion of (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of -1 in x 1538652023.259 * [misc]backup-simplify: Simplify -1 into -1 1538652023.259 * [misc]taylor: Taking taylor expansion of x in x 1538652023.259 * [misc]backup-simplify: Simplify 0 into 0 1538652023.259 * [misc]backup-simplify: Simplify 1 into 1 1538652023.259 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538652023.259 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652023.259 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.259 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.259 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.259 * [misc]taylor: Taking taylor expansion of x in x 1538652023.259 * [misc]backup-simplify: Simplify 0 into 0 1538652023.259 * [misc]backup-simplify: Simplify 1 into 1 1538652023.260 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.260 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.260 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) in x 1538652023.260 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538652023.260 * [misc]taylor: Taking taylor expansion of x in x 1538652023.260 * [misc]backup-simplify: Simplify 0 into 0 1538652023.260 * [misc]backup-simplify: Simplify 1 into 1 1538652023.260 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.260 * [misc]taylor: Taking taylor expansion of (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))) in x 1538652023.260 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1538652023.260 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538652023.260 * [misc]taylor: Taking taylor expansion of -1 in x 1538652023.260 * [misc]backup-simplify: Simplify -1 into -1 1538652023.260 * [misc]taylor: Taking taylor expansion of x in x 1538652023.260 * [misc]backup-simplify: Simplify 0 into 0 1538652023.260 * [misc]backup-simplify: Simplify 1 into 1 1538652023.261 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538652023.261 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1538652023.261 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1538652023.261 * [misc]taylor: Taking taylor expansion of 1/2 in x 1538652023.261 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538652023.261 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538652023.261 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.261 * [misc]taylor: Taking taylor expansion of x in x 1538652023.261 * [misc]backup-simplify: Simplify 0 into 0 1538652023.261 * [misc]backup-simplify: Simplify 1 into 1 1538652023.261 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.261 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538652023.261 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538652023.262 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1538652023.262 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538652023.262 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1538652023.262 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.262 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538652023.262 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.263 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1538652023.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538652023.263 * [misc]backup-simplify: Simplify (- 0) into 0 1538652023.263 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538652023.263 * [misc]backup-simplify: Simplify 1 into 1 1538652023.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538652023.264 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1538652023.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.264 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.265 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.265 * [misc]backup-simplify: Simplify (+ (- (log -1) (log x)) 0) into (- (log -1) (log x)) 1538652023.265 * [misc]backup-simplify: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1)) 1538652023.265 * [misc]backup-simplify: Simplify (+ 0 (- (log x) (log -1))) into (- (log x) (log -1)) 1538652023.266 * [misc]backup-simplify: Simplify (- (log x) (log -1)) into (- (log x) (log -1)) 1538652023.266 * [misc]backup-simplify: Simplify (+ (- (log (/ 1 (- x))) (log -1)) (+ (* 1 (/ 1 (/ 1 (- x)))) (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (log (/ -1 x)) (+ x (+ (* 1/2 (pow x 2)) (log -1)))) 1538652023.266 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1538652023.267 * [misc]backup-simplify: Simplify (* (* x x) -1/2) into (* -1/2 (pow x 2)) 1538652023.267 * [misc]approximate: Taking taylor expansion of (* -1/2 (pow x 2)) in (x) around 0 1538652023.267 * [misc]taylor: Taking taylor expansion of (* -1/2 (pow x 2)) in x 1538652023.267 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.267 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.267 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.267 * [misc]taylor: Taking taylor expansion of x in x 1538652023.267 * [misc]backup-simplify: Simplify 0 into 0 1538652023.267 * [misc]backup-simplify: Simplify 1 into 1 1538652023.267 * [misc]taylor: Taking taylor expansion of (* -1/2 (pow x 2)) in x 1538652023.267 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.267 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.267 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.267 * [misc]taylor: Taking taylor expansion of x in x 1538652023.267 * [misc]backup-simplify: Simplify 0 into 0 1538652023.267 * [misc]backup-simplify: Simplify 1 into 1 1538652023.267 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.268 * [misc]backup-simplify: Simplify (* -1/2 1) into -1/2 1538652023.268 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538652023.268 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (* 0 1)) into 0 1538652023.268 * [misc]backup-simplify: Simplify 0 into 0 1538652023.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.269 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.269 * [misc]backup-simplify: Simplify 0 into 0 1538652023.269 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538652023.269 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538652023.269 * [misc]backup-simplify: Simplify 0 into 0 1538652023.270 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538652023.270 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538652023.270 * [misc]backup-simplify: Simplify 0 into 0 1538652023.271 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538652023.271 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538652023.271 * [misc]backup-simplify: Simplify 0 into 0 1538652023.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538652023.272 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538652023.272 * [misc]backup-simplify: Simplify 0 into 0 1538652023.272 * [misc]backup-simplify: Simplify (* -1/2 (pow x 2)) into (* -1/2 (pow x 2)) 1538652023.272 * [misc]backup-simplify: Simplify (* (* (/ 1 x) (/ 1 x)) -1/2) into (/ -1/2 (pow x 2)) 1538652023.272 * [misc]approximate: Taking taylor expansion of (/ -1/2 (pow x 2)) in (x) around 0 1538652023.273 * [misc]taylor: Taking taylor expansion of (/ -1/2 (pow x 2)) in x 1538652023.273 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.273 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.273 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.273 * [misc]taylor: Taking taylor expansion of x in x 1538652023.273 * [misc]backup-simplify: Simplify 0 into 0 1538652023.273 * [misc]backup-simplify: Simplify 1 into 1 1538652023.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.273 * [misc]backup-simplify: Simplify (/ -1/2 1) into -1/2 1538652023.273 * [misc]taylor: Taking taylor expansion of (/ -1/2 (pow x 2)) in x 1538652023.273 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.273 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.273 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.273 * [misc]taylor: Taking taylor expansion of x in x 1538652023.273 * [misc]backup-simplify: Simplify 0 into 0 1538652023.273 * [misc]backup-simplify: Simplify 1 into 1 1538652023.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.274 * [misc]backup-simplify: Simplify (/ -1/2 1) into -1/2 1538652023.274 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538652023.274 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1538652023.274 * [misc]backup-simplify: Simplify 0 into 0 1538652023.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.275 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.275 * [misc]backup-simplify: Simplify 0 into 0 1538652023.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538652023.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.276 * [misc]backup-simplify: Simplify 0 into 0 1538652023.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538652023.277 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.277 * [misc]backup-simplify: Simplify 0 into 0 1538652023.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538652023.278 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.278 * [misc]backup-simplify: Simplify 0 into 0 1538652023.278 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538652023.281 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.281 * [misc]backup-simplify: Simplify 0 into 0 1538652023.281 * [misc]backup-simplify: Simplify (* -1/2 (pow (/ 1 (/ 1 x)) 2)) into (* -1/2 (pow x 2)) 1538652023.281 * [misc]backup-simplify: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) -1/2) into (/ -1/2 (pow x 2)) 1538652023.281 * [misc]approximate: Taking taylor expansion of (/ -1/2 (pow x 2)) in (x) around 0 1538652023.282 * [misc]taylor: Taking taylor expansion of (/ -1/2 (pow x 2)) in x 1538652023.282 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.282 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.282 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.282 * [misc]taylor: Taking taylor expansion of x in x 1538652023.282 * [misc]backup-simplify: Simplify 0 into 0 1538652023.282 * [misc]backup-simplify: Simplify 1 into 1 1538652023.282 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.282 * [misc]backup-simplify: Simplify (/ -1/2 1) into -1/2 1538652023.282 * [misc]taylor: Taking taylor expansion of (/ -1/2 (pow x 2)) in x 1538652023.282 * [misc]taylor: Taking taylor expansion of -1/2 in x 1538652023.282 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.282 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538652023.282 * [misc]taylor: Taking taylor expansion of x in x 1538652023.282 * [misc]backup-simplify: Simplify 0 into 0 1538652023.282 * [misc]backup-simplify: Simplify 1 into 1 1538652023.282 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538652023.283 * [misc]backup-simplify: Simplify (/ -1/2 1) into -1/2 1538652023.283 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538652023.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538652023.283 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1538652023.283 * [misc]backup-simplify: Simplify 0 into 0 1538652023.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538652023.284 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.284 * [misc]backup-simplify: Simplify 0 into 0 1538652023.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538652023.285 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.285 * [misc]backup-simplify: Simplify 0 into 0 1538652023.285 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538652023.286 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.286 * [misc]backup-simplify: Simplify 0 into 0 1538652023.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538652023.287 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.287 * [misc]backup-simplify: Simplify 0 into 0 1538652023.287 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538652023.288 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538652023.288 * [misc]backup-simplify: Simplify 0 into 0 1538652023.288 * [misc]backup-simplify: Simplify (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* -1/2 (pow x 2)) 1538652023.288 * * * [misc]progress: simplifying candidates 1538652023.288 * * * * [misc]progress: [ 1 / 41 ] simplifiying candidate # 1538652023.288 * * * * [misc]progress: [ 2 / 41 ] simplifiying candidate # 1538652023.288 * * * * [misc]progress: [ 3 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 4 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 5 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 6 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 7 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 8 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 9 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 10 / 41 ] simplifiying candidate # 1538652023.289 * * * * [misc]progress: [ 11 / 41 ] simplifiying candidate # 1538652023.289 * [enter]simplify: Simplifying (/ (exp (* (* x x) -1/2)) (exp (+ x (log x)))) 1538652023.290 * * [misc]simplify: iters left: 6 (9 enodes) 1538652023.295 * * [misc]simplify: iters left: 5 (20 enodes) 1538652023.304 * * [misc]simplify: iters left: 4 (32 enodes) 1538652023.315 * * [misc]simplify: iters left: 3 (45 enodes) 1538652023.333 * * [misc]simplify: iters left: 2 (65 enodes) 1538652023.355 * * [misc]simplify: iters left: 1 (93 enodes) 1538652023.401 * [exit]simplify: Simplified to (/ (exp (* -1/2 (* x x))) (* (exp x) x)) 1538652023.401 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (/ (exp (* -1/2 (* x x))) (* (exp x) x))))) 1538652023.401 * * * * [misc]progress: [ 12 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 13 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 14 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 15 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 16 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 17 / 41 ] simplifiying candidate # 1538652023.401 * * * * [misc]progress: [ 18 / 41 ] simplifiying candidate # 1538652023.402 * * * * [misc]progress: [ 19 / 41 ] simplifiying candidate # 1538652023.402 * * * * [misc]progress: [ 20 / 41 ] simplifiying candidate # 1538652023.402 * * * * [misc]progress: [ 21 / 41 ] simplifiying candidate # 1538652023.402 * * * * [misc]progress: [ 22 / 41 ] simplifiying candidate # 1538652023.402 * [enter]simplify: Simplifying (log x) 1538652023.402 * * [misc]simplify: iters left: 1 (2 enodes) 1538652023.403 * [exit]simplify: Simplified to (log x) 1538652023.403 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (- (- (* (* x x) -1/2) x) (log x)))) 1538652023.403 * * * * [misc]progress: [ 23 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 24 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 25 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 26 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 27 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 28 / 41 ] simplifiying candidate # 1538652023.403 * * * * [misc]progress: [ 29 / 41 ] simplifiying candidate # 1538652023.404 * * * * [misc]progress: [ 30 / 41 ] simplifiying candidate # 1538652023.404 * * * * [misc]progress: [ 31 / 41 ] simplifiying candidate # 1538652023.404 * * * * [misc]progress: [ 32 / 41 ] simplifiying candidate # 1538652023.404 * * * * [misc]progress: [ 33 / 41 ] simplifiying candidate # 1538652023.404 * [enter]simplify: Simplifying (+ x (log x)) 1538652023.404 * * [misc]simplify: iters left: 3 (3 enodes) 1538652023.406 * * [misc]simplify: iters left: 2 (4 enodes) 1538652023.407 * [exit]simplify: Simplified to (+ (log x) x) 1538652023.407 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (- (* (* x x) -1/2) (+ (log x) x)))) 1538652023.407 * * * * [misc]progress: [ 34 / 41 ] simplifiying candidate # 1538652023.407 * [enter]simplify: Simplifying (- x (log (/ 1 x))) 1538652023.408 * * [misc]simplify: iters left: 5 (5 enodes) 1538652023.411 * * [misc]simplify: iters left: 4 (13 enodes) 1538652023.417 * * [misc]simplify: iters left: 3 (14 enodes) 1538652023.421 * [exit]simplify: Simplified to (+ x (log x)) 1538652023.421 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652023.421 * * * * [misc]progress: [ 35 / 41 ] simplifiying candidate # 1538652023.421 * [enter]simplify: Simplifying (- (+ x (log -1)) (log (/ -1 x))) 1538652023.422 * * [misc]simplify: iters left: 5 (7 enodes) 1538652023.426 * * [misc]simplify: iters left: 4 (14 enodes) 1538652023.433 * * [misc]simplify: iters left: 3 (28 enodes) 1538652023.447 * * [misc]simplify: iters left: 2 (51 enodes) 1538652023.467 * * [misc]simplify: iters left: 1 (79 enodes) 1538652023.546 * [exit]simplify: Simplified to (+ x (log x)) 1538652023.546 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652023.546 * * * * [misc]progress: [ 36 / 41 ] simplifiying candidate # 1538652023.547 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1538652023.548 * * [misc]simplify: iters left: 6 (9 enodes) 1538652023.555 * * [misc]simplify: iters left: 5 (18 enodes) 1538652023.563 * * [misc]simplify: iters left: 4 (34 enodes) 1538652023.581 * * [misc]simplify: iters left: 3 (75 enodes) 1538652023.613 * * [misc]simplify: iters left: 2 (104 enodes) 1538652023.652 * * [misc]simplify: iters left: 1 (140 enodes) 1538652023.736 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1538652023.736 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652023.736 * * * * [misc]progress: [ 37 / 41 ] simplifiying candidate # 1538652023.736 * [enter]simplify: Simplifying (- (log (/ 1 x)) (+ (* 1/2 (pow x 2)) x)) 1538652023.737 * * [misc]simplify: iters left: 6 (10 enodes) 1538652023.744 * * [misc]simplify: iters left: 5 (23 enodes) 1538652023.753 * * [misc]simplify: iters left: 4 (37 enodes) 1538652023.772 * * [misc]simplify: iters left: 3 (80 enodes) 1538652023.814 * * [misc]simplify: iters left: 2 (156 enodes) 1538652023.886 * * [misc]simplify: iters left: 1 (269 enodes) 1538652024.063 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ (log x) x)) 1538652024.063 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ (log x) x)))) 1538652024.063 * * * * [misc]progress: [ 38 / 41 ] simplifiying candidate # 1538652024.063 * [enter]simplify: Simplifying (- (log (/ -1 x)) (+ x (+ (* 1/2 (pow x 2)) (log -1)))) 1538652024.065 * * [misc]simplify: iters left: 6 (12 enodes) 1538652024.072 * * [misc]simplify: iters left: 5 (24 enodes) 1538652024.086 * * [misc]simplify: iters left: 4 (59 enodes) 1538652024.127 * * [misc]simplify: iters left: 3 (148 enodes) 1538652024.271 * * [misc]simplify: iters left: 2 (452 enodes) 1538652024.904 * [exit]simplify: Simplified to (- (- (* (* x -1/2) x) x) (+ 0 (log x))) 1538652024.904 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (- (* (* x -1/2) x) x) (+ 0 (log x))))) 1538652024.904 * * * * [misc]progress: [ 39 / 41 ] simplifiying candidate # 1538652024.904 * [enter]simplify: Simplifying (* -1/2 (pow x 2)) 1538652024.905 * * [misc]simplify: iters left: 3 (5 enodes) 1538652024.906 * * [misc]simplify: iters left: 2 (7 enodes) 1538652024.907 * * [misc]simplify: iters left: 1 (11 enodes) 1538652024.910 * [exit]simplify: Simplified to (* (* x x) -1/2) 1538652024.910 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652024.910 * * * * [misc]progress: [ 40 / 41 ] simplifiying candidate # 1538652024.910 * [enter]simplify: Simplifying (* -1/2 (pow x 2)) 1538652024.910 * * [misc]simplify: iters left: 3 (5 enodes) 1538652024.911 * * [misc]simplify: iters left: 2 (7 enodes) 1538652024.913 * * [misc]simplify: iters left: 1 (11 enodes) 1538652024.915 * [exit]simplify: Simplified to (* (* x x) -1/2) 1538652024.915 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652024.915 * * * * [misc]progress: [ 41 / 41 ] simplifiying candidate # 1538652024.915 * [enter]simplify: Simplifying (* -1/2 (pow x 2)) 1538652024.915 * * [misc]simplify: iters left: 3 (5 enodes) 1538652024.917 * * [misc]simplify: iters left: 2 (7 enodes) 1538652024.920 * * [misc]simplify: iters left: 1 (11 enodes) 1538652024.924 * [exit]simplify: Simplified to (* (* x x) -1/2) 1538652024.924 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1538652024.924 * * * [misc]progress: adding candidates to table 1538652025.671 * [misc]progress: [Phase 3 of 3] Extracting. 1538652025.673 * * [misc]regime: Finding splitpoints for: (# #) 1538652025.677 * * * [misc]regime-changes: Trying 2 branch expressions: (x (/ 1 x)) 1538652025.677 * * * * [misc]regimes: Trying to branch on x from (# #) 1538652025.722 * * * * [misc]regimes: Trying to branch on x from (# #) 1538652025.771 * * * * [misc]regimes: Trying to branch on (/ 1 x) from (# #) 1538652025.809 * * * * [misc]regimes: Trying to branch on (/ 1 x) from (# #) 1538652025.866 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 1 256)) (# #) ((2.07285464288182e-309) (1.4361741844617106e-307) (4.511560799661422e-307) (1.27971580958272e-305) (5.332177281320395e-303) (1.620011038707845e-300) (6.20627436291808e-300) (9.183490762885058e-300) (9.18891327516841e-300) (8.540818573115008e-298) (9.94295662300743e-298) (5.166641235649201e-297) (7.107874422781237e-297) (1.3795011577965048e-296) (3.556222679821562e-296) (4.546648012677896e-296) (3.2669499946714857e-295) (2.4264781833931153e-294) (3.3660068058978546e-291) (6.036971052565261e-288) (1.158789464268268e-287) (1.3786415375020627e-284) (3.7626896165747987e-283) (1.3549173378854581e-281) (3.429982845851953e-279) (1.5527295256313793e-274) (4.71067256274192e-272) (2.102635663799049e-270) (7.912151782080467e-268) (7.928541612559458e-268) (2.576714307066564e-267) (8.19206267026144e-267) (3.8884865854576844e-265) (1.564304236060654e-264) (1.5936772638060447e-264) (5.488525078648075e-264) (2.3809319540687927e-263) (8.109242722327681e-261) (8.989151752206993e-261) (6.851296073165166e-260) (3.4013401970381887e-258) (6.719181455347884e-253) (1.4098004071014702e-252) (6.560355462873674e-250) (4.2971586461211995e-249) (3.622091135370172e-248) (5.5193734441473063e-247) (5.29931274068972e-245) (5.13584722937396e-243) (2.674864310541707e-242) (1.3647312126963589e-241) (2.2991197959119056e-239) (2.3325733389546827e-236) (3.647032912451059e-236) (1.8734131864867148e-234) (4.232162329609072e-234) (3.769988343392956e-233) (6.302690165599983e-233) (9.211686925141e-233) (5.483288986076591e-232) (1.9055239461048055e-230) (2.5637068769463443e-229) (4.053683674700279e-228) (1.954175109531907e-226) (3.886453446495856e-226) (1.7683947560047198e-222) (8.943714235523933e-221) (3.4582757322314025e-219) (3.400205593594157e-218) (2.2254810613273e-214) (2.7562605000800196e-214) (8.073751925608459e-214) (5.0152418206554074e-213) (3.5089330188660727e-211) (2.388769272229288e-210) (4.468045203005065e-208) (8.994175374043719e-208) (3.8034877296991614e-207) (9.052020932822332e-205) (2.5200353547295853e-203) (7.615934000974176e-203) (5.172794904606784e-202) (2.531257269269511e-197) (4.263474123136568e-196) (1.451558820980874e-195) (6.340978630588841e-195) (8.574398707378534e-193) (9.815653291213848e-193) (4.224100043679813e-191) (4.2856014119480955e-191) (1.140043533016518e-189) (1.1420104768246208e-188) (8.240802531307686e-188) (2.9415579836126274e-185) (8.08370499575295e-185) (4.166977171463589e-184) (4.447399454889626e-184) (1.8137005692972472e-181) (1.7963377190742854e-177) (1.4137650119511199e-176) (3.755812994138777e-175) (1.2994355192435938e-174) (2.097038497008936e-173) (2.2380557458760005e-172) (1.2431332649246312e-171) (2.2915070856725104e-168) (1.2683849148502053e-167) (3.104558997269432e-166) (7.391746737906687e-165) (1.1189907547683599e-163) (4.487611910648735e-161) (3.826774082625389e-160) (5.128294952495366e-160) (2.3925995814822656e-159) (8.004777724387853e-159) (8.111572714051108e-159) (8.164925761322927e-159) (3.123556502036983e-158) (2.8978182316634708e-157) (1.2693848904378586e-156) (2.042142338201203e-156) (1.1631876199243737e-154) (1.6712464936553292e-153) (4.3418485674681073e-153) (2.5047635515728485e-152) (4.4318897921584306e-150) (1.7156760236625116e-149) (1.766838948812995e-147) (2.3743410745846496e-147) (1.5084975850829588e-145) (1.11400071050706e-144) (4.405793985914281e-144) (1.1939281268899823e-142) (2.2592773410160867e-140) (3.9066633556287753e-140) (1.3629961202304812e-139) (4.5723737705578594e-138) (2.191341693547202e-137) (1.3467322551282508e-136) (1.0420256956642383e-134) (3.6916698654574704e-133) (7.675834230891957e-133) (4.5492675286972935e-132) (2.618662183626593e-131) (8.141446867262622e-131) (1.3300603339674061e-129) (9.654513216603179e-126) (4.8607016949769e-123) (3.247414272504834e-121) (7.91523901390068e-121) (1.9634075622729443e-119) (2.006569431467843e-116) (4.109964234997217e-116) (2.743851952669172e-115) (6.295208170565626e-114) (1.8014314634648376e-113) (3.5926174952510474e-113) (3.8149055546812916e-113) (3.9716148728780075e-113) (4.627290929670442e-113) (2.351273431454235e-111) (2.5670704496844512e-110) (1.9015505224177665e-109) (7.534211658410033e-109) (4.165046232740896e-108) (5.2636236971167887e-107) (4.255568669769026e-105) (6.6459065265571764e-102) (9.030475850962892e-102) (1.0107912231791123e-101) (1.5418062262746105e-100) (4.543912920945783e-98) (4.257987040375992e-97) (1.79531571075189e-96) (5.612991351125987e-96) (1.9400825492942808e-95) (3.7835831284620876e-94) (1.0117794949376591e-93) (4.339787899762897e-93) (1.311897274522464e-91) (3.4581308904736386e-91) (7.254687583300526e-91) (6.320813074242574e-90) (1.42667707654662e-89) (3.2741104361983186e-88) (7.738097924797907e-88) (2.316698294551856e-87) (3.598417751420022e-87) (2.5025142095262324e-84) (1.3795303303136253e-83) (1.9617272803291608e-82) (3.766141140504034e-82) (2.3446921291498613e-80) (2.7706768221310417e-80) (3.2236921331051528e-80) (2.551265997199411e-77) (3.3207657410189864e-77) (1.4739327546755562e-73) (4.720041649076175e-73) (1.2241308194118762e-69) (1.3738384982070662e-69) (2.904032579832004e-66) (3.060530355757926e-64) (5.644095026687996e-60) (1.1980091645473911e-59) (1.2968677740458545e-59) (3.5472966048646907e-57) (3.669562241922526e-57) (4.6319613481157015e-56) (4.503598881840906e-54) (2.0632871865371716e-52) (1.2226598217103862e-49) (1.4821547727424615e-47) (2.743080321036143e-46) (1.017957131193172e-43) (1.2926895612577624e-43) (2.7815256757874747e-43) (4.082976047564659e-41) (4.832175164489317e-39) (6.224845343861812e-39) (2.5977061666559785e-36) (4.511041917463396e-36) (1.272286441481795e-35) (3.8806232845262056e-35) (1.820103906298428e-33) (5.778213284605202e-32) (1.8386272379331148e-31) (5.56865291920949e-31) (2.2214686711075268e-29) (7.645928708151369e-26) (2.7134514920655273e-25) (3.378604212619376e-25) (2.5381649133459587e-24) (4.8597483872753174e-24) (2.783829392737632e-23) (1.7464131799263172e-22) (1.941715934935601e-21) (5.640021517609843e-19) (1.0579685393678886e-18) (7.370532544181588e-18) (5.46437715538562e-17) (6.918453703437243e-17) (6.271487897429285e-16) (5.0472561349233467e-14) (1.3541607029647162e-12) (2.2220205482534037e-11) (2.647695068660539e-11) (1.7199457338464006e-10) (3.779129353258822e-08) (1.4316578916589987e-07) (0.00019712927961133578) (0.0004481364379532123) (0.00295987201058821) (0.011334586921757957) (0.03804775239556192) (0.10988009230650758)) x (4569405223540703938 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)) 1538652025.869 * [enter]simplify: Simplifying (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) 1538652025.870 * * [misc]simplify: iters left: 6 (9 enodes) 1538652025.872 * * [misc]simplify: iters left: 5 (13 enodes) 1538652025.875 * [exit]simplify: Simplified to (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) 1538652025.875 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538652027.754 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652027.755 * * * * [misc]points: Sampling 5995 additional inputs, on iter 1 have 2005 / 8000 1538652028.581 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652028.582 * * * * [misc]points: Sampling 4468 additional inputs, on iter 2 have 3532 / 8000 1538652029.310 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652029.311 * * * * [misc]points: Sampling 3359 additional inputs, on iter 3 have 4641 / 8000 1538652029.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652029.773 * * * * [misc]points: Sampling 2466 additional inputs, on iter 4 have 5534 / 8000 1538652030.157 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652030.158 * * * * [misc]points: Sampling 1856 additional inputs, on iter 5 have 6144 / 8000 1538652030.909 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652030.909 * * * * [misc]points: Sampling 1414 additional inputs, on iter 6 have 6586 / 8000 1538652031.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.136 * * * * [misc]points: Sampling 1105 additional inputs, on iter 7 have 6895 / 8000 1538652031.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.322 * * * * [misc]points: Sampling 822 additional inputs, on iter 8 have 7178 / 8000 1538652031.408 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.408 * * * * [misc]points: Sampling 586 additional inputs, on iter 9 have 7414 / 8000 1538652031.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.524 * * * * [misc]points: Sampling 417 additional inputs, on iter 10 have 7583 / 8000 1538652031.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.558 * * * * [misc]points: Sampling 321 additional inputs, on iter 11 have 7679 / 8000 1538652031.584 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.584 * * * * [misc]points: Sampling 237 additional inputs, on iter 12 have 7763 / 8000 1538652031.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.642 * * * * [misc]points: Sampling 174 additional inputs, on iter 13 have 7826 / 8000 1538652031.659 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.659 * * * * [misc]points: Sampling 125 additional inputs, on iter 14 have 7875 / 8000 1538652031.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.670 * * * * [misc]points: Sampling 93 additional inputs, on iter 15 have 7907 / 8000 1538652031.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.679 * * * * [misc]points: Sampling 65 additional inputs, on iter 16 have 7935 / 8000 1538652031.686 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.686 * * * * [misc]points: Sampling 45 additional inputs, on iter 17 have 7955 / 8000 1538652031.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.691 * * * * [misc]points: Sampling 37 additional inputs, on iter 18 have 7963 / 8000 1538652031.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.698 * * * * [misc]points: Sampling 29 additional inputs, on iter 19 have 7971 / 8000 1538652031.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.705 * * * * [misc]points: Sampling 20 additional inputs, on iter 20 have 7980 / 8000 1538652031.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.710 * * * * [misc]points: Sampling 17 additional inputs, on iter 21 have 7983 / 8000 1538652031.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.715 * * * * [misc]points: Sampling 15 additional inputs, on iter 22 have 7985 / 8000 1538652031.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.718 * * * * [misc]points: Sampling 10 additional inputs, on iter 23 have 7990 / 8000 1538652031.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.720 * * * * [misc]points: Sampling 8 additional inputs, on iter 24 have 7992 / 8000 1538652031.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.722 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1538652031.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.724 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1538652031.725 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.725 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7998 / 8000 1538652031.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1538652031.727 * * * * [exit]points: Sampled 8000 points with exact outputs