1545816141.211 * [misc]progress: [Phase 1 of 3] Setting up. 1545816141.211 * * * [misc]progress: [1/2] Preparing points 1545816141.211 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545816141.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816141.323 * * * * [misc]points: Sampling 62 additional inputs, on iter 1 have 194 / 256 1545816141.345 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816141.345 * * * * [misc]points: Sampling 12 additional inputs, on iter 2 have 244 / 256 1545816141.351 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816141.351 * * * * [misc]points: Sampling 5 additional inputs, on iter 3 have 251 / 256 1545816141.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816141.356 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1545816141.358 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816141.358 * * * * [exit]points: Sampled 258 points with exact outputs 1545816141.358 * * * [misc]progress: [2/2] Setting up program. 1545816141.363 * [misc]progress: [Phase 2 of 3] Improving. 1545816141.363 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1545816141.363 * * [misc]simplify: iters left: 5 (5 enodes) 1545816141.365 * * [misc]simplify: iters left: 4 (13 enodes) 1545816141.369 * * [misc]simplify: iters left: 3 (16 enodes) 1545816141.373 * * [misc]simplify: iters left: 2 (18 enodes) 1545816141.377 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1545816141.388 * * [misc]progress: iteration 1 / 4 1545816141.388 * * * [misc]progress: picking best candidate 1545816141.392 * * * * [misc]pick: Picked # 1545816141.392 * * * [misc]progress: localizing error 1545816141.406 * * * [misc]progress: generating rewritten candidates 1545816141.406 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1545816141.409 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545816141.416 * * * [misc]progress: generating series expansions 1545816141.416 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1545816141.416 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1545816141.416 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1545816141.416 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816141.416 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816141.416 * [misc]taylor: Taking taylor expansion of x in x 1545816141.416 * [misc]backup-simplify: Simplify 0 into 0 1545816141.416 * [misc]backup-simplify: Simplify 1 into 1 1545816141.416 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816141.416 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.416 * [misc]backup-simplify: Simplify 1 into 1 1545816141.416 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816141.416 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816141.416 * [misc]taylor: Taking taylor expansion of x in x 1545816141.416 * [misc]backup-simplify: Simplify 0 into 0 1545816141.416 * [misc]backup-simplify: Simplify 1 into 1 1545816141.416 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816141.416 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.416 * [misc]backup-simplify: Simplify 1 into 1 1545816141.416 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.417 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816141.417 * [misc]backup-simplify: Simplify 0 into 0 1545816141.418 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816141.418 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.418 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816141.418 * [misc]backup-simplify: Simplify 1 into 1 1545816141.419 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545816141.419 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.419 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816141.420 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816141.422 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1545816141.422 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.422 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816141.422 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816141.422 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1545816141.423 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816141.423 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1545816141.423 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of x in x 1545816141.423 * [misc]backup-simplify: Simplify 0 into 0 1545816141.423 * [misc]backup-simplify: Simplify 1 into 1 1545816141.423 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.423 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816141.423 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.423 * [misc]backup-simplify: Simplify 1 into 1 1545816141.423 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816141.423 * [misc]taylor: Taking taylor expansion of x in x 1545816141.423 * [misc]backup-simplify: Simplify 0 into 0 1545816141.423 * [misc]backup-simplify: Simplify 1 into 1 1545816141.423 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.423 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816141.423 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.423 * [misc]backup-simplify: Simplify 1 into 1 1545816141.423 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.423 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816141.423 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816141.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify 0 into 0 1545816141.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify 0 into 0 1545816141.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify 0 into 0 1545816141.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.424 * [misc]backup-simplify: Simplify 0 into 0 1545816141.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.425 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.425 * [misc]backup-simplify: Simplify 0 into 0 1545816141.425 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.425 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.425 * [misc]backup-simplify: Simplify 0 into 0 1545816141.425 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1545816141.425 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1545816141.425 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1545816141.425 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.425 * [misc]backup-simplify: Simplify -1 into -1 1545816141.425 * [misc]taylor: Taking taylor expansion of x in x 1545816141.425 * [misc]backup-simplify: Simplify 0 into 0 1545816141.425 * [misc]backup-simplify: Simplify 1 into 1 1545816141.425 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816141.425 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816141.425 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.425 * [misc]backup-simplify: Simplify 1 into 1 1545816141.425 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816141.425 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.425 * [misc]backup-simplify: Simplify -1 into -1 1545816141.425 * [misc]taylor: Taking taylor expansion of x in x 1545816141.425 * [misc]backup-simplify: Simplify 0 into 0 1545816141.425 * [misc]backup-simplify: Simplify 1 into 1 1545816141.425 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816141.426 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816141.426 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.426 * [misc]backup-simplify: Simplify 1 into 1 1545816141.426 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.426 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816141.426 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1545816141.426 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify 0 into 0 1545816141.426 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify 0 into 0 1545816141.426 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.426 * [misc]backup-simplify: Simplify 0 into 0 1545816141.427 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify 0 into 0 1545816141.427 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify 0 into 0 1545816141.427 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.427 * [misc]backup-simplify: Simplify 0 into 0 1545816141.427 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1545816141.427 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545816141.427 * [misc]backup-simplify: Simplify (/ (- (exp x) 1) x) into (/ (- (exp x) 1) x) 1545816141.427 * [misc]approximate: Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0 1545816141.427 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1545816141.427 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816141.427 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816141.427 * [misc]taylor: Taking taylor expansion of x in x 1545816141.427 * [misc]backup-simplify: Simplify 0 into 0 1545816141.428 * [misc]backup-simplify: Simplify 1 into 1 1545816141.428 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816141.428 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.428 * [misc]backup-simplify: Simplify 1 into 1 1545816141.428 * [misc]taylor: Taking taylor expansion of x in x 1545816141.428 * [misc]backup-simplify: Simplify 0 into 0 1545816141.428 * [misc]backup-simplify: Simplify 1 into 1 1545816141.428 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.428 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816141.429 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816141.429 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.429 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816141.429 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.429 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1545816141.429 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816141.429 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816141.429 * [misc]taylor: Taking taylor expansion of x in x 1545816141.429 * [misc]backup-simplify: Simplify 0 into 0 1545816141.429 * [misc]backup-simplify: Simplify 1 into 1 1545816141.429 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816141.429 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.429 * [misc]backup-simplify: Simplify 1 into 1 1545816141.429 * [misc]taylor: Taking taylor expansion of x in x 1545816141.429 * [misc]backup-simplify: Simplify 0 into 0 1545816141.429 * [misc]backup-simplify: Simplify 1 into 1 1545816141.429 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.429 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816141.430 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816141.430 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.431 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816141.431 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.431 * [misc]backup-simplify: Simplify 1 into 1 1545816141.432 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545816141.432 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.432 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816141.433 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1545816141.433 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816141.435 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1545816141.435 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.435 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816141.435 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1545816141.435 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816141.435 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816141.436 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) 1) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1)) 1545816141.436 * [misc]approximate: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0 1545816141.436 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of x in x 1545816141.436 * [misc]backup-simplify: Simplify 0 into 0 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of x in x 1545816141.436 * [misc]backup-simplify: Simplify 0 into 0 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.436 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816141.436 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of x in x 1545816141.436 * [misc]backup-simplify: Simplify 0 into 0 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816141.436 * [misc]taylor: Taking taylor expansion of x in x 1545816141.436 * [misc]backup-simplify: Simplify 0 into 0 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816141.436 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816141.436 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.436 * [misc]backup-simplify: Simplify 1 into 1 1545816141.436 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.436 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816141.437 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1545816141.437 * [misc]backup-simplify: Simplify 0 into 0 1545816141.437 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.437 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.437 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1545816141.437 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816141.437 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.437 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.437 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0 1545816141.437 * [misc]backup-simplify: Simplify 0 into 0 1545816141.438 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.438 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0 1545816141.438 * [misc]backup-simplify: Simplify 0 into 0 1545816141.438 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.439 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0 1545816141.439 * [misc]backup-simplify: Simplify 0 into 0 1545816141.439 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.439 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.453 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0 1545816141.453 * [misc]backup-simplify: Simplify 0 into 0 1545816141.453 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.454 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.454 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0 1545816141.455 * [misc]backup-simplify: Simplify 0 into 0 1545816141.455 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.455 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.456 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))))) into 0 1545816141.456 * [misc]backup-simplify: Simplify 0 into 0 1545816141.456 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1545816141.456 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 (- x))) 1) (/ 1 (- x))) into (* -1 (* (- (exp (/ -1 x)) 1) x)) 1545816141.456 * [misc]approximate: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0 1545816141.456 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816141.456 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.456 * [misc]backup-simplify: Simplify -1 into -1 1545816141.456 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.457 * [misc]backup-simplify: Simplify -1 into -1 1545816141.457 * [misc]taylor: Taking taylor expansion of x in x 1545816141.457 * [misc]backup-simplify: Simplify 0 into 0 1545816141.457 * [misc]backup-simplify: Simplify 1 into 1 1545816141.457 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816141.457 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816141.457 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.457 * [misc]backup-simplify: Simplify 1 into 1 1545816141.457 * [misc]taylor: Taking taylor expansion of x in x 1545816141.457 * [misc]backup-simplify: Simplify 0 into 0 1545816141.457 * [misc]backup-simplify: Simplify 1 into 1 1545816141.457 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.457 * [misc]backup-simplify: Simplify -1 into -1 1545816141.457 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816141.457 * [misc]taylor: Taking taylor expansion of -1 in x 1545816141.457 * [misc]backup-simplify: Simplify -1 into -1 1545816141.457 * [misc]taylor: Taking taylor expansion of x in x 1545816141.457 * [misc]backup-simplify: Simplify 0 into 0 1545816141.457 * [misc]backup-simplify: Simplify 1 into 1 1545816141.458 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816141.458 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816141.458 * [misc]taylor: Taking taylor expansion of 1 in x 1545816141.458 * [misc]backup-simplify: Simplify 1 into 1 1545816141.458 * [misc]taylor: Taking taylor expansion of x in x 1545816141.458 * [misc]backup-simplify: Simplify 0 into 0 1545816141.458 * [misc]backup-simplify: Simplify 1 into 1 1545816141.458 * [misc]backup-simplify: Simplify (- 1) into -1 1545816141.458 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816141.458 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1545816141.458 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545816141.458 * [misc]backup-simplify: Simplify 0 into 0 1545816141.459 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.459 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.460 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1545816141.460 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1545816141.461 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1545816141.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.461 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1545816141.462 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1545816141.462 * [misc]backup-simplify: Simplify 0 into 0 1545816141.462 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.462 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.462 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545816141.463 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1545816141.463 * [misc]backup-simplify: Simplify 0 into 0 1545816141.463 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.463 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.464 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545816141.464 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1545816141.464 * [misc]backup-simplify: Simplify 0 into 0 1545816141.464 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.465 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.465 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545816141.466 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1545816141.466 * [misc]backup-simplify: Simplify 0 into 0 1545816141.466 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.466 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.467 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1545816141.468 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1545816141.468 * [misc]backup-simplify: Simplify 0 into 0 1545816141.468 * [misc]backup-simplify: Simplify (- 0) into 0 1545816141.468 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816141.469 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1545816141.470 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1545816141.470 * [misc]backup-simplify: Simplify 0 into 0 1545816141.470 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1545816141.470 * * * [misc]progress: simplifying candidates 1545816141.471 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1545816141.471 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1545816141.472 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1545816141.472 * * [misc]simplify: iters left: 4 (5 enodes) 1545816141.474 * * [misc]simplify: iters left: 3 (8 enodes) 1545816141.476 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1545816141.476 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)) x)) 1545816141.476 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1545816141.476 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1545816141.476 * [enter]simplify: Simplifying (/ (exp x) x) 1545816141.477 * * [misc]simplify: iters left: 3 (3 enodes) 1545816141.477 * [exit]simplify: Simplified to (/ (exp x) x) 1545816141.478 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 1545816141.478 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1545816141.478 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1545816141.478 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1545816141.478 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1545816141.478 * [enter]simplify: Simplifying (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) 1545816141.478 * * [misc]simplify: iters left: 6 (6 enodes) 1545816141.481 * * [misc]simplify: iters left: 5 (11 enodes) 1545816141.484 * * [misc]simplify: iters left: 4 (12 enodes) 1545816141.487 * [exit]simplify: Simplified to (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) 1545816141.487 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (/ x (cbrt (- (exp x) 1))))) 1545816141.487 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1545816141.487 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1545816141.487 * * [misc]simplify: iters left: 4 (5 enodes) 1545816141.489 * * [misc]simplify: iters left: 3 (10 enodes) 1545816141.492 * * [misc]simplify: iters left: 2 (11 enodes) 1545816141.494 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1545816141.494 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (sqrt (- (exp x) 1))))) 1545816141.494 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1545816141.495 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1545816141.495 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1545816141.495 * * [misc]simplify: iters left: 4 (5 enodes) 1545816141.496 * * [misc]simplify: iters left: 3 (8 enodes) 1545816141.499 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1545816141.499 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ 1 (sqrt (exp x))) (/ x (- (sqrt (exp x)) 1)))) 1545816141.499 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1545816141.499 * [enter]simplify: Simplifying (- (pow (exp x) 3) (pow 1 3)) 1545816141.499 * * [misc]simplify: iters left: 4 (7 enodes) 1545816141.503 * * [misc]simplify: iters left: 3 (17 enodes) 1545816141.507 * * [misc]simplify: iters left: 2 (20 enodes) 1545816141.510 * * [misc]simplify: iters left: 1 (24 enodes) 1545816141.515 * [exit]simplify: Simplified to (- (pow (exp x) 3) 1) 1545816141.515 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (pow (exp x) 3) 1) (* x (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) 1545816141.515 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1545816141.516 * [enter]simplify: Simplifying (- (* (exp x) (exp x)) (* 1 1)) 1545816141.516 * * [misc]simplify: iters left: 5 (6 enodes) 1545816141.518 * * [misc]simplify: iters left: 4 (13 enodes) 1545816141.521 * * [misc]simplify: iters left: 3 (16 enodes) 1545816141.525 * * [misc]simplify: iters left: 2 (19 enodes) 1545816141.529 * * [misc]simplify: iters left: 1 (35 enodes) 1545816141.545 * [exit]simplify: Simplified to (+ -1 (* (exp x) (exp x))) 1545816141.545 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1)))) 1545816141.545 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1545816141.545 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1545816141.546 * * [misc]simplify: iters left: 6 (11 enodes) 1545816141.549 * * [misc]simplify: iters left: 5 (20 enodes) 1545816141.555 * * [misc]simplify: iters left: 4 (41 enodes) 1545816141.568 * * [misc]simplify: iters left: 3 (68 enodes) 1545816141.584 * * [misc]simplify: iters left: 2 (84 enodes) 1545816141.607 * * [misc]simplify: iters left: 1 (100 enodes) 1545816141.625 * [exit]simplify: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1545816141.625 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ x (* (* x x) (+ (* x 1/6) 1/2))) x)) 1545816141.625 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1545816141.625 * [enter]simplify: Simplifying (- (exp x) 1) 1545816141.625 * * [misc]simplify: iters left: 3 (4 enodes) 1545816141.626 * * [misc]simplify: iters left: 2 (9 enodes) 1545816141.627 * * [misc]simplify: iters left: 1 (10 enodes) 1545816141.628 * [exit]simplify: Simplified to (- (exp x) 1) 1545816141.628 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1545816141.628 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1545816141.628 * [enter]simplify: Simplifying (- (exp x) 1) 1545816141.628 * * [misc]simplify: iters left: 3 (4 enodes) 1545816141.630 * * [misc]simplify: iters left: 2 (9 enodes) 1545816141.631 * * [misc]simplify: iters left: 1 (10 enodes) 1545816141.632 * [exit]simplify: Simplified to (- (exp x) 1) 1545816141.632 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1545816141.632 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1545816141.632 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816141.632 * * [misc]simplify: iters left: 6 (10 enodes) 1545816141.634 * * [misc]simplify: iters left: 5 (19 enodes) 1545816141.636 * * [misc]simplify: iters left: 4 (29 enodes) 1545816141.641 * * [misc]simplify: iters left: 3 (40 enodes) 1545816141.645 * * [misc]simplify: iters left: 2 (41 enodes) 1545816141.652 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1545816141.652 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1545816141.652 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1545816141.653 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1545816141.653 * * [misc]simplify: iters left: 5 (5 enodes) 1545816141.655 * * [misc]simplify: iters left: 4 (13 enodes) 1545816141.658 * * [misc]simplify: iters left: 3 (16 enodes) 1545816141.662 * * [misc]simplify: iters left: 2 (18 enodes) 1545816141.666 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1545816141.666 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1545816141.666 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1545816141.667 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1545816141.667 * * [misc]simplify: iters left: 6 (7 enodes) 1545816141.669 * * [misc]simplify: iters left: 5 (18 enodes) 1545816141.674 * * [misc]simplify: iters left: 4 (32 enodes) 1545816141.680 * * [misc]simplify: iters left: 3 (55 enodes) 1545816141.690 * * [misc]simplify: iters left: 2 (68 enodes) 1545816141.699 * * [misc]simplify: iters left: 1 (105 enodes) 1545816141.725 * [exit]simplify: Simplified to (/ (+ (exp x) -1) x) 1545816141.725 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1545816141.725 * * * [misc]progress: adding candidates to table 1545816142.014 * * [misc]progress: iteration 2 / 4 1545816142.015 * * * [misc]progress: picking best candidate 1545816142.023 * * * * [misc]pick: Picked # 1545816142.024 * * * [misc]progress: localizing error 1545816142.039 * * * [misc]progress: generating rewritten candidates 1545816142.039 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1) 1545816142.041 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545816142.049 * * * [misc]progress: generating series expansions 1545816142.049 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1) 1545816142.049 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1545816142.049 * [misc]approximate: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0 1545816142.049 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.049 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.049 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.049 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.050 * [misc]taylor: Taking taylor expansion of x in x 1545816142.050 * [misc]backup-simplify: Simplify 0 into 0 1545816142.050 * [misc]backup-simplify: Simplify 1 into 1 1545816142.050 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.050 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.050 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.050 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.050 * [misc]taylor: Taking taylor expansion of x in x 1545816142.050 * [misc]backup-simplify: Simplify 0 into 0 1545816142.050 * [misc]backup-simplify: Simplify 1 into 1 1545816142.050 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.050 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.050 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.050 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.050 * [misc]backup-simplify: Simplify 0 into 0 1545816142.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.051 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.051 * [misc]backup-simplify: Simplify 0 into 0 1545816142.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.051 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.051 * [misc]backup-simplify: Simplify 0 into 0 1545816142.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.052 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.052 * [misc]backup-simplify: Simplify 0 into 0 1545816142.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.052 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.052 * [misc]backup-simplify: Simplify 0 into 0 1545816142.053 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.053 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.053 * [misc]backup-simplify: Simplify 0 into 0 1545816142.054 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1545816142.054 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 x) 2)) into (/ 1/6 (pow x 2)) 1545816142.054 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1545816142.054 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.054 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.054 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.054 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.054 * [misc]taylor: Taking taylor expansion of x in x 1545816142.054 * [misc]backup-simplify: Simplify 0 into 0 1545816142.054 * [misc]backup-simplify: Simplify 1 into 1 1545816142.054 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.054 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.054 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.054 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.054 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.054 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.054 * [misc]taylor: Taking taylor expansion of x in x 1545816142.054 * [misc]backup-simplify: Simplify 0 into 0 1545816142.054 * [misc]backup-simplify: Simplify 1 into 1 1545816142.054 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.054 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.055 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.055 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1545816142.055 * [misc]backup-simplify: Simplify 0 into 0 1545816142.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.055 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.055 * [misc]backup-simplify: Simplify 0 into 0 1545816142.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.056 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.056 * [misc]backup-simplify: Simplify 0 into 0 1545816142.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.056 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.056 * [misc]backup-simplify: Simplify 0 into 0 1545816142.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.057 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.057 * [misc]backup-simplify: Simplify 0 into 0 1545816142.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.058 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.058 * [misc]backup-simplify: Simplify 0 into 0 1545816142.058 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2)) 1545816142.058 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (- x)) 2)) into (/ 1/6 (pow x 2)) 1545816142.058 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1545816142.058 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.058 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.058 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.058 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.058 * [misc]taylor: Taking taylor expansion of x in x 1545816142.058 * [misc]backup-simplify: Simplify 0 into 0 1545816142.058 * [misc]backup-simplify: Simplify 1 into 1 1545816142.058 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.058 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.058 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.058 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.058 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.058 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.058 * [misc]taylor: Taking taylor expansion of x in x 1545816142.058 * [misc]backup-simplify: Simplify 0 into 0 1545816142.058 * [misc]backup-simplify: Simplify 1 into 1 1545816142.058 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.059 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.059 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.059 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1545816142.059 * [misc]backup-simplify: Simplify 0 into 0 1545816142.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.059 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.059 * [misc]backup-simplify: Simplify 0 into 0 1545816142.060 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.060 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.060 * [misc]backup-simplify: Simplify 0 into 0 1545816142.060 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.060 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.060 * [misc]backup-simplify: Simplify 0 into 0 1545816142.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.061 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.061 * [misc]backup-simplify: Simplify 0 into 0 1545816142.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.061 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.062 * [misc]backup-simplify: Simplify 0 into 0 1545816142.062 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2)) 1545816142.062 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545816142.062 * [misc]backup-simplify: Simplify (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.062 * [misc]approximate: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in (x) around 0 1545816142.062 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.062 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.062 * [misc]taylor: Taking taylor expansion of x in x 1545816142.062 * [misc]backup-simplify: Simplify 0 into 0 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.062 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.062 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.062 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of x in x 1545816142.062 * [misc]backup-simplify: Simplify 0 into 0 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.062 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.062 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.062 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.062 * [misc]taylor: Taking taylor expansion of x in x 1545816142.062 * [misc]backup-simplify: Simplify 0 into 0 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.062 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.062 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.062 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.062 * [misc]taylor: Taking taylor expansion of x in x 1545816142.062 * [misc]backup-simplify: Simplify 0 into 0 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.062 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.062 * [misc]backup-simplify: Simplify 1 into 1 1545816142.063 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545816142.063 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545816142.063 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545816142.063 * [misc]backup-simplify: Simplify 1 into 1 1545816142.063 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1545816142.063 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.063 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816142.063 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.063 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1545816142.063 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.064 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.064 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.064 * [misc]backup-simplify: Simplify (+ 0 1/6) into 1/6 1545816142.064 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.064 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.064 * [misc]backup-simplify: Simplify (+ (* 1/2 (/ 1 x)) (+ (* 1/6 (pow (/ 1 x) 2)) 1)) into (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) 1545816142.064 * [misc]approximate: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in (x) around 0 1545816142.064 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1545816142.064 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.064 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.064 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.064 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.064 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.064 * [misc]taylor: Taking taylor expansion of x in x 1545816142.064 * [misc]backup-simplify: Simplify 0 into 0 1545816142.064 * [misc]backup-simplify: Simplify 1 into 1 1545816142.064 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.064 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.065 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.065 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.065 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of x in x 1545816142.065 * [misc]backup-simplify: Simplify 0 into 0 1545816142.065 * [misc]backup-simplify: Simplify 1 into 1 1545816142.065 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.065 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.065 * [misc]backup-simplify: Simplify 1 into 1 1545816142.065 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.065 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.065 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of x in x 1545816142.065 * [misc]backup-simplify: Simplify 0 into 0 1545816142.065 * [misc]backup-simplify: Simplify 1 into 1 1545816142.065 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.065 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.065 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.065 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.065 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.065 * [misc]taylor: Taking taylor expansion of x in x 1545816142.065 * [misc]backup-simplify: Simplify 0 into 0 1545816142.065 * [misc]backup-simplify: Simplify 1 into 1 1545816142.065 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.065 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.065 * [misc]backup-simplify: Simplify 1 into 1 1545816142.066 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.066 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.066 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.066 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.066 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.066 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.066 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1545816142.066 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816142.066 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1545816142.066 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.067 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.067 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.067 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.067 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.067 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1545816142.067 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545816142.067 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545816142.068 * [misc]backup-simplify: Simplify 1 into 1 1545816142.068 * [misc]backup-simplify: Simplify (+ 1 (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.068 * [misc]backup-simplify: Simplify (+ (* 1/2 (/ 1 (- x))) (+ (* 1/6 (pow (/ 1 (- x)) 2)) 1)) into (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) 1545816142.068 * [misc]approximate: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in (x) around 0 1545816142.068 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1545816142.068 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1545816142.068 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.068 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.068 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.068 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.068 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.068 * [misc]taylor: Taking taylor expansion of x in x 1545816142.068 * [misc]backup-simplify: Simplify 0 into 0 1545816142.068 * [misc]backup-simplify: Simplify 1 into 1 1545816142.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.068 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.068 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.068 * [misc]backup-simplify: Simplify 1 into 1 1545816142.069 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.069 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.069 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of x in x 1545816142.069 * [misc]backup-simplify: Simplify 0 into 0 1545816142.069 * [misc]backup-simplify: Simplify 1 into 1 1545816142.069 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.069 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.069 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.069 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of x in x 1545816142.069 * [misc]backup-simplify: Simplify 0 into 0 1545816142.069 * [misc]backup-simplify: Simplify 1 into 1 1545816142.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.069 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.069 * [misc]taylor: Taking taylor expansion of 1 in x 1545816142.069 * [misc]backup-simplify: Simplify 1 into 1 1545816142.069 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.069 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.069 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.069 * [misc]taylor: Taking taylor expansion of x in x 1545816142.069 * [misc]backup-simplify: Simplify 0 into 0 1545816142.069 * [misc]backup-simplify: Simplify 1 into 1 1545816142.069 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.069 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.070 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.070 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.070 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.070 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.070 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.070 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.070 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1545816142.070 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1545816142.071 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1545816142.071 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545816142.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.071 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.071 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.071 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545816142.071 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.072 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1545816142.072 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.072 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816142.072 * [misc]backup-simplify: Simplify 1 into 1 1545816142.072 * [misc]backup-simplify: Simplify (+ 1 (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.072 * * * [misc]progress: simplifying candidates 1545816142.072 * * * * [misc]progress: [ 1 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 2 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 3 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 4 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 5 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 6 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 7 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 8 / 30 ] simplifiying candidate # 1545816142.072 * * * * [misc]progress: [ 9 / 30 ] simplifiying candidate # 1545816142.072 * [enter]simplify: Simplifying (cbrt (pow x 2)) 1545816142.073 * * [misc]simplify: iters left: 2 (4 enodes) 1545816142.073 * * [misc]simplify: iters left: 1 (5 enodes) 1545816142.074 * [exit]simplify: Simplified to (cbrt (* x x)) 1545816142.074 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (cbrt (* x x))) 1))) 1545816142.074 * * * * [misc]progress: [ 10 / 30 ] simplifiying candidate # 1545816142.074 * [enter]simplify: Simplifying (sqrt (pow x 2)) 1545816142.074 * * [misc]simplify: iters left: 2 (4 enodes) 1545816142.075 * * [misc]simplify: iters left: 1 (5 enodes) 1545816142.075 * [exit]simplify: Simplified to (fabs x) 1545816142.076 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (sqrt (pow x 2))) (fabs x)) 1))) 1545816142.076 * * * * [misc]progress: [ 11 / 30 ] simplifiying candidate # 1545816142.076 * [enter]simplify: Simplifying (pow x 2) 1545816142.076 * * [misc]simplify: iters left: 1 (3 enodes) 1545816142.076 * [exit]simplify: Simplified to (* x x) 1545816142.076 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 1) (* x x)) 1))) 1545816142.076 * * * * [misc]progress: [ 12 / 30 ] simplifiying candidate # 1545816142.076 * * * * [misc]progress: [ 13 / 30 ] simplifiying candidate # 1545816142.076 * [enter]simplify: Simplifying (* (exp (* 1/2 x)) (exp (+ (* 1/6 (pow x 2)) 1))) 1545816142.077 * * [misc]simplify: iters left: 6 (12 enodes) 1545816142.079 * * [misc]simplify: iters left: 5 (26 enodes) 1545816142.084 * * [misc]simplify: iters left: 4 (46 enodes) 1545816142.094 * * [misc]simplify: iters left: 3 (64 enodes) 1545816142.102 * * [misc]simplify: iters left: 2 (68 enodes) 1545816142.111 * [exit]simplify: Simplified to (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6))) 1545816142.111 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6))))) 1545816142.111 * * * * [misc]progress: [ 14 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 15 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 16 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 17 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 18 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 19 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 20 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 21 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 22 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 23 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 24 / 30 ] simplifiying candidate # 1545816142.111 * * * * [misc]progress: [ 25 / 30 ] simplifiying candidate # 1545816142.111 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.111 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.112 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.113 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.115 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.115 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1545816142.115 * * * * [misc]progress: [ 26 / 30 ] simplifiying candidate # 1545816142.115 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.115 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.116 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.117 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.119 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.119 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1545816142.119 * * * * [misc]progress: [ 27 / 30 ] simplifiying candidate # 1545816142.119 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.119 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.120 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.122 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.126 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.126 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1545816142.126 * * * * [misc]progress: [ 28 / 30 ] simplifiying candidate # 1545816142.126 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.126 * * [misc]simplify: iters left: 6 (10 enodes) 1545816142.130 * * [misc]simplify: iters left: 5 (19 enodes) 1545816142.135 * * [misc]simplify: iters left: 4 (29 enodes) 1545816142.139 * * [misc]simplify: iters left: 3 (40 enodes) 1545816142.144 * * [misc]simplify: iters left: 2 (41 enodes) 1545816142.149 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1545816142.149 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1545816142.149 * * * * [misc]progress: [ 29 / 30 ] simplifiying candidate # 1545816142.149 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.149 * * [misc]simplify: iters left: 6 (10 enodes) 1545816142.151 * * [misc]simplify: iters left: 5 (19 enodes) 1545816142.153 * * [misc]simplify: iters left: 4 (29 enodes) 1545816142.158 * * [misc]simplify: iters left: 3 (40 enodes) 1545816142.163 * * [misc]simplify: iters left: 2 (41 enodes) 1545816142.167 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1545816142.167 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1545816142.167 * * * * [misc]progress: [ 30 / 30 ] simplifiying candidate # 1545816142.167 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816142.167 * * [misc]simplify: iters left: 6 (10 enodes) 1545816142.169 * * [misc]simplify: iters left: 5 (19 enodes) 1545816142.172 * * [misc]simplify: iters left: 4 (29 enodes) 1545816142.176 * * [misc]simplify: iters left: 3 (40 enodes) 1545816142.182 * * [misc]simplify: iters left: 2 (41 enodes) 1545816142.187 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1545816142.187 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1545816142.187 * * * [misc]progress: adding candidates to table 1545816142.537 * * [misc]progress: iteration 3 / 4 1545816142.537 * * * [misc]progress: picking best candidate 1545816142.554 * * * * [misc]pick: Picked # 1545816142.554 * * * [misc]progress: localizing error 1545816142.565 * * * [misc]progress: generating rewritten candidates 1545816142.565 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2) 1545816142.567 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545816142.573 * * * [misc]progress: generating series expansions 1545816142.573 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2) 1545816142.573 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1545816142.573 * [misc]approximate: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0 1545816142.573 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.573 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.573 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.573 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.573 * [misc]taylor: Taking taylor expansion of x in x 1545816142.573 * [misc]backup-simplify: Simplify 0 into 0 1545816142.573 * [misc]backup-simplify: Simplify 1 into 1 1545816142.573 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.573 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.573 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.573 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.573 * [misc]taylor: Taking taylor expansion of x in x 1545816142.574 * [misc]backup-simplify: Simplify 0 into 0 1545816142.574 * [misc]backup-simplify: Simplify 1 into 1 1545816142.574 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.574 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.574 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.575 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.575 * [misc]backup-simplify: Simplify 0 into 0 1545816142.575 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.575 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.575 * [misc]backup-simplify: Simplify 0 into 0 1545816142.576 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.576 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.576 * [misc]backup-simplify: Simplify 0 into 0 1545816142.576 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.577 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.577 * [misc]backup-simplify: Simplify 0 into 0 1545816142.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.578 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.578 * [misc]backup-simplify: Simplify 0 into 0 1545816142.579 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.579 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.579 * [misc]backup-simplify: Simplify 0 into 0 1545816142.579 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1545816142.579 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 x) 2)) into (/ 1/6 (pow x 2)) 1545816142.579 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1545816142.580 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.580 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.580 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.580 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.580 * [misc]taylor: Taking taylor expansion of x in x 1545816142.580 * [misc]backup-simplify: Simplify 0 into 0 1545816142.580 * [misc]backup-simplify: Simplify 1 into 1 1545816142.580 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.580 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.580 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.580 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.580 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.580 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.580 * [misc]taylor: Taking taylor expansion of x in x 1545816142.580 * [misc]backup-simplify: Simplify 0 into 0 1545816142.580 * [misc]backup-simplify: Simplify 1 into 1 1545816142.580 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.581 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.581 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.581 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.581 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1545816142.581 * [misc]backup-simplify: Simplify 0 into 0 1545816142.581 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.582 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.582 * [misc]backup-simplify: Simplify 0 into 0 1545816142.582 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.583 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.583 * [misc]backup-simplify: Simplify 0 into 0 1545816142.583 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.583 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.584 * [misc]backup-simplify: Simplify 0 into 0 1545816142.584 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.584 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.585 * [misc]backup-simplify: Simplify 0 into 0 1545816142.585 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.586 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.586 * [misc]backup-simplify: Simplify 0 into 0 1545816142.586 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2)) 1545816142.586 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (- x)) 2)) into (/ 1/6 (pow x 2)) 1545816142.586 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1545816142.586 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.586 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.586 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.586 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.586 * [misc]taylor: Taking taylor expansion of x in x 1545816142.586 * [misc]backup-simplify: Simplify 0 into 0 1545816142.586 * [misc]backup-simplify: Simplify 1 into 1 1545816142.586 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.587 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.587 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1545816142.587 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.587 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.587 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.587 * [misc]taylor: Taking taylor expansion of x in x 1545816142.587 * [misc]backup-simplify: Simplify 0 into 0 1545816142.587 * [misc]backup-simplify: Simplify 1 into 1 1545816142.587 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.587 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1545816142.587 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.587 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.588 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1545816142.588 * [misc]backup-simplify: Simplify 0 into 0 1545816142.588 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.588 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.588 * [misc]backup-simplify: Simplify 0 into 0 1545816142.589 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.589 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.589 * [misc]backup-simplify: Simplify 0 into 0 1545816142.590 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.590 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.590 * [misc]backup-simplify: Simplify 0 into 0 1545816142.591 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.591 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.591 * [misc]backup-simplify: Simplify 0 into 0 1545816142.592 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.592 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.592 * [misc]backup-simplify: Simplify 0 into 0 1545816142.592 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2)) 1545816142.592 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545816142.593 * [misc]backup-simplify: Simplify (+ (* 1/2 x) (* 1/6 (pow x 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.593 * [misc]approximate: Taking taylor expansion of (+ (* 1/2 x) (* 1/6 (pow x 2))) in (x) around 0 1545816142.593 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (* 1/6 (pow x 2))) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.593 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.593 * [misc]taylor: Taking taylor expansion of x in x 1545816142.593 * [misc]backup-simplify: Simplify 0 into 0 1545816142.593 * [misc]backup-simplify: Simplify 1 into 1 1545816142.593 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.593 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.593 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of x in x 1545816142.593 * [misc]backup-simplify: Simplify 0 into 0 1545816142.593 * [misc]backup-simplify: Simplify 1 into 1 1545816142.593 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (* 1/6 (pow x 2))) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.593 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.593 * [misc]taylor: Taking taylor expansion of x in x 1545816142.593 * [misc]backup-simplify: Simplify 0 into 0 1545816142.593 * [misc]backup-simplify: Simplify 1 into 1 1545816142.593 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1545816142.593 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.593 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.594 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.594 * [misc]taylor: Taking taylor expansion of x in x 1545816142.594 * [misc]backup-simplify: Simplify 0 into 0 1545816142.594 * [misc]backup-simplify: Simplify 1 into 1 1545816142.594 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545816142.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.594 * [misc]backup-simplify: Simplify 0 into 0 1545816142.595 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1545816142.595 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816142.595 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.595 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1545816142.595 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.595 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.596 * [misc]backup-simplify: Simplify (+ 0 1/6) into 1/6 1545816142.596 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.596 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545816142.596 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.596 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.597 * [misc]backup-simplify: Simplify 0 into 0 1545816142.597 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545816142.597 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.598 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.598 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.598 * [misc]backup-simplify: Simplify 0 into 0 1545816142.598 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545816142.599 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.599 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.599 * [misc]backup-simplify: Simplify 0 into 0 1545816142.600 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1545816142.600 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.600 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.601 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.601 * [misc]backup-simplify: Simplify 0 into 0 1545816142.601 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1545816142.602 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.602 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.602 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.602 * [misc]backup-simplify: Simplify 0 into 0 1545816142.603 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1545816142.604 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.604 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.604 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.604 * [misc]backup-simplify: Simplify 0 into 0 1545816142.605 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (* 1/2 x)) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.605 * [misc]backup-simplify: Simplify (+ (* 1/2 (/ 1 x)) (* 1/6 (pow (/ 1 x) 2))) into (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) 1545816142.605 * [misc]approximate: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in (x) around 0 1545816142.605 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 1545816142.605 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.605 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.605 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.605 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.605 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.605 * [misc]taylor: Taking taylor expansion of x in x 1545816142.605 * [misc]backup-simplify: Simplify 0 into 0 1545816142.605 * [misc]backup-simplify: Simplify 1 into 1 1545816142.605 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.605 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.605 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.606 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.606 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of x in x 1545816142.606 * [misc]backup-simplify: Simplify 0 into 0 1545816142.606 * [misc]backup-simplify: Simplify 1 into 1 1545816142.606 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.606 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.606 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.606 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.606 * [misc]taylor: Taking taylor expansion of x in x 1545816142.606 * [misc]backup-simplify: Simplify 0 into 0 1545816142.606 * [misc]backup-simplify: Simplify 1 into 1 1545816142.606 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.607 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.607 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.607 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.607 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.607 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.607 * [misc]taylor: Taking taylor expansion of x in x 1545816142.607 * [misc]backup-simplify: Simplify 0 into 0 1545816142.607 * [misc]backup-simplify: Simplify 1 into 1 1545816142.607 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.607 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.607 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.607 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.608 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.608 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.608 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.608 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1545816142.608 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1545816142.608 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.609 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.609 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.610 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.610 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1545816142.610 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.610 * [misc]backup-simplify: Simplify 0 into 0 1545816142.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.611 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.611 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.611 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.612 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.612 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.612 * [misc]backup-simplify: Simplify 0 into 0 1545816142.612 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.613 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.616 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.616 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.616 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.617 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.617 * [misc]backup-simplify: Simplify 0 into 0 1545816142.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.618 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.618 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.618 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.619 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.619 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.619 * [misc]backup-simplify: Simplify 0 into 0 1545816142.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.620 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.621 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.621 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.621 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.622 * [misc]backup-simplify: Simplify 0 into 0 1545816142.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545816142.623 * [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 1545816142.623 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545816142.624 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.624 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.625 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.625 * [misc]backup-simplify: Simplify 0 into 0 1545816142.625 * [misc]backup-simplify: Simplify (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.625 * [misc]backup-simplify: Simplify (+ (* 1/2 (/ 1 (- x))) (* 1/6 (pow (/ 1 (- x)) 2))) into (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) 1545816142.625 * [misc]approximate: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in (x) around 0 1545816142.625 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 1545816142.625 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.625 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.625 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.625 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.625 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of x in x 1545816142.626 * [misc]backup-simplify: Simplify 0 into 0 1545816142.626 * [misc]backup-simplify: Simplify 1 into 1 1545816142.626 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.626 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.626 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.626 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.626 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of x in x 1545816142.626 * [misc]backup-simplify: Simplify 0 into 0 1545816142.626 * [misc]backup-simplify: Simplify 1 into 1 1545816142.626 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.626 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of 1/6 in x 1545816142.626 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.626 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816142.626 * [misc]taylor: Taking taylor expansion of x in x 1545816142.626 * [misc]backup-simplify: Simplify 0 into 0 1545816142.626 * [misc]backup-simplify: Simplify 1 into 1 1545816142.627 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816142.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.627 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1545816142.627 * [misc]taylor: Taking taylor expansion of 1/2 in x 1545816142.627 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816142.627 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816142.627 * [misc]taylor: Taking taylor expansion of x in x 1545816142.627 * [misc]backup-simplify: Simplify 0 into 0 1545816142.627 * [misc]backup-simplify: Simplify 1 into 1 1545816142.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816142.628 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1545816142.628 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816142.628 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816142.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816142.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.629 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1545816142.629 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1545816142.629 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1545816142.629 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1545816142.629 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545816142.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.630 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.630 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.630 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816142.630 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1545816142.631 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.631 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.631 * [misc]backup-simplify: Simplify 0 into 0 1545816142.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.632 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.632 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1545816142.633 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.633 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.633 * [misc]backup-simplify: Simplify 0 into 0 1545816142.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.634 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.634 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.634 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.635 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816142.635 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.635 * [misc]backup-simplify: Simplify 0 into 0 1545816142.636 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.637 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.637 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.637 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816142.638 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.638 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.638 * [misc]backup-simplify: Simplify 0 into 0 1545816142.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.639 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.639 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.640 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.640 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816142.640 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.641 * [misc]backup-simplify: Simplify 0 into 0 1545816142.641 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545816142.642 * [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 1545816142.643 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545816142.643 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816142.644 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816142.644 * [misc]backup-simplify: Simplify (- 0) into 0 1545816142.644 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816142.644 * [misc]backup-simplify: Simplify 0 into 0 1545816142.644 * [misc]backup-simplify: Simplify (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.644 * * * [misc]progress: simplifying candidates 1545816142.645 * * * * [misc]progress: [ 1 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 2 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 3 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 4 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 5 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 6 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 7 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 8 / 29 ] simplifiying candidate # 1545816142.645 * * * * [misc]progress: [ 9 / 29 ] simplifiying candidate # 1545816142.645 * [enter]simplify: Simplifying (cbrt (pow x 2)) 1545816142.645 * * [misc]simplify: iters left: 2 (4 enodes) 1545816142.647 * * [misc]simplify: iters left: 1 (5 enodes) 1545816142.648 * [exit]simplify: Simplified to (cbrt (* x x)) 1545816142.648 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (+ (+ (* 1/2 x) (* (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (cbrt (* x x)))) 1)) 1545816142.648 * * * * [misc]progress: [ 10 / 29 ] simplifiying candidate # 1545816142.648 * [enter]simplify: Simplifying (sqrt (pow x 2)) 1545816142.648 * * [misc]simplify: iters left: 2 (4 enodes) 1545816142.650 * * [misc]simplify: iters left: 1 (5 enodes) 1545816142.651 * [exit]simplify: Simplified to (fabs x) 1545816142.651 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (+ (+ (* 1/2 x) (* (* 1/6 (sqrt (pow x 2))) (fabs x))) 1)) 1545816142.651 * * * * [misc]progress: [ 11 / 29 ] simplifiying candidate # 1545816142.651 * [enter]simplify: Simplifying (pow x 2) 1545816142.651 * * [misc]simplify: iters left: 1 (3 enodes) 1545816142.652 * [exit]simplify: Simplified to (* x x) 1545816142.652 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (+ (+ (* 1/2 x) (* (* 1/6 1) (* x x))) 1)) 1545816142.652 * * * * [misc]progress: [ 12 / 29 ] simplifiying candidate # 1545816142.653 * * * * [misc]progress: [ 13 / 29 ] simplifiying candidate # 1545816142.653 * [enter]simplify: Simplifying (* (exp (* 1/2 x)) (exp (* 1/6 (pow x 2)))) 1545816142.653 * * [misc]simplify: iters left: 6 (10 enodes) 1545816142.658 * * [misc]simplify: iters left: 5 (20 enodes) 1545816142.664 * * [misc]simplify: iters left: 4 (26 enodes) 1545816142.668 * * [misc]simplify: iters left: 3 (34 enodes) 1545816142.673 * * [misc]simplify: iters left: 2 (38 enodes) 1545816142.678 * [exit]simplify: Simplified to (pow (exp x) (+ (* x 1/6) 1/2)) 1545816142.678 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (log (pow (exp x) (+ (* x 1/6) 1/2))) 1)) 1545816142.678 * * * * [misc]progress: [ 14 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 15 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 16 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 17 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 18 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 19 / 29 ] simplifiying candidate # 1545816142.678 * * * * [misc]progress: [ 20 / 29 ] simplifiying candidate # 1545816142.679 * * * * [misc]progress: [ 21 / 29 ] simplifiying candidate # 1545816142.679 * * * * [misc]progress: [ 22 / 29 ] simplifiying candidate # 1545816142.679 * * * * [misc]progress: [ 23 / 29 ] simplifiying candidate # 1545816142.679 * * * * [misc]progress: [ 24 / 29 ] simplifiying candidate # 1545816142.679 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.679 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.680 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.681 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.682 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.682 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (+ (* 1/2 x) (* (* x x) 1/6)) 1)) 1545816142.682 * * * * [misc]progress: [ 25 / 29 ] simplifiying candidate # 1545816142.682 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.682 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.683 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.684 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.686 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.686 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (+ (* 1/2 x) (* (* x x) 1/6)) 1)) 1545816142.686 * * * * [misc]progress: [ 26 / 29 ] simplifiying candidate # 1545816142.686 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1545816142.686 * * [misc]simplify: iters left: 3 (5 enodes) 1545816142.687 * * [misc]simplify: iters left: 2 (7 enodes) 1545816142.688 * * [misc]simplify: iters left: 1 (11 enodes) 1545816142.690 * [exit]simplify: Simplified to (* (* x x) 1/6) 1545816142.690 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (+ (* 1/2 x) (* (* x x) 1/6)) 1)) 1545816142.690 * * * * [misc]progress: [ 27 / 29 ] simplifiying candidate # 1545816142.690 * [enter]simplify: Simplifying (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.690 * * [misc]simplify: iters left: 5 (8 enodes) 1545816142.691 * * [misc]simplify: iters left: 4 (12 enodes) 1545816142.693 * * [misc]simplify: iters left: 3 (16 enodes) 1545816142.695 * * [misc]simplify: iters left: 2 (26 enodes) 1545816142.699 * * [misc]simplify: iters left: 1 (27 enodes) 1545816142.704 * [exit]simplify: Simplified to (* x (+ (* 1/6 x) 1/2)) 1545816142.704 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* x (+ (* 1/6 x) 1/2)) 1)) 1545816142.704 * * * * [misc]progress: [ 28 / 29 ] simplifiying candidate # 1545816142.704 * [enter]simplify: Simplifying (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.704 * * [misc]simplify: iters left: 5 (8 enodes) 1545816142.707 * * [misc]simplify: iters left: 4 (12 enodes) 1545816142.710 * * [misc]simplify: iters left: 3 (16 enodes) 1545816142.715 * * [misc]simplify: iters left: 2 (26 enodes) 1545816142.722 * * [misc]simplify: iters left: 1 (27 enodes) 1545816142.728 * [exit]simplify: Simplified to (* x (+ (* 1/6 x) 1/2)) 1545816142.728 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* x (+ (* 1/6 x) 1/2)) 1)) 1545816142.728 * * * * [misc]progress: [ 29 / 29 ] simplifiying candidate # 1545816142.728 * [enter]simplify: Simplifying (+ (* 1/2 x) (* 1/6 (pow x 2))) 1545816142.728 * * [misc]simplify: iters left: 5 (8 enodes) 1545816142.731 * * [misc]simplify: iters left: 4 (12 enodes) 1545816142.736 * * [misc]simplify: iters left: 3 (16 enodes) 1545816142.739 * * [misc]simplify: iters left: 2 (26 enodes) 1545816142.742 * * [misc]simplify: iters left: 1 (27 enodes) 1545816142.745 * [exit]simplify: Simplified to (* x (+ (* 1/6 x) 1/2)) 1545816142.746 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* x (+ (* 1/6 x) 1/2)) 1)) 1545816142.746 * * * [misc]progress: adding candidates to table 1545816143.094 * * [misc]progress: iteration 4 / 4 1545816143.095 * * * [misc]progress: picking best candidate 1545816143.100 * * * * [misc]pick: Picked # 1545816143.100 * * * [misc]progress: localizing error 1545816143.106 * * * [misc]progress: generating rewritten candidates 1545816143.106 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2 2) 1545816143.109 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1545816143.110 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2) 1545816143.112 * * * [misc]progress: generating series expansions 1545816143.112 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2 2) 1545816143.112 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1545816143.112 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1545816143.112 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.112 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.112 * [misc]taylor: Taking taylor expansion of x in x 1545816143.112 * [misc]backup-simplify: Simplify 0 into 0 1545816143.112 * [misc]backup-simplify: Simplify 1 into 1 1545816143.112 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.112 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.112 * [misc]backup-simplify: Simplify 1 into 1 1545816143.112 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.112 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.112 * [misc]taylor: Taking taylor expansion of x in x 1545816143.112 * [misc]backup-simplify: Simplify 0 into 0 1545816143.112 * [misc]backup-simplify: Simplify 1 into 1 1545816143.112 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.112 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.112 * [misc]backup-simplify: Simplify 1 into 1 1545816143.112 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.113 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816143.113 * [misc]backup-simplify: Simplify 0 into 0 1545816143.114 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816143.114 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.114 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816143.114 * [misc]backup-simplify: Simplify 1 into 1 1545816143.115 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545816143.115 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.116 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816143.116 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816143.118 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1545816143.118 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.118 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816143.118 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816143.118 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1545816143.118 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816143.119 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1545816143.119 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of x in x 1545816143.119 * [misc]backup-simplify: Simplify 0 into 0 1545816143.119 * [misc]backup-simplify: Simplify 1 into 1 1545816143.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.119 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.119 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.119 * [misc]backup-simplify: Simplify 1 into 1 1545816143.119 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.119 * [misc]taylor: Taking taylor expansion of x in x 1545816143.119 * [misc]backup-simplify: Simplify 0 into 0 1545816143.119 * [misc]backup-simplify: Simplify 1 into 1 1545816143.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.119 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.119 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.119 * [misc]backup-simplify: Simplify 1 into 1 1545816143.119 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.119 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816143.119 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816143.120 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify 0 into 0 1545816143.120 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify 0 into 0 1545816143.120 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.120 * [misc]backup-simplify: Simplify 0 into 0 1545816143.121 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify 0 into 0 1545816143.121 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify 0 into 0 1545816143.121 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.121 * [misc]backup-simplify: Simplify 0 into 0 1545816143.122 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1545816143.122 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1545816143.122 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1545816143.122 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.122 * [misc]backup-simplify: Simplify -1 into -1 1545816143.122 * [misc]taylor: Taking taylor expansion of x in x 1545816143.122 * [misc]backup-simplify: Simplify 0 into 0 1545816143.122 * [misc]backup-simplify: Simplify 1 into 1 1545816143.122 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.122 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.122 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.122 * [misc]backup-simplify: Simplify 1 into 1 1545816143.122 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.122 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.122 * [misc]backup-simplify: Simplify -1 into -1 1545816143.122 * [misc]taylor: Taking taylor expansion of x in x 1545816143.122 * [misc]backup-simplify: Simplify 0 into 0 1545816143.122 * [misc]backup-simplify: Simplify 1 into 1 1545816143.123 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.123 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.123 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.123 * [misc]backup-simplify: Simplify 1 into 1 1545816143.123 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.123 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816143.123 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1545816143.123 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.123 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.123 * [misc]backup-simplify: Simplify 0 into 0 1545816143.124 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify 0 into 0 1545816143.124 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify 0 into 0 1545816143.124 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.124 * [misc]backup-simplify: Simplify 0 into 0 1545816143.125 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.125 * [misc]backup-simplify: Simplify 0 into 0 1545816143.125 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.125 * [misc]backup-simplify: Simplify 0 into 0 1545816143.125 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1545816143.125 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1545816143.125 * [misc]backup-simplify: Simplify (/ 1 (/ x (- (exp x) 1))) into (/ (- (exp x) 1) x) 1545816143.125 * [misc]approximate: Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0 1545816143.125 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1545816143.125 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.126 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.126 * [misc]taylor: Taking taylor expansion of x in x 1545816143.126 * [misc]backup-simplify: Simplify 0 into 0 1545816143.126 * [misc]backup-simplify: Simplify 1 into 1 1545816143.126 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.126 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.126 * [misc]backup-simplify: Simplify 1 into 1 1545816143.126 * [misc]taylor: Taking taylor expansion of x in x 1545816143.126 * [misc]backup-simplify: Simplify 0 into 0 1545816143.126 * [misc]backup-simplify: Simplify 1 into 1 1545816143.126 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.126 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816143.128 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816143.128 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.128 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816143.128 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.128 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1545816143.128 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.128 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.128 * [misc]taylor: Taking taylor expansion of x in x 1545816143.128 * [misc]backup-simplify: Simplify 0 into 0 1545816143.128 * [misc]backup-simplify: Simplify 1 into 1 1545816143.128 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.128 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.128 * [misc]backup-simplify: Simplify 1 into 1 1545816143.128 * [misc]taylor: Taking taylor expansion of x in x 1545816143.128 * [misc]backup-simplify: Simplify 0 into 0 1545816143.128 * [misc]backup-simplify: Simplify 1 into 1 1545816143.128 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.129 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816143.130 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816143.130 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.131 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816143.131 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.131 * [misc]backup-simplify: Simplify 1 into 1 1545816143.133 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545816143.133 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.133 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816143.133 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1545816143.133 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545816143.137 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1545816143.138 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.138 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816143.138 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1545816143.138 * [misc]backup-simplify: Simplify 1/6 into 1/6 1545816143.138 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816143.139 * [misc]backup-simplify: Simplify (/ 1 (/ (/ 1 x) (- (exp (/ 1 x)) 1))) into (* x (- (exp (/ 1 x)) 1)) 1545816143.139 * [misc]approximate: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0 1545816143.139 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of x in x 1545816143.139 * [misc]backup-simplify: Simplify 0 into 0 1545816143.139 * [misc]backup-simplify: Simplify 1 into 1 1545816143.139 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of x in x 1545816143.139 * [misc]backup-simplify: Simplify 0 into 0 1545816143.139 * [misc]backup-simplify: Simplify 1 into 1 1545816143.139 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.139 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.139 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.139 * [misc]backup-simplify: Simplify 1 into 1 1545816143.139 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of x in x 1545816143.139 * [misc]backup-simplify: Simplify 0 into 0 1545816143.139 * [misc]backup-simplify: Simplify 1 into 1 1545816143.139 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.139 * [misc]taylor: Taking taylor expansion of x in x 1545816143.140 * [misc]backup-simplify: Simplify 0 into 0 1545816143.140 * [misc]backup-simplify: Simplify 1 into 1 1545816143.140 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.140 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.140 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.140 * [misc]backup-simplify: Simplify 1 into 1 1545816143.140 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.140 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816143.140 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1545816143.140 * [misc]backup-simplify: Simplify 0 into 0 1545816143.140 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.141 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.141 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1545816143.141 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1545816143.141 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.141 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.142 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0 1545816143.142 * [misc]backup-simplify: Simplify 0 into 0 1545816143.142 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.142 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.143 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.143 * [misc]backup-simplify: Simplify 0 into 0 1545816143.143 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.143 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.144 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0 1545816143.144 * [misc]backup-simplify: Simplify 0 into 0 1545816143.144 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.144 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.145 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0 1545816143.145 * [misc]backup-simplify: Simplify 0 into 0 1545816143.145 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.145 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.146 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0 1545816143.146 * [misc]backup-simplify: Simplify 0 into 0 1545816143.146 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.147 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.148 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))))) into 0 1545816143.148 * [misc]backup-simplify: Simplify 0 into 0 1545816143.148 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1545816143.148 * [misc]backup-simplify: Simplify (/ 1 (/ (/ 1 (- x)) (- (exp (/ 1 (- x))) 1))) into (* -1 (* (- (exp (/ -1 x)) 1) x)) 1545816143.148 * [misc]approximate: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0 1545816143.148 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816143.148 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.148 * [misc]backup-simplify: Simplify -1 into -1 1545816143.148 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816143.148 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.148 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.148 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.148 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.148 * [misc]backup-simplify: Simplify -1 into -1 1545816143.148 * [misc]taylor: Taking taylor expansion of x in x 1545816143.148 * [misc]backup-simplify: Simplify 0 into 0 1545816143.148 * [misc]backup-simplify: Simplify 1 into 1 1545816143.149 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.149 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.149 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.149 * [misc]backup-simplify: Simplify 1 into 1 1545816143.149 * [misc]taylor: Taking taylor expansion of x in x 1545816143.149 * [misc]backup-simplify: Simplify 0 into 0 1545816143.149 * [misc]backup-simplify: Simplify 1 into 1 1545816143.149 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816143.149 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.149 * [misc]backup-simplify: Simplify -1 into -1 1545816143.149 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816143.149 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.149 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.149 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.149 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.149 * [misc]backup-simplify: Simplify -1 into -1 1545816143.149 * [misc]taylor: Taking taylor expansion of x in x 1545816143.149 * [misc]backup-simplify: Simplify 0 into 0 1545816143.149 * [misc]backup-simplify: Simplify 1 into 1 1545816143.149 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.149 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.149 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.150 * [misc]backup-simplify: Simplify 1 into 1 1545816143.150 * [misc]taylor: Taking taylor expansion of x in x 1545816143.150 * [misc]backup-simplify: Simplify 0 into 0 1545816143.150 * [misc]backup-simplify: Simplify 1 into 1 1545816143.150 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.150 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816143.150 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1545816143.150 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545816143.150 * [misc]backup-simplify: Simplify 0 into 0 1545816143.150 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.151 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.151 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1545816143.151 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1545816143.151 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1545816143.151 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.152 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1545816143.152 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1545816143.152 * [misc]backup-simplify: Simplify 0 into 0 1545816143.153 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.153 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.153 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545816143.154 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1545816143.154 * [misc]backup-simplify: Simplify 0 into 0 1545816143.154 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.154 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.155 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545816143.155 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1545816143.155 * [misc]backup-simplify: Simplify 0 into 0 1545816143.156 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.156 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.156 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545816143.157 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1545816143.157 * [misc]backup-simplify: Simplify 0 into 0 1545816143.157 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.158 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.158 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1545816143.159 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1545816143.159 * [misc]backup-simplify: Simplify 0 into 0 1545816143.160 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.160 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.160 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1545816143.162 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1545816143.162 * [misc]backup-simplify: Simplify 0 into 0 1545816143.162 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1545816143.162 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2) 1545816143.162 * [misc]backup-simplify: Simplify (/ x (- (exp x) 1)) into (/ x (- (exp x) 1)) 1545816143.162 * [misc]approximate: Taking taylor expansion of (/ x (- (exp x) 1)) in (x) around 0 1545816143.162 * [misc]taylor: Taking taylor expansion of (/ x (- (exp x) 1)) in x 1545816143.162 * [misc]taylor: Taking taylor expansion of x in x 1545816143.162 * [misc]backup-simplify: Simplify 0 into 0 1545816143.162 * [misc]backup-simplify: Simplify 1 into 1 1545816143.162 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.162 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.162 * [misc]taylor: Taking taylor expansion of x in x 1545816143.162 * [misc]backup-simplify: Simplify 0 into 0 1545816143.162 * [misc]backup-simplify: Simplify 1 into 1 1545816143.162 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.162 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.162 * [misc]backup-simplify: Simplify 1 into 1 1545816143.162 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.163 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816143.164 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816143.164 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.164 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816143.165 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.165 * [misc]taylor: Taking taylor expansion of (/ x (- (exp x) 1)) in x 1545816143.165 * [misc]taylor: Taking taylor expansion of x in x 1545816143.165 * [misc]backup-simplify: Simplify 0 into 0 1545816143.165 * [misc]backup-simplify: Simplify 1 into 1 1545816143.165 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1545816143.165 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545816143.165 * [misc]taylor: Taking taylor expansion of x in x 1545816143.165 * [misc]backup-simplify: Simplify 0 into 0 1545816143.165 * [misc]backup-simplify: Simplify 1 into 1 1545816143.165 * [misc]backup-simplify: Simplify (exp 0) into 1 1545816143.165 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.165 * [misc]backup-simplify: Simplify 1 into 1 1545816143.165 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.165 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545816143.167 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545816143.167 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.167 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545816143.167 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.167 * [misc]backup-simplify: Simplify 1 into 1 1545816143.169 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545816143.169 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.169 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545816143.169 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1/2 1)))) into -1/2 1545816143.169 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545816143.171 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1545816143.172 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.172 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1545816143.172 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1/6 1)) (* -1/2 (/ 1/2 1)))) into 1/12 1545816143.172 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545816143.172 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow x 2)) (+ (* -1/2 x) 1)) into (- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x)) 1545816143.172 * [misc]backup-simplify: Simplify (/ (/ 1 x) (- (exp (/ 1 x)) 1)) into (/ 1 (* x (- (exp (/ 1 x)) 1))) 1545816143.172 * [misc]approximate: Taking taylor expansion of (/ 1 (* x (- (exp (/ 1 x)) 1))) in (x) around 0 1545816143.172 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (- (exp (/ 1 x)) 1))) in x 1545816143.172 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816143.172 * [misc]taylor: Taking taylor expansion of x in x 1545816143.172 * [misc]backup-simplify: Simplify 0 into 0 1545816143.172 * [misc]backup-simplify: Simplify 1 into 1 1545816143.172 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.172 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.172 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.172 * [misc]taylor: Taking taylor expansion of x in x 1545816143.172 * [misc]backup-simplify: Simplify 0 into 0 1545816143.172 * [misc]backup-simplify: Simplify 1 into 1 1545816143.173 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.173 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.173 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.173 * [misc]backup-simplify: Simplify 1 into 1 1545816143.173 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.173 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816143.173 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1545816143.173 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.173 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.173 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1545816143.173 * [misc]backup-simplify: Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1)) 1545816143.173 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (- (exp (/ 1 x)) 1))) in x 1545816143.174 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1545816143.174 * [misc]taylor: Taking taylor expansion of x in x 1545816143.174 * [misc]backup-simplify: Simplify 0 into 0 1545816143.174 * [misc]backup-simplify: Simplify 1 into 1 1545816143.174 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1545816143.174 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545816143.174 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545816143.174 * [misc]taylor: Taking taylor expansion of x in x 1545816143.174 * [misc]backup-simplify: Simplify 0 into 0 1545816143.174 * [misc]backup-simplify: Simplify 1 into 1 1545816143.174 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816143.174 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545816143.174 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.174 * [misc]backup-simplify: Simplify 1 into 1 1545816143.174 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.174 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1545816143.174 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1545816143.174 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.174 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1545816143.175 * [misc]backup-simplify: Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1)) 1545816143.175 * [misc]backup-simplify: Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1)) 1545816143.175 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.175 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.175 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0 1545816143.175 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.175 * [misc]backup-simplify: Simplify 0 into 0 1545816143.175 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.175 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.176 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.176 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.176 * [misc]backup-simplify: Simplify 0 into 0 1545816143.176 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.176 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.177 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0 1545816143.177 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.177 * [misc]backup-simplify: Simplify 0 into 0 1545816143.177 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.177 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.178 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0 1545816143.178 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.178 * [misc]backup-simplify: Simplify 0 into 0 1545816143.178 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.178 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.179 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0 1545816143.179 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.179 * [misc]backup-simplify: Simplify 0 into 0 1545816143.179 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.179 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.180 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))))) into 0 1545816143.180 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1545816143.180 * [misc]backup-simplify: Simplify 0 into 0 1545816143.180 * [misc]backup-simplify: Simplify (* (/ 1 (- (exp (/ 1 (/ 1 x))) 1)) (/ 1 (/ 1 x))) into (/ x (- (exp x) 1)) 1545816143.181 * [misc]backup-simplify: Simplify (/ (/ 1 (- x)) (- (exp (/ 1 (- x))) 1)) into (/ -1 (* (- (exp (/ -1 x)) 1) x)) 1545816143.181 * [misc]approximate: Taking taylor expansion of (/ -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0 1545816143.181 * [misc]taylor: Taking taylor expansion of (/ -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816143.181 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.181 * [misc]backup-simplify: Simplify -1 into -1 1545816143.181 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816143.181 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.181 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.181 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.181 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.181 * [misc]backup-simplify: Simplify -1 into -1 1545816143.181 * [misc]taylor: Taking taylor expansion of x in x 1545816143.181 * [misc]backup-simplify: Simplify 0 into 0 1545816143.181 * [misc]backup-simplify: Simplify 1 into 1 1545816143.181 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.181 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.181 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.181 * [misc]backup-simplify: Simplify 1 into 1 1545816143.181 * [misc]taylor: Taking taylor expansion of x in x 1545816143.181 * [misc]backup-simplify: Simplify 0 into 0 1545816143.181 * [misc]backup-simplify: Simplify 1 into 1 1545816143.181 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.181 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816143.181 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1545816143.181 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.182 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1545816143.182 * [misc]backup-simplify: Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1)) 1545816143.182 * [misc]taylor: Taking taylor expansion of (/ -1 (* (- (exp (/ -1 x)) 1) x)) in x 1545816143.182 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.182 * [misc]backup-simplify: Simplify -1 into -1 1545816143.182 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1545816143.182 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1545816143.182 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545816143.182 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545816143.182 * [misc]taylor: Taking taylor expansion of -1 in x 1545816143.182 * [misc]backup-simplify: Simplify -1 into -1 1545816143.182 * [misc]taylor: Taking taylor expansion of x in x 1545816143.182 * [misc]backup-simplify: Simplify 0 into 0 1545816143.182 * [misc]backup-simplify: Simplify 1 into 1 1545816143.182 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816143.182 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545816143.182 * [misc]taylor: Taking taylor expansion of 1 in x 1545816143.182 * [misc]backup-simplify: Simplify 1 into 1 1545816143.182 * [misc]taylor: Taking taylor expansion of x in x 1545816143.182 * [misc]backup-simplify: Simplify 0 into 0 1545816143.182 * [misc]backup-simplify: Simplify 1 into 1 1545816143.182 * [misc]backup-simplify: Simplify (- 1) into -1 1545816143.182 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1545816143.182 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1545816143.182 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.183 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.185 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1545816143.185 * [misc]backup-simplify: Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1)) 1545816143.185 * [misc]backup-simplify: Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1)) 1545816143.185 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.185 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.185 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1545816143.186 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.186 * [misc]backup-simplify: Simplify 0 into 0 1545816143.186 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.186 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.186 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545816143.186 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.186 * [misc]backup-simplify: Simplify 0 into 0 1545816143.186 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.186 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.187 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545816143.187 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.187 * [misc]backup-simplify: Simplify 0 into 0 1545816143.187 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.187 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.187 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545816143.188 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.188 * [misc]backup-simplify: Simplify 0 into 0 1545816143.188 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.188 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.188 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1545816143.189 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.189 * [misc]backup-simplify: Simplify 0 into 0 1545816143.189 * [misc]backup-simplify: Simplify (- 0) into 0 1545816143.189 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545816143.190 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1545816143.190 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1545816143.190 * [misc]backup-simplify: Simplify 0 into 0 1545816143.190 * [misc]backup-simplify: Simplify (* (/ -1 (- (exp (/ -1 (/ 1 (- x)))) 1)) (/ 1 (/ 1 (- x)))) into (/ x (- (exp x) 1)) 1545816143.190 * * * [misc]progress: simplifying candidates 1545816143.190 * * * * [misc]progress: [ 1 / 57 ] simplifiying candidate # 1545816143.190 * * * * [misc]progress: [ 2 / 57 ] simplifiying candidate # 1545816143.190 * * * * [misc]progress: [ 3 / 57 ] simplifiying candidate # 1545816143.190 * * * * [misc]progress: [ 4 / 57 ] simplifiying candidate # 1545816143.190 * * * * [misc]progress: [ 5 / 57 ] simplifiying candidate # 1545816143.190 * * * * [misc]progress: [ 6 / 57 ] simplifiying candidate # 1545816143.191 * * * * [misc]progress: [ 7 / 57 ] simplifiying candidate # 1545816143.191 * * * * [misc]progress: [ 8 / 57 ] simplifiying candidate # 1545816143.191 * * * * [misc]progress: [ 9 / 57 ] simplifiying candidate # 1545816143.191 * * * * [misc]progress: [ 10 / 57 ] simplifiying candidate # 1545816143.191 * * * * [misc]progress: [ 11 / 57 ] simplifiying candidate # 1545816143.191 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1545816143.191 * * [misc]simplify: iters left: 4 (5 enodes) 1545816143.192 * * [misc]simplify: iters left: 3 (8 enodes) 1545816143.193 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1545816143.193 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (/ 1 (/ x (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))))) 1545816143.193 * * * * [misc]progress: [ 12 / 57 ] simplifiying candidate # 1545816143.193 * * * * [misc]progress: [ 13 / 57 ] simplifiying candidate # 1545816143.193 * * * * [misc]progress: [ 14 / 57 ] simplifiying candidate # 1545816143.193 * [enter]simplify: Simplifying (- 1) 1545816143.193 * * [misc]simplify: iters left: 2 (2 enodes) 1545816143.194 * * [misc]simplify: iters left: 1 (5 enodes) 1545816143.194 * [exit]simplify: Simplified to -1 1545816143.194 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (/ x (- (exp x) 1)) -1)) 1545816143.194 * * * * [misc]progress: [ 15 / 57 ] simplifiying candidate # 1545816143.194 * * * * [misc]progress: [ 16 / 57 ] simplifiying candidate # 1545816143.194 * * * * [misc]progress: [ 17 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 18 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 19 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 20 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 21 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 22 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 23 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 24 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 25 / 57 ] simplifiying candidate # 1545816143.195 * * * * [misc]progress: [ 26 / 57 ] simplifiying candidate # 1545816143.195 * [enter]simplify: Simplifying (cbrt (/ x (- (exp x) 1))) 1545816143.195 * * [misc]simplify: iters left: 6 (6 enodes) 1545816143.196 * * [misc]simplify: iters left: 5 (11 enodes) 1545816143.198 * * [misc]simplify: iters left: 4 (12 enodes) 1545816143.199 * [exit]simplify: Simplified to (cbrt (/ x (- (exp x) 1))) 1545816143.199 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (* (cbrt (/ x (- (exp x) 1))) (cbrt (/ x (- (exp x) 1))))) (cbrt (/ x (- (exp x) 1))))) 1545816143.199 * * * * [misc]progress: [ 27 / 57 ] simplifiying candidate # 1545816143.199 * [enter]simplify: Simplifying (sqrt (/ x (- (exp x) 1))) 1545816143.199 * * [misc]simplify: iters left: 6 (6 enodes) 1545816143.201 * * [misc]simplify: iters left: 5 (11 enodes) 1545816143.202 * * [misc]simplify: iters left: 4 (12 enodes) 1545816143.203 * [exit]simplify: Simplified to (sqrt (/ x (- (exp x) 1))) 1545816143.204 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (sqrt (/ x (- (exp x) 1)))) (sqrt (/ x (- (exp x) 1))))) 1545816143.204 * * * * [misc]progress: [ 28 / 57 ] simplifiying candidate # 1545816143.204 * [enter]simplify: Simplifying (/ x (- (exp x) 1)) 1545816143.204 * * [misc]simplify: iters left: 5 (5 enodes) 1545816143.205 * * [misc]simplify: iters left: 4 (10 enodes) 1545816143.206 * * [misc]simplify: iters left: 3 (11 enodes) 1545816143.207 * [exit]simplify: Simplified to (/ x (- (exp x) 1)) 1545816143.208 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 1) (/ x (- (exp x) 1)))) 1545816143.208 * * * * [misc]progress: [ 29 / 57 ] simplifiying candidate # 1545816143.208 * [enter]simplify: Simplifying (/ 1 (- (exp x) 1)) 1545816143.208 * * [misc]simplify: iters left: 5 (5 enodes) 1545816143.209 * * [misc]simplify: iters left: 4 (10 enodes) 1545816143.210 * * [misc]simplify: iters left: 3 (11 enodes) 1545816143.212 * [exit]simplify: Simplified to (/ 1 (- (exp x) 1)) 1545816143.212 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 x) (/ 1 (- (exp x) 1)))) 1545816143.212 * * * * [misc]progress: [ 30 / 57 ] simplifiying candidate # 1545816143.212 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) 1545816143.212 * * [misc]simplify: iters left: 6 (8 enodes) 1545816143.213 * * [misc]simplify: iters left: 5 (17 enodes) 1545816143.216 * * [misc]simplify: iters left: 4 (24 enodes) 1545816143.219 * * [misc]simplify: iters left: 3 (29 enodes) 1545816143.224 * * [misc]simplify: iters left: 2 (36 enodes) 1545816143.229 * * [misc]simplify: iters left: 1 (39 enodes) 1545816143.237 * [exit]simplify: Simplified to (+ (exp (+ x x)) (+ 1 (exp x))) 1545816143.238 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (/ x (- (pow (exp x) 3) (pow 1 3)))) (+ (exp (+ x x)) (+ 1 (exp x))))) 1545816143.238 * * * * [misc]progress: [ 31 / 57 ] simplifiying candidate # 1545816143.238 * [enter]simplify: Simplifying (+ (exp x) 1) 1545816143.238 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.239 * * [misc]simplify: iters left: 2 (7 enodes) 1545816143.241 * [exit]simplify: Simplified to (+ (exp x) 1) 1545816143.241 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (/ x (- (* (exp x) (exp x)) (* 1 1)))) (+ (exp x) 1))) 1545816143.241 * * * * [misc]progress: [ 32 / 57 ] simplifiying candidate # 1545816143.241 * [enter]simplify: Simplifying (- (exp x) 1) 1545816143.242 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.244 * * [misc]simplify: iters left: 2 (9 enodes) 1545816143.246 * * [misc]simplify: iters left: 1 (10 enodes) 1545816143.248 * [exit]simplify: Simplified to (- (exp x) 1) 1545816143.248 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 x) (- (exp x) 1))) 1545816143.248 * * * * [misc]progress: [ 33 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 34 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 35 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 36 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 37 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 38 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 39 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 40 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 41 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 42 / 57 ] simplifiying candidate # 1545816143.248 * * * * [misc]progress: [ 43 / 57 ] simplifiying candidate # 1545816143.249 * [enter]simplify: Simplifying (cbrt (- (exp x) 1)) 1545816143.249 * * [misc]simplify: iters left: 4 (5 enodes) 1545816143.251 * * [misc]simplify: iters left: 3 (10 enodes) 1545816143.253 * * [misc]simplify: iters left: 2 (11 enodes) 1545816143.256 * [exit]simplify: Simplified to (cbrt (- (exp x) 1)) 1545816143.256 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1))))) 1545816143.256 * * * * [misc]progress: [ 44 / 57 ] simplifiying candidate # 1545816143.256 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1545816143.256 * * [misc]simplify: iters left: 4 (5 enodes) 1545816143.258 * * [misc]simplify: iters left: 3 (10 enodes) 1545816143.261 * * [misc]simplify: iters left: 2 (11 enodes) 1545816143.263 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1545816143.263 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1))))) 1545816143.263 * * * * [misc]progress: [ 45 / 57 ] simplifiying candidate # 1545816143.263 * [enter]simplify: Simplifying (- (exp x) 1) 1545816143.264 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.265 * * [misc]simplify: iters left: 2 (9 enodes) 1545816143.267 * * [misc]simplify: iters left: 1 (10 enodes) 1545816143.270 * [exit]simplify: Simplified to (- (exp x) 1) 1545816143.270 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x 1) (- (exp x) 1)))) 1545816143.270 * * * * [misc]progress: [ 46 / 57 ] simplifiying candidate # 1545816143.270 * [enter]simplify: Simplifying (- (sqrt (exp x)) 1) 1545816143.270 * * [misc]simplify: iters left: 4 (5 enodes) 1545816143.272 * * [misc]simplify: iters left: 3 (10 enodes) 1545816143.274 * * [misc]simplify: iters left: 2 (11 enodes) 1545816143.277 * [exit]simplify: Simplified to (+ -1 (sqrt (exp x))) 1545816143.277 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x (+ (sqrt (exp x)) 1)) (+ -1 (sqrt (exp x)))))) 1545816143.277 * * * * [misc]progress: [ 47 / 57 ] simplifiying candidate # 1545816143.277 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) 1545816143.277 * * [misc]simplify: iters left: 6 (8 enodes) 1545816143.281 * * [misc]simplify: iters left: 5 (17 enodes) 1545816143.285 * * [misc]simplify: iters left: 4 (24 enodes) 1545816143.293 * * [misc]simplify: iters left: 3 (29 enodes) 1545816143.302 * * [misc]simplify: iters left: 2 (36 enodes) 1545816143.313 * * [misc]simplify: iters left: 1 (39 enodes) 1545816143.324 * [exit]simplify: Simplified to (+ (exp (+ x x)) (+ 1 (exp x))) 1545816143.324 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (* (/ x (- (pow (exp x) 3) (pow 1 3))) (+ (exp (+ x x)) (+ 1 (exp x)))))) 1545816143.324 * * * * [misc]progress: [ 48 / 57 ] simplifiying candidate # 1545816143.324 * [enter]simplify: Simplifying (+ (exp x) 1) 1545816143.324 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.325 * * [misc]simplify: iters left: 2 (7 enodes) 1545816143.327 * [exit]simplify: Simplified to (+ (exp x) 1) 1545816143.327 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (* (/ x (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1)))) 1545816143.327 * * * * [misc]progress: [ 49 / 57 ] simplifiying candidate # 1545816143.327 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1545816143.327 * * [misc]simplify: iters left: 6 (11 enodes) 1545816143.330 * * [misc]simplify: iters left: 5 (20 enodes) 1545816143.337 * * [misc]simplify: iters left: 4 (41 enodes) 1545816143.352 * * [misc]simplify: iters left: 3 (68 enodes) 1545816143.371 * * [misc]simplify: iters left: 2 (84 enodes) 1545816143.394 * * [misc]simplify: iters left: 1 (100 enodes) 1545816143.430 * [exit]simplify: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1545816143.431 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ x (+ x (* (* x x) (+ (* x 1/6) 1/2)))))) 1545816143.431 * * * * [misc]progress: [ 50 / 57 ] simplifiying candidate # 1545816143.431 * [enter]simplify: Simplifying (- (exp x) 1) 1545816143.431 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.433 * * [misc]simplify: iters left: 2 (9 enodes) 1545816143.435 * * [misc]simplify: iters left: 1 (10 enodes) 1545816143.437 * [exit]simplify: Simplified to (- (exp x) 1) 1545816143.437 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ x (- (exp x) 1)))) 1545816143.437 * * * * [misc]progress: [ 51 / 57 ] simplifiying candidate # 1545816143.437 * [enter]simplify: Simplifying (- (exp x) 1) 1545816143.438 * * [misc]simplify: iters left: 3 (4 enodes) 1545816143.440 * * [misc]simplify: iters left: 2 (9 enodes) 1545816143.442 * * [misc]simplify: iters left: 1 (10 enodes) 1545816143.445 * [exit]simplify: Simplified to (- (exp x) 1) 1545816143.445 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ 1 (/ x (- (exp x) 1)))) 1545816143.445 * * * * [misc]progress: [ 52 / 57 ] simplifiying candidate # 1545816143.446 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1545816143.446 * * [misc]simplify: iters left: 6 (10 enodes) 1545816143.449 * * [misc]simplify: iters left: 5 (19 enodes) 1545816143.454 * * [misc]simplify: iters left: 4 (29 enodes) 1545816143.464 * * [misc]simplify: iters left: 3 (40 enodes) 1545816143.473 * * [misc]simplify: iters left: 2 (41 enodes) 1545816143.482 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1545816143.482 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1545816143.482 * * * * [misc]progress: [ 53 / 57 ] simplifiying candidate # 1545816143.482 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1545816143.482 * * [misc]simplify: iters left: 5 (5 enodes) 1545816143.485 * * [misc]simplify: iters left: 4 (13 enodes) 1545816143.488 * * [misc]simplify: iters left: 3 (16 enodes) 1545816143.492 * * [misc]simplify: iters left: 2 (18 enodes) 1545816143.496 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1545816143.496 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1545816143.496 * * * * [misc]progress: [ 54 / 57 ] simplifiying candidate # 1545816143.497 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1545816143.497 * * [misc]simplify: iters left: 6 (7 enodes) 1545816143.499 * * [misc]simplify: iters left: 5 (18 enodes) 1545816143.507 * * [misc]simplify: iters left: 4 (32 enodes) 1545816143.513 * * [misc]simplify: iters left: 3 (55 enodes) 1545816143.521 * * [misc]simplify: iters left: 2 (68 enodes) 1545816143.532 * * [misc]simplify: iters left: 1 (105 enodes) 1545816143.561 * [exit]simplify: Simplified to (/ (+ (exp x) -1) x) 1545816143.562 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1545816143.562 * * * * [misc]progress: [ 55 / 57 ] simplifiying candidate # 1545816143.562 * [enter]simplify: Simplifying (- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x)) 1545816143.562 * * [misc]simplify: iters left: 6 (10 enodes) 1545816143.566 * * [misc]simplify: iters left: 5 (20 enodes) 1545816143.573 * * [misc]simplify: iters left: 4 (39 enodes) 1545816143.584 * * [misc]simplify: iters left: 3 (50 enodes) 1545816143.597 * * [misc]simplify: iters left: 2 (59 enodes) 1545816143.604 * * [misc]simplify: iters left: 1 (75 enodes) 1545816143.615 * [exit]simplify: Simplified to (+ (* (* 1/12 x) x) (+ (* x -1/2) 1)) 1545816143.615 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ (* (* 1/12 x) x) (+ (* x -1/2) 1)))) 1545816143.615 * * * * [misc]progress: [ 56 / 57 ] simplifiying candidate # 1545816143.615 * [enter]simplify: Simplifying (/ x (- (exp x) 1)) 1545816143.615 * * [misc]simplify: iters left: 5 (5 enodes) 1545816143.617 * * [misc]simplify: iters left: 4 (10 enodes) 1545816143.618 * * [misc]simplify: iters left: 3 (11 enodes) 1545816143.619 * [exit]simplify: Simplified to (/ x (- (exp x) 1)) 1545816143.619 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (/ x (- (exp x) 1)))) 1545816143.619 * * * * [misc]progress: [ 57 / 57 ] simplifiying candidate # 1545816143.620 * [enter]simplify: Simplifying (/ x (- (exp x) 1)) 1545816143.620 * * [misc]simplify: iters left: 5 (5 enodes) 1545816143.621 * * [misc]simplify: iters left: 4 (10 enodes) 1545816143.622 * * [misc]simplify: iters left: 3 (11 enodes) 1545816143.623 * [exit]simplify: Simplified to (/ x (- (exp x) 1)) 1545816143.623 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (/ x (- (exp x) 1)))) 1545816143.623 * * * [misc]progress: adding candidates to table 1545816144.098 * [misc]progress: [Phase 3 of 3] Extracting. 1545816144.098 * * [misc]regime: Finding splitpoints for: (# # #) 1545816144.098 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1545816144.098 * * * * [misc]regimes: Trying to branch on x from (# # #) 1545816144.140 * * * [misc]regime: Found split indices: #