1545295053.185 * [misc]progress: [Phase 1 of 3] Setting up. 1545295053.185 * * * [misc]progress: [1/2] Preparing points 1545295053.185 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545295053.288 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.289 * * * * [misc]points: Sampling 133 additional inputs, on iter 1 have 123 / 256 1545295053.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.337 * * * * [misc]points: Sampling 67 additional inputs, on iter 2 have 189 / 256 1545295053.363 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.363 * * * * [misc]points: Sampling 29 additional inputs, on iter 3 have 227 / 256 1545295053.371 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.371 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1545295053.375 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.375 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1545295053.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.376 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545295053.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.378 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1545295053.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1545295053.380 * * * * [exit]points: Sampled 257 points with exact outputs 1545295053.380 * * * [misc]progress: [2/2] Setting up program. 1545295053.382 * [misc]progress: [Phase 2 of 3] Improving. 1545295053.382 * [enter]simplify: Simplifying (+ (- (exp x) 2) (exp (- x))) 1545295053.383 * * [misc]simplify: iters left: 5 (7 enodes) 1545295053.384 * * [misc]simplify: iters left: 4 (15 enodes) 1545295053.386 * * [misc]simplify: iters left: 3 (27 enodes) 1545295053.390 * * [misc]simplify: iters left: 2 (43 enodes) 1545295053.395 * * [misc]simplify: iters left: 1 (57 enodes) 1545295053.401 * [exit]simplify: Simplified to (- (- (exp x) 2) (/ -1 (exp x))) 1545295053.407 * * [misc]progress: iteration 1 / 4 1545295053.407 * * * [misc]progress: picking best candidate 1545295053.412 * * * * [misc]pick: Picked # 1545295053.412 * * * [misc]progress: localizing error 1545295053.435 * * * [misc]progress: generating rewritten candidates 1545295053.435 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1545295053.471 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1545295053.476 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2) 1545295053.478 * * * [misc]progress: generating series expansions 1545295053.478 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1545295053.479 * [misc]backup-simplify: Simplify (- (- (exp x) 2) (/ -1 (exp x))) into (- (+ (exp x) (/ 1 (exp x))) 2) 1545295053.479 * [misc]approximate: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x))) 2) in (x) around 0 1545295053.479 * [misc]taylor: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x))) 2) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of x in x 1545295053.479 * [misc]backup-simplify: Simplify 0 into 0 1545295053.479 * [misc]backup-simplify: Simplify 1 into 1 1545295053.479 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.479 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of x in x 1545295053.479 * [misc]backup-simplify: Simplify 0 into 0 1545295053.479 * [misc]backup-simplify: Simplify 1 into 1 1545295053.479 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.479 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.479 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.479 * [misc]backup-simplify: Simplify 2 into 2 1545295053.479 * [misc]taylor: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x))) 2) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of x in x 1545295053.479 * [misc]backup-simplify: Simplify 0 into 0 1545295053.479 * [misc]backup-simplify: Simplify 1 into 1 1545295053.479 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.479 * [misc]taylor: Taking taylor expansion of (/ 1 (exp x)) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.479 * [misc]taylor: Taking taylor expansion of x in x 1545295053.479 * [misc]backup-simplify: Simplify 0 into 0 1545295053.479 * [misc]backup-simplify: Simplify 1 into 1 1545295053.479 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.480 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.480 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.480 * [misc]backup-simplify: Simplify 2 into 2 1545295053.480 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545295053.480 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.480 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545295053.480 * [misc]backup-simplify: Simplify 0 into 0 1545295053.481 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295053.482 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295053.482 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545295053.482 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545295053.482 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.482 * [misc]backup-simplify: Simplify 0 into 0 1545295053.484 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295053.485 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295053.485 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1545295053.486 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1545295053.486 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.486 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295053.486 * [misc]backup-simplify: Simplify 1 into 1 1545295053.488 * [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 1545295053.490 * [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 1545295053.491 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6 1545295053.491 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1545295053.491 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.491 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.491 * [misc]backup-simplify: Simplify 0 into 0 1545295053.495 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1545295053.498 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1545295053.499 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24 1545295053.499 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1545295053.499 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.499 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295053.499 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295053.505 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1545295053.511 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1545295053.511 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/120 1)) (* -1 (/ 1/24 1)) (* 1/2 (/ 1/6 1)) (* -1/6 (/ 1/2 1)) (* 1/24 (/ 1 1)))) into -1/120 1545295053.511 * [misc]backup-simplify: Simplify (+ 1/120 -1/120) into 0 1545295053.511 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.511 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.511 * [misc]backup-simplify: Simplify 0 into 0 1545295053.521 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 6) 720)) (* (/ (pow 1 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 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 1/720 1545295053.538 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 6) 720)) (* (/ (pow 1 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 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 1/720 1545295053.538 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/720 1)) (* -1 (/ 1/120 1)) (* 1/2 (/ 1/24 1)) (* -1/6 (/ 1/6 1)) (* 1/24 (/ 1/2 1)) (* -1/120 (/ 1 1)))) into 1/720 1545295053.539 * [misc]backup-simplify: Simplify (+ 1/720 1/720) into 1/360 1545295053.539 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.539 * [misc]backup-simplify: Simplify (+ 1/360 0) into 1/360 1545295053.539 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295053.539 * [misc]backup-simplify: Simplify (+ (* 1/360 (pow x 6)) (+ (* 1/12 (pow x 4)) (* 1 (pow x 2)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295053.540 * [misc]backup-simplify: Simplify (- (- (exp (/ 1 x)) 2) (/ -1 (exp (/ 1 x)))) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) 1545295053.540 * [misc]approximate: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) in (x) around 0 1545295053.540 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of x in x 1545295053.540 * [misc]backup-simplify: Simplify 0 into 0 1545295053.540 * [misc]backup-simplify: Simplify 1 into 1 1545295053.540 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.540 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.540 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.540 * [misc]taylor: Taking taylor expansion of x in x 1545295053.540 * [misc]backup-simplify: Simplify 0 into 0 1545295053.540 * [misc]backup-simplify: Simplify 1 into 1 1545295053.540 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.540 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.541 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1545295053.541 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.541 * [misc]backup-simplify: Simplify 2 into 2 1545295053.541 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of x in x 1545295053.541 * [misc]backup-simplify: Simplify 0 into 0 1545295053.541 * [misc]backup-simplify: Simplify 1 into 1 1545295053.541 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.541 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.541 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.541 * [misc]taylor: Taking taylor expansion of x in x 1545295053.541 * [misc]backup-simplify: Simplify 0 into 0 1545295053.541 * [misc]backup-simplify: Simplify 1 into 1 1545295053.541 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.541 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.542 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x))) 1545295053.542 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.542 * [misc]backup-simplify: Simplify 2 into 2 1545295053.542 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 1545295053.542 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.542 * [misc]backup-simplify: Simplify (+ (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) -2) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) 1545295053.542 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2) 1545295053.543 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1545295053.543 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.543 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.543 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.543 * [misc]backup-simplify: Simplify 0 into 0 1545295053.543 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.544 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.544 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.544 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.544 * [misc]backup-simplify: Simplify 0 into 0 1545295053.544 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.544 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.545 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.545 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.545 * [misc]backup-simplify: Simplify 0 into 0 1545295053.545 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.545 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.546 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.546 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.546 * [misc]backup-simplify: Simplify 0 into 0 1545295053.546 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.546 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.547 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.547 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.547 * [misc]backup-simplify: Simplify 0 into 0 1545295053.547 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.547 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.548 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.548 * [misc]backup-simplify: Simplify 0 into 0 1545295053.548 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x))))) 2) into (- (+ (exp x) (/ 1 (exp x))) 2) 1545295053.548 * [misc]backup-simplify: Simplify (- (- (exp (/ 1 (- x))) 2) (/ -1 (exp (/ 1 (- x))))) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) 1545295053.548 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) in (x) around 0 1545295053.548 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) in x 1545295053.548 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x 1545295053.548 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 1545295053.548 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.548 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.548 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.549 * [misc]backup-simplify: Simplify -1 into -1 1545295053.549 * [misc]taylor: Taking taylor expansion of x in x 1545295053.549 * [misc]backup-simplify: Simplify 0 into 0 1545295053.549 * [misc]backup-simplify: Simplify 1 into 1 1545295053.549 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.549 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.549 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 1545295053.549 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.549 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.549 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.549 * [misc]backup-simplify: Simplify -1 into -1 1545295053.549 * [misc]taylor: Taking taylor expansion of x in x 1545295053.549 * [misc]backup-simplify: Simplify 0 into 0 1545295053.549 * [misc]backup-simplify: Simplify 1 into 1 1545295053.549 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.549 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.549 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.549 * [misc]backup-simplify: Simplify 2 into 2 1545295053.549 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) in x 1545295053.549 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x 1545295053.549 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 1545295053.550 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.550 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.550 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.550 * [misc]backup-simplify: Simplify -1 into -1 1545295053.550 * [misc]taylor: Taking taylor expansion of x in x 1545295053.550 * [misc]backup-simplify: Simplify 0 into 0 1545295053.550 * [misc]backup-simplify: Simplify 1 into 1 1545295053.550 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.550 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.550 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x))) 1545295053.550 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.550 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.550 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.550 * [misc]backup-simplify: Simplify -1 into -1 1545295053.550 * [misc]taylor: Taking taylor expansion of x in x 1545295053.550 * [misc]backup-simplify: Simplify 0 into 0 1545295053.550 * [misc]backup-simplify: Simplify 1 into 1 1545295053.550 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.550 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.550 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.550 * [misc]backup-simplify: Simplify 2 into 2 1545295053.551 * [misc]backup-simplify: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 1545295053.551 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.551 * [misc]backup-simplify: Simplify (+ (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) -2) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) 1545295053.551 * [misc]backup-simplify: Simplify (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2) 1545295053.551 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1545295053.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.552 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.552 * [misc]backup-simplify: Simplify 0 into 0 1545295053.552 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.553 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.553 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.553 * [misc]backup-simplify: Simplify 0 into 0 1545295053.553 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.553 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.553 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.554 * [misc]backup-simplify: Simplify 0 into 0 1545295053.554 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.554 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.555 * [misc]backup-simplify: Simplify 0 into 0 1545295053.555 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.555 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.555 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.555 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.555 * [misc]backup-simplify: Simplify 0 into 0 1545295053.556 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.556 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.556 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.557 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.557 * [misc]backup-simplify: Simplify 0 into 0 1545295053.557 * [misc]backup-simplify: Simplify (- (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x))))) 2) into (- (+ (exp x) (/ 1 (exp x))) 2) 1545295053.557 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1545295053.557 * [misc]backup-simplify: Simplify (- (exp x) 2) into (- (exp x) 2) 1545295053.557 * [misc]approximate: Taking taylor expansion of (- (exp x) 2) in (x) around 0 1545295053.557 * [misc]taylor: Taking taylor expansion of (- (exp x) 2) in x 1545295053.557 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.557 * [misc]taylor: Taking taylor expansion of x in x 1545295053.557 * [misc]backup-simplify: Simplify 0 into 0 1545295053.557 * [misc]backup-simplify: Simplify 1 into 1 1545295053.557 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.557 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.557 * [misc]backup-simplify: Simplify 2 into 2 1545295053.557 * [misc]taylor: Taking taylor expansion of (- (exp x) 2) in x 1545295053.557 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.557 * [misc]taylor: Taking taylor expansion of x in x 1545295053.557 * [misc]backup-simplify: Simplify 0 into 0 1545295053.557 * [misc]backup-simplify: Simplify 1 into 1 1545295053.557 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.557 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.557 * [misc]backup-simplify: Simplify 2 into 2 1545295053.558 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.558 * [misc]backup-simplify: Simplify (+ 1 -2) into -1 1545295053.558 * [misc]backup-simplify: Simplify -1 into -1 1545295053.559 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295053.559 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.559 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295053.560 * [misc]backup-simplify: Simplify 1 into 1 1545295053.561 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295053.561 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.561 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545295053.561 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545295053.561 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) -1)) into (- (+ x (* 1/2 (pow x 2))) 1) 1545295053.561 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 2) into (- (exp (/ 1 x)) 2) 1545295053.561 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 2) in (x) around 0 1545295053.561 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x 1545295053.561 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.561 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.561 * [misc]taylor: Taking taylor expansion of x in x 1545295053.561 * [misc]backup-simplify: Simplify 0 into 0 1545295053.561 * [misc]backup-simplify: Simplify 1 into 1 1545295053.562 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.562 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.562 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.562 * [misc]backup-simplify: Simplify 2 into 2 1545295053.562 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x 1545295053.562 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.562 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.562 * [misc]taylor: Taking taylor expansion of x in x 1545295053.562 * [misc]backup-simplify: Simplify 0 into 0 1545295053.562 * [misc]backup-simplify: Simplify 1 into 1 1545295053.562 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.562 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.562 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.562 * [misc]backup-simplify: Simplify 2 into 2 1545295053.562 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.562 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -2) into (- (exp (/ 1 x)) 2) 1545295053.562 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 2) into (- (exp (/ 1 x)) 2) 1545295053.562 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.562 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.562 * [misc]backup-simplify: Simplify 0 into 0 1545295053.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify 0 into 0 1545295053.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify 0 into 0 1545295053.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify 0 into 0 1545295053.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.563 * [misc]backup-simplify: Simplify 0 into 0 1545295053.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.564 * [misc]backup-simplify: Simplify 0 into 0 1545295053.564 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 2) into (- (exp x) 2) 1545295053.564 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 2) into (- (exp (/ -1 x)) 2) 1545295053.564 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 2) in (x) around 0 1545295053.564 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.564 * [misc]backup-simplify: Simplify -1 into -1 1545295053.564 * [misc]taylor: Taking taylor expansion of x in x 1545295053.564 * [misc]backup-simplify: Simplify 0 into 0 1545295053.564 * [misc]backup-simplify: Simplify 1 into 1 1545295053.564 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.564 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.564 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.564 * [misc]backup-simplify: Simplify 2 into 2 1545295053.564 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.564 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.564 * [misc]backup-simplify: Simplify -1 into -1 1545295053.564 * [misc]taylor: Taking taylor expansion of x in x 1545295053.564 * [misc]backup-simplify: Simplify 0 into 0 1545295053.564 * [misc]backup-simplify: Simplify 1 into 1 1545295053.564 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.564 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.564 * [misc]taylor: Taking taylor expansion of 2 in x 1545295053.564 * [misc]backup-simplify: Simplify 2 into 2 1545295053.564 * [misc]backup-simplify: Simplify (- 2) into -2 1545295053.565 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -2) into (- (exp (/ -1 x)) 2) 1545295053.565 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 2) into (- (exp (/ -1 x)) 2) 1545295053.565 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify 0 into 0 1545295053.565 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify 0 into 0 1545295053.565 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify 0 into 0 1545295053.565 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.565 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.566 * [misc]backup-simplify: Simplify 0 into 0 1545295053.566 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.566 * [misc]backup-simplify: Simplify 0 into 0 1545295053.566 * [misc]backup-simplify: Simplify (- 0) into 0 1545295053.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295053.566 * [misc]backup-simplify: Simplify 0 into 0 1545295053.566 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 2) into (- (exp x) 2) 1545295053.566 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2) 1545295053.566 * [misc]backup-simplify: Simplify (/ -1 (exp x)) into (/ -1 (exp x)) 1545295053.566 * [misc]approximate: Taking taylor expansion of (/ -1 (exp x)) in (x) around 0 1545295053.566 * [misc]taylor: Taking taylor expansion of (/ -1 (exp x)) in x 1545295053.566 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.566 * [misc]backup-simplify: Simplify -1 into -1 1545295053.566 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.566 * [misc]taylor: Taking taylor expansion of x in x 1545295053.566 * [misc]backup-simplify: Simplify 0 into 0 1545295053.566 * [misc]backup-simplify: Simplify 1 into 1 1545295053.566 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.566 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.566 * [misc]taylor: Taking taylor expansion of (/ -1 (exp x)) in x 1545295053.566 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.566 * [misc]backup-simplify: Simplify -1 into -1 1545295053.566 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295053.566 * [misc]taylor: Taking taylor expansion of x in x 1545295053.566 * [misc]backup-simplify: Simplify 0 into 0 1545295053.567 * [misc]backup-simplify: Simplify 1 into 1 1545295053.567 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295053.567 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.567 * [misc]backup-simplify: Simplify -1 into -1 1545295053.568 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295053.568 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1545295053.568 * [misc]backup-simplify: Simplify 1 into 1 1545295053.569 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295053.570 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1/2 1)) (* 1 (/ 1 1)))) into -1/2 1545295053.570 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545295053.570 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (* 1/2 (pow x 2)) 1)) 1545295053.570 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x))) 1545295053.570 * [misc]approximate: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in (x) around 0 1545295053.570 * [misc]taylor: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.570 * [misc]backup-simplify: Simplify -1 into -1 1545295053.570 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of x in x 1545295053.570 * [misc]backup-simplify: Simplify 0 into 0 1545295053.570 * [misc]backup-simplify: Simplify 1 into 1 1545295053.570 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.570 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.570 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x))) 1545295053.570 * [misc]taylor: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.570 * [misc]backup-simplify: Simplify -1 into -1 1545295053.570 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295053.570 * [misc]taylor: Taking taylor expansion of x in x 1545295053.570 * [misc]backup-simplify: Simplify 0 into 0 1545295053.570 * [misc]backup-simplify: Simplify 1 into 1 1545295053.570 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295053.570 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295053.571 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x))) 1545295053.571 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x))) 1545295053.571 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1545295053.571 * [misc]backup-simplify: Simplify 0 into 0 1545295053.571 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.571 * [misc]backup-simplify: Simplify 0 into 0 1545295053.571 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.571 * [misc]backup-simplify: Simplify 0 into 0 1545295053.571 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.571 * [misc]backup-simplify: Simplify 0 into 0 1545295053.572 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.572 * [misc]backup-simplify: Simplify 0 into 0 1545295053.572 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1545295053.572 * [misc]backup-simplify: Simplify 0 into 0 1545295053.572 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 (/ 1 x)))) into (/ -1 (exp x)) 1545295053.572 * [misc]backup-simplify: Simplify (/ -1 (exp (/ 1 (- x)))) into (/ -1 (exp (/ -1 x))) 1545295053.572 * [misc]approximate: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in (x) around 0 1545295053.572 * [misc]taylor: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x 1545295053.572 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.572 * [misc]backup-simplify: Simplify -1 into -1 1545295053.572 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.572 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.572 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.572 * [misc]backup-simplify: Simplify -1 into -1 1545295053.572 * [misc]taylor: Taking taylor expansion of x in x 1545295053.572 * [misc]backup-simplify: Simplify 0 into 0 1545295053.572 * [misc]backup-simplify: Simplify 1 into 1 1545295053.573 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.573 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.573 * [misc]backup-simplify: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x))) 1545295053.573 * [misc]taylor: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x 1545295053.573 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.573 * [misc]backup-simplify: Simplify -1 into -1 1545295053.573 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295053.573 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295053.573 * [misc]taylor: Taking taylor expansion of -1 in x 1545295053.573 * [misc]backup-simplify: Simplify -1 into -1 1545295053.573 * [misc]taylor: Taking taylor expansion of x in x 1545295053.573 * [misc]backup-simplify: Simplify 0 into 0 1545295053.573 * [misc]backup-simplify: Simplify 1 into 1 1545295053.573 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295053.573 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295053.573 * [misc]backup-simplify: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x))) 1545295053.573 * [misc]backup-simplify: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x))) 1545295053.573 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1545295053.573 * [misc]backup-simplify: Simplify 0 into 0 1545295053.573 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.574 * [misc]backup-simplify: Simplify 0 into 0 1545295053.574 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.574 * [misc]backup-simplify: Simplify 0 into 0 1545295053.574 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.574 * [misc]backup-simplify: Simplify 0 into 0 1545295053.574 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.574 * [misc]backup-simplify: Simplify 0 into 0 1545295053.575 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1545295053.575 * [misc]backup-simplify: Simplify 0 into 0 1545295053.575 * [misc]backup-simplify: Simplify (/ -1 (exp (/ -1 (/ 1 (- x))))) into (/ -1 (exp x)) 1545295053.575 * * * [misc]progress: simplifying candidates 1545295053.575 * * * * [misc]progress: [ 1 / 52 ] simplifiying candidate # 1545295053.575 * [enter]simplify: Simplifying (/ (exp (- (exp x) 2)) (exp (/ -1 (exp x)))) 1545295053.575 * * [misc]simplify: iters left: 6 (9 enodes) 1545295053.577 * * [misc]simplify: iters left: 5 (17 enodes) 1545295053.580 * * [misc]simplify: iters left: 4 (28 enodes) 1545295053.585 * * [misc]simplify: iters left: 3 (57 enodes) 1545295053.594 * * [misc]simplify: iters left: 2 (95 enodes) 1545295053.608 * * [misc]simplify: iters left: 1 (155 enodes) 1545295053.649 * [exit]simplify: Simplified to (exp (- (- (exp x) 2) (/ -1 (exp x)))) 1545295053.650 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (- (- (exp x) 2) (/ -1 (exp x)))))) 1545295053.650 * * * * [misc]progress: [ 2 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 3 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 4 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 5 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 6 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 7 / 52 ] simplifiying candidate # 1545295053.650 * * * * [misc]progress: [ 8 / 52 ] simplifiying candidate # 1545295053.650 * [enter]simplify: Simplifying (- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1)) 1545295053.651 * * [misc]simplify: iters left: 6 (16 enodes) 1545295053.658 * * [misc]simplify: iters left: 5 (37 enodes) 1545295053.670 * * [misc]simplify: iters left: 4 (77 enodes) 1545295053.708 * * [misc]simplify: iters left: 3 (222 enodes) 1545295053.932 * [exit]simplify: Simplified to (+ (* -8 (exp x)) (+ (* (exp x) (+ (exp x) 2)) (+ 4 (pow (exp x) 4)))) 1545295053.932 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (* -8 (exp x)) (+ (* (exp x) (+ (exp x) 2)) (+ 4 (pow (exp x) 4)))) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x)))) 1545295053.932 * [enter]simplify: Simplifying (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x)) 1545295053.933 * * [misc]simplify: iters left: 6 (9 enodes) 1545295053.937 * * [misc]simplify: iters left: 5 (20 enodes) 1545295053.942 * * [misc]simplify: iters left: 4 (39 enodes) 1545295053.959 * * [misc]simplify: iters left: 3 (72 enodes) 1545295053.979 * * [misc]simplify: iters left: 2 (125 enodes) 1545295053.998 * * [misc]simplify: iters left: 1 (154 enodes) 1545295054.026 * [exit]simplify: Simplified to (+ (* (+ (exp x) 2) (exp (+ x x))) (* 4 (exp x))) 1545295054.026 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (* -8 (exp x)) (+ (* (exp x) (+ (exp x) 2)) (+ 4 (pow (exp x) 4)))) (+ (* (+ (exp x) 2) (exp (+ x x))) (* 4 (exp x))))) 1545295054.026 * * * * [misc]progress: [ 9 / 52 ] simplifiying candidate # 1545295054.026 * [enter]simplify: Simplifying (- (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) -1)) 1545295054.026 * * [misc]simplify: iters left: 6 (11 enodes) 1545295054.032 * * [misc]simplify: iters left: 5 (24 enodes) 1545295054.042 * * [misc]simplify: iters left: 4 (55 enodes) 1545295054.060 * * [misc]simplify: iters left: 3 (136 enodes) 1545295054.182 * [exit]simplify: Simplified to (+ (+ 2 (exp x)) (+ (pow (exp x) 3) (* (exp x) -4))) 1545295054.182 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (+ 2 (exp x)) (+ (pow (exp x) 3) (* (exp x) -4))) (* (+ (exp x) 2) (exp x)))) 1545295054.182 * [enter]simplify: Simplifying (* (+ (exp x) 2) (exp x)) 1545295054.182 * * [misc]simplify: iters left: 5 (5 enodes) 1545295054.183 * * [misc]simplify: iters left: 4 (7 enodes) 1545295054.184 * * [misc]simplify: iters left: 3 (14 enodes) 1545295054.186 * * [misc]simplify: iters left: 2 (16 enodes) 1545295054.188 * [exit]simplify: Simplified to (* (+ (exp x) 2) (exp x)) 1545295054.188 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (+ 2 (exp x)) (+ (pow (exp x) 3) (* (exp x) -4))) (* (+ (exp x) 2) (exp x)))) 1545295054.188 * * * * [misc]progress: [ 10 / 52 ] simplifiying candidate # 1545295054.188 * * * * [misc]progress: [ 11 / 52 ] simplifiying candidate # 1545295054.188 * * * * [misc]progress: [ 12 / 52 ] simplifiying candidate # 1545295054.188 * * * * [misc]progress: [ 13 / 52 ] simplifiying candidate # 1545295054.188 * * * * [misc]progress: [ 14 / 52 ] simplifiying candidate # 1545295054.188 * [enter]simplify: Simplifying (+ (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))) 1545295054.188 * * [misc]simplify: iters left: 6 (9 enodes) 1545295054.190 * * [misc]simplify: iters left: 5 (13 enodes) 1545295054.192 * * [misc]simplify: iters left: 4 (14 enodes) 1545295054.193 * [exit]simplify: Simplified to (+ (sqrt (/ -1 (exp x))) (sqrt (+ -2 (exp x)))) 1545295054.193 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (/ -1 (exp x))) (sqrt (+ -2 (exp x)))) (- (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))))) 1545295054.194 * [enter]simplify: Simplifying (- (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))) 1545295054.194 * * [misc]simplify: iters left: 6 (9 enodes) 1545295054.195 * * [misc]simplify: iters left: 5 (14 enodes) 1545295054.197 * * [misc]simplify: iters left: 4 (16 enodes) 1545295054.199 * [exit]simplify: Simplified to (- (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))) 1545295054.199 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))) (- (sqrt (- (exp x) 2)) (sqrt (/ -1 (exp x)))))) 1545295054.199 * * * * [misc]progress: [ 15 / 52 ] simplifiying candidate # 1545295054.199 * [enter]simplify: Simplifying (- (- (exp x) 2) (/ -1 (exp x))) 1545295054.199 * * [misc]simplify: iters left: 5 (7 enodes) 1545295054.201 * * [misc]simplify: iters left: 4 (14 enodes) 1545295054.203 * * [misc]simplify: iters left: 3 (26 enodes) 1545295054.207 * * [misc]simplify: iters left: 2 (50 enodes) 1545295054.213 * * [misc]simplify: iters left: 1 (73 enodes) 1545295054.228 * [exit]simplify: Simplified to (- (- (exp x) 2) (/ -1 (exp x))) 1545295054.228 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (- (exp x) 2) (/ -1 (exp x))))) 1545295054.228 * * * * [misc]progress: [ 16 / 52 ] simplifiying candidate # 1545295054.229 * [enter]simplify: Simplifying (exp x) 1545295054.229 * * [misc]simplify: iters left: 1 (2 enodes) 1545295054.229 * [exit]simplify: Simplified to (exp x) 1545295054.229 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (exp x) (- (- 2) (/ -1 (exp x))))) 1545295054.229 * * * * [misc]progress: [ 17 / 52 ] simplifiying candidate # 1545295054.230 * [enter]simplify: Simplifying (exp x) 1545295054.230 * * [misc]simplify: iters left: 1 (2 enodes) 1545295054.230 * [exit]simplify: Simplified to (exp x) 1545295054.230 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (exp x) (- (- 2) (/ -1 (exp x))))) 1545295054.230 * * * * [misc]progress: [ 18 / 52 ] simplifiying candidate # 1545295054.231 * [enter]simplify: Simplifying (exp x) 1545295054.231 * * [misc]simplify: iters left: 1 (2 enodes) 1545295054.231 * [exit]simplify: Simplified to (exp x) 1545295054.231 * [misc]simplify: Simplified (2 1) to (λ (x) (- (exp x) (+ 2 (/ -1 (exp x))))) 1545295054.231 * * * * [misc]progress: [ 19 / 52 ] simplifiying candidate # 1545295054.231 * * * * [misc]progress: [ 20 / 52 ] simplifiying candidate # 1545295054.231 * * * * [misc]progress: [ 21 / 52 ] simplifiying candidate # 1545295054.231 * * * * [misc]progress: [ 22 / 52 ] simplifiying candidate # 1545295054.231 * * * * [misc]progress: [ 23 / 52 ] simplifiying candidate # 1545295054.231 * * * * [misc]progress: [ 24 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 25 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 26 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 27 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 28 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 29 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 30 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 31 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 32 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 33 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 34 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 35 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 36 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 37 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 38 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 39 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 40 / 52 ] simplifiying candidate # 1545295054.232 * * * * [misc]progress: [ 41 / 52 ] simplifiying candidate # 1545295054.233 * [enter]simplify: Simplifying (cbrt (exp x)) 1545295054.233 * * [misc]simplify: iters left: 2 (3 enodes) 1545295054.234 * [exit]simplify: Simplified to (cbrt (exp x)) 1545295054.234 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (- (exp x) 2) (/ (/ -1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) 1545295054.234 * * * * [misc]progress: [ 42 / 52 ] simplifiying candidate # 1545295054.234 * [enter]simplify: Simplifying (sqrt (exp x)) 1545295054.234 * * [misc]simplify: iters left: 2 (3 enodes) 1545295054.235 * [exit]simplify: Simplified to (sqrt (exp x)) 1545295054.235 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (- (exp x) 2) (/ (/ -1 (sqrt (exp x))) (sqrt (exp x))))) 1545295054.235 * * * * [misc]progress: [ 43 / 52 ] simplifiying candidate # 1545295054.235 * [enter]simplify: Simplifying (exp x) 1545295054.235 * * [misc]simplify: iters left: 1 (2 enodes) 1545295054.236 * [exit]simplify: Simplified to (exp x) 1545295054.236 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (- (exp x) 2) (/ (/ -1 1) (exp x)))) 1545295054.236 * * * * [misc]progress: [ 44 / 52 ] simplifiying candidate # 1545295054.236 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295054.236 * * [misc]simplify: iters left: 6 (13 enodes) 1545295054.240 * * [misc]simplify: iters left: 5 (20 enodes) 1545295054.246 * * [misc]simplify: iters left: 4 (26 enodes) 1545295054.250 * * [misc]simplify: iters left: 3 (28 enodes) 1545295054.254 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295054.254 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4)))) 1545295054.254 * * * * [misc]progress: [ 45 / 52 ] simplifiying candidate # 1545295054.254 * [enter]simplify: Simplifying (- (+ (exp x) (/ 1 (exp x))) 2) 1545295054.254 * * [misc]simplify: iters left: 6 (7 enodes) 1545295054.256 * * [misc]simplify: iters left: 5 (17 enodes) 1545295054.258 * * [misc]simplify: iters left: 4 (24 enodes) 1545295054.261 * * [misc]simplify: iters left: 3 (29 enodes) 1545295054.266 * * [misc]simplify: iters left: 2 (33 enodes) 1545295054.269 * * [misc]simplify: iters left: 1 (39 enodes) 1545295054.274 * [exit]simplify: Simplified to (+ (exp (- x)) (+ (exp x) -2)) 1545295054.274 * [misc]simplify: Simplified (2) to (λ (x) (+ (exp (- x)) (+ (exp x) -2))) 1545295054.274 * * * * [misc]progress: [ 46 / 52 ] simplifiying candidate # 1545295054.274 * [enter]simplify: Simplifying (- (+ (exp x) (/ 1 (exp x))) 2) 1545295054.274 * * [misc]simplify: iters left: 6 (7 enodes) 1545295054.276 * * [misc]simplify: iters left: 5 (17 enodes) 1545295054.278 * * [misc]simplify: iters left: 4 (24 enodes) 1545295054.283 * * [misc]simplify: iters left: 3 (29 enodes) 1545295054.289 * * [misc]simplify: iters left: 2 (33 enodes) 1545295054.296 * * [misc]simplify: iters left: 1 (39 enodes) 1545295054.306 * [exit]simplify: Simplified to (+ (exp (- x)) (+ (exp x) -2)) 1545295054.306 * [misc]simplify: Simplified (2) to (λ (x) (+ (exp (- x)) (+ (exp x) -2))) 1545295054.306 * * * * [misc]progress: [ 47 / 52 ] simplifiying candidate # 1545295054.307 * [enter]simplify: Simplifying (- (+ x (* 1/2 (pow x 2))) 1) 1545295054.307 * * [misc]simplify: iters left: 6 (8 enodes) 1545295054.310 * * [misc]simplify: iters left: 5 (18 enodes) 1545295054.315 * * [misc]simplify: iters left: 4 (29 enodes) 1545295054.323 * * [misc]simplify: iters left: 3 (37 enodes) 1545295054.332 * * [misc]simplify: iters left: 2 (43 enodes) 1545295054.342 * * [misc]simplify: iters left: 1 (57 enodes) 1545295054.365 * [exit]simplify: Simplified to (+ (* x (* x 1/2)) (+ -1 x)) 1545295054.365 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (* x (* x 1/2)) (+ -1 x)) (/ -1 (exp x)))) 1545295054.365 * * * * [misc]progress: [ 48 / 52 ] simplifiying candidate # 1545295054.365 * [enter]simplify: Simplifying (- (exp x) 2) 1545295054.365 * * [misc]simplify: iters left: 3 (4 enodes) 1545295054.367 * * [misc]simplify: iters left: 2 (7 enodes) 1545295054.369 * * [misc]simplify: iters left: 1 (8 enodes) 1545295054.371 * [exit]simplify: Simplified to (- (exp x) 2) 1545295054.371 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (exp x) 2) (/ -1 (exp x)))) 1545295054.371 * * * * [misc]progress: [ 49 / 52 ] simplifiying candidate # 1545295054.371 * [enter]simplify: Simplifying (- (exp x) 2) 1545295054.371 * * [misc]simplify: iters left: 3 (4 enodes) 1545295054.373 * * [misc]simplify: iters left: 2 (7 enodes) 1545295054.375 * * [misc]simplify: iters left: 1 (8 enodes) 1545295054.376 * [exit]simplify: Simplified to (- (exp x) 2) 1545295054.377 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (exp x) 2) (/ -1 (exp x)))) 1545295054.377 * * * * [misc]progress: [ 50 / 52 ] simplifiying candidate # 1545295054.377 * [enter]simplify: Simplifying (- x (+ (* 1/2 (pow x 2)) 1)) 1545295054.377 * * [misc]simplify: iters left: 6 (8 enodes) 1545295054.380 * * [misc]simplify: iters left: 5 (17 enodes) 1545295054.384 * * [misc]simplify: iters left: 4 (30 enodes) 1545295054.390 * * [misc]simplify: iters left: 3 (58 enodes) 1545295054.399 * * [misc]simplify: iters left: 2 (79 enodes) 1545295054.409 * * [misc]simplify: iters left: 1 (92 enodes) 1545295054.423 * [exit]simplify: Simplified to (- (+ -1 x) (* (* x 1/2) x)) 1545295054.423 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (exp x) 2) (- (+ -1 x) (* (* x 1/2) x)))) 1545295054.423 * * * * [misc]progress: [ 51 / 52 ] simplifiying candidate # 1545295054.424 * [enter]simplify: Simplifying (/ -1 (exp x)) 1545295054.424 * * [misc]simplify: iters left: 3 (4 enodes) 1545295054.424 * [exit]simplify: Simplified to (/ -1 (exp x)) 1545295054.424 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (exp x) 2) (/ -1 (exp x)))) 1545295054.424 * * * * [misc]progress: [ 52 / 52 ] simplifiying candidate # 1545295054.424 * [enter]simplify: Simplifying (/ -1 (exp x)) 1545295054.424 * * [misc]simplify: iters left: 3 (4 enodes) 1545295054.425 * [exit]simplify: Simplified to (/ -1 (exp x)) 1545295054.425 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (exp x) 2) (/ -1 (exp x)))) 1545295054.425 * * * [misc]progress: adding candidates to table 1545295054.936 * * [misc]progress: iteration 2 / 4 1545295054.936 * * * [misc]progress: picking best candidate 1545295054.950 * * * * [misc]pick: Picked # 1545295054.951 * * * [misc]progress: localizing error 1545295054.991 * * * [misc]progress: generating rewritten candidates 1545295054.991 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1545295054.994 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2) 1545295054.997 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1545295055.004 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1545295055.024 * * * [misc]progress: generating series expansions 1545295055.024 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1545295055.024 * [misc]backup-simplify: Simplify (* 1/12 (pow x 4)) into (* 1/12 (pow x 4)) 1545295055.024 * [misc]approximate: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 1545295055.024 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.024 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.024 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.024 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.024 * [misc]taylor: Taking taylor expansion of x in x 1545295055.024 * [misc]backup-simplify: Simplify 0 into 0 1545295055.024 * [misc]backup-simplify: Simplify 1 into 1 1545295055.024 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.024 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.024 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.024 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.024 * [misc]taylor: Taking taylor expansion of x in x 1545295055.024 * [misc]backup-simplify: Simplify 0 into 0 1545295055.024 * [misc]backup-simplify: Simplify 1 into 1 1545295055.024 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.025 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.025 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.025 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.025 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.025 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.025 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.025 * [misc]backup-simplify: Simplify 0 into 0 1545295055.025 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.025 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.026 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.026 * [misc]backup-simplify: Simplify 0 into 0 1545295055.026 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.026 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.026 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.026 * [misc]backup-simplify: Simplify 0 into 0 1545295055.027 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.027 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.027 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.027 * [misc]backup-simplify: Simplify 0 into 0 1545295055.027 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.028 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.028 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.028 * [misc]backup-simplify: Simplify 0 into 0 1545295055.028 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.028 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.029 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.029 * [misc]backup-simplify: Simplify 0 into 0 1545295055.029 * [misc]backup-simplify: Simplify (* 1/12 (pow x 4)) into (* 1/12 (pow x 4)) 1545295055.029 * [misc]backup-simplify: Simplify (* 1/12 (pow (/ 1 x) 4)) into (/ 1/12 (pow x 4)) 1545295055.029 * [misc]approximate: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 1545295055.029 * [misc]taylor: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 1545295055.029 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.029 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.029 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.029 * [misc]taylor: Taking taylor expansion of x in x 1545295055.029 * [misc]backup-simplify: Simplify 0 into 0 1545295055.029 * [misc]backup-simplify: Simplify 1 into 1 1545295055.029 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.029 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.029 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1545295055.029 * [misc]taylor: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 1545295055.029 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.029 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.029 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.029 * [misc]taylor: Taking taylor expansion of x in x 1545295055.029 * [misc]backup-simplify: Simplify 0 into 0 1545295055.029 * [misc]backup-simplify: Simplify 1 into 1 1545295055.030 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.030 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.030 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1545295055.030 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.030 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.030 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.030 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1545295055.030 * [misc]backup-simplify: Simplify 0 into 0 1545295055.031 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.031 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.031 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.031 * [misc]backup-simplify: Simplify 0 into 0 1545295055.031 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.031 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.031 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.032 * [misc]backup-simplify: Simplify 0 into 0 1545295055.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.032 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.032 * [misc]backup-simplify: Simplify 0 into 0 1545295055.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.033 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.033 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.033 * [misc]backup-simplify: Simplify 0 into 0 1545295055.033 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.034 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.034 * [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 1545295055.034 * [misc]backup-simplify: Simplify 0 into 0 1545295055.034 * [misc]backup-simplify: Simplify (* 1/12 (pow (/ 1 (/ 1 x)) 4)) into (* 1/12 (pow x 4)) 1545295055.034 * [misc]backup-simplify: Simplify (* 1/12 (pow (/ 1 (- x)) 4)) into (/ 1/12 (pow x 4)) 1545295055.034 * [misc]approximate: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 1545295055.034 * [misc]taylor: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 1545295055.034 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.034 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.034 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.034 * [misc]taylor: Taking taylor expansion of x in x 1545295055.034 * [misc]backup-simplify: Simplify 0 into 0 1545295055.034 * [misc]backup-simplify: Simplify 1 into 1 1545295055.034 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.035 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.035 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1545295055.035 * [misc]taylor: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 1545295055.035 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.035 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.035 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.035 * [misc]taylor: Taking taylor expansion of x in x 1545295055.035 * [misc]backup-simplify: Simplify 0 into 0 1545295055.035 * [misc]backup-simplify: Simplify 1 into 1 1545295055.035 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.035 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.035 * [misc]backup-simplify: Simplify (/ 1/12 1) into 1/12 1545295055.035 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.035 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.035 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.036 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 1545295055.036 * [misc]backup-simplify: Simplify 0 into 0 1545295055.036 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.036 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.036 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.036 * [misc]backup-simplify: Simplify 0 into 0 1545295055.036 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.037 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.037 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.037 * [misc]backup-simplify: Simplify 0 into 0 1545295055.037 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.037 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.038 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.038 * [misc]backup-simplify: Simplify 0 into 0 1545295055.038 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.038 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.038 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.038 * [misc]backup-simplify: Simplify 0 into 0 1545295055.039 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.039 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.039 * [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 1545295055.039 * [misc]backup-simplify: Simplify 0 into 0 1545295055.039 * [misc]backup-simplify: Simplify (* 1/12 (pow (/ 1 (/ 1 (- x))) 4)) into (* 1/12 (pow x 4)) 1545295055.039 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2) 1545295055.040 * [misc]backup-simplify: Simplify (* 1/360 (pow x 6)) into (* 1/360 (pow x 6)) 1545295055.040 * [misc]approximate: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0 1545295055.040 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.040 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.040 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.040 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.040 * [misc]taylor: Taking taylor expansion of x in x 1545295055.040 * [misc]backup-simplify: Simplify 0 into 0 1545295055.040 * [misc]backup-simplify: Simplify 1 into 1 1545295055.040 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.040 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.040 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.040 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.040 * [misc]taylor: Taking taylor expansion of x in x 1545295055.040 * [misc]backup-simplify: Simplify 0 into 0 1545295055.040 * [misc]backup-simplify: Simplify 1 into 1 1545295055.040 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.040 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.040 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.040 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.040 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.040 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.041 * [misc]backup-simplify: Simplify 0 into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.041 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.041 * [misc]backup-simplify: Simplify 0 into 0 1545295055.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.042 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.042 * [misc]backup-simplify: Simplify 0 into 0 1545295055.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.043 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.043 * [misc]backup-simplify: Simplify 0 into 0 1545295055.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.044 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.044 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.044 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.044 * [misc]backup-simplify: Simplify 0 into 0 1545295055.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.045 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.045 * [misc]backup-simplify: Simplify 0 into 0 1545295055.045 * [misc]backup-simplify: Simplify (* 1/360 (pow x 6)) into (* 1/360 (pow x 6)) 1545295055.046 * [misc]backup-simplify: Simplify (* 1/360 (pow (/ 1 x) 6)) into (/ 1/360 (pow x 6)) 1545295055.046 * [misc]approximate: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 1545295055.046 * [misc]taylor: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 1545295055.046 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.046 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.046 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.046 * [misc]taylor: Taking taylor expansion of x in x 1545295055.046 * [misc]backup-simplify: Simplify 0 into 0 1545295055.046 * [misc]backup-simplify: Simplify 1 into 1 1545295055.046 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.046 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.046 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.046 * [misc]backup-simplify: Simplify (/ 1/360 1) into 1/360 1545295055.046 * [misc]taylor: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 1545295055.046 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.046 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.046 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.046 * [misc]taylor: Taking taylor expansion of x in x 1545295055.046 * [misc]backup-simplify: Simplify 0 into 0 1545295055.046 * [misc]backup-simplify: Simplify 1 into 1 1545295055.046 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.046 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.047 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.047 * [misc]backup-simplify: Simplify (/ 1/360 1) into 1/360 1545295055.047 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.047 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)))) into 0 1545295055.047 * [misc]backup-simplify: Simplify 0 into 0 1545295055.048 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.048 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.048 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.048 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.048 * [misc]backup-simplify: Simplify 0 into 0 1545295055.048 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.049 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.049 * [misc]backup-simplify: Simplify 0 into 0 1545295055.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.050 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.050 * [misc]backup-simplify: Simplify 0 into 0 1545295055.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.051 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.051 * [misc]backup-simplify: Simplify 0 into 0 1545295055.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.053 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.053 * [misc]backup-simplify: Simplify 0 into 0 1545295055.053 * [misc]backup-simplify: Simplify (* 1/360 (pow (/ 1 (/ 1 x)) 6)) into (* 1/360 (pow x 6)) 1545295055.053 * [misc]backup-simplify: Simplify (* 1/360 (pow (/ 1 (- x)) 6)) into (/ 1/360 (pow x 6)) 1545295055.053 * [misc]approximate: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 1545295055.053 * [misc]taylor: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 1545295055.053 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.053 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.053 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.054 * [misc]taylor: Taking taylor expansion of x in x 1545295055.054 * [misc]backup-simplify: Simplify 0 into 0 1545295055.054 * [misc]backup-simplify: Simplify 1 into 1 1545295055.054 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.054 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.054 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.054 * [misc]backup-simplify: Simplify (/ 1/360 1) into 1/360 1545295055.054 * [misc]taylor: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 1545295055.054 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.054 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.054 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.054 * [misc]taylor: Taking taylor expansion of x in x 1545295055.054 * [misc]backup-simplify: Simplify 0 into 0 1545295055.054 * [misc]backup-simplify: Simplify 1 into 1 1545295055.055 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.055 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.055 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.055 * [misc]backup-simplify: Simplify (/ 1/360 1) into 1/360 1545295055.055 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.056 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)))) into 0 1545295055.056 * [misc]backup-simplify: Simplify 0 into 0 1545295055.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.057 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.057 * [misc]backup-simplify: Simplify 0 into 0 1545295055.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.059 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.059 * [misc]backup-simplify: Simplify 0 into 0 1545295055.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.060 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.060 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.060 * [misc]backup-simplify: Simplify 0 into 0 1545295055.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.062 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.062 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.062 * [misc]backup-simplify: Simplify 0 into 0 1545295055.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.064 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.064 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.065 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/360 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.065 * [misc]backup-simplify: Simplify 0 into 0 1545295055.065 * [misc]backup-simplify: Simplify (* 1/360 (pow (/ 1 (/ 1 (- x))) 6)) into (* 1/360 (pow x 6)) 1545295055.065 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1545295055.065 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) into (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.065 * [misc]approximate: Taking taylor expansion of (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) in (x) around 0 1545295055.065 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) in x 1545295055.065 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.065 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.065 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.065 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.065 * [misc]taylor: Taking taylor expansion of x in x 1545295055.065 * [misc]backup-simplify: Simplify 0 into 0 1545295055.065 * [misc]backup-simplify: Simplify 1 into 1 1545295055.065 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.065 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.065 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.066 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of x in x 1545295055.066 * [misc]backup-simplify: Simplify 0 into 0 1545295055.066 * [misc]backup-simplify: Simplify 1 into 1 1545295055.066 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.066 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.066 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of x in x 1545295055.066 * [misc]backup-simplify: Simplify 0 into 0 1545295055.066 * [misc]backup-simplify: Simplify 1 into 1 1545295055.066 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.066 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.066 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.066 * [misc]taylor: Taking taylor expansion of x in x 1545295055.066 * [misc]backup-simplify: Simplify 0 into 0 1545295055.066 * [misc]backup-simplify: Simplify 1 into 1 1545295055.066 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.066 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.066 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.067 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.067 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.067 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.067 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.067 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.067 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.068 * [misc]backup-simplify: Simplify 0 into 0 1545295055.068 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.068 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.068 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.069 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.069 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.069 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.069 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.070 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.071 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.071 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.071 * [misc]backup-simplify: Simplify 0 into 0 1545295055.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.072 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.073 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.073 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.073 * [misc]backup-simplify: Simplify 0 into 0 1545295055.074 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.074 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.074 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.076 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.076 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.076 * [misc]backup-simplify: Simplify 0 into 0 1545295055.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.077 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.079 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.079 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.079 * [misc]backup-simplify: Simplify 0 into 0 1545295055.079 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.080 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.080 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.082 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.082 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.084 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.084 * [misc]backup-simplify: Simplify 0 into 0 1545295055.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.086 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.086 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.087 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.088 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.088 * [misc]backup-simplify: Simplify 0 into 0 1545295055.088 * [misc]backup-simplify: Simplify (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) into (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.088 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow (/ 1 x) 4)) (* 1/360 (pow (/ 1 x) 6))) into (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) 1545295055.088 * [misc]approximate: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in (x) around 0 1545295055.088 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.088 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.088 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.088 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.088 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.088 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.088 * [misc]taylor: Taking taylor expansion of x in x 1545295055.088 * [misc]backup-simplify: Simplify 0 into 0 1545295055.088 * [misc]backup-simplify: Simplify 1 into 1 1545295055.089 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.089 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.089 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.089 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.089 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.089 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.089 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.089 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.089 * [misc]taylor: Taking taylor expansion of x in x 1545295055.089 * [misc]backup-simplify: Simplify 0 into 0 1545295055.089 * [misc]backup-simplify: Simplify 1 into 1 1545295055.089 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.089 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.090 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.090 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.090 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.090 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.090 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of x in x 1545295055.090 * [misc]backup-simplify: Simplify 0 into 0 1545295055.090 * [misc]backup-simplify: Simplify 1 into 1 1545295055.090 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.090 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.090 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.090 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.090 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.090 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.090 * [misc]taylor: Taking taylor expansion of x in x 1545295055.091 * [misc]backup-simplify: Simplify 0 into 0 1545295055.091 * [misc]backup-simplify: Simplify 1 into 1 1545295055.091 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.091 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.091 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.091 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.091 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.091 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.091 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.092 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.092 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.093 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.093 * [misc]backup-simplify: Simplify 0 into 0 1545295055.093 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.094 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.094 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.094 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.094 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.095 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.095 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.096 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.097 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.097 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.097 * [misc]backup-simplify: Simplify 0 into 0 1545295055.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.098 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.098 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.099 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.099 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.099 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.100 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.100 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.100 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.100 * [misc]backup-simplify: Simplify 0 into 0 1545295055.101 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.101 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.101 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.101 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.102 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.102 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.103 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.103 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.103 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.104 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.104 * [misc]backup-simplify: Simplify 0 into 0 1545295055.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.105 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.105 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.107 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.107 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.108 * [misc]backup-simplify: Simplify 0 into 0 1545295055.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.109 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.109 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.111 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.112 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.112 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.112 * [misc]backup-simplify: Simplify 0 into 0 1545295055.112 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.113 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.114 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.116 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.116 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.117 * [misc]backup-simplify: Simplify 0 into 0 1545295055.117 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow (/ 1 (/ 1 x)) 4)) (* 1/360 (pow (/ 1 (/ 1 x)) 6))) into (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.117 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow (/ 1 (- x)) 4)) (* 1/360 (pow (/ 1 (- x)) 6))) into (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) 1545295055.117 * [misc]approximate: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in (x) around 0 1545295055.117 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.117 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.117 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.117 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.117 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.117 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.117 * [misc]taylor: Taking taylor expansion of x in x 1545295055.117 * [misc]backup-simplify: Simplify 0 into 0 1545295055.118 * [misc]backup-simplify: Simplify 1 into 1 1545295055.118 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.118 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.118 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.118 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.118 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.118 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.118 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.118 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.118 * [misc]taylor: Taking taylor expansion of x in x 1545295055.118 * [misc]backup-simplify: Simplify 0 into 0 1545295055.118 * [misc]backup-simplify: Simplify 1 into 1 1545295055.118 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.118 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.119 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.119 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.119 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.119 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.119 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.119 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.119 * [misc]taylor: Taking taylor expansion of x in x 1545295055.119 * [misc]backup-simplify: Simplify 0 into 0 1545295055.119 * [misc]backup-simplify: Simplify 1 into 1 1545295055.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.119 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.119 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.120 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.120 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.120 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.120 * [misc]taylor: Taking taylor expansion of x in x 1545295055.120 * [misc]backup-simplify: Simplify 0 into 0 1545295055.120 * [misc]backup-simplify: Simplify 1 into 1 1545295055.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.120 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.120 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.121 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.121 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.121 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.122 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.122 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.122 * [misc]backup-simplify: Simplify 0 into 0 1545295055.122 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.123 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.123 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.123 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.124 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.124 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.126 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.126 * [misc]backup-simplify: Simplify 0 into 0 1545295055.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.127 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.127 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.128 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.129 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.129 * [misc]backup-simplify: Simplify 0 into 0 1545295055.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.130 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.130 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.132 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.132 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.132 * [misc]backup-simplify: Simplify 0 into 0 1545295055.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.134 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.134 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.136 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.136 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.136 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.136 * [misc]backup-simplify: Simplify 0 into 0 1545295055.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.138 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.138 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545295055.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.140 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.141 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1545295055.141 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.141 * [misc]backup-simplify: Simplify 0 into 0 1545295055.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.142 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.143 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545295055.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.145 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.145 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1545295055.145 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.146 * [misc]backup-simplify: Simplify 0 into 0 1545295055.146 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow (/ 1 (/ 1 (- x))) 4)) (* 1/360 (pow (/ 1 (/ 1 (- x))) 6))) into (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.146 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1545295055.146 * [misc]backup-simplify: Simplify (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.146 * [misc]approximate: Taking taylor expansion of (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) in (x) around 0 1545295055.146 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) in x 1545295055.146 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.146 * [misc]taylor: Taking taylor expansion of x in x 1545295055.146 * [misc]backup-simplify: Simplify 0 into 0 1545295055.146 * [misc]backup-simplify: Simplify 1 into 1 1545295055.147 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.147 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.147 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of x in x 1545295055.147 * [misc]backup-simplify: Simplify 0 into 0 1545295055.147 * [misc]backup-simplify: Simplify 1 into 1 1545295055.147 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.147 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.147 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of x in x 1545295055.147 * [misc]backup-simplify: Simplify 0 into 0 1545295055.147 * [misc]backup-simplify: Simplify 1 into 1 1545295055.147 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of x in x 1545295055.147 * [misc]backup-simplify: Simplify 0 into 0 1545295055.147 * [misc]backup-simplify: Simplify 1 into 1 1545295055.147 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of (* 1/12 (pow x 4)) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.147 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.147 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of x in x 1545295055.147 * [misc]backup-simplify: Simplify 0 into 0 1545295055.147 * [misc]backup-simplify: Simplify 1 into 1 1545295055.147 * [misc]taylor: Taking taylor expansion of (* 1/360 (pow x 6)) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.147 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.147 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.147 * [misc]taylor: Taking taylor expansion of x in x 1545295055.147 * [misc]backup-simplify: Simplify 0 into 0 1545295055.147 * [misc]backup-simplify: Simplify 1 into 1 1545295055.148 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.148 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295055.148 * [misc]backup-simplify: Simplify 1 into 1 1545295055.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.148 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.148 * [misc]backup-simplify: Simplify 0 into 0 1545295055.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.149 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.149 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.149 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.149 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.149 * [misc]backup-simplify: Simplify (+ 0 1/12) into 1/12 1545295055.149 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.150 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.150 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.151 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.151 * [misc]backup-simplify: Simplify 0 into 0 1545295055.151 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.151 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.152 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.152 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.152 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.152 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.152 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.153 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.153 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.153 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.153 * [misc]backup-simplify: Simplify (+ (* 1/360 (pow x 6)) (+ (* 1/12 (pow x 4)) (* 1 (pow x 2)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.153 * [misc]backup-simplify: Simplify (+ (pow (/ 1 x) 2) (+ (* 1/12 (pow (/ 1 x) 4)) (* 1/360 (pow (/ 1 x) 6)))) into (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) 1545295055.154 * [misc]approximate: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in (x) around 0 1545295055.154 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.154 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.154 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of x in x 1545295055.154 * [misc]backup-simplify: Simplify 0 into 0 1545295055.154 * [misc]backup-simplify: Simplify 1 into 1 1545295055.154 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.154 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.154 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.154 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.154 * [misc]taylor: Taking taylor expansion of x in x 1545295055.154 * [misc]backup-simplify: Simplify 0 into 0 1545295055.154 * [misc]backup-simplify: Simplify 1 into 1 1545295055.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.155 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.155 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.155 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.155 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.155 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.155 * [misc]taylor: Taking taylor expansion of x in x 1545295055.155 * [misc]backup-simplify: Simplify 0 into 0 1545295055.155 * [misc]backup-simplify: Simplify 1 into 1 1545295055.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.156 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.156 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.156 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of x in x 1545295055.156 * [misc]backup-simplify: Simplify 0 into 0 1545295055.156 * [misc]backup-simplify: Simplify 1 into 1 1545295055.156 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.156 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.156 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.156 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.156 * [misc]taylor: Taking taylor expansion of x in x 1545295055.156 * [misc]backup-simplify: Simplify 0 into 0 1545295055.156 * [misc]backup-simplify: Simplify 1 into 1 1545295055.156 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.157 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.157 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.157 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.157 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.157 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.157 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.157 * [misc]taylor: Taking taylor expansion of x in x 1545295055.157 * [misc]backup-simplify: Simplify 0 into 0 1545295055.157 * [misc]backup-simplify: Simplify 1 into 1 1545295055.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.157 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.158 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.158 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.158 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.158 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.159 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.159 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.159 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.159 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.159 * [misc]backup-simplify: Simplify 0 into 0 1545295055.159 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.161 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.161 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.161 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.161 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.162 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.162 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.163 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.164 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.164 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.164 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.164 * [misc]backup-simplify: Simplify 0 into 0 1545295055.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.165 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.165 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.165 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.166 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.167 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.167 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295055.167 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545295055.167 * [misc]backup-simplify: Simplify 1 into 1 1545295055.168 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (+ (* 1/12 (pow (/ 1 (/ 1 x)) 4)) (* 1/360 (pow (/ 1 (/ 1 x)) 6)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.168 * [misc]backup-simplify: Simplify (+ (pow (/ 1 (- x)) 2) (+ (* 1/12 (pow (/ 1 (- x)) 4)) (* 1/360 (pow (/ 1 (- x)) 6)))) into (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) 1545295055.168 * [misc]approximate: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in (x) around 0 1545295055.168 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in x 1545295055.168 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.168 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.168 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.168 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.168 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.168 * [misc]taylor: Taking taylor expansion of x in x 1545295055.168 * [misc]backup-simplify: Simplify 0 into 0 1545295055.168 * [misc]backup-simplify: Simplify 1 into 1 1545295055.168 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.169 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.169 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.169 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of x in x 1545295055.169 * [misc]backup-simplify: Simplify 0 into 0 1545295055.169 * [misc]backup-simplify: Simplify 1 into 1 1545295055.169 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.169 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.169 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.169 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.169 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.169 * [misc]taylor: Taking taylor expansion of x in x 1545295055.169 * [misc]backup-simplify: Simplify 0 into 0 1545295055.169 * [misc]backup-simplify: Simplify 1 into 1 1545295055.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.170 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.170 * [misc]taylor: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6))))) in x 1545295055.170 * [misc]taylor: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 1545295055.170 * [misc]taylor: Taking taylor expansion of 1/12 in x 1545295055.170 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.170 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1545295055.170 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1545295055.170 * [misc]taylor: Taking taylor expansion of x in x 1545295055.170 * [misc]backup-simplify: Simplify 0 into 0 1545295055.170 * [misc]backup-simplify: Simplify 1 into 1 1545295055.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.171 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.171 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.171 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/360 (/ 1 (pow x 6)))) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of x in x 1545295055.171 * [misc]backup-simplify: Simplify 0 into 0 1545295055.171 * [misc]backup-simplify: Simplify 1 into 1 1545295055.171 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.171 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.171 * [misc]taylor: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of 1/360 in x 1545295055.171 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.171 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 6)) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1545295055.171 * [misc]taylor: Taking taylor expansion of x in x 1545295055.171 * [misc]backup-simplify: Simplify 0 into 0 1545295055.171 * [misc]backup-simplify: Simplify 1 into 1 1545295055.171 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.172 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.172 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545295055.172 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295055.172 * [misc]backup-simplify: Simplify (* 1/360 1) into 1/360 1545295055.172 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.172 * [misc]backup-simplify: Simplify (+ 0 1/360) into 1/360 1545295055.172 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295055.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.173 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.173 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (* 0 1)) into 0 1545295055.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.174 * [misc]backup-simplify: Simplify 0 into 0 1545295055.174 * [misc]backup-simplify: Simplify (* 1/12 1) into 1/12 1545295055.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.175 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.187 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.188 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.188 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295055.188 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295055.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545295055.189 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545295055.189 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (* 0 1)) into 0 1545295055.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.190 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.191 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545295055.191 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.191 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295055.191 * [misc]backup-simplify: Simplify 0 into 0 1545295055.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.192 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.192 * [misc]backup-simplify: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 1545295055.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.194 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545295055.194 * [misc]backup-simplify: Simplify (+ (* 1/360 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545295055.194 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295055.194 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545295055.194 * [misc]backup-simplify: Simplify 1 into 1 1545295055.195 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (+ (* 1/12 (pow (/ 1 (/ 1 (- x))) 4)) (* 1/360 (pow (/ 1 (/ 1 (- x))) 6)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.195 * * * [misc]progress: simplifying candidates 1545295055.195 * * * * [misc]progress: [ 1 / 59 ] simplifiying candidate # 1545295055.195 * * * * [misc]progress: [ 2 / 59 ] simplifiying candidate # 1545295055.195 * * * * [misc]progress: [ 3 / 59 ] simplifiying candidate # 1545295055.196 * * * * [misc]progress: [ 4 / 59 ] simplifiying candidate # 1545295055.196 * * * * [misc]progress: [ 5 / 59 ] simplifiying candidate # 1545295055.196 * * * * [misc]progress: [ 6 / 59 ] simplifiying candidate # 1545295055.196 * * * * [misc]progress: [ 7 / 59 ] simplifiying candidate # 1545295055.196 * * * * [misc]progress: [ 8 / 59 ] simplifiying candidate # 1545295055.196 * [enter]simplify: Simplifying (cbrt (pow x 4)) 1545295055.196 * * [misc]simplify: iters left: 2 (4 enodes) 1545295055.197 * [exit]simplify: Simplified to (cbrt (pow x 4)) 1545295055.197 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (pow x 2) (+ (* (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (pow x 4))) (* 1/360 (pow x 6))))) 1545295055.197 * * * * [misc]progress: [ 9 / 59 ] simplifiying candidate # 1545295055.198 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1545295055.198 * * [misc]simplify: iters left: 2 (4 enodes) 1545295055.199 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1545295055.199 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (pow x 2) (+ (* (* 1/12 (sqrt (pow x 4))) (sqrt (pow x 4))) (* 1/360 (pow x 6))))) 1545295055.199 * * * * [misc]progress: [ 10 / 59 ] simplifiying candidate # 1545295055.199 * [enter]simplify: Simplifying (pow x 4) 1545295055.200 * * [misc]simplify: iters left: 1 (3 enodes) 1545295055.200 * [exit]simplify: Simplified to (pow x 4) 1545295055.200 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ (pow x 2) (+ (* (* 1/12 1) (pow x 4)) (* 1/360 (pow x 6))))) 1545295055.200 * * * * [misc]progress: [ 11 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 12 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 13 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 14 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 15 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 16 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 17 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 18 / 59 ] simplifiying candidate # 1545295055.201 * * * * [misc]progress: [ 19 / 59 ] simplifiying candidate # 1545295055.201 * [enter]simplify: Simplifying (cbrt (pow x 6)) 1545295055.201 * * [misc]simplify: iters left: 2 (4 enodes) 1545295055.202 * [exit]simplify: Simplified to (cbrt (pow x 6)) 1545295055.202 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6)))) (cbrt (pow x 6)))))) 1545295055.203 * * * * [misc]progress: [ 20 / 59 ] simplifiying candidate # 1545295055.203 * [enter]simplify: Simplifying (sqrt (pow x 6)) 1545295055.203 * * [misc]simplify: iters left: 2 (4 enodes) 1545295055.204 * [exit]simplify: Simplified to (sqrt (pow x 6)) 1545295055.204 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (* 1/360 (sqrt (pow x 6))) (sqrt (pow x 6)))))) 1545295055.204 * * * * [misc]progress: [ 21 / 59 ] simplifiying candidate # 1545295055.204 * [enter]simplify: Simplifying (pow x 6) 1545295055.204 * * [misc]simplify: iters left: 1 (3 enodes) 1545295055.205 * [exit]simplify: Simplified to (pow x 6) 1545295055.205 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (* 1/360 1) (pow x 6))))) 1545295055.205 * * * * [misc]progress: [ 22 / 59 ] simplifiying candidate # 1545295055.205 * * * * [misc]progress: [ 23 / 59 ] simplifiying candidate # 1545295055.205 * [enter]simplify: Simplifying (* (exp (* 1/12 (pow x 4))) (exp (* 1/360 (pow x 6)))) 1545295055.205 * * [misc]simplify: iters left: 6 (12 enodes) 1545295055.210 * * [misc]simplify: iters left: 5 (21 enodes) 1545295055.218 * * [misc]simplify: iters left: 4 (23 enodes) 1545295055.225 * [exit]simplify: Simplified to (* (pow (exp 1/12) (pow x 4)) (pow (exp 1/360) (pow x 6))) 1545295055.225 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (pow x 2) (log (* (pow (exp 1/12) (pow x 4)) (pow (exp 1/360) (pow x 6)))))) 1545295055.225 * * * * [misc]progress: [ 24 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 25 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 26 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 27 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 28 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 29 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 30 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 31 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 32 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 33 / 59 ] simplifiying candidate # 1545295055.225 * * * * [misc]progress: [ 34 / 59 ] simplifiying candidate # 1545295055.226 * [enter]simplify: Simplifying (* (exp (pow x 2)) (* (exp (* 1/12 (pow x 4))) (exp (* 1/360 (pow x 6))))) 1545295055.226 * * [misc]simplify: iters left: 6 (16 enodes) 1545295055.232 * * [misc]simplify: iters left: 5 (29 enodes) 1545295055.241 * * [misc]simplify: iters left: 4 (45 enodes) 1545295055.248 * * [misc]simplify: iters left: 3 (60 enodes) 1545295055.257 * * [misc]simplify: iters left: 2 (64 enodes) 1545295055.264 * [exit]simplify: Simplified to (* (* (pow (exp 1/12) (pow x 4)) (exp (* x x))) (pow (exp 1/360) (pow x 6))) 1545295055.265 * [misc]simplify: Simplified (2 1) to (λ (x) (log (* (* (pow (exp 1/12) (pow x 4)) (exp (* x x))) (pow (exp 1/360) (pow x 6))))) 1545295055.265 * * * * [misc]progress: [ 35 / 59 ] simplifiying candidate # 1545295055.265 * [enter]simplify: Simplifying (* (exp (pow x 2)) (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))) 1545295055.265 * * [misc]simplify: iters left: 6 (15 enodes) 1545295055.267 * * [misc]simplify: iters left: 5 (25 enodes) 1545295055.272 * * [misc]simplify: iters left: 4 (46 enodes) 1545295055.279 * * [misc]simplify: iters left: 3 (58 enodes) 1545295055.291 * * [misc]simplify: iters left: 2 (67 enodes) 1545295055.308 * [exit]simplify: Simplified to (* (* (exp (* x x)) (pow (exp 1/360) (pow x 6))) (pow (exp 1/12) (pow x 4))) 1545295055.308 * [misc]simplify: Simplified (2 1) to (λ (x) (log (* (* (exp (* x x)) (pow (exp 1/360) (pow x 6))) (pow (exp 1/12) (pow x 4))))) 1545295055.308 * * * * [misc]progress: [ 36 / 59 ] simplifiying candidate # 1545295055.308 * * * * [misc]progress: [ 37 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 38 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 39 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 40 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 41 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 42 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 43 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 44 / 59 ] simplifiying candidate # 1545295055.309 * * * * [misc]progress: [ 45 / 59 ] simplifiying candidate # 1545295055.309 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.309 * * [misc]simplify: iters left: 6 (13 enodes) 1545295055.311 * * [misc]simplify: iters left: 5 (20 enodes) 1545295055.314 * * [misc]simplify: iters left: 4 (26 enodes) 1545295055.318 * * [misc]simplify: iters left: 3 (28 enodes) 1545295055.322 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295055.322 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))))) 1545295055.322 * * * * [misc]progress: [ 46 / 59 ] simplifiying candidate # 1545295055.322 * [enter]simplify: Simplifying (* 1/360 (pow x 6)) 1545295055.322 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.323 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.323 * [exit]simplify: Simplified to (* (pow x 6) 1/360) 1545295055.324 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (+ (pow x 2) (* 1/12 (pow x 4))) (* (pow x 6) 1/360))) 1545295055.324 * * * * [misc]progress: [ 47 / 59 ] simplifiying candidate # 1545295055.324 * * * * [misc]progress: [ 48 / 59 ] simplifiying candidate # 1545295055.324 * [enter]simplify: Simplifying (* 1/12 (pow x 4)) 1545295055.324 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.325 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.325 * [exit]simplify: Simplified to (* (pow x 4) 1/12) 1545295055.325 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (pow x 2) (+ (* (pow x 4) 1/12) (* 1/360 (pow x 6))))) 1545295055.326 * * * * [misc]progress: [ 49 / 59 ] simplifiying candidate # 1545295055.326 * [enter]simplify: Simplifying (* 1/12 (pow x 4)) 1545295055.326 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.327 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.328 * [exit]simplify: Simplified to (* (pow x 4) 1/12) 1545295055.328 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (pow x 2) (+ (* (pow x 4) 1/12) (* 1/360 (pow x 6))))) 1545295055.328 * * * * [misc]progress: [ 50 / 59 ] simplifiying candidate # 1545295055.329 * [enter]simplify: Simplifying (* 1/12 (pow x 4)) 1545295055.329 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.329 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.330 * [exit]simplify: Simplified to (* (pow x 4) 1/12) 1545295055.330 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (pow x 2) (+ (* (pow x 4) 1/12) (* 1/360 (pow x 6))))) 1545295055.330 * * * * [misc]progress: [ 51 / 59 ] simplifiying candidate # 1545295055.330 * [enter]simplify: Simplifying (* 1/360 (pow x 6)) 1545295055.330 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.331 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.332 * [exit]simplify: Simplified to (* (pow x 6) 1/360) 1545295055.332 * [misc]simplify: Simplified (2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (pow x 6) 1/360)))) 1545295055.332 * * * * [misc]progress: [ 52 / 59 ] simplifiying candidate # 1545295055.332 * [enter]simplify: Simplifying (* 1/360 (pow x 6)) 1545295055.332 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.333 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.334 * [exit]simplify: Simplified to (* (pow x 6) 1/360) 1545295055.334 * [misc]simplify: Simplified (2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (pow x 6) 1/360)))) 1545295055.334 * * * * [misc]progress: [ 53 / 59 ] simplifiying candidate # 1545295055.334 * [enter]simplify: Simplifying (* 1/360 (pow x 6)) 1545295055.334 * * [misc]simplify: iters left: 3 (5 enodes) 1545295055.335 * * [misc]simplify: iters left: 2 (6 enodes) 1545295055.335 * [exit]simplify: Simplified to (* (pow x 6) 1/360) 1545295055.335 * [misc]simplify: Simplified (2 2 2) to (λ (x) (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* (pow x 6) 1/360)))) 1545295055.336 * * * * [misc]progress: [ 54 / 59 ] simplifiying candidate # 1545295055.336 * [enter]simplify: Simplifying (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.336 * * [misc]simplify: iters left: 5 (10 enodes) 1545295055.337 * * [misc]simplify: iters left: 4 (13 enodes) 1545295055.339 * [exit]simplify: Simplified to (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)) 1545295055.339 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (pow x 2) (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)))) 1545295055.339 * * * * [misc]progress: [ 55 / 59 ] simplifiying candidate # 1545295055.339 * [enter]simplify: Simplifying (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.339 * * [misc]simplify: iters left: 5 (10 enodes) 1545295055.341 * * [misc]simplify: iters left: 4 (13 enodes) 1545295055.343 * [exit]simplify: Simplified to (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)) 1545295055.343 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (pow x 2) (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)))) 1545295055.343 * * * * [misc]progress: [ 56 / 59 ] simplifiying candidate # 1545295055.343 * [enter]simplify: Simplifying (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))) 1545295055.343 * * [misc]simplify: iters left: 5 (10 enodes) 1545295055.344 * * [misc]simplify: iters left: 4 (13 enodes) 1545295055.346 * [exit]simplify: Simplified to (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)) 1545295055.346 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (pow x 2) (+ (* (pow x 6) 1/360) (* (pow x 4) 1/12)))) 1545295055.346 * * * * [misc]progress: [ 57 / 59 ] simplifiying candidate # 1545295055.346 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.346 * * [misc]simplify: iters left: 6 (13 enodes) 1545295055.348 * * [misc]simplify: iters left: 5 (20 enodes) 1545295055.351 * * [misc]simplify: iters left: 4 (26 enodes) 1545295055.358 * * [misc]simplify: iters left: 3 (28 enodes) 1545295055.366 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295055.366 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4)))) 1545295055.366 * * * * [misc]progress: [ 58 / 59 ] simplifiying candidate # 1545295055.366 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.366 * * [misc]simplify: iters left: 6 (13 enodes) 1545295055.369 * * [misc]simplify: iters left: 5 (20 enodes) 1545295055.372 * * [misc]simplify: iters left: 4 (26 enodes) 1545295055.375 * * [misc]simplify: iters left: 3 (28 enodes) 1545295055.379 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295055.379 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4)))) 1545295055.379 * * * * [misc]progress: [ 59 / 59 ] simplifiying candidate # 1545295055.379 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295055.379 * * [misc]simplify: iters left: 6 (13 enodes) 1545295055.381 * * [misc]simplify: iters left: 5 (20 enodes) 1545295055.384 * * [misc]simplify: iters left: 4 (26 enodes) 1545295055.388 * * [misc]simplify: iters left: 3 (28 enodes) 1545295055.392 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295055.392 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4)))) 1545295055.392 * * * [misc]progress: adding candidates to table 1545295056.374 * * [misc]progress: iteration 3 / 4 1545295056.374 * * * [misc]progress: picking best candidate 1545295056.380 * * * * [misc]pick: Picked # 1545295056.380 * * * [misc]progress: localizing error 1545295056.400 * * * [misc]progress: generating rewritten candidates 1545295056.400 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545295056.414 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545295056.417 * * * [misc]progress: generating series expansions 1545295056.417 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545295056.417 * [misc]backup-simplify: Simplify (+ (exp (- x)) (+ (exp x) -2)) into (- (+ (exp x) (exp (- x))) 2) 1545295056.417 * [misc]approximate: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2) in (x) around 0 1545295056.417 * [misc]taylor: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2) in x 1545295056.417 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1545295056.417 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295056.417 * [misc]taylor: Taking taylor expansion of x in x 1545295056.417 * [misc]backup-simplify: Simplify 0 into 0 1545295056.417 * [misc]backup-simplify: Simplify 1 into 1 1545295056.417 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.417 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1545295056.417 * [misc]taylor: Taking taylor expansion of (- x) in x 1545295056.417 * [misc]taylor: Taking taylor expansion of x in x 1545295056.417 * [misc]backup-simplify: Simplify 0 into 0 1545295056.417 * [misc]backup-simplify: Simplify 1 into 1 1545295056.417 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.418 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.418 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.418 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.418 * [misc]backup-simplify: Simplify 2 into 2 1545295056.418 * [misc]taylor: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2) in x 1545295056.418 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1545295056.418 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295056.418 * [misc]taylor: Taking taylor expansion of x in x 1545295056.418 * [misc]backup-simplify: Simplify 0 into 0 1545295056.418 * [misc]backup-simplify: Simplify 1 into 1 1545295056.418 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.418 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1545295056.418 * [misc]taylor: Taking taylor expansion of (- x) in x 1545295056.418 * [misc]taylor: Taking taylor expansion of x in x 1545295056.418 * [misc]backup-simplify: Simplify 0 into 0 1545295056.418 * [misc]backup-simplify: Simplify 1 into 1 1545295056.418 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.418 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.418 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.418 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.418 * [misc]backup-simplify: Simplify 2 into 2 1545295056.418 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545295056.418 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.418 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545295056.418 * [misc]backup-simplify: Simplify 0 into 0 1545295056.420 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295056.420 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.420 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1545295056.421 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1545295056.421 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.421 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.421 * [misc]backup-simplify: Simplify 0 into 0 1545295056.422 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295056.422 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.422 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.424 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295056.424 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1545295056.424 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.424 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295056.424 * [misc]backup-simplify: Simplify 1 into 1 1545295056.426 * [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 1545295056.427 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.427 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.427 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.427 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.429 * [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 1545295056.429 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1545295056.429 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.429 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.429 * [misc]backup-simplify: Simplify 0 into 0 1545295056.433 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1545295056.433 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.433 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.433 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.433 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.434 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.434 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.434 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.437 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1545295056.437 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1545295056.437 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.438 * [misc]backup-simplify: Simplify (+ 1/12 0) into 1/12 1545295056.438 * [misc]backup-simplify: Simplify 1/12 into 1/12 1545295056.443 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1545295056.443 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.443 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.444 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.450 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1545295056.450 * [misc]backup-simplify: Simplify (+ 1/120 -1/120) into 0 1545295056.450 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.450 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.450 * [misc]backup-simplify: Simplify 0 into 0 1545295056.459 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 6) 720)) (* (/ (pow 1 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 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 1/720 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.460 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.460 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.460 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.460 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.460 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.461 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.475 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 6) 720)) (* (/ (pow -1 4) 24) (/ (pow 0 1) 1)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 2) 2)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1 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 1/720 1545295056.475 * [misc]backup-simplify: Simplify (+ 1/720 1/720) into 1/360 1545295056.475 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.475 * [misc]backup-simplify: Simplify (+ 1/360 0) into 1/360 1545295056.475 * [misc]backup-simplify: Simplify 1/360 into 1/360 1545295056.476 * [misc]backup-simplify: Simplify (+ (* 1/360 (pow x 6)) (+ (* 1/12 (pow x 4)) (* 1 (pow x 2)))) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295056.476 * [misc]backup-simplify: Simplify (+ (exp (- (/ 1 x))) (+ (exp (/ 1 x)) -2)) into (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1545295056.476 * [misc]approximate: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in (x) around 0 1545295056.476 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in x 1545295056.476 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1545295056.476 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.476 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.476 * [misc]taylor: Taking taylor expansion of x in x 1545295056.476 * [misc]backup-simplify: Simplify 0 into 0 1545295056.476 * [misc]backup-simplify: Simplify 1 into 1 1545295056.476 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.477 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.477 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of x in x 1545295056.477 * [misc]backup-simplify: Simplify 0 into 0 1545295056.477 * [misc]backup-simplify: Simplify 1 into 1 1545295056.477 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.477 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.477 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1545295056.477 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.477 * [misc]backup-simplify: Simplify 2 into 2 1545295056.477 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.477 * [misc]taylor: Taking taylor expansion of x in x 1545295056.477 * [misc]backup-simplify: Simplify 0 into 0 1545295056.477 * [misc]backup-simplify: Simplify 1 into 1 1545295056.478 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.478 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.478 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1545295056.478 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1545295056.478 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.478 * [misc]taylor: Taking taylor expansion of x in x 1545295056.478 * [misc]backup-simplify: Simplify 0 into 0 1545295056.478 * [misc]backup-simplify: Simplify 1 into 1 1545295056.478 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.478 * [misc]backup-simplify: Simplify (- 1) into -1 1545295056.478 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1545295056.478 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.478 * [misc]backup-simplify: Simplify 2 into 2 1545295056.478 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1545295056.479 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.479 * [misc]backup-simplify: Simplify (+ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) -2) into (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1545295056.479 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) into (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1545295056.479 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.479 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify 0 into 0 1545295056.480 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify 0 into 0 1545295056.480 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.480 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.481 * [misc]backup-simplify: Simplify 0 into 0 1545295056.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.481 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.481 * [misc]backup-simplify: Simplify 0 into 0 1545295056.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify 0 into 0 1545295056.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.482 * [misc]backup-simplify: Simplify 0 into 0 1545295056.486 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) 2) into (- (+ (exp x) (exp (- x))) 2) 1545295056.486 * [misc]backup-simplify: Simplify (+ (exp (- (/ 1 (- x)))) (+ (exp (/ 1 (- x))) -2)) into (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) 1545295056.486 * [misc]approximate: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in (x) around 0 1545295056.486 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x 1545295056.486 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1545295056.486 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.486 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.486 * [misc]taylor: Taking taylor expansion of x in x 1545295056.486 * [misc]backup-simplify: Simplify 0 into 0 1545295056.486 * [misc]backup-simplify: Simplify 1 into 1 1545295056.487 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.487 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.487 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of -1 in x 1545295056.487 * [misc]backup-simplify: Simplify -1 into -1 1545295056.487 * [misc]taylor: Taking taylor expansion of x in x 1545295056.487 * [misc]backup-simplify: Simplify 0 into 0 1545295056.487 * [misc]backup-simplify: Simplify 1 into 1 1545295056.487 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295056.487 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295056.487 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.487 * [misc]backup-simplify: Simplify 2 into 2 1545295056.487 * [misc]taylor: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.487 * [misc]taylor: Taking taylor expansion of x in x 1545295056.487 * [misc]backup-simplify: Simplify 0 into 0 1545295056.487 * [misc]backup-simplify: Simplify 1 into 1 1545295056.487 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.488 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.488 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295056.488 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295056.488 * [misc]taylor: Taking taylor expansion of -1 in x 1545295056.488 * [misc]backup-simplify: Simplify -1 into -1 1545295056.488 * [misc]taylor: Taking taylor expansion of x in x 1545295056.488 * [misc]backup-simplify: Simplify 0 into 0 1545295056.488 * [misc]backup-simplify: Simplify 1 into 1 1545295056.488 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295056.488 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295056.488 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.488 * [misc]backup-simplify: Simplify 2 into 2 1545295056.488 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1545295056.488 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.488 * [misc]backup-simplify: Simplify (+ (+ (exp (/ 1 x)) (exp (/ -1 x))) -2) into (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) 1545295056.488 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) into (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) 1545295056.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify 0 into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify 0 into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.489 * [misc]backup-simplify: Simplify 0 into 0 1545295056.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify 0 into 0 1545295056.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify 0 into 0 1545295056.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.490 * [misc]backup-simplify: Simplify 0 into 0 1545295056.491 * [misc]backup-simplify: Simplify (- (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) 2) into (- (+ (exp (* -1 x)) (exp x)) 2) 1545295056.491 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545295056.491 * [misc]backup-simplify: Simplify (+ (exp x) -2) into (- (exp x) 2) 1545295056.491 * [misc]approximate: Taking taylor expansion of (- (exp x) 2) in (x) around 0 1545295056.491 * [misc]taylor: Taking taylor expansion of (- (exp x) 2) in x 1545295056.491 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295056.491 * [misc]taylor: Taking taylor expansion of x in x 1545295056.491 * [misc]backup-simplify: Simplify 0 into 0 1545295056.491 * [misc]backup-simplify: Simplify 1 into 1 1545295056.491 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.491 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.491 * [misc]backup-simplify: Simplify 2 into 2 1545295056.491 * [misc]taylor: Taking taylor expansion of (- (exp x) 2) in x 1545295056.491 * [misc]taylor: Taking taylor expansion of (exp x) in x 1545295056.491 * [misc]taylor: Taking taylor expansion of x in x 1545295056.491 * [misc]backup-simplify: Simplify 0 into 0 1545295056.491 * [misc]backup-simplify: Simplify 1 into 1 1545295056.491 * [misc]backup-simplify: Simplify (exp 0) into 1 1545295056.491 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.491 * [misc]backup-simplify: Simplify 2 into 2 1545295056.491 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.491 * [misc]backup-simplify: Simplify (+ 1 -2) into -1 1545295056.491 * [misc]backup-simplify: Simplify -1 into -1 1545295056.492 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545295056.492 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.492 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545295056.492 * [misc]backup-simplify: Simplify 1 into 1 1545295056.494 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1545295056.494 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.494 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1545295056.494 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545295056.494 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) -1)) into (- (+ x (* 1/2 (pow x 2))) 1) 1545295056.494 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -2) into (- (exp (/ 1 x)) 2) 1545295056.494 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 2) in (x) around 0 1545295056.494 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x 1545295056.494 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.494 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.494 * [misc]taylor: Taking taylor expansion of x in x 1545295056.494 * [misc]backup-simplify: Simplify 0 into 0 1545295056.494 * [misc]backup-simplify: Simplify 1 into 1 1545295056.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.495 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.495 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.495 * [misc]backup-simplify: Simplify 2 into 2 1545295056.495 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x 1545295056.495 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1545295056.495 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545295056.495 * [misc]taylor: Taking taylor expansion of x in x 1545295056.495 * [misc]backup-simplify: Simplify 0 into 0 1545295056.495 * [misc]backup-simplify: Simplify 1 into 1 1545295056.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545295056.495 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1545295056.495 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.495 * [misc]backup-simplify: Simplify 2 into 2 1545295056.495 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.495 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -2) into (- (exp (/ 1 x)) 2) 1545295056.495 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 2) into (- (exp (/ 1 x)) 2) 1545295056.495 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.495 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.495 * [misc]backup-simplify: Simplify 0 into 0 1545295056.496 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify 0 into 0 1545295056.496 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify 0 into 0 1545295056.496 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify 0 into 0 1545295056.496 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.496 * [misc]backup-simplify: Simplify 0 into 0 1545295056.496 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.497 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.497 * [misc]backup-simplify: Simplify 0 into 0 1545295056.497 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 2) into (- (exp x) 2) 1545295056.497 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- x))) -2) into (- (exp (/ -1 x)) 2) 1545295056.497 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 2) in (x) around 0 1545295056.497 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of -1 in x 1545295056.497 * [misc]backup-simplify: Simplify -1 into -1 1545295056.497 * [misc]taylor: Taking taylor expansion of x in x 1545295056.497 * [misc]backup-simplify: Simplify 0 into 0 1545295056.497 * [misc]backup-simplify: Simplify 1 into 1 1545295056.497 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295056.497 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295056.497 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.497 * [misc]backup-simplify: Simplify 2 into 2 1545295056.497 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545295056.497 * [misc]taylor: Taking taylor expansion of -1 in x 1545295056.497 * [misc]backup-simplify: Simplify -1 into -1 1545295056.497 * [misc]taylor: Taking taylor expansion of x in x 1545295056.497 * [misc]backup-simplify: Simplify 0 into 0 1545295056.497 * [misc]backup-simplify: Simplify 1 into 1 1545295056.497 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545295056.497 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1545295056.497 * [misc]taylor: Taking taylor expansion of 2 in x 1545295056.497 * [misc]backup-simplify: Simplify 2 into 2 1545295056.498 * [misc]backup-simplify: Simplify (- 2) into -2 1545295056.498 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -2) into (- (exp (/ -1 x)) 2) 1545295056.498 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 2) into (- (exp (/ -1 x)) 2) 1545295056.498 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify 0 into 0 1545295056.498 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify 0 into 0 1545295056.498 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.498 * [misc]backup-simplify: Simplify 0 into 0 1545295056.498 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify 0 into 0 1545295056.499 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify 0 into 0 1545295056.499 * [misc]backup-simplify: Simplify (- 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545295056.499 * [misc]backup-simplify: Simplify 0 into 0 1545295056.499 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 2) into (- (exp x) 2) 1545295056.499 * * * [misc]progress: simplifying candidates 1545295056.499 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1545295056.499 * [enter]simplify: Simplifying (* (exp (exp (- x))) (exp (+ (exp x) -2))) 1545295056.499 * * [misc]simplify: iters left: 6 (9 enodes) 1545295056.501 * * [misc]simplify: iters left: 5 (18 enodes) 1545295056.504 * * [misc]simplify: iters left: 4 (31 enodes) 1545295056.509 * * [misc]simplify: iters left: 3 (43 enodes) 1545295056.515 * * [misc]simplify: iters left: 2 (53 enodes) 1545295056.527 * [exit]simplify: Simplified to (exp (+ (exp (- x)) (+ -2 (exp x)))) 1545295056.527 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (exp (- x)) (+ -2 (exp x)))))) 1545295056.527 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1545295056.527 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1545295056.528 * [enter]simplify: Simplifying (+ (* 1 (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))) (* (exp x) (+ (pow (exp x) 3) (pow -2 3)))) 1545295056.528 * * [misc]simplify: iters left: 6 (16 enodes) 1545295056.535 * * [misc]simplify: iters left: 5 (50 enodes) 1545295056.551 * * [misc]simplify: iters left: 4 (132 enodes) 1545295056.590 * * [misc]simplify: iters left: 3 (444 enodes) 1545295056.957 * [exit]simplify: Simplified to (- (+ 4 (exp (+ x x))) (- (* (exp x) 6) (pow (exp x) 4))) 1545295056.957 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (+ 4 (exp (+ x x))) (- (* (exp x) 6) (pow (exp x) 4))) (* (exp x) (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))))) 1545295056.958 * [enter]simplify: Simplifying (* (exp x) (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))) 1545295056.958 * * [misc]simplify: iters left: 6 (9 enodes) 1545295056.962 * * [misc]simplify: iters left: 5 (27 enodes) 1545295056.972 * * [misc]simplify: iters left: 4 (68 enodes) 1545295056.992 * * [misc]simplify: iters left: 3 (127 enodes) 1545295057.016 * * [misc]simplify: iters left: 2 (184 enodes) 1545295057.046 * * [misc]simplify: iters left: 1 (240 enodes) 1545295057.087 * [exit]simplify: Simplified to (+ (* (- (exp x) -2) (exp (+ x x))) (* 4 (exp x))) 1545295057.087 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (+ 4 (exp (+ x x))) (- (* (exp x) 6) (pow (exp x) 4))) (+ (* (- (exp x) -2) (exp (+ x x))) (* 4 (exp x))))) 1545295057.087 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1545295057.087 * [enter]simplify: Simplifying (+ (* 1 (- (exp x) -2)) (* (exp x) (- (* (exp x) (exp x)) (* -2 -2)))) 1545295057.088 * * [misc]simplify: iters left: 6 (11 enodes) 1545295057.090 * * [misc]simplify: iters left: 5 (26 enodes) 1545295057.095 * * [misc]simplify: iters left: 4 (48 enodes) 1545295057.106 * * [misc]simplify: iters left: 3 (135 enodes) 1545295057.175 * * [misc]simplify: iters left: 2 (490 enodes) 1545295057.788 * [exit]simplify: Simplified to (- (+ (pow (exp x) 3) (* -3 (exp x))) -2) 1545295057.788 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (+ (pow (exp x) 3) (* -3 (exp x))) -2) (* (exp x) (- (exp x) -2)))) 1545295057.789 * [enter]simplify: Simplifying (* (exp x) (- (exp x) -2)) 1545295057.789 * * [misc]simplify: iters left: 5 (5 enodes) 1545295057.790 * * [misc]simplify: iters left: 4 (9 enodes) 1545295057.791 * * [misc]simplify: iters left: 3 (15 enodes) 1545295057.793 * * [misc]simplify: iters left: 2 (22 enodes) 1545295057.795 * [exit]simplify: Simplified to (* (- (exp x) -2) (exp x)) 1545295057.795 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (+ (pow (exp x) 3) (* -3 (exp x))) -2) (* (- (exp x) -2) (exp x)))) 1545295057.795 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1545295057.796 * [enter]simplify: Simplifying (+ (* (exp 0) (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))) (* (exp x) (+ (pow (exp x) 3) (pow -2 3)))) 1545295057.796 * * [misc]simplify: iters left: 6 (17 enodes) 1545295057.800 * * [misc]simplify: iters left: 5 (50 enodes) 1545295057.817 * * [misc]simplify: iters left: 4 (118 enodes) 1545295057.847 * * [misc]simplify: iters left: 3 (315 enodes) 1545295058.022 * [exit]simplify: Simplified to (+ (+ (+ (pow (exp x) 4) 4) (* (exp x) (+ (exp x) 2))) (* -8 (exp x))) 1545295058.022 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (+ (+ (pow (exp x) 4) 4) (* (exp x) (+ (exp x) 2))) (* -8 (exp x))) (* (exp x) (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))))) 1545295058.022 * [enter]simplify: Simplifying (* (exp x) (+ (* (exp x) (exp x)) (- (* -2 -2) (* (exp x) -2)))) 1545295058.022 * * [misc]simplify: iters left: 6 (9 enodes) 1545295058.025 * * [misc]simplify: iters left: 5 (27 enodes) 1545295058.031 * * [misc]simplify: iters left: 4 (68 enodes) 1545295058.042 * * [misc]simplify: iters left: 3 (127 enodes) 1545295058.062 * * [misc]simplify: iters left: 2 (184 enodes) 1545295058.100 * * [misc]simplify: iters left: 1 (240 enodes) 1545295058.141 * [exit]simplify: Simplified to (+ (* (- (exp x) -2) (exp (+ x x))) (* 4 (exp x))) 1545295058.141 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (+ (+ (pow (exp x) 4) 4) (* (exp x) (+ (exp x) 2))) (* -8 (exp x))) (+ (* (- (exp x) -2) (exp (+ x x))) (* 4 (exp x))))) 1545295058.141 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1545295058.141 * [enter]simplify: Simplifying (+ (* (exp 0) (- (exp x) -2)) (* (exp x) (- (* (exp x) (exp x)) (* -2 -2)))) 1545295058.141 * * [misc]simplify: iters left: 6 (12 enodes) 1545295058.144 * * [misc]simplify: iters left: 5 (26 enodes) 1545295058.147 * * [misc]simplify: iters left: 4 (41 enodes) 1545295058.157 * * [misc]simplify: iters left: 3 (128 enodes) 1545295058.223 * * [misc]simplify: iters left: 2 (449 enodes) 1545295058.788 * [exit]simplify: Simplified to (+ 2 (+ (pow (exp x) 3) (* -3 (exp x)))) 1545295058.788 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ 2 (+ (pow (exp x) 3) (* -3 (exp x)))) (* (exp x) (- (exp x) -2)))) 1545295058.789 * [enter]simplify: Simplifying (* (exp x) (- (exp x) -2)) 1545295058.789 * * [misc]simplify: iters left: 5 (5 enodes) 1545295058.791 * * [misc]simplify: iters left: 4 (9 enodes) 1545295058.792 * * [misc]simplify: iters left: 3 (15 enodes) 1545295058.794 * * [misc]simplify: iters left: 2 (22 enodes) 1545295058.797 * [exit]simplify: Simplified to (* (- (exp x) -2) (exp x)) 1545295058.797 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ 2 (+ (pow (exp x) 3) (* -3 (exp x)))) (* (- (exp x) -2) (exp x)))) 1545295058.797 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1545295058.797 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1545295058.797 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1545295058.797 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1545295058.797 * [enter]simplify: Simplifying (+ (exp (- x)) (+ (exp x) -2)) 1545295058.797 * * [misc]simplify: iters left: 5 (7 enodes) 1545295058.799 * * [misc]simplify: iters left: 4 (13 enodes) 1545295058.800 * * [misc]simplify: iters left: 3 (21 enodes) 1545295058.803 * * [misc]simplify: iters left: 2 (22 enodes) 1545295058.805 * [exit]simplify: Simplified to (+ (+ (exp x) -2) (exp (- x))) 1545295058.805 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (+ (exp x) -2) (exp (- x))))) 1545295058.805 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1545295058.805 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1545295058.805 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1545295058.805 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1545295058.806 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1545295058.806 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))) 1545295058.806 * * [misc]simplify: iters left: 6 (13 enodes) 1545295058.808 * * [misc]simplify: iters left: 5 (20 enodes) 1545295058.813 * * [misc]simplify: iters left: 4 (26 enodes) 1545295058.817 * * [misc]simplify: iters left: 3 (28 enodes) 1545295058.821 * [exit]simplify: Simplified to (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4))) 1545295058.822 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 6) 1/360) (* x x)) (* 1/12 (pow x 4)))) 1545295058.822 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1545295058.822 * [enter]simplify: Simplifying (- (+ (exp x) (exp (- x))) 2) 1545295058.822 * * [misc]simplify: iters left: 6 (7 enodes) 1545295058.825 * * [misc]simplify: iters left: 5 (15 enodes) 1545295058.829 * * [misc]simplify: iters left: 4 (24 enodes) 1545295058.835 * * [misc]simplify: iters left: 3 (29 enodes) 1545295058.840 * * [misc]simplify: iters left: 2 (33 enodes) 1545295058.844 * * [misc]simplify: iters left: 1 (39 enodes) 1545295058.849 * [exit]simplify: Simplified to (+ (exp (- x)) (+ (exp x) -2)) 1545295058.849 * [misc]simplify: Simplified (2) to (λ (x) (+ (exp (- x)) (+ (exp x) -2))) 1545295058.849 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1545295058.849 * [enter]simplify: Simplifying (- (+ (exp (* -1 x)) (exp x)) 2) 1545295058.849 * * [misc]simplify: iters left: 6 (8 enodes) 1545295058.852 * * [misc]simplify: iters left: 5 (18 enodes) 1545295058.855 * * [misc]simplify: iters left: 4 (27 enodes) 1545295058.858 * * [misc]simplify: iters left: 3 (35 enodes) 1545295058.863 * * [misc]simplify: iters left: 2 (39 enodes) 1545295058.868 * * [misc]simplify: iters left: 1 (47 enodes) 1545295058.875 * [exit]simplify: Simplified to (- (+ -2 (exp x)) (/ -1 (exp x))) 1545295058.875 * [misc]simplify: Simplified (2) to (λ (x) (- (+ -2 (exp x)) (/ -1 (exp x)))) 1545295058.875 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1545295058.875 * [enter]simplify: Simplifying (- (+ x (* 1/2 (pow x 2))) 1) 1545295058.875 * * [misc]simplify: iters left: 6 (8 enodes) 1545295058.878 * * [misc]simplify: iters left: 5 (18 enodes) 1545295058.883 * * [misc]simplify: iters left: 4 (29 enodes) 1545295058.891 * * [misc]simplify: iters left: 3 (37 enodes) 1545295058.900 * * [misc]simplify: iters left: 2 (43 enodes) 1545295058.910 * * [misc]simplify: iters left: 1 (57 enodes) 1545295058.935 * [exit]simplify: Simplified to (+ (* x (* x 1/2)) (+ -1 x)) 1545295058.935 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (exp (- x)) (+ (* x (* x 1/2)) (+ -1 x)))) 1545295058.935 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1545295058.936 * [enter]simplify: Simplifying (- (exp x) 2) 1545295058.936 * * [misc]simplify: iters left: 3 (4 enodes) 1545295058.938 * * [misc]simplify: iters left: 2 (7 enodes) 1545295058.939 * * [misc]simplify: iters left: 1 (8 enodes) 1545295058.941 * [exit]simplify: Simplified to (- (exp x) 2) 1545295058.941 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (exp (- x)) (- (exp x) 2))) 1545295058.941 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1545295058.942 * [enter]simplify: Simplifying (- (exp x) 2) 1545295058.942 * * [misc]simplify: iters left: 3 (4 enodes) 1545295058.944 * * [misc]simplify: iters left: 2 (7 enodes) 1545295058.945 * * [misc]simplify: iters left: 1 (8 enodes) 1545295058.947 * [exit]simplify: Simplified to (- (exp x) 2) 1545295058.947 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (exp (- x)) (- (exp x) 2))) 1545295058.947 * * * [misc]progress: adding candidates to table 1545295059.276 * [misc]progress: [Phase 3 of 3] Extracting. 1545295059.276 * * [misc]regime: Finding splitpoints for: (# #) 1545295059.276 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1545295059.276 * * * * [misc]regimes: Trying to branch on x from (# #) 1545295059.303 * * * [misc]regime: Found split indices: #