1546852538.574 * [misc]progress: [Phase 1 of 3] Setting up. 1546852538.574 * * * [misc]progress: [1/2] Preparing points 1546852538.574 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546852538.612 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852538.612 * * * * [misc]points: Sampling 72 additional inputs, on iter 1 have 184 / 256 1546852538.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852538.624 * * * * [misc]points: Sampling 27 additional inputs, on iter 2 have 229 / 256 1546852538.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852538.634 * * * * [misc]points: Sampling 6 additional inputs, on iter 3 have 250 / 256 1546852538.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852538.638 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 254 / 256 1546852538.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852538.641 * * * * [exit]points: Sampled 256 points with exact outputs 1546852538.641 * * * [misc]progress: [2/2] Setting up program. 1546852538.645 * [misc]progress: [Phase 2 of 3] Improving. 1546852538.645 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546852538.645 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1546852538.646 * * [misc]simplify: iters left: 5 (5 enodes) 1546852538.648 * * [misc]simplify: iters left: 4 (13 enodes) 1546852538.651 * * [misc]simplify: iters left: 3 (16 enodes) 1546852538.655 * * [misc]simplify: iters left: 2 (18 enodes) 1546852538.659 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1546852538.659 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1546852538.676 * * [misc]progress: iteration 1 / 4 1546852538.676 * * * [misc]progress: picking best candidate 1546852538.681 * * * * [misc]pick: Picked # 1546852538.681 * * * [misc]progress: localizing error 1546852538.698 * * * [misc]progress: generating rewritten candidates 1546852538.698 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1546852538.704 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1546852538.714 * * * [misc]progress: generating series expansions 1546852538.714 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1546852538.715 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1546852538.715 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1546852538.715 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852538.715 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852538.715 * [misc]taylor: Taking taylor expansion of x in x 1546852538.715 * [misc]backup-simplify: Simplify 0 into 0 1546852538.715 * [misc]backup-simplify: Simplify 1 into 1 1546852538.715 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852538.715 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.715 * [misc]backup-simplify: Simplify 1 into 1 1546852538.715 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852538.715 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852538.715 * [misc]taylor: Taking taylor expansion of x in x 1546852538.715 * [misc]backup-simplify: Simplify 0 into 0 1546852538.715 * [misc]backup-simplify: Simplify 1 into 1 1546852538.715 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852538.715 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.715 * [misc]backup-simplify: Simplify 1 into 1 1546852538.715 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.715 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852538.715 * [misc]backup-simplify: Simplify 0 into 0 1546852538.716 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852538.716 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852538.716 * [misc]backup-simplify: Simplify 1 into 1 1546852538.718 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852538.718 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.718 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852538.718 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852538.720 * [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 1546852538.720 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.720 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852538.720 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852538.721 * [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)))) 1546852538.721 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852538.721 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1546852538.721 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of x in x 1546852538.721 * [misc]backup-simplify: Simplify 0 into 0 1546852538.721 * [misc]backup-simplify: Simplify 1 into 1 1546852538.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.721 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852538.721 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.721 * [misc]backup-simplify: Simplify 1 into 1 1546852538.721 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852538.721 * [misc]taylor: Taking taylor expansion of x in x 1546852538.721 * [misc]backup-simplify: Simplify 0 into 0 1546852538.721 * [misc]backup-simplify: Simplify 1 into 1 1546852538.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.721 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852538.721 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.721 * [misc]backup-simplify: Simplify 1 into 1 1546852538.721 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.721 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852538.722 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852538.722 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify 0 into 0 1546852538.722 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify 0 into 0 1546852538.722 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify 0 into 0 1546852538.722 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.722 * [misc]backup-simplify: Simplify 0 into 0 1546852538.723 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.723 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.723 * [misc]backup-simplify: Simplify 0 into 0 1546852538.723 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.723 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.723 * [misc]backup-simplify: Simplify 0 into 0 1546852538.723 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1546852538.723 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1546852538.723 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1546852538.723 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.723 * [misc]backup-simplify: Simplify -1 into -1 1546852538.723 * [misc]taylor: Taking taylor expansion of x in x 1546852538.723 * [misc]backup-simplify: Simplify 0 into 0 1546852538.723 * [misc]backup-simplify: Simplify 1 into 1 1546852538.723 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852538.723 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852538.723 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.723 * [misc]backup-simplify: Simplify 1 into 1 1546852538.723 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852538.723 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.723 * [misc]backup-simplify: Simplify -1 into -1 1546852538.723 * [misc]taylor: Taking taylor expansion of x in x 1546852538.723 * [misc]backup-simplify: Simplify 0 into 0 1546852538.724 * [misc]backup-simplify: Simplify 1 into 1 1546852538.724 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852538.724 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852538.724 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.724 * [misc]backup-simplify: Simplify 1 into 1 1546852538.724 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.724 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1546852538.724 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1546852538.724 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.724 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.724 * [misc]backup-simplify: Simplify 0 into 0 1546852538.724 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.724 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.724 * [misc]backup-simplify: Simplify 0 into 0 1546852538.725 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify 0 into 0 1546852538.725 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify 0 into 0 1546852538.725 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify 0 into 0 1546852538.725 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.725 * [misc]backup-simplify: Simplify 0 into 0 1546852538.725 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1546852538.725 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1546852538.726 * [misc]backup-simplify: Simplify (/ (- (exp x) 1) x) into (/ (- (exp x) 1) x) 1546852538.726 * [misc]approximate: Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0 1546852538.726 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1546852538.726 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852538.726 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852538.726 * [misc]taylor: Taking taylor expansion of x in x 1546852538.726 * [misc]backup-simplify: Simplify 0 into 0 1546852538.726 * [misc]backup-simplify: Simplify 1 into 1 1546852538.726 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852538.726 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.726 * [misc]backup-simplify: Simplify 1 into 1 1546852538.726 * [misc]taylor: Taking taylor expansion of x in x 1546852538.726 * [misc]backup-simplify: Simplify 0 into 0 1546852538.726 * [misc]backup-simplify: Simplify 1 into 1 1546852538.726 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.726 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852538.727 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852538.727 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.727 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852538.727 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.727 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1546852538.727 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852538.727 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852538.727 * [misc]taylor: Taking taylor expansion of x in x 1546852538.727 * [misc]backup-simplify: Simplify 0 into 0 1546852538.727 * [misc]backup-simplify: Simplify 1 into 1 1546852538.727 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852538.727 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.727 * [misc]backup-simplify: Simplify 1 into 1 1546852538.727 * [misc]taylor: Taking taylor expansion of x in x 1546852538.727 * [misc]backup-simplify: Simplify 0 into 0 1546852538.727 * [misc]backup-simplify: Simplify 1 into 1 1546852538.728 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.728 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852538.729 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852538.729 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.729 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852538.729 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.729 * [misc]backup-simplify: Simplify 1 into 1 1546852538.730 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852538.730 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.731 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852538.731 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1546852538.731 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852538.733 * [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 1546852538.733 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.733 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852538.733 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1546852538.733 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852538.734 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852538.734 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) 1) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1)) 1546852538.734 * [misc]approximate: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0 1546852538.734 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of x in x 1546852538.734 * [misc]backup-simplify: Simplify 0 into 0 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.734 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of x in x 1546852538.734 * [misc]backup-simplify: Simplify 0 into 0 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.734 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852538.734 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.734 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of x in x 1546852538.734 * [misc]backup-simplify: Simplify 0 into 0 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.734 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852538.734 * [misc]taylor: Taking taylor expansion of x in x 1546852538.734 * [misc]backup-simplify: Simplify 0 into 0 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852538.734 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852538.734 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.734 * [misc]backup-simplify: Simplify 1 into 1 1546852538.735 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.735 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852538.735 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1546852538.735 * [misc]backup-simplify: Simplify 0 into 0 1546852538.735 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.735 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1546852538.735 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852538.735 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.736 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0 1546852538.736 * [misc]backup-simplify: Simplify 0 into 0 1546852538.736 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.736 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0 1546852538.736 * [misc]backup-simplify: Simplify 0 into 0 1546852538.736 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.737 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0 1546852538.737 * [misc]backup-simplify: Simplify 0 into 0 1546852538.737 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.737 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.737 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0 1546852538.737 * [misc]backup-simplify: Simplify 0 into 0 1546852538.738 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.738 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0 1546852538.738 * [misc]backup-simplify: Simplify 0 into 0 1546852538.738 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.739 * [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 1546852538.739 * [misc]backup-simplify: Simplify 0 into 0 1546852538.740 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1546852538.740 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 (- x))) 1) (/ 1 (- x))) into (* -1 (* (- (exp (/ -1 x)) 1) x)) 1546852538.740 * [misc]approximate: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0 1546852538.740 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1546852538.740 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.740 * [misc]backup-simplify: Simplify -1 into -1 1546852538.740 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1546852538.740 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852538.740 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852538.740 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852538.740 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.740 * [misc]backup-simplify: Simplify -1 into -1 1546852538.740 * [misc]taylor: Taking taylor expansion of x in x 1546852538.740 * [misc]backup-simplify: Simplify 0 into 0 1546852538.740 * [misc]backup-simplify: Simplify 1 into 1 1546852538.740 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852538.740 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852538.740 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.740 * [misc]backup-simplify: Simplify 1 into 1 1546852538.740 * [misc]taylor: Taking taylor expansion of x in x 1546852538.741 * [misc]backup-simplify: Simplify 0 into 0 1546852538.741 * [misc]backup-simplify: Simplify 1 into 1 1546852538.741 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1546852538.741 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.741 * [misc]backup-simplify: Simplify -1 into -1 1546852538.741 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1546852538.741 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852538.741 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852538.741 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852538.741 * [misc]taylor: Taking taylor expansion of -1 in x 1546852538.741 * [misc]backup-simplify: Simplify -1 into -1 1546852538.741 * [misc]taylor: Taking taylor expansion of x in x 1546852538.741 * [misc]backup-simplify: Simplify 0 into 0 1546852538.741 * [misc]backup-simplify: Simplify 1 into 1 1546852538.741 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852538.741 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852538.741 * [misc]taylor: Taking taylor expansion of 1 in x 1546852538.741 * [misc]backup-simplify: Simplify 1 into 1 1546852538.741 * [misc]taylor: Taking taylor expansion of x in x 1546852538.741 * [misc]backup-simplify: Simplify 0 into 0 1546852538.741 * [misc]backup-simplify: Simplify 1 into 1 1546852538.742 * [misc]backup-simplify: Simplify (- 1) into -1 1546852538.742 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1546852538.742 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1546852538.742 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852538.742 * [misc]backup-simplify: Simplify 0 into 0 1546852538.742 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.743 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1546852538.743 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1546852538.743 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1546852538.743 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.744 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1546852538.744 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1546852538.744 * [misc]backup-simplify: Simplify 0 into 0 1546852538.744 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.745 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.745 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852538.745 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1546852538.746 * [misc]backup-simplify: Simplify 0 into 0 1546852538.746 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.746 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1546852538.747 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1546852538.747 * [misc]backup-simplify: Simplify 0 into 0 1546852538.747 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.747 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.748 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1546852538.749 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1546852538.749 * [misc]backup-simplify: Simplify 0 into 0 1546852538.749 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.749 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.750 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1546852538.750 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1546852538.751 * [misc]backup-simplify: Simplify 0 into 0 1546852538.751 * [misc]backup-simplify: Simplify (- 0) into 0 1546852538.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852538.751 * [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 1546852538.752 * [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 1546852538.753 * [misc]backup-simplify: Simplify 0 into 0 1546852538.753 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1546852538.753 * * * [misc]progress: simplifying candidates 1546852538.753 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1546852538.753 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1546852538.754 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1546852538.754 * * [misc]simplify: iters left: 4 (5 enodes) 1546852538.755 * * [misc]simplify: iters left: 3 (8 enodes) 1546852538.757 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1546852538.757 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)) x)) 1546852538.757 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1546852538.757 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1546852538.758 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1546852538.758 * [enter]simplify: Simplifying (/ (exp x) x) 1546852538.758 * * [misc]simplify: iters left: 3 (3 enodes) 1546852538.759 * [exit]simplify: Simplified to (/ (exp x) x) 1546852538.759 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 1546852538.759 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1546852538.759 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1546852538.759 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1546852538.760 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1546852538.760 * [enter]simplify: Simplifying (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) 1546852538.760 * * [misc]simplify: iters left: 6 (6 enodes) 1546852538.762 * * [misc]simplify: iters left: 5 (11 enodes) 1546852538.765 * * [misc]simplify: iters left: 4 (12 enodes) 1546852538.768 * [exit]simplify: Simplified to (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) 1546852538.768 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (/ x (cbrt (- (exp x) 1))))) 1546852538.768 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1546852538.768 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1546852538.768 * * [misc]simplify: iters left: 4 (5 enodes) 1546852538.770 * * [misc]simplify: iters left: 3 (10 enodes) 1546852538.772 * * [misc]simplify: iters left: 2 (11 enodes) 1546852538.774 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1546852538.774 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (sqrt (- (exp x) 1))))) 1546852538.774 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1546852538.774 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1546852538.774 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1546852538.775 * * [misc]simplify: iters left: 4 (5 enodes) 1546852538.776 * * [misc]simplify: iters left: 3 (8 enodes) 1546852538.778 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1546852538.778 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ 1 (sqrt (exp x))) (/ x (- (sqrt (exp x)) 1)))) 1546852538.778 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1546852538.778 * [enter]simplify: Simplifying (- (pow (exp x) 3) (pow 1 3)) 1546852538.778 * * [misc]simplify: iters left: 4 (7 enodes) 1546852538.781 * * [misc]simplify: iters left: 3 (17 enodes) 1546852538.785 * * [misc]simplify: iters left: 2 (20 enodes) 1546852538.790 * * [misc]simplify: iters left: 1 (26 enodes) 1546852538.795 * [exit]simplify: Simplified to (- (pow (exp x) 3) 1) 1546852538.795 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (pow (exp x) 3) 1) (* x (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) 1546852538.796 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1546852538.796 * [enter]simplify: Simplifying (- (* (exp x) (exp x)) (* 1 1)) 1546852538.796 * * [misc]simplify: iters left: 5 (6 enodes) 1546852538.799 * * [misc]simplify: iters left: 4 (13 enodes) 1546852538.802 * * [misc]simplify: iters left: 3 (16 enodes) 1546852538.805 * * [misc]simplify: iters left: 2 (19 enodes) 1546852538.814 * * [misc]simplify: iters left: 1 (35 enodes) 1546852538.830 * [exit]simplify: Simplified to (+ -1 (* (exp x) (exp x))) 1546852538.830 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1)))) 1546852538.830 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1546852538.831 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1546852538.831 * * [misc]simplify: iters left: 6 (11 enodes) 1546852538.834 * * [misc]simplify: iters left: 5 (20 enodes) 1546852538.842 * * [misc]simplify: iters left: 4 (41 enodes) 1546852538.856 * * [misc]simplify: iters left: 3 (70 enodes) 1546852538.877 * * [misc]simplify: iters left: 2 (112 enodes) 1546852538.909 * * [misc]simplify: iters left: 1 (181 enodes) 1546852538.949 * [exit]simplify: Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x))) 1546852538.949 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ x (* (+ (* x 1/6) 1/2) (* x x))) x)) 1546852538.950 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1546852538.950 * [enter]simplify: Simplifying (- (exp x) 1) 1546852538.950 * * [misc]simplify: iters left: 3 (4 enodes) 1546852538.952 * * [misc]simplify: iters left: 2 (9 enodes) 1546852538.954 * * [misc]simplify: iters left: 1 (10 enodes) 1546852538.955 * [exit]simplify: Simplified to (- (exp x) 1) 1546852538.955 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852538.956 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1546852538.956 * [enter]simplify: Simplifying (- (exp x) 1) 1546852538.956 * * [misc]simplify: iters left: 3 (4 enodes) 1546852538.958 * * [misc]simplify: iters left: 2 (9 enodes) 1546852538.959 * * [misc]simplify: iters left: 1 (10 enodes) 1546852538.961 * [exit]simplify: Simplified to (- (exp x) 1) 1546852538.961 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852538.961 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1546852538.962 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852538.962 * * [misc]simplify: iters left: 6 (10 enodes) 1546852538.964 * * [misc]simplify: iters left: 5 (19 enodes) 1546852538.967 * * [misc]simplify: iters left: 4 (29 enodes) 1546852538.971 * * [misc]simplify: iters left: 3 (40 enodes) 1546852538.976 * * [misc]simplify: iters left: 2 (52 enodes) 1546852538.982 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852538.982 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852538.982 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1546852538.983 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1546852538.983 * * [misc]simplify: iters left: 5 (5 enodes) 1546852538.984 * * [misc]simplify: iters left: 4 (13 enodes) 1546852538.985 * * [misc]simplify: iters left: 3 (16 enodes) 1546852538.987 * * [misc]simplify: iters left: 2 (18 enodes) 1546852538.989 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1546852538.989 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1546852538.989 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1546852538.989 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1546852538.989 * * [misc]simplify: iters left: 6 (7 enodes) 1546852538.991 * * [misc]simplify: iters left: 5 (18 enodes) 1546852538.994 * * [misc]simplify: iters left: 4 (32 enodes) 1546852539.004 * * [misc]simplify: iters left: 3 (55 enodes) 1546852539.019 * * [misc]simplify: iters left: 2 (85 enodes) 1546852539.044 * * [misc]simplify: iters left: 1 (131 enodes) 1546852539.082 * [exit]simplify: Simplified to (/ (+ (exp x) -1) x) 1546852539.082 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1546852539.082 * * * [misc]progress: adding candidates to table 1546852539.425 * * [misc]progress: iteration 2 / 4 1546852539.425 * * * [misc]progress: picking best candidate 1546852539.442 * * * * [misc]pick: Picked # 1546852539.442 * * * [misc]progress: localizing error 1546852539.470 * * * [misc]progress: generating rewritten candidates 1546852539.471 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1) 1546852539.472 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1546852539.477 * * * [misc]progress: generating series expansions 1546852539.477 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1) 1546852539.477 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1546852539.477 * [misc]approximate: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0 1546852539.478 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1546852539.478 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.478 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.478 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.478 * [misc]taylor: Taking taylor expansion of x in x 1546852539.478 * [misc]backup-simplify: Simplify 0 into 0 1546852539.478 * [misc]backup-simplify: Simplify 1 into 1 1546852539.478 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1546852539.478 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.478 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.478 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.478 * [misc]taylor: Taking taylor expansion of x in x 1546852539.478 * [misc]backup-simplify: Simplify 0 into 0 1546852539.478 * [misc]backup-simplify: Simplify 1 into 1 1546852539.478 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.478 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1546852539.478 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.478 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852539.479 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1546852539.479 * [misc]backup-simplify: Simplify 0 into 0 1546852539.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.479 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.479 * [misc]backup-simplify: Simplify 0 into 0 1546852539.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852539.479 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852539.479 * [misc]backup-simplify: Simplify 0 into 0 1546852539.480 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852539.480 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852539.480 * [misc]backup-simplify: Simplify 0 into 0 1546852539.480 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852539.480 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852539.480 * [misc]backup-simplify: Simplify 0 into 0 1546852539.481 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852539.481 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852539.481 * [misc]backup-simplify: Simplify 0 into 0 1546852539.481 * [misc]backup-simplify: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1546852539.481 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 x) 2)) into (/ 1/6 (pow x 2)) 1546852539.481 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1546852539.481 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1546852539.481 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.481 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.481 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.481 * [misc]taylor: Taking taylor expansion of x in x 1546852539.481 * [misc]backup-simplify: Simplify 0 into 0 1546852539.481 * [misc]backup-simplify: Simplify 1 into 1 1546852539.481 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.481 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1546852539.481 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1546852539.482 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.482 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.482 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.482 * [misc]taylor: Taking taylor expansion of x in x 1546852539.482 * [misc]backup-simplify: Simplify 0 into 0 1546852539.482 * [misc]backup-simplify: Simplify 1 into 1 1546852539.482 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.482 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1546852539.482 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.482 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852539.482 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1546852539.482 * [misc]backup-simplify: Simplify 0 into 0 1546852539.482 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.483 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.483 * [misc]backup-simplify: Simplify 0 into 0 1546852539.483 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852539.483 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.483 * [misc]backup-simplify: Simplify 0 into 0 1546852539.483 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852539.483 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.484 * [misc]backup-simplify: Simplify 0 into 0 1546852539.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852539.484 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.484 * [misc]backup-simplify: Simplify 0 into 0 1546852539.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852539.485 * [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 1546852539.485 * [misc]backup-simplify: Simplify 0 into 0 1546852539.485 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2)) 1546852539.485 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (- x)) 2)) into (/ 1/6 (pow x 2)) 1546852539.485 * [misc]approximate: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1546852539.485 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1546852539.485 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.485 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.485 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.485 * [misc]taylor: Taking taylor expansion of x in x 1546852539.485 * [misc]backup-simplify: Simplify 0 into 0 1546852539.485 * [misc]backup-simplify: Simplify 1 into 1 1546852539.485 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.485 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1546852539.485 * [misc]taylor: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1546852539.485 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.485 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.485 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.485 * [misc]taylor: Taking taylor expansion of x in x 1546852539.485 * [misc]backup-simplify: Simplify 0 into 0 1546852539.485 * [misc]backup-simplify: Simplify 1 into 1 1546852539.485 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.486 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1546852539.486 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.486 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852539.486 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1546852539.486 * [misc]backup-simplify: Simplify 0 into 0 1546852539.486 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.486 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.486 * [misc]backup-simplify: Simplify 0 into 0 1546852539.487 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852539.487 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.487 * [misc]backup-simplify: Simplify 0 into 0 1546852539.487 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852539.487 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.487 * [misc]backup-simplify: Simplify 0 into 0 1546852539.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852539.488 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.488 * [misc]backup-simplify: Simplify 0 into 0 1546852539.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852539.488 * [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 1546852539.488 * [misc]backup-simplify: Simplify 0 into 0 1546852539.489 * [misc]backup-simplify: Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2)) 1546852539.489 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1546852539.489 * [misc]backup-simplify: Simplify (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.489 * [misc]approximate: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in (x) around 0 1546852539.489 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.489 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.489 * [misc]taylor: Taking taylor expansion of x in x 1546852539.489 * [misc]backup-simplify: Simplify 0 into 0 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.489 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.489 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of x in x 1546852539.489 * [misc]backup-simplify: Simplify 0 into 0 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of (* 1/2 x) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.489 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.489 * [misc]taylor: Taking taylor expansion of x in x 1546852539.489 * [misc]backup-simplify: Simplify 0 into 0 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.489 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.489 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.489 * [misc]taylor: Taking taylor expansion of x in x 1546852539.489 * [misc]backup-simplify: Simplify 0 into 0 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.489 * [misc]backup-simplify: Simplify 1 into 1 1546852539.489 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1546852539.490 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852539.490 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852539.490 * [misc]backup-simplify: Simplify 1 into 1 1546852539.490 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1546852539.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.490 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852539.490 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.490 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1546852539.490 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.490 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1546852539.491 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852539.491 * [misc]backup-simplify: Simplify (+ 0 1/6) into 1/6 1546852539.491 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.491 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.491 * [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)) 1546852539.491 * [misc]approximate: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in (x) around 0 1546852539.491 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.491 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.491 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of x in x 1546852539.491 * [misc]backup-simplify: Simplify 0 into 0 1546852539.491 * [misc]backup-simplify: Simplify 1 into 1 1546852539.491 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.491 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.491 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.491 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.491 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.491 * [misc]taylor: Taking taylor expansion of x in x 1546852539.491 * [misc]backup-simplify: Simplify 0 into 0 1546852539.492 * [misc]backup-simplify: Simplify 1 into 1 1546852539.492 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.492 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.492 * [misc]backup-simplify: Simplify 1 into 1 1546852539.492 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.492 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.492 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of x in x 1546852539.492 * [misc]backup-simplify: Simplify 0 into 0 1546852539.492 * [misc]backup-simplify: Simplify 1 into 1 1546852539.492 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.492 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.492 * [misc]taylor: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.492 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.492 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.492 * [misc]taylor: Taking taylor expansion of x in x 1546852539.492 * [misc]backup-simplify: Simplify 0 into 0 1546852539.492 * [misc]backup-simplify: Simplify 1 into 1 1546852539.492 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.492 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.492 * [misc]backup-simplify: Simplify 1 into 1 1546852539.492 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1546852539.493 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852539.493 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.493 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852539.493 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852539.493 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1546852539.493 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1546852539.493 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852539.493 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1546852539.493 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.494 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.494 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.494 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.494 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852539.494 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1546852539.494 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852539.494 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852539.494 * [misc]backup-simplify: Simplify 1 into 1 1546852539.495 * [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)) 1546852539.495 * [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))) 1546852539.495 * [misc]approximate: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in (x) around 0 1546852539.495 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.495 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.495 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of x in x 1546852539.495 * [misc]backup-simplify: Simplify 0 into 0 1546852539.495 * [misc]backup-simplify: Simplify 1 into 1 1546852539.495 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.495 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.495 * [misc]backup-simplify: Simplify 1 into 1 1546852539.495 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.495 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.495 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.495 * [misc]taylor: Taking taylor expansion of x in x 1546852539.495 * [misc]backup-simplify: Simplify 0 into 0 1546852539.495 * [misc]backup-simplify: Simplify 1 into 1 1546852539.496 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.496 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of 1/6 in x 1546852539.496 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.496 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of x in x 1546852539.496 * [misc]backup-simplify: Simplify 0 into 0 1546852539.496 * [misc]backup-simplify: Simplify 1 into 1 1546852539.496 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852539.496 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.496 * [misc]taylor: Taking taylor expansion of 1 in x 1546852539.496 * [misc]backup-simplify: Simplify 1 into 1 1546852539.496 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of 1/2 in x 1546852539.496 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.496 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.496 * [misc]taylor: Taking taylor expansion of x in x 1546852539.496 * [misc]backup-simplify: Simplify 0 into 0 1546852539.496 * [misc]backup-simplify: Simplify 1 into 1 1546852539.496 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.496 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1546852539.496 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852539.497 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852539.497 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.497 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852539.497 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852539.497 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1546852539.497 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.497 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1546852539.497 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1546852539.497 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1546852539.497 * [misc]backup-simplify: Simplify -1/2 into -1/2 1546852539.498 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.498 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.498 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1546852539.498 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852539.498 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852539.498 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1546852539.498 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.498 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852539.498 * [misc]backup-simplify: Simplify 1 into 1 1546852539.499 * [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)) 1546852539.499 * * * [misc]progress: simplifying candidates 1546852539.499 * * * * [misc]progress: [ 1 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 2 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 3 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 4 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 5 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 6 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 7 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 8 / 30 ] simplifiying candidate # 1546852539.499 * * * * [misc]progress: [ 9 / 30 ] simplifiying candidate # 1546852539.499 * [enter]simplify: Simplifying (cbrt (pow x 2)) 1546852539.499 * * [misc]simplify: iters left: 2 (4 enodes) 1546852539.501 * * [misc]simplify: iters left: 1 (5 enodes) 1546852539.502 * [exit]simplify: Simplified to (cbrt (* x x)) 1546852539.502 * [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))) 1546852539.502 * * * * [misc]progress: [ 10 / 30 ] simplifiying candidate # 1546852539.502 * [enter]simplify: Simplifying (sqrt (pow x 2)) 1546852539.502 * * [misc]simplify: iters left: 2 (4 enodes) 1546852539.504 * * [misc]simplify: iters left: 1 (5 enodes) 1546852539.505 * [exit]simplify: Simplified to (fabs x) 1546852539.505 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (sqrt (pow x 2))) (fabs x)) 1))) 1546852539.505 * * * * [misc]progress: [ 11 / 30 ] simplifiying candidate # 1546852539.506 * [enter]simplify: Simplifying (pow x 2) 1546852539.506 * * [misc]simplify: iters left: 1 (3 enodes) 1546852539.507 * [exit]simplify: Simplified to (* x x) 1546852539.507 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 1) (* x x)) 1))) 1546852539.507 * * * * [misc]progress: [ 12 / 30 ] simplifiying candidate # 1546852539.507 * * * * [misc]progress: [ 13 / 30 ] simplifiying candidate # 1546852539.507 * [enter]simplify: Simplifying (* (exp (* 1/2 x)) (exp (+ (* 1/6 (pow x 2)) 1))) 1546852539.507 * * [misc]simplify: iters left: 6 (12 enodes) 1546852539.512 * * [misc]simplify: iters left: 5 (26 enodes) 1546852539.521 * * [misc]simplify: iters left: 4 (46 enodes) 1546852539.535 * * [misc]simplify: iters left: 3 (65 enodes) 1546852539.551 * * [misc]simplify: iters left: 2 (79 enodes) 1546852539.569 * * [misc]simplify: iters left: 1 (84 enodes) 1546852539.589 * [exit]simplify: Simplified to (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6))) 1546852539.589 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6))))) 1546852539.589 * * * * [misc]progress: [ 14 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 15 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 16 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 17 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 18 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 19 / 30 ] simplifiying candidate # 1546852539.589 * * * * [misc]progress: [ 20 / 30 ] simplifiying candidate # 1546852539.590 * * * * [misc]progress: [ 21 / 30 ] simplifiying candidate # 1546852539.590 * * * * [misc]progress: [ 22 / 30 ] simplifiying candidate # 1546852539.590 * * * * [misc]progress: [ 23 / 30 ] simplifiying candidate # 1546852539.590 * * * * [misc]progress: [ 24 / 30 ] simplifiying candidate # 1546852539.590 * * * * [misc]progress: [ 25 / 30 ] simplifiying candidate # 1546852539.590 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1546852539.590 * * [misc]simplify: iters left: 3 (5 enodes) 1546852539.592 * * [misc]simplify: iters left: 2 (7 enodes) 1546852539.594 * * [misc]simplify: iters left: 1 (11 enodes) 1546852539.597 * [exit]simplify: Simplified to (* (* x x) 1/6) 1546852539.597 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1546852539.597 * * * * [misc]progress: [ 26 / 30 ] simplifiying candidate # 1546852539.597 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1546852539.597 * * [misc]simplify: iters left: 3 (5 enodes) 1546852539.599 * * [misc]simplify: iters left: 2 (7 enodes) 1546852539.601 * * [misc]simplify: iters left: 1 (11 enodes) 1546852539.604 * [exit]simplify: Simplified to (* (* x x) 1/6) 1546852539.604 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1546852539.604 * * * * [misc]progress: [ 27 / 30 ] simplifiying candidate # 1546852539.605 * [enter]simplify: Simplifying (* 1/6 (pow x 2)) 1546852539.605 * * [misc]simplify: iters left: 3 (5 enodes) 1546852539.606 * * [misc]simplify: iters left: 2 (7 enodes) 1546852539.608 * * [misc]simplify: iters left: 1 (11 enodes) 1546852539.611 * [exit]simplify: Simplified to (* (* x x) 1/6) 1546852539.612 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1))) 1546852539.612 * * * * [misc]progress: [ 28 / 30 ] simplifiying candidate # 1546852539.612 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.612 * * [misc]simplify: iters left: 6 (10 enodes) 1546852539.615 * * [misc]simplify: iters left: 5 (19 enodes) 1546852539.621 * * [misc]simplify: iters left: 4 (29 enodes) 1546852539.630 * * [misc]simplify: iters left: 3 (40 enodes) 1546852539.640 * * [misc]simplify: iters left: 2 (52 enodes) 1546852539.652 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852539.652 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852539.653 * * * * [misc]progress: [ 29 / 30 ] simplifiying candidate # 1546852539.653 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.653 * * [misc]simplify: iters left: 6 (10 enodes) 1546852539.656 * * [misc]simplify: iters left: 5 (19 enodes) 1546852539.661 * * [misc]simplify: iters left: 4 (29 enodes) 1546852539.670 * * [misc]simplify: iters left: 3 (40 enodes) 1546852539.678 * * [misc]simplify: iters left: 2 (52 enodes) 1546852539.684 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852539.684 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852539.684 * * * * [misc]progress: [ 30 / 30 ] simplifiying candidate # 1546852539.684 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.684 * * [misc]simplify: iters left: 6 (10 enodes) 1546852539.686 * * [misc]simplify: iters left: 5 (19 enodes) 1546852539.688 * * [misc]simplify: iters left: 4 (29 enodes) 1546852539.693 * * [misc]simplify: iters left: 3 (40 enodes) 1546852539.698 * * [misc]simplify: iters left: 2 (52 enodes) 1546852539.707 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852539.707 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852539.707 * * * [misc]progress: adding candidates to table 1546852539.905 * * [misc]progress: iteration 3 / 4 1546852539.905 * * * [misc]progress: picking best candidate 1546852539.912 * * * * [misc]pick: Picked # 1546852539.912 * * * [misc]progress: localizing error 1546852539.922 * * * [misc]progress: generating rewritten candidates 1546852539.922 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546852539.927 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1546852539.930 * * * [misc]progress: generating series expansions 1546852539.930 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546852539.930 * [misc]backup-simplify: Simplify (- (/ (exp x) x) (/ 1 x)) into (- (/ (exp x) x) (/ 1 x)) 1546852539.930 * [misc]approximate: Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in (x) around 0 1546852539.930 * [misc]taylor: Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in x 1546852539.930 * [misc]taylor: Taking taylor expansion of (/ (exp x) x) in x 1546852539.930 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852539.930 * [misc]taylor: Taking taylor expansion of x in x 1546852539.930 * [misc]backup-simplify: Simplify 0 into 0 1546852539.930 * [misc]backup-simplify: Simplify 1 into 1 1546852539.930 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852539.930 * [misc]taylor: Taking taylor expansion of x in x 1546852539.930 * [misc]backup-simplify: Simplify 0 into 0 1546852539.930 * [misc]backup-simplify: Simplify 1 into 1 1546852539.931 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.931 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.931 * [misc]taylor: Taking taylor expansion of x in x 1546852539.931 * [misc]backup-simplify: Simplify 0 into 0 1546852539.931 * [misc]backup-simplify: Simplify 1 into 1 1546852539.931 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.931 * [misc]taylor: Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in x 1546852539.931 * [misc]taylor: Taking taylor expansion of (/ (exp x) x) in x 1546852539.931 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852539.931 * [misc]taylor: Taking taylor expansion of x in x 1546852539.931 * [misc]backup-simplify: Simplify 0 into 0 1546852539.931 * [misc]backup-simplify: Simplify 1 into 1 1546852539.931 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852539.931 * [misc]taylor: Taking taylor expansion of x in x 1546852539.931 * [misc]backup-simplify: Simplify 0 into 0 1546852539.931 * [misc]backup-simplify: Simplify 1 into 1 1546852539.931 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.931 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.931 * [misc]taylor: Taking taylor expansion of x in x 1546852539.931 * [misc]backup-simplify: Simplify 0 into 0 1546852539.931 * [misc]backup-simplify: Simplify 1 into 1 1546852539.932 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.932 * [misc]backup-simplify: Simplify (- 1) into -1 1546852539.932 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852539.932 * [misc]backup-simplify: Simplify 0 into 0 1546852539.933 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852539.933 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1546852539.933 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852539.933 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.933 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852539.934 * [misc]backup-simplify: Simplify 1 into 1 1546852539.935 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852539.935 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2 1546852539.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.935 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.935 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852539.936 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.938 * [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 1546852539.938 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1546852539.938 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852539.938 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.938 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852539.938 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852539.939 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852539.939 * [misc]backup-simplify: Simplify (- (/ (exp (/ 1 x)) (/ 1 x)) (/ 1 (/ 1 x))) into (- (* (exp (/ 1 x)) x) x) 1546852539.939 * [misc]approximate: Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in (x) around 0 1546852539.939 * [misc]taylor: Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of x in x 1546852539.939 * [misc]backup-simplify: Simplify 0 into 0 1546852539.939 * [misc]backup-simplify: Simplify 1 into 1 1546852539.939 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.939 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852539.939 * [misc]taylor: Taking taylor expansion of x in x 1546852539.939 * [misc]backup-simplify: Simplify 0 into 0 1546852539.939 * [misc]backup-simplify: Simplify 1 into 1 1546852539.939 * [misc]taylor: Taking taylor expansion of x in x 1546852539.939 * [misc]backup-simplify: Simplify 0 into 0 1546852539.939 * [misc]backup-simplify: Simplify 1 into 1 1546852539.939 * [misc]taylor: Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.939 * [misc]taylor: Taking taylor expansion of x in x 1546852539.939 * [misc]backup-simplify: Simplify 0 into 0 1546852539.939 * [misc]backup-simplify: Simplify 1 into 1 1546852539.939 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.939 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852539.939 * [misc]taylor: Taking taylor expansion of x in x 1546852539.940 * [misc]backup-simplify: Simplify 0 into 0 1546852539.940 * [misc]backup-simplify: Simplify 1 into 1 1546852539.940 * [misc]taylor: Taking taylor expansion of x in x 1546852539.940 * [misc]backup-simplify: Simplify 0 into 0 1546852539.940 * [misc]backup-simplify: Simplify 1 into 1 1546852539.940 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) 0) into 0 1546852539.940 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.940 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.940 * [misc]backup-simplify: Simplify 0 into 0 1546852539.940 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 1) (* 0 0)) into (exp (/ 1 x)) 1546852539.941 * [misc]backup-simplify: Simplify (- 1) into -1 1546852539.941 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852539.941 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852539.941 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 1) (* 0 0))) into 0 1546852539.941 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.941 * [misc]backup-simplify: Simplify 0 into 0 1546852539.942 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852539.942 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.942 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.942 * [misc]backup-simplify: Simplify 0 into 0 1546852539.942 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1546852539.943 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.943 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.943 * [misc]backup-simplify: Simplify 0 into 0 1546852539.943 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1546852539.943 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.944 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.944 * [misc]backup-simplify: Simplify 0 into 0 1546852539.944 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1546852539.944 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.944 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.944 * [misc]backup-simplify: Simplify 0 into 0 1546852539.945 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1546852539.945 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.945 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.945 * [misc]backup-simplify: Simplify 0 into 0 1546852539.946 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1546852539.946 * [misc]backup-simplify: Simplify (- (/ (exp (/ 1 (- x))) (/ 1 (- x))) (/ 1 (/ 1 (- x)))) into (- x (* x (exp (/ -1 x)))) 1546852539.946 * [misc]approximate: Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in (x) around 0 1546852539.946 * [misc]taylor: Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in x 1546852539.946 * [misc]taylor: Taking taylor expansion of x in x 1546852539.946 * [misc]backup-simplify: Simplify 0 into 0 1546852539.946 * [misc]backup-simplify: Simplify 1 into 1 1546852539.946 * [misc]taylor: Taking taylor expansion of (* x (exp (/ -1 x))) in x 1546852539.946 * [misc]taylor: Taking taylor expansion of x in x 1546852539.946 * [misc]backup-simplify: Simplify 0 into 0 1546852539.946 * [misc]backup-simplify: Simplify 1 into 1 1546852539.946 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852539.946 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852539.946 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.946 * [misc]backup-simplify: Simplify -1 into -1 1546852539.946 * [misc]taylor: Taking taylor expansion of x in x 1546852539.946 * [misc]backup-simplify: Simplify 0 into 0 1546852539.946 * [misc]backup-simplify: Simplify 1 into 1 1546852539.947 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852539.947 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852539.947 * [misc]taylor: Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in x 1546852539.947 * [misc]taylor: Taking taylor expansion of x in x 1546852539.947 * [misc]backup-simplify: Simplify 0 into 0 1546852539.947 * [misc]backup-simplify: Simplify 1 into 1 1546852539.947 * [misc]taylor: Taking taylor expansion of (* x (exp (/ -1 x))) in x 1546852539.947 * [misc]taylor: Taking taylor expansion of x in x 1546852539.947 * [misc]backup-simplify: Simplify 0 into 0 1546852539.947 * [misc]backup-simplify: Simplify 1 into 1 1546852539.947 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852539.947 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852539.947 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.947 * [misc]backup-simplify: Simplify -1 into -1 1546852539.947 * [misc]taylor: Taking taylor expansion of x in x 1546852539.947 * [misc]backup-simplify: Simplify 0 into 0 1546852539.947 * [misc]backup-simplify: Simplify 1 into 1 1546852539.947 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852539.947 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852539.948 * [misc]backup-simplify: Simplify (* 0 (exp (/ -1 x))) into 0 1546852539.948 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.948 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.948 * [misc]backup-simplify: Simplify 0 into 0 1546852539.948 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x)) 1546852539.948 * [misc]backup-simplify: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 1546852539.948 * [misc]backup-simplify: Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1546852539.948 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1546852539.949 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0 1546852539.949 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.949 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.949 * [misc]backup-simplify: Simplify 0 into 0 1546852539.950 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 1546852539.950 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.950 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.950 * [misc]backup-simplify: Simplify 0 into 0 1546852539.951 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 1546852539.951 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.951 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.951 * [misc]backup-simplify: Simplify 0 into 0 1546852539.952 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 1546852539.952 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.952 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.952 * [misc]backup-simplify: Simplify 0 into 0 1546852539.953 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 1546852539.953 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.953 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.954 * [misc]backup-simplify: Simplify 0 into 0 1546852539.955 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0 1546852539.955 * [misc]backup-simplify: Simplify (- 0) into 0 1546852539.955 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852539.955 * [misc]backup-simplify: Simplify 0 into 0 1546852539.955 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1546852539.955 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1546852539.955 * [misc]backup-simplify: Simplify (/ (exp x) x) into (/ (exp x) x) 1546852539.955 * [misc]approximate: Taking taylor expansion of (/ (exp x) x) in (x) around 0 1546852539.955 * [misc]taylor: Taking taylor expansion of (/ (exp x) x) in x 1546852539.955 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852539.955 * [misc]taylor: Taking taylor expansion of x in x 1546852539.955 * [misc]backup-simplify: Simplify 0 into 0 1546852539.955 * [misc]backup-simplify: Simplify 1 into 1 1546852539.956 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852539.956 * [misc]taylor: Taking taylor expansion of x in x 1546852539.956 * [misc]backup-simplify: Simplify 0 into 0 1546852539.956 * [misc]backup-simplify: Simplify 1 into 1 1546852539.956 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.956 * [misc]taylor: Taking taylor expansion of (/ (exp x) x) in x 1546852539.956 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852539.956 * [misc]taylor: Taking taylor expansion of x in x 1546852539.956 * [misc]backup-simplify: Simplify 0 into 0 1546852539.956 * [misc]backup-simplify: Simplify 1 into 1 1546852539.956 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852539.956 * [misc]taylor: Taking taylor expansion of x in x 1546852539.956 * [misc]backup-simplify: Simplify 0 into 0 1546852539.956 * [misc]backup-simplify: Simplify 1 into 1 1546852539.956 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.956 * [misc]backup-simplify: Simplify 1 into 1 1546852539.958 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852539.958 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1546852539.958 * [misc]backup-simplify: Simplify 1 into 1 1546852539.960 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852539.961 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2 1546852539.961 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852539.961 * [misc]backup-simplify: Simplify (+ (* 1/2 x) (+ 1 (* 1 (/ 1 x)))) into (+ (* 1/2 x) (+ (/ 1 x) 1)) 1546852539.961 * [misc]backup-simplify: Simplify (/ (exp (/ 1 x)) (/ 1 x)) into (* (exp (/ 1 x)) x) 1546852539.961 * [misc]approximate: Taking taylor expansion of (* (exp (/ 1 x)) x) in (x) around 0 1546852539.961 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) x) in x 1546852539.961 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852539.961 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.961 * [misc]taylor: Taking taylor expansion of x in x 1546852539.961 * [misc]backup-simplify: Simplify 0 into 0 1546852539.961 * [misc]backup-simplify: Simplify 1 into 1 1546852539.962 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.962 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852539.962 * [misc]taylor: Taking taylor expansion of x in x 1546852539.962 * [misc]backup-simplify: Simplify 0 into 0 1546852539.962 * [misc]backup-simplify: Simplify 1 into 1 1546852539.962 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 x)) x) in x 1546852539.962 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852539.962 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852539.962 * [misc]taylor: Taking taylor expansion of x in x 1546852539.962 * [misc]backup-simplify: Simplify 0 into 0 1546852539.962 * [misc]backup-simplify: Simplify 1 into 1 1546852539.962 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852539.962 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852539.962 * [misc]taylor: Taking taylor expansion of x in x 1546852539.962 * [misc]backup-simplify: Simplify 0 into 0 1546852539.962 * [misc]backup-simplify: Simplify 1 into 1 1546852539.962 * [misc]backup-simplify: Simplify (* (exp (/ 1 x)) 0) into 0 1546852539.962 * [misc]backup-simplify: Simplify 0 into 0 1546852539.963 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 1) (* 0 0)) into (exp (/ 1 x)) 1546852539.963 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852539.963 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 1) (* 0 0))) into 0 1546852539.963 * [misc]backup-simplify: Simplify 0 into 0 1546852539.963 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852539.963 * [misc]backup-simplify: Simplify 0 into 0 1546852539.964 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1546852539.964 * [misc]backup-simplify: Simplify 0 into 0 1546852539.964 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1546852539.964 * [misc]backup-simplify: Simplify 0 into 0 1546852539.965 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1546852539.965 * [misc]backup-simplify: Simplify 0 into 0 1546852539.965 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1546852539.966 * [misc]backup-simplify: Simplify 0 into 0 1546852539.966 * [misc]backup-simplify: Simplify (* (exp (/ 1 (/ 1 x))) (/ 1 x)) into (/ (exp x) x) 1546852539.966 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (exp (/ -1 x)))) 1546852539.966 * [misc]approximate: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in (x) around 0 1546852539.966 * [misc]taylor: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x 1546852539.966 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.966 * [misc]backup-simplify: Simplify -1 into -1 1546852539.966 * [misc]taylor: Taking taylor expansion of (* x (exp (/ -1 x))) in x 1546852539.966 * [misc]taylor: Taking taylor expansion of x in x 1546852539.966 * [misc]backup-simplify: Simplify 0 into 0 1546852539.966 * [misc]backup-simplify: Simplify 1 into 1 1546852539.966 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852539.966 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852539.966 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.966 * [misc]backup-simplify: Simplify -1 into -1 1546852539.966 * [misc]taylor: Taking taylor expansion of x in x 1546852539.966 * [misc]backup-simplify: Simplify 0 into 0 1546852539.966 * [misc]backup-simplify: Simplify 1 into 1 1546852539.966 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852539.966 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852539.966 * [misc]taylor: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x 1546852539.967 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.967 * [misc]backup-simplify: Simplify -1 into -1 1546852539.967 * [misc]taylor: Taking taylor expansion of (* x (exp (/ -1 x))) in x 1546852539.967 * [misc]taylor: Taking taylor expansion of x in x 1546852539.967 * [misc]backup-simplify: Simplify 0 into 0 1546852539.967 * [misc]backup-simplify: Simplify 1 into 1 1546852539.967 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852539.967 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852539.967 * [misc]taylor: Taking taylor expansion of -1 in x 1546852539.967 * [misc]backup-simplify: Simplify -1 into -1 1546852539.967 * [misc]taylor: Taking taylor expansion of x in x 1546852539.967 * [misc]backup-simplify: Simplify 0 into 0 1546852539.967 * [misc]backup-simplify: Simplify 1 into 1 1546852539.967 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852539.967 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852539.967 * [misc]backup-simplify: Simplify (* 0 (exp (/ -1 x))) into 0 1546852539.967 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852539.967 * [misc]backup-simplify: Simplify 0 into 0 1546852539.968 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x)) 1546852539.968 * [misc]backup-simplify: Simplify (+ (* -1 (exp (/ -1 x))) (* 0 0)) into (- (exp (/ -1 x))) 1546852539.968 * [misc]backup-simplify: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 1546852539.968 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0 1546852539.969 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))) into 0 1546852539.969 * [misc]backup-simplify: Simplify 0 into 0 1546852539.969 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 1546852539.970 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))) into 0 1546852539.970 * [misc]backup-simplify: Simplify 0 into 0 1546852539.971 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 1546852539.971 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))) into 0 1546852539.971 * [misc]backup-simplify: Simplify 0 into 0 1546852539.972 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 1546852539.973 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))) into 0 1546852539.973 * [misc]backup-simplify: Simplify 0 into 0 1546852539.974 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 1546852539.974 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))))) into 0 1546852539.975 * [misc]backup-simplify: Simplify 0 into 0 1546852539.976 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0 1546852539.977 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))))) into 0 1546852539.977 * [misc]backup-simplify: Simplify 0 into 0 1546852539.977 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (/ (exp x) x) 1546852539.977 * * * [misc]progress: simplifying candidates 1546852539.977 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1546852539.977 * [enter]simplify: Simplifying (/ (exp (/ (exp x) x)) (exp (/ 1 x))) 1546852539.977 * * [misc]simplify: iters left: 6 (8 enodes) 1546852539.980 * * [misc]simplify: iters left: 5 (12 enodes) 1546852539.983 * * [misc]simplify: iters left: 4 (14 enodes) 1546852539.988 * * [misc]simplify: iters left: 3 (20 enodes) 1546852539.993 * * [misc]simplify: iters left: 2 (22 enodes) 1546852539.998 * * [misc]simplify: iters left: 1 (26 enodes) 1546852540.005 * [exit]simplify: Simplified to (exp (+ (/ -1 x) (/ (exp x) x))) 1546852540.005 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (/ -1 x) (/ (exp x) x))))) 1546852540.005 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1546852540.006 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1546852540.006 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.006 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.008 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.010 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.012 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.012 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852540.012 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1546852540.012 * [enter]simplify: Simplifying (- (* (exp x) x) (* x 1)) 1546852540.012 * * [misc]simplify: iters left: 5 (6 enodes) 1546852540.015 * * [misc]simplify: iters left: 4 (11 enodes) 1546852540.017 * * [misc]simplify: iters left: 3 (12 enodes) 1546852540.020 * [exit]simplify: Simplified to (- (* x (exp x)) x) 1546852540.020 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (* x (exp x)) x) (* x x))) 1546852540.021 * [enter]simplify: Simplifying (* x x) 1546852540.021 * * [misc]simplify: iters left: 2 (2 enodes) 1546852540.021 * [exit]simplify: Simplified to (* x x) 1546852540.021 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (* x (exp x)) x) (* x x))) 1546852540.021 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1546852540.022 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1546852540.022 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1546852540.022 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1546852540.022 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1546852540.022 * [enter]simplify: Simplifying (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) 1546852540.022 * * [misc]simplify: iters left: 6 (8 enodes) 1546852540.024 * * [misc]simplify: iters left: 5 (11 enodes) 1546852540.027 * [exit]simplify: Simplified to (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) 1546852540.027 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x))))) 1546852540.028 * [enter]simplify: Simplifying (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) 1546852540.028 * * [misc]simplify: iters left: 6 (8 enodes) 1546852540.030 * * [misc]simplify: iters left: 5 (12 enodes) 1546852540.034 * * [misc]simplify: iters left: 4 (13 enodes) 1546852540.037 * [exit]simplify: Simplified to (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) 1546852540.037 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x))))) 1546852540.037 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1546852540.037 * [enter]simplify: Simplifying (- (/ (exp x) x) (/ 1 x)) 1546852540.038 * * [misc]simplify: iters left: 5 (6 enodes) 1546852540.039 * * [misc]simplify: iters left: 4 (10 enodes) 1546852540.043 * * [misc]simplify: iters left: 3 (14 enodes) 1546852540.046 * [exit]simplify: Simplified to (+ (/ -1 x) (/ (exp x) x)) 1546852540.046 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ -1 x) (/ (exp x) x)))) 1546852540.046 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1546852540.047 * [enter]simplify: Simplifying (- (/ (exp x) x) (/ 1 x)) 1546852540.047 * * [misc]simplify: iters left: 5 (6 enodes) 1546852540.049 * * [misc]simplify: iters left: 4 (10 enodes) 1546852540.052 * * [misc]simplify: iters left: 3 (14 enodes) 1546852540.053 * [exit]simplify: Simplified to (+ (/ -1 x) (/ (exp x) x)) 1546852540.055 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ -1 x) (/ (exp x) x)))) 1546852540.055 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1546852540.055 * [enter]simplify: Simplifying (/ 1 x) 1546852540.055 * * [misc]simplify: iters left: 2 (3 enodes) 1546852540.056 * * [misc]simplify: iters left: 1 (5 enodes) 1546852540.056 * [exit]simplify: Simplified to (/ 1 x) 1546852540.056 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 x) (- (exp x) 1))) 1546852540.056 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.056 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.058 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.059 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.060 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.060 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 x) (- (exp x) 1))) 1546852540.060 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1546852540.060 * [enter]simplify: Simplifying (/ 1 x) 1546852540.060 * * [misc]simplify: iters left: 2 (3 enodes) 1546852540.060 * * [misc]simplify: iters left: 1 (5 enodes) 1546852540.061 * [exit]simplify: Simplified to (/ 1 x) 1546852540.061 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 x) (- (exp x) 1))) 1546852540.061 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.061 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.062 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.063 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.064 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.064 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 x) (- (exp x) 1))) 1546852540.064 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1546852540.064 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1546852540.064 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1546852540.064 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1546852540.064 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1546852540.065 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1546852540.065 * [enter]simplify: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1546852540.065 * * [misc]simplify: iters left: 4 (4 enodes) 1546852540.066 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1546852540.066 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ x (cbrt (exp x)))) (/ 1 x))) 1546852540.066 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1546852540.066 * [enter]simplify: Simplifying (sqrt (exp x)) 1546852540.066 * * [misc]simplify: iters left: 2 (3 enodes) 1546852540.066 * [exit]simplify: Simplified to (sqrt (exp x)) 1546852540.066 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (/ (sqrt (exp x)) (/ x (sqrt (exp x)))) (/ 1 x))) 1546852540.066 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1546852540.066 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1546852540.066 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852540.067 * * [misc]simplify: iters left: 6 (10 enodes) 1546852540.068 * * [misc]simplify: iters left: 5 (19 enodes) 1546852540.071 * * [misc]simplify: iters left: 4 (29 enodes) 1546852540.075 * * [misc]simplify: iters left: 3 (40 enodes) 1546852540.081 * * [misc]simplify: iters left: 2 (52 enodes) 1546852540.087 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852540.087 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852540.087 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1546852540.087 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1546852540.087 * * [misc]simplify: iters left: 5 (5 enodes) 1546852540.089 * * [misc]simplify: iters left: 4 (13 enodes) 1546852540.090 * * [misc]simplify: iters left: 3 (16 enodes) 1546852540.092 * * [misc]simplify: iters left: 2 (18 enodes) 1546852540.094 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1546852540.094 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1546852540.094 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1546852540.094 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1546852540.094 * * [misc]simplify: iters left: 6 (7 enodes) 1546852540.095 * * [misc]simplify: iters left: 5 (18 enodes) 1546852540.099 * * [misc]simplify: iters left: 4 (32 enodes) 1546852540.105 * * [misc]simplify: iters left: 3 (55 enodes) 1546852540.113 * * [misc]simplify: iters left: 2 (85 enodes) 1546852540.137 * * [misc]simplify: iters left: 1 (131 enodes) 1546852540.208 * [exit]simplify: Simplified to (/ (+ (exp x) -1) x) 1546852540.208 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1546852540.208 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1546852540.208 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (/ 1 x) 1)) 1546852540.208 * * [misc]simplify: iters left: 6 (7 enodes) 1546852540.211 * * [misc]simplify: iters left: 5 (14 enodes) 1546852540.215 * * [misc]simplify: iters left: 4 (20 enodes) 1546852540.220 * * [misc]simplify: iters left: 3 (22 enodes) 1546852540.226 * [exit]simplify: Simplified to (+ 1 (+ (* 1/2 x) (/ 1 x))) 1546852540.226 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ 1 (+ (* 1/2 x) (/ 1 x))) (/ 1 x))) 1546852540.226 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1546852540.226 * [enter]simplify: Simplifying (/ (exp x) x) 1546852540.227 * * [misc]simplify: iters left: 3 (3 enodes) 1546852540.228 * [exit]simplify: Simplified to (/ (exp x) x) 1546852540.228 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 1546852540.228 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1546852540.228 * [enter]simplify: Simplifying (/ (exp x) x) 1546852540.228 * * [misc]simplify: iters left: 3 (3 enodes) 1546852540.229 * [exit]simplify: Simplified to (/ (exp x) x) 1546852540.229 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 1546852540.229 * * * [misc]progress: adding candidates to table 1546852540.469 * * [misc]progress: iteration 4 / 4 1546852540.469 * * * [misc]progress: picking best candidate 1546852540.480 * * * * [misc]pick: Picked # 1546852540.480 * * * [misc]progress: localizing error 1546852540.488 * * * [misc]progress: generating rewritten candidates 1546852540.488 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1 1) 1546852540.492 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1546852540.498 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) 1546852540.530 * * * [misc]progress: generating series expansions 1546852540.530 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1 1) 1546852540.530 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1546852540.530 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1546852540.530 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.530 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.530 * [misc]taylor: Taking taylor expansion of x in x 1546852540.530 * [misc]backup-simplify: Simplify 0 into 0 1546852540.530 * [misc]backup-simplify: Simplify 1 into 1 1546852540.530 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.530 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.530 * [misc]backup-simplify: Simplify 1 into 1 1546852540.530 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.530 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.530 * [misc]taylor: Taking taylor expansion of x in x 1546852540.530 * [misc]backup-simplify: Simplify 0 into 0 1546852540.530 * [misc]backup-simplify: Simplify 1 into 1 1546852540.530 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.530 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.530 * [misc]backup-simplify: Simplify 1 into 1 1546852540.531 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.531 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852540.531 * [misc]backup-simplify: Simplify 0 into 0 1546852540.532 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852540.532 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.532 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852540.532 * [misc]backup-simplify: Simplify 1 into 1 1546852540.533 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852540.533 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.533 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852540.533 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852540.536 * [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 1546852540.536 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.536 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852540.536 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852540.536 * [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)))) 1546852540.536 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852540.536 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1546852540.536 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.536 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.536 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.536 * [misc]taylor: Taking taylor expansion of x in x 1546852540.536 * [misc]backup-simplify: Simplify 0 into 0 1546852540.536 * [misc]backup-simplify: Simplify 1 into 1 1546852540.536 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.536 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.536 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.536 * [misc]backup-simplify: Simplify 1 into 1 1546852540.536 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.536 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.537 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.537 * [misc]taylor: Taking taylor expansion of x in x 1546852540.537 * [misc]backup-simplify: Simplify 0 into 0 1546852540.537 * [misc]backup-simplify: Simplify 1 into 1 1546852540.537 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.537 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.537 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.537 * [misc]backup-simplify: Simplify 1 into 1 1546852540.537 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.537 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852540.537 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852540.537 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.537 * [misc]backup-simplify: Simplify 0 into 0 1546852540.537 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.537 * [misc]backup-simplify: Simplify 0 into 0 1546852540.538 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify 0 into 0 1546852540.538 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify 0 into 0 1546852540.538 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify 0 into 0 1546852540.538 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.538 * [misc]backup-simplify: Simplify 0 into 0 1546852540.538 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1546852540.539 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1546852540.539 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1546852540.539 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.539 * [misc]backup-simplify: Simplify -1 into -1 1546852540.539 * [misc]taylor: Taking taylor expansion of x in x 1546852540.539 * [misc]backup-simplify: Simplify 0 into 0 1546852540.539 * [misc]backup-simplify: Simplify 1 into 1 1546852540.539 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.539 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.539 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.539 * [misc]backup-simplify: Simplify 1 into 1 1546852540.539 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.539 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.539 * [misc]backup-simplify: Simplify -1 into -1 1546852540.539 * [misc]taylor: Taking taylor expansion of x in x 1546852540.539 * [misc]backup-simplify: Simplify 0 into 0 1546852540.539 * [misc]backup-simplify: Simplify 1 into 1 1546852540.539 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.539 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.539 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.539 * [misc]backup-simplify: Simplify 1 into 1 1546852540.539 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.539 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1546852540.539 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1546852540.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify 0 into 0 1546852540.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify 0 into 0 1546852540.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify 0 into 0 1546852540.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.540 * [misc]backup-simplify: Simplify 0 into 0 1546852540.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.541 * [misc]backup-simplify: Simplify 0 into 0 1546852540.541 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.541 * [misc]backup-simplify: Simplify 0 into 0 1546852540.541 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1546852540.541 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1546852540.541 * [misc]backup-simplify: Simplify (log (exp (- (exp x) 1))) into (- (exp x) 1) 1546852540.541 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1546852540.541 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.541 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.541 * [misc]taylor: Taking taylor expansion of x in x 1546852540.541 * [misc]backup-simplify: Simplify 0 into 0 1546852540.541 * [misc]backup-simplify: Simplify 1 into 1 1546852540.541 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.541 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.541 * [misc]backup-simplify: Simplify 1 into 1 1546852540.541 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.542 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.542 * [misc]taylor: Taking taylor expansion of x in x 1546852540.542 * [misc]backup-simplify: Simplify 0 into 0 1546852540.542 * [misc]backup-simplify: Simplify 1 into 1 1546852540.542 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.542 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.542 * [misc]backup-simplify: Simplify 1 into 1 1546852540.542 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.542 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852540.542 * [misc]backup-simplify: Simplify 0 into 0 1546852540.543 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852540.543 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.543 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852540.543 * [misc]backup-simplify: Simplify 1 into 1 1546852540.544 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852540.544 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.545 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852540.545 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852540.547 * [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 1546852540.547 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.547 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852540.547 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852540.547 * [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)))) 1546852540.547 * [misc]backup-simplify: Simplify (log (exp (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1546852540.547 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1546852540.547 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.547 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.547 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.547 * [misc]taylor: Taking taylor expansion of x in x 1546852540.547 * [misc]backup-simplify: Simplify 0 into 0 1546852540.547 * [misc]backup-simplify: Simplify 1 into 1 1546852540.548 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.548 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.548 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.548 * [misc]backup-simplify: Simplify 1 into 1 1546852540.548 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.548 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.548 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.548 * [misc]taylor: Taking taylor expansion of x in x 1546852540.548 * [misc]backup-simplify: Simplify 0 into 0 1546852540.548 * [misc]backup-simplify: Simplify 1 into 1 1546852540.548 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.548 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.548 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.548 * [misc]backup-simplify: Simplify 1 into 1 1546852540.548 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.548 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852540.548 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852540.548 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.548 * [misc]backup-simplify: Simplify 0 into 0 1546852540.548 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify 0 into 0 1546852540.549 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify 0 into 0 1546852540.549 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify 0 into 0 1546852540.549 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify 0 into 0 1546852540.549 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.549 * [misc]backup-simplify: Simplify 0 into 0 1546852540.550 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1546852540.550 * [misc]backup-simplify: Simplify (log (exp (- (exp (/ 1 (- x))) 1))) into (- (exp (/ -1 x)) 1) 1546852540.550 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1546852540.550 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.550 * [misc]backup-simplify: Simplify -1 into -1 1546852540.550 * [misc]taylor: Taking taylor expansion of x in x 1546852540.550 * [misc]backup-simplify: Simplify 0 into 0 1546852540.550 * [misc]backup-simplify: Simplify 1 into 1 1546852540.550 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.550 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.550 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.550 * [misc]backup-simplify: Simplify 1 into 1 1546852540.550 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.550 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.550 * [misc]backup-simplify: Simplify -1 into -1 1546852540.550 * [misc]taylor: Taking taylor expansion of x in x 1546852540.550 * [misc]backup-simplify: Simplify 0 into 0 1546852540.550 * [misc]backup-simplify: Simplify 1 into 1 1546852540.550 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.550 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.550 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.550 * [misc]backup-simplify: Simplify 1 into 1 1546852540.550 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.550 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1546852540.551 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1546852540.551 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify 0 into 0 1546852540.551 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify 0 into 0 1546852540.551 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify 0 into 0 1546852540.551 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.551 * [misc]backup-simplify: Simplify 0 into 0 1546852540.552 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.552 * [misc]backup-simplify: Simplify 0 into 0 1546852540.552 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.552 * [misc]backup-simplify: Simplify 0 into 0 1546852540.552 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1546852540.552 * * * * [misc]progress: [ 3 / 3 ] generating series at (2) 1546852540.552 * [misc]backup-simplify: Simplify (/ (log (exp (- (exp x) 1))) x) into (/ (- (exp x) 1) x) 1546852540.552 * [misc]approximate: Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0 1546852540.552 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1546852540.552 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.552 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.552 * [misc]taylor: Taking taylor expansion of x in x 1546852540.552 * [misc]backup-simplify: Simplify 0 into 0 1546852540.552 * [misc]backup-simplify: Simplify 1 into 1 1546852540.552 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.552 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.552 * [misc]backup-simplify: Simplify 1 into 1 1546852540.552 * [misc]taylor: Taking taylor expansion of x in x 1546852540.552 * [misc]backup-simplify: Simplify 0 into 0 1546852540.552 * [misc]backup-simplify: Simplify 1 into 1 1546852540.552 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.553 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852540.553 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852540.554 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.554 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852540.554 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.554 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) 1) x) in x 1546852540.554 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1546852540.554 * [misc]taylor: Taking taylor expansion of (exp x) in x 1546852540.554 * [misc]taylor: Taking taylor expansion of x in x 1546852540.554 * [misc]backup-simplify: Simplify 0 into 0 1546852540.554 * [misc]backup-simplify: Simplify 1 into 1 1546852540.554 * [misc]backup-simplify: Simplify (exp 0) into 1 1546852540.554 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.554 * [misc]backup-simplify: Simplify 1 into 1 1546852540.554 * [misc]taylor: Taking taylor expansion of x in x 1546852540.554 * [misc]backup-simplify: Simplify 0 into 0 1546852540.554 * [misc]backup-simplify: Simplify 1 into 1 1546852540.554 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.554 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546852540.555 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1546852540.555 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.555 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852540.556 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.556 * [misc]backup-simplify: Simplify 1 into 1 1546852540.558 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1546852540.558 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.559 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1546852540.559 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1546852540.559 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852540.563 * [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 1546852540.563 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.563 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1546852540.563 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1546852540.564 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852540.564 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852540.564 * [misc]backup-simplify: Simplify (/ (log (exp (- (exp (/ 1 x)) 1))) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1)) 1546852540.564 * [misc]approximate: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0 1546852540.564 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1546852540.564 * [misc]taylor: Taking taylor expansion of x in x 1546852540.564 * [misc]backup-simplify: Simplify 0 into 0 1546852540.564 * [misc]backup-simplify: Simplify 1 into 1 1546852540.564 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.564 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.564 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.564 * [misc]taylor: Taking taylor expansion of x in x 1546852540.564 * [misc]backup-simplify: Simplify 0 into 0 1546852540.564 * [misc]backup-simplify: Simplify 1 into 1 1546852540.565 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.565 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.565 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.565 * [misc]backup-simplify: Simplify 1 into 1 1546852540.565 * [misc]taylor: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x 1546852540.565 * [misc]taylor: Taking taylor expansion of x in x 1546852540.565 * [misc]backup-simplify: Simplify 0 into 0 1546852540.565 * [misc]backup-simplify: Simplify 1 into 1 1546852540.565 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1546852540.565 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1546852540.565 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852540.565 * [misc]taylor: Taking taylor expansion of x in x 1546852540.565 * [misc]backup-simplify: Simplify 0 into 0 1546852540.565 * [misc]backup-simplify: Simplify 1 into 1 1546852540.565 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852540.565 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1546852540.565 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.565 * [misc]backup-simplify: Simplify 1 into 1 1546852540.566 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.566 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1546852540.566 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0 1546852540.566 * [misc]backup-simplify: Simplify 0 into 0 1546852540.566 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.566 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1546852540.567 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1546852540.567 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.567 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.567 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0 1546852540.567 * [misc]backup-simplify: Simplify 0 into 0 1546852540.568 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.568 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.568 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0 1546852540.568 * [misc]backup-simplify: Simplify 0 into 0 1546852540.568 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.569 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.569 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0 1546852540.569 * [misc]backup-simplify: Simplify 0 into 0 1546852540.569 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.570 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.570 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0 1546852540.570 * [misc]backup-simplify: Simplify 0 into 0 1546852540.571 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.571 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.572 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0 1546852540.572 * [misc]backup-simplify: Simplify 0 into 0 1546852540.572 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.572 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.573 * [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 1546852540.573 * [misc]backup-simplify: Simplify 0 into 0 1546852540.573 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1546852540.573 * [misc]backup-simplify: Simplify (/ (log (exp (- (exp (/ 1 (- x))) 1))) (/ 1 (- x))) into (* -1 (* (- (exp (/ -1 x)) 1) x)) 1546852540.573 * [misc]approximate: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0 1546852540.573 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.574 * [misc]backup-simplify: Simplify -1 into -1 1546852540.574 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.574 * [misc]backup-simplify: Simplify -1 into -1 1546852540.574 * [misc]taylor: Taking taylor expansion of x in x 1546852540.574 * [misc]backup-simplify: Simplify 0 into 0 1546852540.574 * [misc]backup-simplify: Simplify 1 into 1 1546852540.574 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.574 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.574 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.574 * [misc]backup-simplify: Simplify 1 into 1 1546852540.574 * [misc]taylor: Taking taylor expansion of x in x 1546852540.574 * [misc]backup-simplify: Simplify 0 into 0 1546852540.574 * [misc]backup-simplify: Simplify 1 into 1 1546852540.574 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.574 * [misc]backup-simplify: Simplify -1 into -1 1546852540.574 * [misc]taylor: Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1546852540.574 * [misc]taylor: Taking taylor expansion of -1 in x 1546852540.575 * [misc]backup-simplify: Simplify -1 into -1 1546852540.575 * [misc]taylor: Taking taylor expansion of x in x 1546852540.575 * [misc]backup-simplify: Simplify 0 into 0 1546852540.575 * [misc]backup-simplify: Simplify 1 into 1 1546852540.575 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546852540.575 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1546852540.575 * [misc]taylor: Taking taylor expansion of 1 in x 1546852540.575 * [misc]backup-simplify: Simplify 1 into 1 1546852540.575 * [misc]taylor: Taking taylor expansion of x in x 1546852540.575 * [misc]backup-simplify: Simplify 0 into 0 1546852540.575 * [misc]backup-simplify: Simplify 1 into 1 1546852540.575 * [misc]backup-simplify: Simplify (- 1) into -1 1546852540.575 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1546852540.575 * [misc]backup-simplify: Simplify (* (- (exp (/ -1 x)) 1) 0) into 0 1546852540.576 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852540.576 * [misc]backup-simplify: Simplify 0 into 0 1546852540.576 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.576 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1) 1546852540.577 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1546852540.577 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1546852540.577 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.577 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1546852540.578 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1546852540.578 * [misc]backup-simplify: Simplify 0 into 0 1546852540.578 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.578 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.578 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852540.579 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1546852540.579 * [misc]backup-simplify: Simplify 0 into 0 1546852540.579 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.579 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.580 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1546852540.580 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1546852540.581 * [misc]backup-simplify: Simplify 0 into 0 1546852540.581 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.581 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.581 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1546852540.582 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1546852540.582 * [misc]backup-simplify: Simplify 0 into 0 1546852540.582 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.583 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.583 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1546852540.584 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1546852540.584 * [misc]backup-simplify: Simplify 0 into 0 1546852540.584 * [misc]backup-simplify: Simplify (- 0) into 0 1546852540.585 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852540.585 * [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 1546852540.586 * [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 1546852540.586 * [misc]backup-simplify: Simplify 0 into 0 1546852540.587 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1546852540.587 * * * [misc]progress: simplifying candidates 1546852540.587 * * * * [misc]progress: [ 1 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 2 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 3 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 4 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 5 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 6 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 7 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 8 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 9 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 10 / 59 ] simplifiying candidate # 1546852540.587 * * * * [misc]progress: [ 11 / 59 ] simplifiying candidate # 1546852540.588 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1546852540.588 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.589 * * [misc]simplify: iters left: 3 (8 enodes) 1546852540.591 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1546852540.591 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (/ (log (exp (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) x)) 1546852540.591 * * * * [misc]progress: [ 12 / 59 ] simplifiying candidate # 1546852540.591 * * * * [misc]progress: [ 13 / 59 ] simplifiying candidate # 1546852540.591 * [enter]simplify: Simplifying (log (exp (exp x))) 1546852540.591 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.593 * [exit]simplify: Simplified to (exp x) 1546852540.593 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (+ (exp x) (log (exp (- 1)))) x)) 1546852540.593 * * * * [misc]progress: [ 14 / 59 ] simplifiying candidate # 1546852540.593 * [enter]simplify: Simplifying (log (exp (exp x))) 1546852540.593 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.594 * [exit]simplify: Simplified to (exp x) 1546852540.594 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (+ (exp x) (log (exp (- 1)))) x)) 1546852540.595 * * * * [misc]progress: [ 15 / 59 ] simplifiying candidate # 1546852540.595 * [enter]simplify: Simplifying (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) 1546852540.595 * * [misc]simplify: iters left: 6 (8 enodes) 1546852540.598 * * [misc]simplify: iters left: 5 (18 enodes) 1546852540.603 * * [misc]simplify: iters left: 4 (22 enodes) 1546852540.609 * * [misc]simplify: iters left: 3 (23 enodes) 1546852540.615 * [exit]simplify: Simplified to (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) 1546852540.615 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (+ (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) (log (cbrt (exp (- (exp x) 1))))) x)) 1546852540.615 * * * * [misc]progress: [ 16 / 59 ] simplifiying candidate # 1546852540.616 * [enter]simplify: Simplifying (log (sqrt (exp (- (exp x) 1)))) 1546852540.616 * * [misc]simplify: iters left: 6 (7 enodes) 1546852540.619 * * [misc]simplify: iters left: 5 (15 enodes) 1546852540.623 * * [misc]simplify: iters left: 4 (19 enodes) 1546852540.627 * * [misc]simplify: iters left: 3 (20 enodes) 1546852540.632 * [exit]simplify: Simplified to (log (sqrt (exp (- (exp x) 1)))) 1546852540.632 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (+ (log (sqrt (exp (- (exp x) 1)))) (log (sqrt (exp (- (exp x) 1))))) x)) 1546852540.633 * * * * [misc]progress: [ 17 / 59 ] simplifiying candidate # 1546852540.633 * [enter]simplify: Simplifying (log 1) 1546852540.633 * * [misc]simplify: iters left: 1 (2 enodes) 1546852540.634 * [exit]simplify: Simplified to 0 1546852540.634 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (+ 0 (log (exp (- (exp x) 1)))) x)) 1546852540.634 * * * * [misc]progress: [ 18 / 59 ] simplifiying candidate # 1546852540.634 * [enter]simplify: Simplifying (log (exp (exp x))) 1546852540.634 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.636 * [exit]simplify: Simplified to (exp x) 1546852540.636 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (- (exp x) (log (exp 1))) x)) 1546852540.636 * * * * [misc]progress: [ 19 / 59 ] simplifiying candidate # 1546852540.636 * * * * [misc]progress: [ 20 / 59 ] simplifiying candidate # 1546852540.636 * [enter]simplify: Simplifying (cbrt (- (exp x) 1)) 1546852540.636 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.638 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.640 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.643 * [exit]simplify: Simplified to (cbrt (- (exp x) 1)) 1546852540.643 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (cbrt (- (exp x) 1)) (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))))) x)) 1546852540.643 * * * * [misc]progress: [ 21 / 59 ] simplifiying candidate # 1546852540.643 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1546852540.643 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.646 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.648 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.650 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1546852540.650 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (sqrt (- (exp x) 1)) (log (exp (sqrt (- (exp x) 1))))) x)) 1546852540.650 * * * * [misc]progress: [ 22 / 59 ] simplifiying candidate # 1546852540.651 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.651 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.652 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.654 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.656 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.656 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (- (exp x) 1) (log (exp 1))) x)) 1546852540.656 * * * * [misc]progress: [ 23 / 59 ] simplifiying candidate # 1546852540.657 * [enter]simplify: Simplifying (- (sqrt (exp x)) 1) 1546852540.657 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.659 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.661 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.665 * [exit]simplify: Simplified to (+ -1 (sqrt (exp x))) 1546852540.665 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (+ -1 (sqrt (exp x))) (log (exp (+ (sqrt (exp x)) 1)))) x)) 1546852540.665 * * * * [misc]progress: [ 24 / 59 ] simplifiying candidate # 1546852540.665 * * * * [misc]progress: [ 25 / 59 ] simplifiying candidate # 1546852540.666 * [enter]simplify: Simplifying (exp x) 1546852540.666 * * [misc]simplify: iters left: 1 (2 enodes) 1546852540.666 * [exit]simplify: Simplified to (exp x) 1546852540.666 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852540.666 * * * * [misc]progress: [ 26 / 59 ] simplifiying candidate # 1546852540.666 * * * * [misc]progress: [ 27 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 28 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 29 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 30 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 31 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 32 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 33 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 34 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 35 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 36 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 37 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 38 / 59 ] simplifiying candidate # 1546852540.667 * * * * [misc]progress: [ 39 / 59 ] simplifiying candidate # 1546852540.667 * [enter]simplify: Simplifying (/ (log (exp (exp x))) x) 1546852540.668 * * [misc]simplify: iters left: 5 (5 enodes) 1546852540.669 * [exit]simplify: Simplified to (/ (exp x) x) 1546852540.669 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ (log (exp 1)) x))) 1546852540.669 * * * * [misc]progress: [ 40 / 59 ] simplifiying candidate # 1546852540.669 * * * * [misc]progress: [ 41 / 59 ] simplifiying candidate # 1546852540.669 * * * * [misc]progress: [ 42 / 59 ] simplifiying candidate # 1546852540.669 * * * * [misc]progress: [ 43 / 59 ] simplifiying candidate # 1546852540.669 * * * * [misc]progress: [ 44 / 59 ] simplifiying candidate # 1546852540.670 * [enter]simplify: Simplifying (cbrt (- (exp x) 1)) 1546852540.670 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.672 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.674 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.677 * [exit]simplify: Simplified to (cbrt (- (exp x) 1)) 1546852540.677 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (cbrt (- (exp x) 1)) (/ x (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))))))) 1546852540.677 * * * * [misc]progress: [ 45 / 59 ] simplifiying candidate # 1546852540.677 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1546852540.677 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.679 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.681 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.684 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1546852540.684 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (log (exp (sqrt (- (exp x) 1))))))) 1546852540.684 * * * * [misc]progress: [ 46 / 59 ] simplifiying candidate # 1546852540.684 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.684 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.686 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.688 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.690 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.690 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) (/ x (log (exp 1))))) 1546852540.690 * * * * [misc]progress: [ 47 / 59 ] simplifiying candidate # 1546852540.691 * [enter]simplify: Simplifying (- (sqrt (exp x)) 1) 1546852540.691 * * [misc]simplify: iters left: 4 (5 enodes) 1546852540.693 * * [misc]simplify: iters left: 3 (10 enodes) 1546852540.695 * * [misc]simplify: iters left: 2 (11 enodes) 1546852540.698 * [exit]simplify: Simplified to (+ -1 (sqrt (exp x))) 1546852540.698 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ -1 (sqrt (exp x))) (/ x (log (exp (+ (sqrt (exp x)) 1)))))) 1546852540.698 * * * * [misc]progress: [ 48 / 59 ] simplifiying candidate # 1546852540.698 * [enter]simplify: Simplifying (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) 1546852540.698 * * [misc]simplify: iters left: 6 (8 enodes) 1546852540.701 * * [misc]simplify: iters left: 5 (16 enodes) 1546852540.706 * * [misc]simplify: iters left: 4 (23 enodes) 1546852540.712 * * [misc]simplify: iters left: 3 (26 enodes) 1546852540.719 * * [misc]simplify: iters left: 2 (33 enodes) 1546852540.726 * * [misc]simplify: iters left: 1 (37 enodes) 1546852540.733 * [exit]simplify: Simplified to (* (cbrt (+ -1 (exp x))) (cbrt (+ -1 (exp x)))) 1546852540.733 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (+ -1 (exp x))) (cbrt (+ -1 (exp x)))) (/ x (cbrt (log (exp (- (exp x) 1))))))) 1546852540.733 * * * * [misc]progress: [ 49 / 59 ] simplifiying candidate # 1546852540.733 * [enter]simplify: Simplifying (sqrt (log (exp (- (exp x) 1)))) 1546852540.733 * * [misc]simplify: iters left: 6 (7 enodes) 1546852540.737 * * [misc]simplify: iters left: 5 (15 enodes) 1546852540.745 * * [misc]simplify: iters left: 4 (22 enodes) 1546852540.751 * * [misc]simplify: iters left: 3 (25 enodes) 1546852540.757 * * [misc]simplify: iters left: 2 (32 enodes) 1546852540.764 * * [misc]simplify: iters left: 1 (36 enodes) 1546852540.770 * [exit]simplify: Simplified to (sqrt (+ -1 (exp x))) 1546852540.770 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (+ -1 (exp x))) (/ x (sqrt (log (exp (- (exp x) 1))))))) 1546852540.770 * * * * [misc]progress: [ 50 / 59 ] simplifiying candidate # 1546852540.771 * * * * [misc]progress: [ 51 / 59 ] simplifiying candidate # 1546852540.771 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1546852540.771 * * [misc]simplify: iters left: 6 (11 enodes) 1546852540.775 * * [misc]simplify: iters left: 5 (20 enodes) 1546852540.781 * * [misc]simplify: iters left: 4 (41 enodes) 1546852540.796 * * [misc]simplify: iters left: 3 (70 enodes) 1546852540.816 * * [misc]simplify: iters left: 2 (112 enodes) 1546852540.847 * * [misc]simplify: iters left: 1 (181 enodes) 1546852540.876 * [exit]simplify: Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x))) 1546852540.877 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (/ (log (exp (+ x (* (+ (* x 1/6) 1/2) (* x x))))) x)) 1546852540.877 * * * * [misc]progress: [ 52 / 59 ] simplifiying candidate # 1546852540.877 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.877 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.879 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.881 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.883 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.883 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (/ (log (exp (- (exp x) 1))) x)) 1546852540.883 * * * * [misc]progress: [ 53 / 59 ] simplifiying candidate # 1546852540.884 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.884 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.885 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.887 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.890 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.890 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (/ (log (exp (- (exp x) 1))) x)) 1546852540.890 * * * * [misc]progress: [ 54 / 59 ] simplifiying candidate # 1546852540.890 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1546852540.890 * * [misc]simplify: iters left: 6 (11 enodes) 1546852540.894 * * [misc]simplify: iters left: 5 (20 enodes) 1546852540.901 * * [misc]simplify: iters left: 4 (41 enodes) 1546852540.917 * * [misc]simplify: iters left: 3 (70 enodes) 1546852540.934 * * [misc]simplify: iters left: 2 (112 enodes) 1546852540.956 * * [misc]simplify: iters left: 1 (181 enodes) 1546852540.983 * [exit]simplify: Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x))) 1546852540.983 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ x (* (+ (* x 1/6) 1/2) (* x x))) x)) 1546852540.983 * * * * [misc]progress: [ 55 / 59 ] simplifiying candidate # 1546852540.984 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.984 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.986 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.989 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.990 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.991 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852540.991 * * * * [misc]progress: [ 56 / 59 ] simplifiying candidate # 1546852540.991 * [enter]simplify: Simplifying (- (exp x) 1) 1546852540.991 * * [misc]simplify: iters left: 3 (4 enodes) 1546852540.993 * * [misc]simplify: iters left: 2 (9 enodes) 1546852540.994 * * [misc]simplify: iters left: 1 (10 enodes) 1546852540.996 * [exit]simplify: Simplified to (- (exp x) 1) 1546852540.996 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x)) 1546852540.996 * * * * [misc]progress: [ 57 / 59 ] simplifiying candidate # 1546852540.997 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1546852540.997 * * [misc]simplify: iters left: 6 (10 enodes) 1546852541.000 * * [misc]simplify: iters left: 5 (19 enodes) 1546852541.004 * * [misc]simplify: iters left: 4 (29 enodes) 1546852541.011 * * [misc]simplify: iters left: 3 (40 enodes) 1546852541.020 * * [misc]simplify: iters left: 2 (52 enodes) 1546852541.031 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))) 1546852541.031 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))) 1546852541.031 * * * * [misc]progress: [ 58 / 59 ] simplifiying candidate # 1546852541.031 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1546852541.032 * * [misc]simplify: iters left: 5 (5 enodes) 1546852541.034 * * [misc]simplify: iters left: 4 (13 enodes) 1546852541.037 * * [misc]simplify: iters left: 3 (16 enodes) 1546852541.040 * * [misc]simplify: iters left: 2 (18 enodes) 1546852541.042 * [exit]simplify: Simplified to (/ (+ -1 (exp x)) x) 1546852541.042 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x)) 1546852541.042 * * * * [misc]progress: [ 59 / 59 ] simplifiying candidate # 1546852541.042 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1546852541.042 * * [misc]simplify: iters left: 6 (7 enodes) 1546852541.043 * * [misc]simplify: iters left: 5 (18 enodes) 1546852541.047 * * [misc]simplify: iters left: 4 (32 enodes) 1546852541.053 * * [misc]simplify: iters left: 3 (55 enodes) 1546852541.061 * * [misc]simplify: iters left: 2 (85 enodes) 1546852541.073 * * [misc]simplify: iters left: 1 (131 enodes) 1546852541.121 * [exit]simplify: Simplified to (/ (+ (exp x) -1) x) 1546852541.121 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1546852541.121 * * * [misc]progress: adding candidates to table 1546852541.587 * [misc]progress: [Phase 3 of 3] Extracting. 1546852541.587 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1546852541.588 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1546852541.588 * * * * [misc]regimes: Trying to branch on x from (# # # # # # #) 1546852541.666 * * * [misc]regime: Found split indices: #