1538293333.604 * [misc]progress: [Phase 1 of 3] Setting up. 1538293333.604 * * * [misc]progress: [1/2] Preparing points 1538293333.604 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538293333.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293333.727 * * * * [misc]points: Sampling 65 additional inputs, on iter 1 have 191 / 256 1538293333.749 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293333.749 * * * * [misc]points: Sampling 17 additional inputs, on iter 2 have 239 / 256 1538293333.754 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293333.755 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 254 / 256 1538293333.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293333.757 * * * * [exit]points: Sampled 256 points with exact outputs 1538293333.758 * * * [misc]progress: [2/2] Setting up program. 1538293333.760 * [misc]progress: [Phase 2 of 3] Improving. 1538293333.761 * [enter]simplify: Simplifying (/ (exp x) (- (exp x) 1)) 1538293333.761 * * [misc]simplify: iters left: 5 (5 enodes) 1538293333.763 * * [misc]simplify: iters left: 4 (10 enodes) 1538293333.764 * * [misc]simplify: iters left: 3 (11 enodes) 1538293333.765 * [exit]simplify: Simplified to (/ (exp x) (- (exp x) 1)) 1538293333.772 * * [misc]progress: iteration 1 / 4 1538293333.772 * * * [misc]progress: picking best candidate 1538293333.775 * * * * [misc]pick: Picked # 1538293333.775 * * * [misc]progress: localizing error 1538293333.784 * * * [misc]progress: generating rewritten candidates 1538293333.784 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1538293334.144 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1538293334.223 * * * [misc]progress: generating series expansions 1538293334.223 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1538293334.224 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1538293334.224 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1538293334.224 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1538293334.224 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.224 * [misc]taylor: Taking taylor expansion of x in x 1538293334.224 * [misc]backup-simplify: Simplify 0 into 0 1538293334.224 * [misc]backup-simplify: Simplify 1 into 1 1538293334.224 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.224 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.224 * [misc]backup-simplify: Simplify 1 into 1 1538293334.224 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1538293334.224 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.224 * [misc]taylor: Taking taylor expansion of x in x 1538293334.224 * [misc]backup-simplify: Simplify 0 into 0 1538293334.224 * [misc]backup-simplify: Simplify 1 into 1 1538293334.224 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.224 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.224 * [misc]backup-simplify: Simplify 1 into 1 1538293334.225 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.225 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1538293334.225 * [misc]backup-simplify: Simplify 0 into 0 1538293334.226 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538293334.227 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.227 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538293334.227 * [misc]backup-simplify: Simplify 1 into 1 1538293334.229 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538293334.229 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.229 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538293334.229 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538293334.232 * [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 1538293334.232 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.233 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1538293334.233 * [misc]backup-simplify: Simplify 1/6 into 1/6 1538293334.233 * [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)))) 1538293334.233 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1538293334.233 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1538293334.233 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of x in x 1538293334.233 * [misc]backup-simplify: Simplify 0 into 0 1538293334.233 * [misc]backup-simplify: Simplify 1 into 1 1538293334.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.233 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.233 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.233 * [misc]backup-simplify: Simplify 1 into 1 1538293334.233 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.233 * [misc]taylor: Taking taylor expansion of x in x 1538293334.233 * [misc]backup-simplify: Simplify 0 into 0 1538293334.233 * [misc]backup-simplify: Simplify 1 into 1 1538293334.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.233 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.233 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.233 * [misc]backup-simplify: Simplify 1 into 1 1538293334.234 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.234 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1538293334.234 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1538293334.234 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify 0 into 0 1538293334.234 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify 0 into 0 1538293334.234 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.234 * [misc]backup-simplify: Simplify 0 into 0 1538293334.235 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify 0 into 0 1538293334.235 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify 0 into 0 1538293334.235 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.235 * [misc]backup-simplify: Simplify 0 into 0 1538293334.235 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1538293334.235 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1538293334.235 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1538293334.235 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1538293334.235 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.235 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.235 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.235 * [misc]backup-simplify: Simplify -1 into -1 1538293334.235 * [misc]taylor: Taking taylor expansion of x in x 1538293334.235 * [misc]backup-simplify: Simplify 0 into 0 1538293334.235 * [misc]backup-simplify: Simplify 1 into 1 1538293334.236 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.236 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.236 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.236 * [misc]backup-simplify: Simplify 1 into 1 1538293334.236 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1538293334.236 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.236 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.236 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.236 * [misc]backup-simplify: Simplify -1 into -1 1538293334.236 * [misc]taylor: Taking taylor expansion of x in x 1538293334.236 * [misc]backup-simplify: Simplify 0 into 0 1538293334.236 * [misc]backup-simplify: Simplify 1 into 1 1538293334.236 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.236 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.236 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.236 * [misc]backup-simplify: Simplify 1 into 1 1538293334.237 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.237 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1538293334.237 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1538293334.237 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.237 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.237 * [misc]backup-simplify: Simplify 0 into 0 1538293334.237 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.237 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.237 * [misc]backup-simplify: Simplify 0 into 0 1538293334.237 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.237 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify 0 into 0 1538293334.238 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify 0 into 0 1538293334.238 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify 0 into 0 1538293334.238 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.238 * [misc]backup-simplify: Simplify 0 into 0 1538293334.238 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1538293334.238 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1538293334.239 * [misc]backup-simplify: Simplify (/ (exp x) (- (exp x) 1)) into (/ (exp x) (- (exp x) 1)) 1538293334.239 * [misc]approximate: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in (x) around 0 1538293334.239 * [misc]taylor: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 1538293334.239 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.239 * [misc]taylor: Taking taylor expansion of x in x 1538293334.239 * [misc]backup-simplify: Simplify 0 into 0 1538293334.239 * [misc]backup-simplify: Simplify 1 into 1 1538293334.239 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.239 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1538293334.239 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.239 * [misc]taylor: Taking taylor expansion of x in x 1538293334.239 * [misc]backup-simplify: Simplify 0 into 0 1538293334.239 * [misc]backup-simplify: Simplify 1 into 1 1538293334.239 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.239 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.239 * [misc]backup-simplify: Simplify 1 into 1 1538293334.239 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.239 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1538293334.240 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538293334.240 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.240 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538293334.240 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.240 * [misc]taylor: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 1538293334.240 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.240 * [misc]taylor: Taking taylor expansion of x in x 1538293334.240 * [misc]backup-simplify: Simplify 0 into 0 1538293334.240 * [misc]backup-simplify: Simplify 1 into 1 1538293334.240 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.240 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1538293334.240 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538293334.240 * [misc]taylor: Taking taylor expansion of x in x 1538293334.240 * [misc]backup-simplify: Simplify 0 into 0 1538293334.240 * [misc]backup-simplify: Simplify 1 into 1 1538293334.240 * [misc]backup-simplify: Simplify (exp 0) into 1 1538293334.240 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.240 * [misc]backup-simplify: Simplify 1 into 1 1538293334.241 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.241 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1538293334.241 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538293334.242 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.242 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538293334.242 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.242 * [misc]backup-simplify: Simplify 1 into 1 1538293334.243 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538293334.244 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538293334.244 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.244 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538293334.244 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2 1538293334.244 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538293334.246 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538293334.248 * [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 1538293334.248 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.248 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1538293334.248 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12 1538293334.248 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293334.248 * [misc]backup-simplify: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1538293334.249 * [misc]backup-simplify: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1538293334.249 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in (x) around 0 1538293334.249 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of x in x 1538293334.249 * [misc]backup-simplify: Simplify 0 into 0 1538293334.249 * [misc]backup-simplify: Simplify 1 into 1 1538293334.249 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.249 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.249 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of x in x 1538293334.249 * [misc]backup-simplify: Simplify 0 into 0 1538293334.249 * [misc]backup-simplify: Simplify 1 into 1 1538293334.249 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.249 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.249 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.249 * [misc]backup-simplify: Simplify 1 into 1 1538293334.249 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.249 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1538293334.249 * [misc]backup-simplify: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1538293334.249 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 1538293334.249 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.250 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.250 * [misc]taylor: Taking taylor expansion of x in x 1538293334.250 * [misc]backup-simplify: Simplify 0 into 0 1538293334.250 * [misc]backup-simplify: Simplify 1 into 1 1538293334.250 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.250 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.250 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1538293334.250 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538293334.250 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538293334.250 * [misc]taylor: Taking taylor expansion of x in x 1538293334.250 * [misc]backup-simplify: Simplify 0 into 0 1538293334.250 * [misc]backup-simplify: Simplify 1 into 1 1538293334.250 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538293334.250 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538293334.250 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.250 * [misc]backup-simplify: Simplify 1 into 1 1538293334.250 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.250 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1538293334.250 * [misc]backup-simplify: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1538293334.250 * [misc]backup-simplify: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1538293334.251 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.251 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.251 * [misc]backup-simplify: Simplify 0 into 0 1538293334.251 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.251 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.252 * [misc]backup-simplify: Simplify 0 into 0 1538293334.252 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.252 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.252 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.253 * [misc]backup-simplify: Simplify 0 into 0 1538293334.253 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.253 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.254 * [misc]backup-simplify: Simplify 0 into 0 1538293334.254 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.254 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.255 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.255 * [misc]backup-simplify: Simplify 0 into 0 1538293334.255 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.255 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.256 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 1538293334.256 * [misc]backup-simplify: Simplify 0 into 0 1538293334.256 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1)) 1538293334.256 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- x))) (- (exp (/ 1 (- x))) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 1538293334.256 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in (x) around 0 1538293334.257 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.257 * [misc]backup-simplify: Simplify -1 into -1 1538293334.257 * [misc]taylor: Taking taylor expansion of x in x 1538293334.257 * [misc]backup-simplify: Simplify 0 into 0 1538293334.257 * [misc]backup-simplify: Simplify 1 into 1 1538293334.257 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.257 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.257 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.257 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.257 * [misc]backup-simplify: Simplify -1 into -1 1538293334.257 * [misc]taylor: Taking taylor expansion of x in x 1538293334.257 * [misc]backup-simplify: Simplify 0 into 0 1538293334.257 * [misc]backup-simplify: Simplify 1 into 1 1538293334.257 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.257 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.257 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.258 * [misc]backup-simplify: Simplify 1 into 1 1538293334.258 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.258 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1538293334.258 * [misc]backup-simplify: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 1538293334.258 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 1538293334.258 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.258 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.258 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.258 * [misc]backup-simplify: Simplify -1 into -1 1538293334.258 * [misc]taylor: Taking taylor expansion of x in x 1538293334.258 * [misc]backup-simplify: Simplify 0 into 0 1538293334.258 * [misc]backup-simplify: Simplify 1 into 1 1538293334.258 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.258 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.258 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1538293334.259 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538293334.259 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538293334.259 * [misc]taylor: Taking taylor expansion of -1 in x 1538293334.259 * [misc]backup-simplify: Simplify -1 into -1 1538293334.259 * [misc]taylor: Taking taylor expansion of x in x 1538293334.259 * [misc]backup-simplify: Simplify 0 into 0 1538293334.259 * [misc]backup-simplify: Simplify 1 into 1 1538293334.259 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538293334.259 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538293334.259 * [misc]taylor: Taking taylor expansion of 1 in x 1538293334.259 * [misc]backup-simplify: Simplify 1 into 1 1538293334.259 * [misc]backup-simplify: Simplify (- 1) into -1 1538293334.259 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1538293334.259 * [misc]backup-simplify: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 1538293334.260 * [misc]backup-simplify: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 1538293334.260 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.260 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.260 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.261 * [misc]backup-simplify: Simplify 0 into 0 1538293334.261 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.261 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.261 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.261 * [misc]backup-simplify: Simplify 0 into 0 1538293334.262 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.262 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.262 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.262 * [misc]backup-simplify: Simplify 0 into 0 1538293334.263 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.263 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.263 * [misc]backup-simplify: Simplify 0 into 0 1538293334.264 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.264 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.265 * [misc]backup-simplify: Simplify 0 into 0 1538293334.265 * [misc]backup-simplify: Simplify (- 0) into 0 1538293334.265 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538293334.266 * [misc]backup-simplify: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 1538293334.266 * [misc]backup-simplify: Simplify 0 into 0 1538293334.270 * [misc]backup-simplify: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1)) 1538293334.271 * * * [misc]progress: simplifying candidates 1538293334.271 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1538293334.271 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1538293334.272 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1538293334.280 * * [misc]simplify: iters left: 4 (5 enodes) 1538293334.282 * * [misc]simplify: iters left: 3 (8 enodes) 1538293334.284 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1538293334.284 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) 1538293334.285 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1538293334.285 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1538293334.285 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1538293334.285 * [enter]simplify: Simplifying (- x (log (- (exp x) 1))) 1538293334.286 * * [misc]simplify: iters left: 6 (6 enodes) 1538293334.289 * * [misc]simplify: iters left: 5 (13 enodes) 1538293334.293 * * [misc]simplify: iters left: 4 (15 enodes) 1538293334.298 * [exit]simplify: Simplified to (- x (log (+ -1 (exp x)))) 1538293334.298 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (- x (log (+ -1 (exp x)))))) 1538293334.298 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1538293334.298 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1538293334.298 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1538293334.298 * [enter]simplify: Simplifying (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1))) 1538293334.299 * * [misc]simplify: iters left: 6 (9 enodes) 1538293334.306 * * [misc]simplify: iters left: 5 (25 enodes) 1538293334.320 * * [misc]simplify: iters left: 4 (70 enodes) 1538293334.354 * * [misc]simplify: iters left: 3 (182 enodes) 1538293334.458 * * [misc]simplify: iters left: 2 (371 enodes) 1538293334.844 * [exit]simplify: Simplified to (pow (/ (exp x) (- (exp x) 1)) 3) 1538293334.844 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (pow (/ (exp x) (- (exp x) 1)) 3))) 1538293334.844 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1538293334.844 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1538293334.844 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1538293334.844 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1538293334.844 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1538293334.845 * [enter]simplify: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1538293334.846 * * [misc]simplify: iters left: 6 (9 enodes) 1538293334.851 * * [misc]simplify: iters left: 5 (20 enodes) 1538293334.859 * * [misc]simplify: iters left: 4 (30 enodes) 1538293334.863 * * [misc]simplify: iters left: 3 (33 enodes) 1538293334.868 * * [misc]simplify: iters left: 2 (36 enodes) 1538293334.874 * [exit]simplify: Simplified to (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))) 1538293334.874 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1))))) 1538293334.874 * [enter]simplify: Simplifying (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) 1538293334.874 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.876 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.878 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.880 * [exit]simplify: Simplified to (/ (cbrt (exp x)) (cbrt (+ -1 (exp x)))) 1538293334.880 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (cbrt (exp x)) (cbrt (+ -1 (exp x)))))) 1538293334.880 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1538293334.880 * [enter]simplify: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) 1538293334.880 * * [misc]simplify: iters left: 6 (8 enodes) 1538293334.882 * * [misc]simplify: iters left: 5 (15 enodes) 1538293334.885 * * [misc]simplify: iters left: 4 (18 enodes) 1538293334.887 * * [misc]simplify: iters left: 3 (19 enodes) 1538293334.890 * [exit]simplify: Simplified to (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) 1538293334.890 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1))))) 1538293334.890 * [enter]simplify: Simplifying (/ (cbrt (exp x)) (sqrt (- (exp x) 1))) 1538293334.890 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.892 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.894 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.896 * [exit]simplify: Simplified to (/ (cbrt (exp x)) (sqrt (+ -1 (exp x)))) 1538293334.896 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) (/ (cbrt (exp x)) (sqrt (+ -1 (exp x)))))) 1538293334.896 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1538293334.896 * [enter]simplify: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) 1538293334.896 * * [misc]simplify: iters left: 6 (6 enodes) 1538293334.898 * * [misc]simplify: iters left: 5 (10 enodes) 1538293334.900 * * [misc]simplify: iters left: 4 (16 enodes) 1538293334.902 * * [misc]simplify: iters left: 3 (18 enodes) 1538293334.906 * * [misc]simplify: iters left: 2 (23 enodes) 1538293334.909 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1538293334.909 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1)))) 1538293334.909 * [enter]simplify: Simplifying (/ (cbrt (exp x)) (- (exp x) 1)) 1538293334.910 * * [misc]simplify: iters left: 5 (6 enodes) 1538293334.912 * * [misc]simplify: iters left: 4 (11 enodes) 1538293334.913 * * [misc]simplify: iters left: 3 (12 enodes) 1538293334.915 * [exit]simplify: Simplified to (/ (cbrt (exp x)) (+ (exp x) -1)) 1538293334.915 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (+ (exp x) -1)))) 1538293334.915 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1538293334.915 * [enter]simplify: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) 1538293334.916 * * [misc]simplify: iters left: 6 (8 enodes) 1538293334.917 * * [misc]simplify: iters left: 5 (13 enodes) 1538293334.919 * * [misc]simplify: iters left: 4 (15 enodes) 1538293334.921 * * [misc]simplify: iters left: 3 (16 enodes) 1538293334.925 * [exit]simplify: Simplified to (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) 1538293334.925 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1538293334.925 * [enter]simplify: Simplifying (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1538293334.926 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.929 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.932 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.936 * [exit]simplify: Simplified to (/ (cbrt (exp x)) (+ (sqrt (exp x)) -1)) 1538293334.936 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) (/ (cbrt (exp x)) (+ (sqrt (exp x)) -1)))) 1538293334.936 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1538293334.936 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1538293334.937 * * [misc]simplify: iters left: 6 (8 enodes) 1538293334.941 * * [misc]simplify: iters left: 5 (15 enodes) 1538293334.944 * * [misc]simplify: iters left: 4 (16 enodes) 1538293334.947 * [exit]simplify: Simplified to (/ (/ (sqrt (exp x)) (cbrt (+ (exp x) -1))) (cbrt (+ (exp x) -1))) 1538293334.947 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (exp x)) (cbrt (+ (exp x) -1))) (cbrt (+ (exp x) -1))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1))))) 1538293334.947 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (cbrt (- (exp x) 1))) 1538293334.947 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.949 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.951 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.953 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (cbrt (+ -1 (exp x)))) 1538293334.953 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (sqrt (exp x)) (cbrt (+ -1 (exp x)))))) 1538293334.953 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1538293334.953 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1538293334.953 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.955 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.957 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.959 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (sqrt (+ -1 (exp x)))) 1538293334.959 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (sqrt (+ -1 (exp x)))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1))))) 1538293334.959 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1538293334.959 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.961 * * [misc]simplify: iters left: 5 (12 enodes) 1538293334.963 * * [misc]simplify: iters left: 4 (13 enodes) 1538293334.965 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (sqrt (+ -1 (exp x)))) 1538293334.965 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) (/ (sqrt (exp x)) (sqrt (+ -1 (exp x)))))) 1538293334.965 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1538293334.965 * [enter]simplify: Simplifying (/ (sqrt (exp x)) 1) 1538293334.965 * * [misc]simplify: iters left: 4 (5 enodes) 1538293334.966 * * [misc]simplify: iters left: 3 (7 enodes) 1538293334.968 * * [misc]simplify: iters left: 2 (9 enodes) 1538293334.969 * [exit]simplify: Simplified to (sqrt (exp x)) 1538293334.969 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1)))) 1538293334.969 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (- (exp x) 1)) 1538293334.969 * * [misc]simplify: iters left: 5 (6 enodes) 1538293334.971 * * [misc]simplify: iters left: 4 (11 enodes) 1538293334.974 * * [misc]simplify: iters left: 3 (12 enodes) 1538293334.977 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (+ (exp x) -1)) 1538293334.977 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (+ (exp x) -1)))) 1538293334.977 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1538293334.977 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) 1538293334.978 * * [misc]simplify: iters left: 6 (6 enodes) 1538293334.980 * * [misc]simplify: iters left: 5 (9 enodes) 1538293334.983 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) 1538293334.983 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)))) 1538293334.983 * [enter]simplify: Simplifying (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)) 1538293334.983 * * [misc]simplify: iters left: 6 (6 enodes) 1538293334.986 * * [misc]simplify: iters left: 5 (11 enodes) 1538293334.989 * * [misc]simplify: iters left: 4 (12 enodes) 1538293334.992 * [exit]simplify: Simplified to (/ (sqrt (exp x)) (+ -1 (sqrt (exp x)))) 1538293334.992 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (+ -1 (sqrt (exp x)))))) 1538293334.992 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1538293334.993 * [enter]simplify: Simplifying (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1538293334.993 * * [misc]simplify: iters left: 6 (7 enodes) 1538293334.999 * * [misc]simplify: iters left: 5 (14 enodes) 1538293335.003 * * [misc]simplify: iters left: 4 (15 enodes) 1538293335.005 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ -1 (exp x)))) (cbrt (+ -1 (exp x)))) 1538293335.005 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (+ -1 (exp x)))) (cbrt (+ -1 (exp x)))) (/ (exp x) (cbrt (- (exp x) 1))))) 1538293335.006 * [enter]simplify: Simplifying (/ (exp x) (cbrt (- (exp x) 1))) 1538293335.006 * * [misc]simplify: iters left: 6 (6 enodes) 1538293335.008 * * [misc]simplify: iters left: 5 (11 enodes) 1538293335.009 * * [misc]simplify: iters left: 4 (12 enodes) 1538293335.011 * [exit]simplify: Simplified to (/ (exp x) (cbrt (- (exp x) 1))) 1538293335.011 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (exp x) (cbrt (- (exp x) 1))))) 1538293335.011 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1538293335.011 * [enter]simplify: Simplifying (/ 1 (sqrt (- (exp x) 1))) 1538293335.011 * * [misc]simplify: iters left: 6 (6 enodes) 1538293335.013 * * [misc]simplify: iters left: 5 (11 enodes) 1538293335.014 * * [misc]simplify: iters left: 4 (12 enodes) 1538293335.016 * [exit]simplify: Simplified to (/ 1 (sqrt (+ -1 (exp x)))) 1538293335.016 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (+ -1 (exp x)))) (/ (exp x) (sqrt (- (exp x) 1))))) 1538293335.016 * [enter]simplify: Simplifying (/ (exp x) (sqrt (- (exp x) 1))) 1538293335.017 * * [misc]simplify: iters left: 6 (6 enodes) 1538293335.019 * * [misc]simplify: iters left: 5 (11 enodes) 1538293335.020 * * [misc]simplify: iters left: 4 (12 enodes) 1538293335.022 * [exit]simplify: Simplified to (/ (exp x) (sqrt (- (exp x) 1))) 1538293335.022 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (- (exp x) 1))) (/ (exp x) (sqrt (- (exp x) 1))))) 1538293335.022 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1538293335.022 * [enter]simplify: Simplifying (/ 1 1) 1538293335.022 * * [misc]simplify: iters left: 2 (2 enodes) 1538293335.023 * * [misc]simplify: iters left: 1 (4 enodes) 1538293335.023 * [exit]simplify: Simplified to 1 1538293335.023 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1538293335.023 * [enter]simplify: Simplifying (/ (exp x) (- (exp x) 1)) 1538293335.023 * * [misc]simplify: iters left: 5 (5 enodes) 1538293335.025 * * [misc]simplify: iters left: 4 (10 enodes) 1538293335.026 * * [misc]simplify: iters left: 3 (11 enodes) 1538293335.028 * [exit]simplify: Simplified to (/ (exp x) (- (exp x) 1)) 1538293335.028 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1538293335.028 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1538293335.028 * [enter]simplify: Simplifying (/ 1 (+ (sqrt (exp x)) 1)) 1538293335.028 * * [misc]simplify: iters left: 6 (6 enodes) 1538293335.029 * * [misc]simplify: iters left: 5 (9 enodes) 1538293335.031 * [exit]simplify: Simplified to (/ 1 (+ (sqrt (exp x)) 1)) 1538293335.031 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1)))) 1538293335.031 * [enter]simplify: Simplifying (/ (exp x) (- (sqrt (exp x)) 1)) 1538293335.031 * * [misc]simplify: iters left: 6 (6 enodes) 1538293335.034 * * [misc]simplify: iters left: 5 (11 enodes) 1538293335.037 * * [misc]simplify: iters left: 4 (12 enodes) 1538293335.041 * [exit]simplify: Simplified to (/ (exp x) (+ -1 (sqrt (exp x)))) 1538293335.041 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (+ -1 (sqrt (exp x)))))) 1538293335.041 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1538293335.041 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1538293335.041 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1538293335.041 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1538293335.041 * [enter]simplify: Simplifying (cbrt (- (exp x) 1)) 1538293335.042 * * [misc]simplify: iters left: 4 (5 enodes) 1538293335.045 * * [misc]simplify: iters left: 3 (10 enodes) 1538293335.047 * * [misc]simplify: iters left: 2 (11 enodes) 1538293335.050 * [exit]simplify: Simplified to (cbrt (- (exp x) 1)) 1538293335.050 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (exp x) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1)))) 1538293335.050 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1538293335.050 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1538293335.051 * * [misc]simplify: iters left: 4 (5 enodes) 1538293335.054 * * [misc]simplify: iters left: 3 (10 enodes) 1538293335.056 * * [misc]simplify: iters left: 2 (11 enodes) 1538293335.059 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1538293335.059 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (exp x) (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1)))) 1538293335.059 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1538293335.059 * [enter]simplify: Simplifying (- (exp x) 1) 1538293335.060 * * [misc]simplify: iters left: 3 (4 enodes) 1538293335.062 * * [misc]simplify: iters left: 2 (9 enodes) 1538293335.065 * * [misc]simplify: iters left: 1 (10 enodes) 1538293335.067 * [exit]simplify: Simplified to (- (exp x) 1) 1538293335.067 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (exp x) 1) (- (exp x) 1))) 1538293335.067 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1538293335.068 * [enter]simplify: Simplifying (- (sqrt (exp x)) 1) 1538293335.068 * * [misc]simplify: iters left: 4 (5 enodes) 1538293335.071 * * [misc]simplify: iters left: 3 (10 enodes) 1538293335.073 * * [misc]simplify: iters left: 2 (11 enodes) 1538293335.076 * [exit]simplify: Simplified to (+ -1 (sqrt (exp x))) 1538293335.076 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (+ -1 (sqrt (exp x))))) 1538293335.076 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1538293335.077 * [enter]simplify: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1538293335.077 * * [misc]simplify: iters left: 4 (4 enodes) 1538293335.079 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1538293335.079 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (- (exp x) 1) (cbrt (exp x))))) 1538293335.079 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1538293335.079 * [enter]simplify: Simplifying (sqrt (exp x)) 1538293335.079 * * [misc]simplify: iters left: 2 (3 enodes) 1538293335.080 * [exit]simplify: Simplified to (sqrt (exp x)) 1538293335.080 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1) (sqrt (exp x))))) 1538293335.081 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1538293335.081 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1538293335.081 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) 1538293335.082 * * [misc]simplify: iters left: 6 (8 enodes) 1538293335.086 * * [misc]simplify: iters left: 5 (18 enodes) 1538293335.092 * * [misc]simplify: iters left: 4 (27 enodes) 1538293335.100 * * [misc]simplify: iters left: 3 (34 enodes) 1538293335.109 * * [misc]simplify: iters left: 2 (52 enodes) 1538293335.120 * * [misc]simplify: iters left: 1 (67 enodes) 1538293335.130 * [exit]simplify: Simplified to (+ (exp (+ x x)) (+ 1 (exp x))) 1538293335.130 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (exp x) (- (pow (exp x) 3) (pow 1 3))) (+ (exp (+ x x)) (+ 1 (exp x))))) 1538293335.130 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1538293335.130 * [enter]simplify: Simplifying (+ (exp x) 1) 1538293335.130 * * [misc]simplify: iters left: 3 (4 enodes) 1538293335.132 * * [misc]simplify: iters left: 2 (7 enodes) 1538293335.134 * [exit]simplify: Simplified to (+ (exp x) 1) 1538293335.134 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1))) 1538293335.134 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1538293335.134 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1538293335.135 * * [misc]simplify: iters left: 6 (11 enodes) 1538293335.140 * * [misc]simplify: iters left: 5 (20 enodes) 1538293335.149 * * [misc]simplify: iters left: 4 (41 enodes) 1538293335.167 * * [misc]simplify: iters left: 3 (70 enodes) 1538293335.193 * * [misc]simplify: iters left: 2 (112 enodes) 1538293335.238 * * [misc]simplify: iters left: 1 (181 enodes) 1538293335.293 * [exit]simplify: Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x))) 1538293335.293 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (exp x) (+ x (* (+ (* x 1/6) 1/2) (* x x))))) 1538293335.293 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1538293335.293 * [enter]simplify: Simplifying (- (exp x) 1) 1538293335.294 * * [misc]simplify: iters left: 3 (4 enodes) 1538293335.297 * * [misc]simplify: iters left: 2 (9 enodes) 1538293335.299 * * [misc]simplify: iters left: 1 (10 enodes) 1538293335.301 * [exit]simplify: Simplified to (- (exp x) 1) 1538293335.301 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (exp x) (- (exp x) 1))) 1538293335.301 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1538293335.302 * [enter]simplify: Simplifying (- (exp x) 1) 1538293335.302 * * [misc]simplify: iters left: 3 (4 enodes) 1538293335.305 * * [misc]simplify: iters left: 2 (9 enodes) 1538293335.307 * * [misc]simplify: iters left: 1 (10 enodes) 1538293335.309 * [exit]simplify: Simplified to (- (exp x) 1) 1538293335.310 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (exp x) (- (exp x) 1))) 1538293335.310 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1538293335.310 * [enter]simplify: Simplifying (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1538293335.311 * * [misc]simplify: iters left: 6 (8 enodes) 1538293335.317 * * [misc]simplify: iters left: 5 (15 enodes) 1538293335.322 * * [misc]simplify: iters left: 4 (21 enodes) 1538293335.328 * * [misc]simplify: iters left: 3 (22 enodes) 1538293335.334 * [exit]simplify: Simplified to (+ (+ 1/2 (* 1/12 x)) (/ 1 x)) 1538293335.334 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ 1/2 (* 1/12 x)) (/ 1 x))) 1538293335.334 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1538293335.335 * [enter]simplify: Simplifying (/ (exp x) (- (exp x) 1)) 1538293335.336 * * [misc]simplify: iters left: 5 (5 enodes) 1538293335.339 * * [misc]simplify: iters left: 4 (10 enodes) 1538293335.341 * * [misc]simplify: iters left: 3 (11 enodes) 1538293335.344 * [exit]simplify: Simplified to (/ (exp x) (- (exp x) 1)) 1538293335.344 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp x) (- (exp x) 1))) 1538293335.345 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1538293335.345 * [enter]simplify: Simplifying (/ (exp x) (- (exp x) 1)) 1538293335.345 * * [misc]simplify: iters left: 5 (5 enodes) 1538293335.348 * * [misc]simplify: iters left: 4 (10 enodes) 1538293335.351 * * [misc]simplify: iters left: 3 (11 enodes) 1538293335.353 * [exit]simplify: Simplified to (/ (exp x) (- (exp x) 1)) 1538293335.353 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp x) (- (exp x) 1))) 1538293335.354 * * * [misc]progress: adding candidates to table 1538293336.058 * * [misc]progress: iteration 2 / 4 1538293336.058 * * * [misc]progress: picking best candidate 1538293336.080 * * * * [misc]pick: Picked # 1538293336.080 * * * [misc]progress: localizing error 1538293336.105 * * * [misc]progress: generating rewritten candidates 1538293336.105 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1538293336.106 * * * [misc]progress: generating series expansions 1538293336.106 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1538293336.107 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293336.107 * [misc]approximate: Taking taylor expansion of (* 1/12 x) in (x) around 0 1538293336.107 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.107 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.107 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.107 * [misc]taylor: Taking taylor expansion of x in x 1538293336.107 * [misc]backup-simplify: Simplify 0 into 0 1538293336.107 * [misc]backup-simplify: Simplify 1 into 1 1538293336.107 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.107 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.107 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.107 * [misc]taylor: Taking taylor expansion of x in x 1538293336.107 * [misc]backup-simplify: Simplify 0 into 0 1538293336.107 * [misc]backup-simplify: Simplify 1 into 1 1538293336.107 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293336.107 * [misc]backup-simplify: Simplify 0 into 0 1538293336.108 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293336.108 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.108 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 1538293336.108 * [misc]backup-simplify: Simplify 0 into 0 1538293336.108 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538293336.109 * [misc]backup-simplify: Simplify 0 into 0 1538293336.109 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538293336.109 * [misc]backup-simplify: Simplify 0 into 0 1538293336.109 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538293336.109 * [misc]backup-simplify: Simplify 0 into 0 1538293336.110 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538293336.110 * [misc]backup-simplify: Simplify 0 into 0 1538293336.111 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538293336.111 * [misc]backup-simplify: Simplify 0 into 0 1538293336.111 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293336.111 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 1538293336.111 * [misc]approximate: Taking taylor expansion of (/ 1/12 x) in (x) around 0 1538293336.111 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.111 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.111 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.111 * [misc]taylor: Taking taylor expansion of x in x 1538293336.111 * [misc]backup-simplify: Simplify 0 into 0 1538293336.111 * [misc]backup-simplify: Simplify 1 into 1 1538293336.111 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.111 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.111 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.111 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.111 * [misc]taylor: Taking taylor expansion of x in x 1538293336.111 * [misc]backup-simplify: Simplify 0 into 0 1538293336.111 * [misc]backup-simplify: Simplify 1 into 1 1538293336.112 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.112 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.112 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1538293336.112 * [misc]backup-simplify: Simplify 0 into 0 1538293336.112 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.112 * [misc]backup-simplify: Simplify 0 into 0 1538293336.113 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.113 * [misc]backup-simplify: Simplify 0 into 0 1538293336.114 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.114 * [misc]backup-simplify: Simplify 0 into 0 1538293336.114 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.114 * [misc]backup-simplify: Simplify 0 into 0 1538293336.115 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.115 * [misc]backup-simplify: Simplify 0 into 0 1538293336.115 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 1538293336.115 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 1538293336.115 * [misc]approximate: Taking taylor expansion of (/ -1/12 x) in (x) around 0 1538293336.115 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.115 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.115 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.115 * [misc]taylor: Taking taylor expansion of x in x 1538293336.115 * [misc]backup-simplify: Simplify 0 into 0 1538293336.115 * [misc]backup-simplify: Simplify 1 into 1 1538293336.115 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.115 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.116 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.116 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.116 * [misc]taylor: Taking taylor expansion of x in x 1538293336.116 * [misc]backup-simplify: Simplify 0 into 0 1538293336.116 * [misc]backup-simplify: Simplify 1 into 1 1538293336.116 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.116 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.116 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 1538293336.116 * [misc]backup-simplify: Simplify 0 into 0 1538293336.117 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.117 * [misc]backup-simplify: Simplify 0 into 0 1538293336.117 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.117 * [misc]backup-simplify: Simplify 0 into 0 1538293336.118 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.118 * [misc]backup-simplify: Simplify 0 into 0 1538293336.118 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.118 * [misc]backup-simplify: Simplify 0 into 0 1538293336.119 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.119 * [misc]backup-simplify: Simplify 0 into 0 1538293336.119 * [misc]backup-simplify: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 1538293336.119 * * * [misc]progress: simplifying candidates 1538293336.119 * * * * [misc]progress: [ 1 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 2 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 3 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 4 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 5 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 6 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 7 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 8 / 11 ] simplifiying candidate # 1538293336.119 * * * * [misc]progress: [ 9 / 11 ] simplifiying candidate # 1538293336.120 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.120 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.121 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.123 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.123 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.123 * * * * [misc]progress: [ 10 / 11 ] simplifiying candidate # 1538293336.123 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.123 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.124 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.126 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.126 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.126 * * * * [misc]progress: [ 11 / 11 ] simplifiying candidate # 1538293336.126 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.126 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.127 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.129 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.129 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.129 * * * [misc]progress: adding candidates to table 1538293336.285 * * [misc]progress: iteration 3 / 4 1538293336.285 * * * [misc]progress: picking best candidate 1538293336.311 * * * * [misc]pick: Picked # 1538293336.311 * * * [misc]progress: localizing error 1538293336.332 * * * [misc]progress: generating rewritten candidates 1538293336.332 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538293336.349 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1 1) 1538293336.350 * * * [misc]progress: generating series expansions 1538293336.350 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538293336.351 * [misc]backup-simplify: Simplify (exp (log (* 1/12 x))) into (* 1/12 x) 1538293336.351 * [misc]approximate: Taking taylor expansion of (* 1/12 x) in (x) around 0 1538293336.351 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.351 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.351 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.351 * [misc]taylor: Taking taylor expansion of x in x 1538293336.351 * [misc]backup-simplify: Simplify 0 into 0 1538293336.351 * [misc]backup-simplify: Simplify 1 into 1 1538293336.351 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.351 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.351 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.351 * [misc]taylor: Taking taylor expansion of x in x 1538293336.351 * [misc]backup-simplify: Simplify 0 into 0 1538293336.351 * [misc]backup-simplify: Simplify 1 into 1 1538293336.351 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293336.352 * [misc]backup-simplify: Simplify 0 into 0 1538293336.352 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293336.352 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.352 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 1538293336.352 * [misc]backup-simplify: Simplify 0 into 0 1538293336.352 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538293336.352 * [misc]backup-simplify: Simplify 0 into 0 1538293336.353 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538293336.353 * [misc]backup-simplify: Simplify 0 into 0 1538293336.353 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538293336.353 * [misc]backup-simplify: Simplify 0 into 0 1538293336.354 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538293336.354 * [misc]backup-simplify: Simplify 0 into 0 1538293336.355 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538293336.355 * [misc]backup-simplify: Simplify 0 into 0 1538293336.355 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293336.355 * [misc]backup-simplify: Simplify (exp (log (* 1/12 (/ 1 x)))) into (/ 1/12 x) 1538293336.355 * [misc]approximate: Taking taylor expansion of (/ 1/12 x) in (x) around 0 1538293336.355 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.355 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.355 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.355 * [misc]taylor: Taking taylor expansion of x in x 1538293336.355 * [misc]backup-simplify: Simplify 0 into 0 1538293336.355 * [misc]backup-simplify: Simplify 1 into 1 1538293336.355 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.355 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.355 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.355 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.355 * [misc]taylor: Taking taylor expansion of x in x 1538293336.355 * [misc]backup-simplify: Simplify 0 into 0 1538293336.355 * [misc]backup-simplify: Simplify 1 into 1 1538293336.356 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.356 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.356 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1538293336.356 * [misc]backup-simplify: Simplify 0 into 0 1538293336.356 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.356 * [misc]backup-simplify: Simplify 0 into 0 1538293336.357 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.357 * [misc]backup-simplify: Simplify 0 into 0 1538293336.357 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.357 * [misc]backup-simplify: Simplify 0 into 0 1538293336.358 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.358 * [misc]backup-simplify: Simplify 0 into 0 1538293336.359 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.359 * [misc]backup-simplify: Simplify 0 into 0 1538293336.359 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 1538293336.359 * [misc]backup-simplify: Simplify (exp (log (* 1/12 (/ 1 (- x))))) into (/ -1/12 x) 1538293336.359 * [misc]approximate: Taking taylor expansion of (/ -1/12 x) in (x) around 0 1538293336.359 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.359 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.359 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.359 * [misc]taylor: Taking taylor expansion of x in x 1538293336.359 * [misc]backup-simplify: Simplify 0 into 0 1538293336.359 * [misc]backup-simplify: Simplify 1 into 1 1538293336.359 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.359 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.360 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.360 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.360 * [misc]taylor: Taking taylor expansion of x in x 1538293336.360 * [misc]backup-simplify: Simplify 0 into 0 1538293336.360 * [misc]backup-simplify: Simplify 1 into 1 1538293336.360 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.360 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.360 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 1538293336.360 * [misc]backup-simplify: Simplify 0 into 0 1538293336.361 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.361 * [misc]backup-simplify: Simplify 0 into 0 1538293336.361 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.361 * [misc]backup-simplify: Simplify 0 into 0 1538293336.361 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.361 * [misc]backup-simplify: Simplify 0 into 0 1538293336.362 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.362 * [misc]backup-simplify: Simplify 0 into 0 1538293336.363 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.363 * [misc]backup-simplify: Simplify 0 into 0 1538293336.363 * [misc]backup-simplify: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 1538293336.363 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1 1) 1538293336.363 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293336.363 * [misc]approximate: Taking taylor expansion of (* 1/12 x) in (x) around 0 1538293336.363 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.363 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.363 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.363 * [misc]taylor: Taking taylor expansion of x in x 1538293336.363 * [misc]backup-simplify: Simplify 0 into 0 1538293336.363 * [misc]backup-simplify: Simplify 1 into 1 1538293336.363 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.363 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.363 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.363 * [misc]taylor: Taking taylor expansion of x in x 1538293336.363 * [misc]backup-simplify: Simplify 0 into 0 1538293336.363 * [misc]backup-simplify: Simplify 1 into 1 1538293336.364 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293336.364 * [misc]backup-simplify: Simplify 0 into 0 1538293336.364 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293336.364 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.364 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 1538293336.364 * [misc]backup-simplify: Simplify 0 into 0 1538293336.365 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538293336.365 * [misc]backup-simplify: Simplify 0 into 0 1538293336.365 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538293336.365 * [misc]backup-simplify: Simplify 0 into 0 1538293336.366 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538293336.366 * [misc]backup-simplify: Simplify 0 into 0 1538293336.366 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538293336.366 * [misc]backup-simplify: Simplify 0 into 0 1538293336.367 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538293336.367 * [misc]backup-simplify: Simplify 0 into 0 1538293336.367 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293336.367 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 1538293336.367 * [misc]approximate: Taking taylor expansion of (/ 1/12 x) in (x) around 0 1538293336.367 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.367 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.367 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.367 * [misc]taylor: Taking taylor expansion of x in x 1538293336.367 * [misc]backup-simplify: Simplify 0 into 0 1538293336.367 * [misc]backup-simplify: Simplify 1 into 1 1538293336.368 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.368 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293336.368 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.368 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.368 * [misc]taylor: Taking taylor expansion of x in x 1538293336.368 * [misc]backup-simplify: Simplify 0 into 0 1538293336.368 * [misc]backup-simplify: Simplify 1 into 1 1538293336.368 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293336.368 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.368 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1538293336.368 * [misc]backup-simplify: Simplify 0 into 0 1538293336.369 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.369 * [misc]backup-simplify: Simplify 0 into 0 1538293336.369 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.369 * [misc]backup-simplify: Simplify 0 into 0 1538293336.370 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.370 * [misc]backup-simplify: Simplify 0 into 0 1538293336.370 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.371 * [misc]backup-simplify: Simplify 0 into 0 1538293336.371 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.371 * [misc]backup-simplify: Simplify 0 into 0 1538293336.371 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 1538293336.371 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 1538293336.372 * [misc]approximate: Taking taylor expansion of (/ -1/12 x) in (x) around 0 1538293336.372 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.372 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.372 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.372 * [misc]taylor: Taking taylor expansion of x in x 1538293336.372 * [misc]backup-simplify: Simplify 0 into 0 1538293336.372 * [misc]backup-simplify: Simplify 1 into 1 1538293336.372 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.372 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293336.372 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293336.372 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.372 * [misc]taylor: Taking taylor expansion of x in x 1538293336.372 * [misc]backup-simplify: Simplify 0 into 0 1538293336.372 * [misc]backup-simplify: Simplify 1 into 1 1538293336.372 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293336.372 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293336.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 1538293336.373 * [misc]backup-simplify: Simplify 0 into 0 1538293336.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.373 * [misc]backup-simplify: Simplify 0 into 0 1538293336.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.373 * [misc]backup-simplify: Simplify 0 into 0 1538293336.374 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.374 * [misc]backup-simplify: Simplify 0 into 0 1538293336.374 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.375 * [misc]backup-simplify: Simplify 0 into 0 1538293336.375 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293336.375 * [misc]backup-simplify: Simplify 0 into 0 1538293336.375 * [misc]backup-simplify: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 1538293336.375 * * * [misc]progress: simplifying candidates 1538293336.375 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1538293336.375 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1538293336.376 * [enter]simplify: Simplifying (exp 1) 1538293336.376 * * [misc]simplify: iters left: 1 (2 enodes) 1538293336.377 * [exit]simplify: Simplified to E 1538293336.377 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (pow E (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293336.377 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1538293336.378 * [enter]simplify: Simplifying (exp (* (cbrt (log (* 1/12 x))) (cbrt (log (* 1/12 x))))) 1538293336.378 * * [misc]simplify: iters left: 6 (7 enodes) 1538293336.382 * * [misc]simplify: iters left: 5 (13 enodes) 1538293336.387 * * [misc]simplify: iters left: 4 (14 enodes) 1538293336.393 * [exit]simplify: Simplified to (exp (* (cbrt (log (* 1/12 x))) (cbrt (log (* 1/12 x))))) 1538293336.393 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (pow (exp (* (cbrt (log (* 1/12 x))) (cbrt (log (* 1/12 x))))) (cbrt (log (* 1/12 x)))) (+ (/ 1 x) 1/2))) 1538293336.393 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1538293336.393 * [enter]simplify: Simplifying (exp (sqrt (log (* 1/12 x)))) 1538293336.394 * * [misc]simplify: iters left: 5 (6 enodes) 1538293336.397 * * [misc]simplify: iters left: 4 (10 enodes) 1538293336.400 * * [misc]simplify: iters left: 3 (11 enodes) 1538293336.403 * [exit]simplify: Simplified to (exp (sqrt (log (* 1/12 x)))) 1538293336.403 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (pow (exp (sqrt (log (* 1/12 x)))) (sqrt (log (* 1/12 x)))) (+ (/ 1 x) 1/2))) 1538293336.403 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1538293336.403 * [enter]simplify: Simplifying (exp 1) 1538293336.403 * * [misc]simplify: iters left: 1 (2 enodes) 1538293336.404 * [exit]simplify: Simplified to E 1538293336.404 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (pow E (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293336.404 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1538293336.404 * [enter]simplify: Simplifying (exp (log 1/12)) 1538293336.404 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.405 * [exit]simplify: Simplified to 1/12 1538293336.405 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (* 1/12 (exp (log x))) (+ (/ 1 x) 1/2))) 1538293336.405 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1538293336.405 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate # 1538293336.406 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1538293336.406 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.406 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.407 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.407 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.407 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.407 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1538293336.407 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.408 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.408 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.409 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.409 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.409 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1538293336.409 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.409 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.410 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.410 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.410 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293336.410 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1538293336.410 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.411 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.411 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.412 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.412 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (exp (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293336.412 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1538293336.412 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.412 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.413 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.413 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.413 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (exp (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293336.413 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1538293336.413 * [enter]simplify: Simplifying (* 1/12 x) 1538293336.414 * * [misc]simplify: iters left: 2 (3 enodes) 1538293336.414 * * [misc]simplify: iters left: 1 (4 enodes) 1538293336.415 * [exit]simplify: Simplified to (* 1/12 x) 1538293336.415 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (exp (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293336.415 * * * [misc]progress: adding candidates to table 1538293336.912 * * [misc]progress: iteration 4 / 4 1538293336.912 * * * [misc]progress: picking best candidate 1538293336.934 * * * * [misc]pick: Picked # 1538293336.934 * * * [misc]progress: localizing error 1538293336.952 * * * [misc]progress: generating rewritten candidates 1538293336.952 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538293336.963 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 2 1) 1538293336.964 * * * [misc]progress: generating series expansions 1538293336.964 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538293336.964 * [misc]backup-simplify: Simplify (pow E (log (* 1/12 x))) into (pow E (log (* 1/12 x))) 1538293336.964 * [misc]approximate: Taking taylor expansion of (pow E (log (* 1/12 x))) in (x) around 0 1538293336.964 * [misc]taylor: Taking taylor expansion of (pow E (log (* 1/12 x))) in x 1538293336.964 * [misc]taylor: Taking taylor expansion of (exp (* (log (* 1/12 x)) (log E))) in x 1538293336.965 * [misc]taylor: Taking taylor expansion of (* (log (* 1/12 x)) (log E)) in x 1538293336.965 * [misc]taylor: Taking taylor expansion of (log (* 1/12 x)) in x 1538293336.965 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.965 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.965 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.965 * [misc]taylor: Taking taylor expansion of x in x 1538293336.965 * [misc]backup-simplify: Simplify 0 into 0 1538293336.965 * [misc]backup-simplify: Simplify 1 into 1 1538293336.965 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293336.965 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293336.966 * [misc]backup-simplify: Simplify (log 1/12) into (log 1/12) 1538293336.966 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293336.966 * [misc]taylor: Taking taylor expansion of E in x 1538293336.966 * [misc]backup-simplify: Simplify E into E 1538293336.966 * [misc]backup-simplify: Simplify (log E) into 1 1538293336.966 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293336.966 * [misc]backup-simplify: Simplify (* (+ (log 1/12) (log x)) 1) into (+ (log 1/12) (log x)) 1538293336.967 * [misc]backup-simplify: Simplify (exp (+ (log 1/12) (log x))) into (exp (+ (log 1/12) (log x))) 1538293336.967 * [misc]taylor: Taking taylor expansion of (pow E (log (* 1/12 x))) in x 1538293336.967 * [misc]taylor: Taking taylor expansion of (exp (* (log (* 1/12 x)) (log E))) in x 1538293336.967 * [misc]taylor: Taking taylor expansion of (* (log (* 1/12 x)) (log E)) in x 1538293336.967 * [misc]taylor: Taking taylor expansion of (log (* 1/12 x)) in x 1538293336.967 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293336.967 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293336.967 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293336.967 * [misc]taylor: Taking taylor expansion of x in x 1538293336.967 * [misc]backup-simplify: Simplify 0 into 0 1538293336.967 * [misc]backup-simplify: Simplify 1 into 1 1538293336.967 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293336.967 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293336.968 * [misc]backup-simplify: Simplify (log 1/12) into (log 1/12) 1538293336.968 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293336.968 * [misc]taylor: Taking taylor expansion of E in x 1538293336.968 * [misc]backup-simplify: Simplify E into E 1538293336.968 * [misc]backup-simplify: Simplify (log E) into 1 1538293336.968 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293336.968 * [misc]backup-simplify: Simplify (* (+ (log 1/12) (log x)) 1) into (+ (log 1/12) (log x)) 1538293336.968 * [misc]backup-simplify: Simplify (exp (+ (log 1/12) (log x))) into (exp (+ (log 1/12) (log x))) 1538293336.969 * [misc]backup-simplify: Simplify (exp (+ (log 1/12) (log x))) into (exp (+ (log 1/12) (log x))) 1538293336.969 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293336.972 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1538293336.972 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 1538293336.974 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1/12 1)))) 1) into 0 1538293336.975 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (* 0 1)) into 0 1538293336.976 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538293336.976 * [misc]backup-simplify: Simplify 0 into 0 1538293336.976 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293336.981 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1538293336.982 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538293336.986 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1/12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1/12 1)))) 2) into 0 1538293336.986 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (+ (* 0 0) (* 0 1))) into 0 1538293336.988 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293336.988 * [misc]backup-simplify: Simplify 0 into 0 1538293336.989 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293336.997 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1538293336.997 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538293337.004 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1/12 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1/12 1)))) 6) into 0 1538293337.004 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538293337.007 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.007 * [misc]backup-simplify: Simplify 0 into 0 1538293337.008 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293337.020 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 1538293337.021 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538293337.030 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1/12 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1/12 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1/12 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1/12 1)))) 24) into 0 1538293337.030 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538293337.034 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.034 * [misc]backup-simplify: Simplify 0 into 0 1538293337.034 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293337.048 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow E 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow E 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow E 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow E 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow E 1)))) 120) into 0 1538293337.048 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538293337.061 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1/12 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1/12 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1/12 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1/12 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1/12 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1/12 1)))) 120) into 0 1538293337.061 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538293337.070 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.070 * [misc]backup-simplify: Simplify 0 into 0 1538293337.071 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log 1/12)) into (+ (log 1/12) (log x)) 1538293337.103 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow E 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow E 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow E 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow E 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow E 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow E 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow E 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow E 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow E 1)))) 720) into 0 1538293337.104 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538293337.123 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1/12 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1/12 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1/12 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1/12 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1/12 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1/12 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1/12 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1/12 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1/12 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1/12 1)))) 720) into 0 1538293337.124 * [misc]backup-simplify: Simplify (+ (* (+ (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538293337.131 * [misc]backup-simplify: Simplify (* (exp (+ (log 1/12) (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.132 * [misc]backup-simplify: Simplify 0 into 0 1538293337.132 * [misc]backup-simplify: Simplify (exp (+ (log 1/12) (log x))) into (exp (+ (log 1/12) (log x))) 1538293337.132 * [misc]backup-simplify: Simplify (pow E (log (* 1/12 (/ 1 x)))) into (pow E (log (/ 1/12 x))) 1538293337.132 * [misc]approximate: Taking taylor expansion of (pow E (log (/ 1/12 x))) in (x) around 0 1538293337.132 * [misc]taylor: Taking taylor expansion of (pow E (log (/ 1/12 x))) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of (exp (* (log (/ 1/12 x)) (log E))) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of (* (log (/ 1/12 x)) (log E)) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of (log (/ 1/12 x)) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.132 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.132 * [misc]taylor: Taking taylor expansion of x in x 1538293337.132 * [misc]backup-simplify: Simplify 0 into 0 1538293337.132 * [misc]backup-simplify: Simplify 1 into 1 1538293337.132 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293337.132 * [misc]backup-simplify: Simplify (log 1/12) into (log 1/12) 1538293337.132 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293337.132 * [misc]taylor: Taking taylor expansion of E in x 1538293337.132 * [misc]backup-simplify: Simplify E into E 1538293337.132 * [misc]backup-simplify: Simplify (log E) into 1 1538293337.133 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.133 * [misc]backup-simplify: Simplify (* (- (log 1/12) (log x)) 1) into (- (log 1/12) (log x)) 1538293337.133 * [misc]backup-simplify: Simplify (exp (- (log 1/12) (log x))) into (exp (- (log 1/12) (log x))) 1538293337.133 * [misc]taylor: Taking taylor expansion of (pow E (log (/ 1/12 x))) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of (exp (* (log (/ 1/12 x)) (log E))) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of (* (log (/ 1/12 x)) (log E)) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of (log (/ 1/12 x)) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.133 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.133 * [misc]taylor: Taking taylor expansion of x in x 1538293337.133 * [misc]backup-simplify: Simplify 0 into 0 1538293337.133 * [misc]backup-simplify: Simplify 1 into 1 1538293337.133 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293337.133 * [misc]backup-simplify: Simplify (log 1/12) into (log 1/12) 1538293337.133 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293337.133 * [misc]taylor: Taking taylor expansion of E in x 1538293337.133 * [misc]backup-simplify: Simplify E into E 1538293337.133 * [misc]backup-simplify: Simplify (log E) into 1 1538293337.134 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.134 * [misc]backup-simplify: Simplify (* (- (log 1/12) (log x)) 1) into (- (log 1/12) (log x)) 1538293337.134 * [misc]backup-simplify: Simplify (exp (- (log 1/12) (log x))) into (exp (- (log 1/12) (log x))) 1538293337.134 * [misc]backup-simplify: Simplify (exp (- (log 1/12) (log x))) into (exp (- (log 1/12) (log x))) 1538293337.134 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.136 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1538293337.136 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1538293337.138 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1/12 1)))) 1) into 0 1538293337.138 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (* 0 1)) into 0 1538293337.139 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538293337.139 * [misc]backup-simplify: Simplify 0 into 0 1538293337.139 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.144 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1538293337.144 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.148 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1/12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1/12 1)))) 2) into 0 1538293337.149 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (+ (* 0 0) (* 0 1))) into 0 1538293337.151 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.151 * [misc]backup-simplify: Simplify 0 into 0 1538293337.152 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.161 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1538293337.162 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.168 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1/12 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1/12 1)))) 6) into 0 1538293337.168 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538293337.170 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.170 * [misc]backup-simplify: Simplify 0 into 0 1538293337.171 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.178 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 1538293337.178 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.185 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1/12 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1/12 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1/12 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1/12 1)))) 24) into 0 1538293337.185 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538293337.189 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.190 * [misc]backup-simplify: Simplify 0 into 0 1538293337.190 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.209 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow E 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow E 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow E 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow E 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow E 1)))) 120) into 0 1538293337.210 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.228 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1/12 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1/12 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1/12 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1/12 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1/12 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1/12 1)))) 120) into 0 1538293337.228 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538293337.237 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.237 * [misc]backup-simplify: Simplify 0 into 0 1538293337.238 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x)) 1538293337.271 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow E 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow E 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow E 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow E 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow E 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow E 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow E 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow E 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow E 1)))) 720) into 0 1538293337.272 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.296 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1/12 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1/12 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1/12 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1/12 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1/12 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1/12 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1/12 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1/12 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1/12 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1/12 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1/12 1)))) 720) into 0 1538293337.296 * [misc]backup-simplify: Simplify (+ (* (- (log 1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538293337.304 * [misc]backup-simplify: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.304 * [misc]backup-simplify: Simplify 0 into 0 1538293337.305 * [misc]backup-simplify: Simplify (exp (- (log 1/12) (log (/ 1 x)))) into (exp (- (log 1/12) (log (/ 1 x)))) 1538293337.305 * [misc]backup-simplify: Simplify (pow E (log (* 1/12 (/ 1 (- x))))) into (pow E (log (/ -1/12 x))) 1538293337.305 * [misc]approximate: Taking taylor expansion of (pow E (log (/ -1/12 x))) in (x) around 0 1538293337.305 * [misc]taylor: Taking taylor expansion of (pow E (log (/ -1/12 x))) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of (exp (* (log (/ -1/12 x)) (log E))) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of (* (log (/ -1/12 x)) (log E)) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of (log (/ -1/12 x)) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293337.305 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293337.305 * [misc]taylor: Taking taylor expansion of x in x 1538293337.305 * [misc]backup-simplify: Simplify 0 into 0 1538293337.305 * [misc]backup-simplify: Simplify 1 into 1 1538293337.305 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293337.305 * [misc]backup-simplify: Simplify (log -1/12) into (log -1/12) 1538293337.305 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293337.305 * [misc]taylor: Taking taylor expansion of E in x 1538293337.305 * [misc]backup-simplify: Simplify E into E 1538293337.305 * [misc]backup-simplify: Simplify (log E) into 1 1538293337.306 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.306 * [misc]backup-simplify: Simplify (* (- (log -1/12) (log x)) 1) into (- (log -1/12) (log x)) 1538293337.306 * [misc]backup-simplify: Simplify (exp (- (log -1/12) (log x))) into (exp (- (log -1/12) (log x))) 1538293337.306 * [misc]taylor: Taking taylor expansion of (pow E (log (/ -1/12 x))) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of (exp (* (log (/ -1/12 x)) (log E))) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of (* (log (/ -1/12 x)) (log E)) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of (log (/ -1/12 x)) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293337.306 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293337.306 * [misc]taylor: Taking taylor expansion of x in x 1538293337.306 * [misc]backup-simplify: Simplify 0 into 0 1538293337.306 * [misc]backup-simplify: Simplify 1 into 1 1538293337.306 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293337.306 * [misc]backup-simplify: Simplify (log -1/12) into (log -1/12) 1538293337.306 * [misc]taylor: Taking taylor expansion of (log E) in x 1538293337.306 * [misc]taylor: Taking taylor expansion of E in x 1538293337.306 * [misc]backup-simplify: Simplify E into E 1538293337.306 * [misc]backup-simplify: Simplify (log E) into 1 1538293337.307 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.307 * [misc]backup-simplify: Simplify (* (- (log -1/12) (log x)) 1) into (- (log -1/12) (log x)) 1538293337.307 * [misc]backup-simplify: Simplify (exp (- (log -1/12) (log x))) into (exp (- (log -1/12) (log x))) 1538293337.307 * [misc]backup-simplify: Simplify (exp (- (log -1/12) (log x))) into (exp (- (log -1/12) (log x))) 1538293337.307 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.309 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1538293337.309 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 1538293337.311 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1/12 1)))) 1) into 0 1538293337.311 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (* 0 1)) into 0 1538293337.312 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538293337.312 * [misc]backup-simplify: Simplify 0 into 0 1538293337.312 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.315 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1538293337.315 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.318 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1/12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1/12 1)))) 2) into 0 1538293337.318 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (+ (* 0 0) (* 0 1))) into 0 1538293337.319 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.319 * [misc]backup-simplify: Simplify 0 into 0 1538293337.319 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.324 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1538293337.324 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.328 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1/12 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1/12 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1/12 1)))) 6) into 0 1538293337.329 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538293337.330 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.331 * [misc]backup-simplify: Simplify 0 into 0 1538293337.331 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.339 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 1538293337.339 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.346 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1/12 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1/12 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1/12 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1/12 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1/12 1)))) 24) into 0 1538293337.346 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538293337.349 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.349 * [misc]backup-simplify: Simplify 0 into 0 1538293337.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.362 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow E 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow E 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow E 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow E 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow E 1)))) 120) into 0 1538293337.362 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.373 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1/12 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1/12 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1/12 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1/12 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1/12 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1/12 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1/12 1)))) 120) into 0 1538293337.373 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538293337.379 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538293337.379 * [misc]backup-simplify: Simplify 0 into 0 1538293337.380 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x)) 1538293337.399 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow E 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow E 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow E 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow E 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow E 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow E 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow E 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow E 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow E 1)))) 720) into 0 1538293337.399 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.415 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1/12 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1/12 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1/12 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1/12 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1/12 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1/12 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1/12 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1/12 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1/12 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1/12 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1/12 1)))) 720) into 0 1538293337.416 * [misc]backup-simplify: Simplify (+ (* (- (log -1/12) (log x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538293337.424 * [misc]backup-simplify: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538293337.424 * [misc]backup-simplify: Simplify 0 into 0 1538293337.424 * [misc]backup-simplify: Simplify (exp (- (log -1/12) (log (/ 1 (- x))))) into (exp (- (log -1/12) (log (/ -1 x)))) 1538293337.424 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 2 1) 1538293337.424 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293337.424 * [misc]approximate: Taking taylor expansion of (* 1/12 x) in (x) around 0 1538293337.424 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293337.424 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.424 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.424 * [misc]taylor: Taking taylor expansion of x in x 1538293337.424 * [misc]backup-simplify: Simplify 0 into 0 1538293337.424 * [misc]backup-simplify: Simplify 1 into 1 1538293337.424 * [misc]taylor: Taking taylor expansion of (* 1/12 x) in x 1538293337.424 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.424 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.424 * [misc]taylor: Taking taylor expansion of x in x 1538293337.424 * [misc]backup-simplify: Simplify 0 into 0 1538293337.424 * [misc]backup-simplify: Simplify 1 into 1 1538293337.424 * [misc]backup-simplify: Simplify (* 1/12 0) into 0 1538293337.425 * [misc]backup-simplify: Simplify 0 into 0 1538293337.425 * [misc]backup-simplify: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 1538293337.425 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.425 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 1538293337.425 * [misc]backup-simplify: Simplify 0 into 0 1538293337.425 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538293337.425 * [misc]backup-simplify: Simplify 0 into 0 1538293337.425 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538293337.425 * [misc]backup-simplify: Simplify 0 into 0 1538293337.426 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538293337.426 * [misc]backup-simplify: Simplify 0 into 0 1538293337.426 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538293337.426 * [misc]backup-simplify: Simplify 0 into 0 1538293337.426 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538293337.426 * [misc]backup-simplify: Simplify 0 into 0 1538293337.426 * [misc]backup-simplify: Simplify (* 1/12 x) into (* 1/12 x) 1538293337.426 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 1538293337.426 * [misc]approximate: Taking taylor expansion of (/ 1/12 x) in (x) around 0 1538293337.426 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293337.426 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.426 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.426 * [misc]taylor: Taking taylor expansion of x in x 1538293337.426 * [misc]backup-simplify: Simplify 0 into 0 1538293337.426 * [misc]backup-simplify: Simplify 1 into 1 1538293337.427 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293337.427 * [misc]taylor: Taking taylor expansion of (/ 1/12 x) in x 1538293337.427 * [misc]taylor: Taking taylor expansion of 1/12 in x 1538293337.427 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.427 * [misc]taylor: Taking taylor expansion of x in x 1538293337.427 * [misc]backup-simplify: Simplify 0 into 0 1538293337.427 * [misc]backup-simplify: Simplify 1 into 1 1538293337.427 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1538293337.427 * [misc]backup-simplify: Simplify 1/12 into 1/12 1538293337.427 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1538293337.427 * [misc]backup-simplify: Simplify 0 into 0 1538293337.427 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.427 * [misc]backup-simplify: Simplify 0 into 0 1538293337.427 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.428 * [misc]backup-simplify: Simplify 0 into 0 1538293337.428 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.428 * [misc]backup-simplify: Simplify 0 into 0 1538293337.428 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.428 * [misc]backup-simplify: Simplify 0 into 0 1538293337.428 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.428 * [misc]backup-simplify: Simplify 0 into 0 1538293337.428 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 1538293337.429 * [misc]backup-simplify: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 1538293337.429 * [misc]approximate: Taking taylor expansion of (/ -1/12 x) in (x) around 0 1538293337.429 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293337.429 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293337.429 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293337.429 * [misc]taylor: Taking taylor expansion of x in x 1538293337.429 * [misc]backup-simplify: Simplify 0 into 0 1538293337.429 * [misc]backup-simplify: Simplify 1 into 1 1538293337.429 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293337.429 * [misc]taylor: Taking taylor expansion of (/ -1/12 x) in x 1538293337.429 * [misc]taylor: Taking taylor expansion of -1/12 in x 1538293337.429 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293337.429 * [misc]taylor: Taking taylor expansion of x in x 1538293337.429 * [misc]backup-simplify: Simplify 0 into 0 1538293337.429 * [misc]backup-simplify: Simplify 1 into 1 1538293337.429 * [misc]backup-simplify: Simplify (/ -1/12 1) into -1/12 1538293337.429 * [misc]backup-simplify: Simplify -1/12 into -1/12 1538293337.429 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 1538293337.429 * [misc]backup-simplify: Simplify 0 into 0 1538293337.429 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.429 * [misc]backup-simplify: Simplify 0 into 0 1538293337.430 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.430 * [misc]backup-simplify: Simplify 0 into 0 1538293337.430 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.430 * [misc]backup-simplify: Simplify 0 into 0 1538293337.430 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.430 * [misc]backup-simplify: Simplify 0 into 0 1538293337.431 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538293337.431 * [misc]backup-simplify: Simplify 0 into 0 1538293337.431 * [misc]backup-simplify: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 1538293337.431 * * * [misc]progress: simplifying candidates 1538293337.431 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1538293337.431 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1538293337.431 * [enter]simplify: Simplifying (log (* 1/12 x)) 1538293337.431 * * [misc]simplify: iters left: 3 (4 enodes) 1538293337.433 * * [misc]simplify: iters left: 2 (8 enodes) 1538293337.434 * * [misc]simplify: iters left: 1 (9 enodes) 1538293337.437 * [exit]simplify: Simplified to (log (* 1/12 x)) 1538293337.437 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (pow (pow E 1) (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293337.437 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1538293337.438 * [enter]simplify: Simplifying (cbrt (log (* 1/12 x))) 1538293337.438 * * [misc]simplify: iters left: 4 (5 enodes) 1538293337.441 * * [misc]simplify: iters left: 3 (9 enodes) 1538293337.444 * * [misc]simplify: iters left: 2 (10 enodes) 1538293337.448 * [exit]simplify: Simplified to (cbrt (log (* 1/12 x))) 1538293337.448 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (pow (pow E (* (cbrt (log (* 1/12 x))) (cbrt (log (* 1/12 x))))) (cbrt (log (* 1/12 x)))) (+ (/ 1 x) 1/2))) 1538293337.448 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1538293337.449 * [enter]simplify: Simplifying (sqrt (log (* 1/12 x))) 1538293337.449 * * [misc]simplify: iters left: 4 (5 enodes) 1538293337.453 * * [misc]simplify: iters left: 3 (9 enodes) 1538293337.456 * * [misc]simplify: iters left: 2 (10 enodes) 1538293337.458 * [exit]simplify: Simplified to (sqrt (log (* 1/12 x))) 1538293337.458 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (pow (pow E (sqrt (log (* 1/12 x)))) (sqrt (log (* 1/12 x)))) (+ (/ 1 x) 1/2))) 1538293337.458 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1538293337.458 * [enter]simplify: Simplifying (log (* 1/12 x)) 1538293337.459 * * [misc]simplify: iters left: 3 (4 enodes) 1538293337.460 * * [misc]simplify: iters left: 2 (8 enodes) 1538293337.462 * * [misc]simplify: iters left: 1 (9 enodes) 1538293337.464 * [exit]simplify: Simplified to (log (* 1/12 x)) 1538293337.464 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (pow (pow E 1) (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293337.464 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1538293337.464 * [enter]simplify: Simplifying (pow E (log x)) 1538293337.464 * * [misc]simplify: iters left: 2 (4 enodes) 1538293337.465 * * [misc]simplify: iters left: 1 (6 enodes) 1538293337.466 * [exit]simplify: Simplified to (pow E (log x)) 1538293337.466 * [misc]simplify: Simplified (2 1 2) to (λ (x) (+ (* (pow E (log 1/12)) (pow E (log x))) (+ (/ 1 x) 1/2))) 1538293337.466 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1538293337.466 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1538293337.467 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1538293337.467 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1538293337.467 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1538293337.467 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate # 1538293337.467 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1538293337.467 * [enter]simplify: Simplifying (exp (+ (log 1/12) (log x))) 1538293337.467 * * [misc]simplify: iters left: 4 (6 enodes) 1538293337.469 * * [misc]simplify: iters left: 3 (10 enodes) 1538293337.472 * * [misc]simplify: iters left: 2 (11 enodes) 1538293337.474 * [exit]simplify: Simplified to (* 1/12 x) 1538293337.474 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293337.474 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1538293337.474 * [enter]simplify: Simplifying (exp (- (log 1/12) (log (/ 1 x)))) 1538293337.475 * * [misc]simplify: iters left: 6 (8 enodes) 1538293337.478 * * [misc]simplify: iters left: 5 (19 enodes) 1538293337.481 * * [misc]simplify: iters left: 4 (24 enodes) 1538293337.486 * * [misc]simplify: iters left: 3 (31 enodes) 1538293337.489 * [exit]simplify: Simplified to (* 1/12 x) 1538293337.489 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1538293337.489 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1538293337.490 * [enter]simplify: Simplifying (exp (- (log -1/12) (log (/ -1 x)))) 1538293337.490 * * [misc]simplify: iters left: 6 (8 enodes) 1538293337.493 * * [misc]simplify: iters left: 5 (16 enodes) 1538293337.497 * * [misc]simplify: iters left: 4 (26 enodes) 1538293337.503 * * [misc]simplify: iters left: 3 (37 enodes) 1538293337.511 * * [misc]simplify: iters left: 2 (51 enodes) 1538293337.522 * * [misc]simplify: iters left: 1 (80 enodes) 1538293337.538 * [exit]simplify: Simplified to (* x 1/12) 1538293337.539 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (* x 1/12) (+ (/ 1 x) 1/2))) 1538293337.539 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1538293337.539 * [enter]simplify: Simplifying (* 1/12 x) 1538293337.539 * * [misc]simplify: iters left: 2 (3 enodes) 1538293337.539 * * [misc]simplify: iters left: 1 (4 enodes) 1538293337.540 * [exit]simplify: Simplified to (* 1/12 x) 1538293337.540 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (+ (pow E (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293337.540 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1538293337.540 * [enter]simplify: Simplifying (* 1/12 x) 1538293337.540 * * [misc]simplify: iters left: 2 (3 enodes) 1538293337.541 * * [misc]simplify: iters left: 1 (4 enodes) 1538293337.542 * [exit]simplify: Simplified to (* 1/12 x) 1538293337.542 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (+ (pow E (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293337.542 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1538293337.542 * [enter]simplify: Simplifying (* 1/12 x) 1538293337.542 * * [misc]simplify: iters left: 2 (3 enodes) 1538293337.543 * * [misc]simplify: iters left: 1 (4 enodes) 1538293337.543 * [exit]simplify: Simplified to (* 1/12 x) 1538293337.543 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (+ (pow E (log (* 1/12 x))) (+ (/ 1 x) 1/2))) 1538293337.543 * * * [misc]progress: adding candidates to table 1538293337.947 * [misc]progress: [Phase 3 of 3] Extracting. 1538293337.947 * * [misc]regime: Finding splitpoints for: (# # # #) 1538293337.948 * * * [misc]regime-changes: Trying 3 branch expressions: (x (exp x) (/ (exp x) (- (exp x) 1))) 1538293337.948 * * * * [misc]regimes: Trying to branch on x from (# # # #) 1538293337.986 * * * * [misc]regimes: Trying to branch on (exp x) from (# # # #) 1538293338.021 * * * * [misc]regimes: Trying to branch on (exp x) from (# #) 1538293338.045 * * * * [misc]regimes: Trying to branch on (/ (exp x) (- (exp x) 1)) from (# # # #) 1538293338.102 * * * [misc]regime: Found split indices: #