1546852463.049 * [misc]progress: [Phase 1 of 3] Setting up. 1546852463.050 * * * [misc]progress: [1/2] Preparing points 1546852463.050 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546852463.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852463.089 * * * * [exit]points: Sampled 256 points with exact outputs 1546852463.089 * * * [misc]progress: [2/2] Setting up program. 1546852463.092 * [misc]progress: [Phase 2 of 3] Improving. 1546852463.092 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546852463.092 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) 1546852463.092 * * [misc]simplify: iters left: 6 (12 enodes) 1546852463.095 * * [misc]simplify: iters left: 5 (22 enodes) 1546852463.102 * * [misc]simplify: iters left: 4 (41 enodes) 1546852463.115 * * [misc]simplify: iters left: 3 (81 enodes) 1546852463.134 * * [misc]simplify: iters left: 2 (180 enodes) 1546852463.193 * * [misc]simplify: iters left: 1 (420 enodes) 1546852463.631 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852463.631 * [misc]simplify: Simplified (2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852463.641 * * [misc]progress: iteration 1 / 4 1546852463.641 * * * [misc]progress: picking best candidate 1546852463.645 * * * * [misc]pick: Picked # 1546852463.645 * * * [misc]progress: localizing error 1546852463.683 * * * [misc]progress: generating rewritten candidates 1546852463.683 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2) 1546852463.684 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 1) 1546852463.685 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2) 1546852463.694 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1546852463.698 * * * [misc]progress: generating series expansions 1546852463.698 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2) 1546852463.698 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1546852463.698 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1546852463.698 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.698 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.698 * [misc]backup-simplify: Simplify 2 into 2 1546852463.698 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.698 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.698 * [misc]backup-simplify: Simplify 2 into 2 1546852463.698 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.698 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.698 * [misc]taylor: Taking taylor expansion of t in t 1546852463.698 * [misc]backup-simplify: Simplify 0 into 0 1546852463.698 * [misc]backup-simplify: Simplify 1 into 1 1546852463.698 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.698 * [misc]backup-simplify: Simplify 1 into 1 1546852463.699 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.699 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.699 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.699 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.699 * [misc]backup-simplify: Simplify 2 into 2 1546852463.699 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.699 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.699 * [misc]backup-simplify: Simplify 2 into 2 1546852463.699 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.699 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.699 * [misc]taylor: Taking taylor expansion of t in t 1546852463.699 * [misc]backup-simplify: Simplify 0 into 0 1546852463.699 * [misc]backup-simplify: Simplify 1 into 1 1546852463.699 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.699 * [misc]backup-simplify: Simplify 1 into 1 1546852463.699 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.700 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.700 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.700 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.700 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852463.700 * [misc]backup-simplify: Simplify 0 into 0 1546852463.700 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.701 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.701 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.701 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.701 * [misc]backup-simplify: Simplify 2 into 2 1546852463.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.702 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852463.702 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1546852463.702 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.702 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.702 * [misc]backup-simplify: Simplify -2 into -2 1546852463.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.703 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852463.703 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1546852463.703 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.704 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.704 * [misc]backup-simplify: Simplify 2 into 2 1546852463.704 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852463.705 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1546852463.705 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1546852463.705 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.705 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.705 * [misc]backup-simplify: Simplify 2 into 2 1546852463.705 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.705 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.705 * [misc]backup-simplify: Simplify 2 into 2 1546852463.705 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.705 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.705 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.705 * [misc]taylor: Taking taylor expansion of t in t 1546852463.705 * [misc]backup-simplify: Simplify 0 into 0 1546852463.705 * [misc]backup-simplify: Simplify 1 into 1 1546852463.705 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.705 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.705 * [misc]backup-simplify: Simplify 1 into 1 1546852463.705 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.706 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.706 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.706 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.706 * [misc]backup-simplify: Simplify 2 into 2 1546852463.706 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.706 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.706 * [misc]backup-simplify: Simplify 2 into 2 1546852463.706 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.706 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.706 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.706 * [misc]taylor: Taking taylor expansion of t in t 1546852463.706 * [misc]backup-simplify: Simplify 0 into 0 1546852463.706 * [misc]backup-simplify: Simplify 1 into 1 1546852463.706 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.706 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.706 * [misc]backup-simplify: Simplify 1 into 1 1546852463.706 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.707 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.707 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.707 * [misc]backup-simplify: Simplify 2 into 2 1546852463.707 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.707 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.707 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.707 * [misc]backup-simplify: Simplify -2 into -2 1546852463.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.708 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.708 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.708 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.709 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.709 * [misc]backup-simplify: Simplify 2 into 2 1546852463.709 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852463.709 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1546852463.709 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1546852463.709 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.709 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.709 * [misc]backup-simplify: Simplify 2 into 2 1546852463.709 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.709 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.709 * [misc]backup-simplify: Simplify 2 into 2 1546852463.709 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.709 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.709 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.709 * [misc]backup-simplify: Simplify 1 into 1 1546852463.709 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.709 * [misc]taylor: Taking taylor expansion of t in t 1546852463.710 * [misc]backup-simplify: Simplify 0 into 0 1546852463.710 * [misc]backup-simplify: Simplify 1 into 1 1546852463.710 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.710 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.710 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.710 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.710 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.710 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.710 * [misc]backup-simplify: Simplify 2 into 2 1546852463.710 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.710 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.710 * [misc]backup-simplify: Simplify 2 into 2 1546852463.710 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.710 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.710 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.710 * [misc]backup-simplify: Simplify 1 into 1 1546852463.710 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.711 * [misc]taylor: Taking taylor expansion of t in t 1546852463.711 * [misc]backup-simplify: Simplify 0 into 0 1546852463.711 * [misc]backup-simplify: Simplify 1 into 1 1546852463.711 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.711 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.711 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.711 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.711 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.711 * [misc]backup-simplify: Simplify 2 into 2 1546852463.712 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1546852463.712 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.712 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.712 * [misc]backup-simplify: Simplify 2 into 2 1546852463.712 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.712 * [misc]backup-simplify: Simplify (- 0) into 0 1546852463.713 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.713 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852463.713 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1546852463.713 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.713 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.713 * [misc]backup-simplify: Simplify 2 into 2 1546852463.714 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852463.714 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 1) 1546852463.714 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1546852463.714 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1546852463.714 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.714 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.714 * [misc]backup-simplify: Simplify 2 into 2 1546852463.714 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.714 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.714 * [misc]backup-simplify: Simplify 2 into 2 1546852463.714 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.714 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.714 * [misc]taylor: Taking taylor expansion of t in t 1546852463.714 * [misc]backup-simplify: Simplify 0 into 0 1546852463.714 * [misc]backup-simplify: Simplify 1 into 1 1546852463.714 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.714 * [misc]backup-simplify: Simplify 1 into 1 1546852463.714 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.714 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.715 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.715 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.715 * [misc]backup-simplify: Simplify 2 into 2 1546852463.715 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.715 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.715 * [misc]backup-simplify: Simplify 2 into 2 1546852463.715 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.715 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.715 * [misc]taylor: Taking taylor expansion of t in t 1546852463.715 * [misc]backup-simplify: Simplify 0 into 0 1546852463.715 * [misc]backup-simplify: Simplify 1 into 1 1546852463.715 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.715 * [misc]backup-simplify: Simplify 1 into 1 1546852463.715 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.715 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.715 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.716 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.716 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852463.716 * [misc]backup-simplify: Simplify 0 into 0 1546852463.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.716 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.716 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.717 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.717 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.717 * [misc]backup-simplify: Simplify 2 into 2 1546852463.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.717 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852463.718 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1546852463.718 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.718 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.718 * [misc]backup-simplify: Simplify -2 into -2 1546852463.718 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.719 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852463.719 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1546852463.719 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.719 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.719 * [misc]backup-simplify: Simplify 2 into 2 1546852463.720 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852463.720 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1546852463.720 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1546852463.720 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.720 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.720 * [misc]backup-simplify: Simplify 2 into 2 1546852463.720 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.720 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.720 * [misc]backup-simplify: Simplify 2 into 2 1546852463.720 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.720 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.720 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.720 * [misc]taylor: Taking taylor expansion of t in t 1546852463.720 * [misc]backup-simplify: Simplify 0 into 0 1546852463.720 * [misc]backup-simplify: Simplify 1 into 1 1546852463.720 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.720 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.720 * [misc]backup-simplify: Simplify 1 into 1 1546852463.721 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.721 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.721 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.721 * [misc]backup-simplify: Simplify 2 into 2 1546852463.721 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.721 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.721 * [misc]backup-simplify: Simplify 2 into 2 1546852463.721 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.721 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.721 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.721 * [misc]taylor: Taking taylor expansion of t in t 1546852463.721 * [misc]backup-simplify: Simplify 0 into 0 1546852463.721 * [misc]backup-simplify: Simplify 1 into 1 1546852463.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.721 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.721 * [misc]backup-simplify: Simplify 1 into 1 1546852463.721 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.722 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.722 * [misc]backup-simplify: Simplify 2 into 2 1546852463.722 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.722 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.722 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.722 * [misc]backup-simplify: Simplify -2 into -2 1546852463.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.723 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.723 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.723 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.724 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.724 * [misc]backup-simplify: Simplify 2 into 2 1546852463.724 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852463.724 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1546852463.724 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1546852463.724 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.724 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.724 * [misc]backup-simplify: Simplify 2 into 2 1546852463.724 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.724 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.724 * [misc]backup-simplify: Simplify 2 into 2 1546852463.724 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.724 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.724 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.724 * [misc]backup-simplify: Simplify 1 into 1 1546852463.724 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.724 * [misc]taylor: Taking taylor expansion of t in t 1546852463.724 * [misc]backup-simplify: Simplify 0 into 0 1546852463.724 * [misc]backup-simplify: Simplify 1 into 1 1546852463.725 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.725 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.725 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.725 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.725 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.725 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.725 * [misc]backup-simplify: Simplify 2 into 2 1546852463.725 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.725 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.725 * [misc]backup-simplify: Simplify 2 into 2 1546852463.725 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.725 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.725 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.725 * [misc]backup-simplify: Simplify 1 into 1 1546852463.725 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.725 * [misc]taylor: Taking taylor expansion of t in t 1546852463.726 * [misc]backup-simplify: Simplify 0 into 0 1546852463.726 * [misc]backup-simplify: Simplify 1 into 1 1546852463.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.726 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.726 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.726 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.726 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.726 * [misc]backup-simplify: Simplify 2 into 2 1546852463.727 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1546852463.727 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.727 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.727 * [misc]backup-simplify: Simplify 2 into 2 1546852463.727 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.727 * [misc]backup-simplify: Simplify (- 0) into 0 1546852463.728 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.728 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852463.728 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1546852463.728 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.728 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.728 * [misc]backup-simplify: Simplify 2 into 2 1546852463.729 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852463.729 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2) 1546852463.729 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) into (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) 1546852463.729 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in (t) around 0 1546852463.729 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1546852463.729 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.729 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.729 * [misc]backup-simplify: Simplify 2 into 2 1546852463.729 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.729 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.729 * [misc]backup-simplify: Simplify 2 into 2 1546852463.729 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.729 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.729 * [misc]taylor: Taking taylor expansion of t in t 1546852463.729 * [misc]backup-simplify: Simplify 0 into 0 1546852463.729 * [misc]backup-simplify: Simplify 1 into 1 1546852463.729 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.729 * [misc]backup-simplify: Simplify 1 into 1 1546852463.729 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.730 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.730 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.730 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.730 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852463.730 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.730 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.731 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.731 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.731 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.731 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1546852463.731 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852463.731 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.731 * [misc]backup-simplify: Simplify 2 into 2 1546852463.731 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852463.731 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.731 * [misc]backup-simplify: Simplify 2 into 2 1546852463.731 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.731 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.731 * [misc]taylor: Taking taylor expansion of t in t 1546852463.731 * [misc]backup-simplify: Simplify 0 into 0 1546852463.731 * [misc]backup-simplify: Simplify 1 into 1 1546852463.731 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.731 * [misc]backup-simplify: Simplify 1 into 1 1546852463.731 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.732 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.732 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.732 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.732 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852463.733 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.733 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.733 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.733 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.733 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.734 * [misc]backup-simplify: Simplify (* 2 2) into 4 1546852463.734 * [misc]backup-simplify: Simplify 4 into 4 1546852463.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.734 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852463.734 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1546852463.735 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.735 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.735 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1546852463.735 * [misc]backup-simplify: Simplify -8 into -8 1546852463.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852463.736 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1546852463.736 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.736 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.736 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1546852463.736 * [misc]backup-simplify: Simplify 12 into 12 1546852463.737 * [misc]backup-simplify: Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1546852463.737 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))) into (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) 1546852463.737 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 1546852463.737 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1546852463.737 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.737 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.737 * [misc]backup-simplify: Simplify 2 into 2 1546852463.737 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.737 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.737 * [misc]backup-simplify: Simplify 2 into 2 1546852463.738 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.738 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.738 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.738 * [misc]taylor: Taking taylor expansion of t in t 1546852463.738 * [misc]backup-simplify: Simplify 0 into 0 1546852463.738 * [misc]backup-simplify: Simplify 1 into 1 1546852463.738 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.738 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.738 * [misc]backup-simplify: Simplify 1 into 1 1546852463.738 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.738 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.738 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.738 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1546852463.738 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.738 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.738 * [misc]backup-simplify: Simplify 2 into 2 1546852463.739 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.739 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.739 * [misc]backup-simplify: Simplify 2 into 2 1546852463.739 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.739 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.739 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.739 * [misc]taylor: Taking taylor expansion of t in t 1546852463.739 * [misc]backup-simplify: Simplify 0 into 0 1546852463.739 * [misc]backup-simplify: Simplify 1 into 1 1546852463.739 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.739 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.739 * [misc]backup-simplify: Simplify 1 into 1 1546852463.739 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.739 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.739 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.740 * [misc]backup-simplify: Simplify (* 2 2) into 4 1546852463.740 * [misc]backup-simplify: Simplify 4 into 4 1546852463.740 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852463.740 * [misc]backup-simplify: Simplify (- 2) into -2 1546852463.740 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852463.740 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1546852463.740 * [misc]backup-simplify: Simplify -8 into -8 1546852463.741 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.741 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.741 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.741 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852463.741 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.741 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.742 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1546852463.742 * [misc]backup-simplify: Simplify 12 into 12 1546852463.742 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1546852463.742 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))) into (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) 1546852463.742 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 1546852463.742 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.743 * [misc]backup-simplify: Simplify 2 into 2 1546852463.743 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.743 * [misc]backup-simplify: Simplify 2 into 2 1546852463.743 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.743 * [misc]backup-simplify: Simplify 1 into 1 1546852463.743 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.743 * [misc]taylor: Taking taylor expansion of t in t 1546852463.743 * [misc]backup-simplify: Simplify 0 into 0 1546852463.743 * [misc]backup-simplify: Simplify 1 into 1 1546852463.743 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.743 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.743 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.743 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.743 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.744 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.744 * [misc]backup-simplify: Simplify 2 into 2 1546852463.744 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of 2 in t 1546852463.744 * [misc]backup-simplify: Simplify 2 into 2 1546852463.744 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.744 * [misc]backup-simplify: Simplify 1 into 1 1546852463.744 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.744 * [misc]taylor: Taking taylor expansion of t in t 1546852463.744 * [misc]backup-simplify: Simplify 0 into 0 1546852463.744 * [misc]backup-simplify: Simplify 1 into 1 1546852463.744 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.744 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.744 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.744 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.744 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852463.744 * [misc]backup-simplify: Simplify (* 2 2) into 4 1546852463.745 * [misc]backup-simplify: Simplify 4 into 4 1546852463.745 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1546852463.745 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.745 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.745 * [misc]backup-simplify: Simplify (+ (* 2 2) (* 2 2)) into 8 1546852463.745 * [misc]backup-simplify: Simplify 8 into 8 1546852463.745 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.745 * [misc]backup-simplify: Simplify (- 0) into 0 1546852463.745 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.745 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852463.746 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1546852463.746 * [misc]backup-simplify: Simplify (- -2) into 2 1546852463.746 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852463.746 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1546852463.746 * [misc]backup-simplify: Simplify 12 into 12 1546852463.746 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1546852463.746 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1546852463.746 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) 1546852463.746 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in (t) around 0 1546852463.746 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852463.746 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852463.746 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.747 * [misc]backup-simplify: Simplify 4 into 4 1546852463.747 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of t in t 1546852463.747 * [misc]backup-simplify: Simplify 0 into 0 1546852463.747 * [misc]backup-simplify: Simplify 1 into 1 1546852463.747 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.747 * [misc]backup-simplify: Simplify 1 into 1 1546852463.747 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.747 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852463.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.747 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.747 * [misc]backup-simplify: Simplify 6 into 6 1546852463.747 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.747 * [misc]backup-simplify: Simplify 8 into 8 1546852463.747 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.747 * [misc]taylor: Taking taylor expansion of t in t 1546852463.747 * [misc]backup-simplify: Simplify 0 into 0 1546852463.747 * [misc]backup-simplify: Simplify 1 into 1 1546852463.747 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.747 * [misc]backup-simplify: Simplify 1 into 1 1546852463.747 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.747 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852463.748 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852463.748 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852463.748 * [misc]backup-simplify: Simplify (- 8) into -8 1546852463.748 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852463.748 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852463.748 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.748 * [misc]backup-simplify: Simplify 4 into 4 1546852463.748 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.748 * [misc]taylor: Taking taylor expansion of t in t 1546852463.748 * [misc]backup-simplify: Simplify 0 into 0 1546852463.748 * [misc]backup-simplify: Simplify 1 into 1 1546852463.748 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.748 * [misc]backup-simplify: Simplify 1 into 1 1546852463.748 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.748 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852463.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.749 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.749 * [misc]backup-simplify: Simplify 6 into 6 1546852463.749 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852463.749 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.749 * [misc]backup-simplify: Simplify 8 into 8 1546852463.749 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852463.749 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852463.749 * [misc]taylor: Taking taylor expansion of t in t 1546852463.749 * [misc]backup-simplify: Simplify 0 into 0 1546852463.749 * [misc]backup-simplify: Simplify 1 into 1 1546852463.749 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.749 * [misc]backup-simplify: Simplify 1 into 1 1546852463.749 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.749 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.749 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852463.749 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852463.749 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852463.749 * [misc]backup-simplify: Simplify (- 8) into -8 1546852463.749 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852463.749 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852463.750 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852463.750 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.750 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1546852463.750 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 2 1)))) into -2 1546852463.750 * [misc]backup-simplify: Simplify (+ (* 4 -2) (* 0 1)) into -8 1546852463.750 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1546852463.750 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.750 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.751 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852463.751 * [misc]backup-simplify: Simplify (- -8) into 8 1546852463.751 * [misc]backup-simplify: Simplify (+ -8 8) into 0 1546852463.751 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 1546852463.751 * [misc]backup-simplify: Simplify 0 into 0 1546852463.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1546852463.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3 1546852463.752 * [misc]backup-simplify: Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12 1546852463.752 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1546852463.752 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.752 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852463.752 * [misc]backup-simplify: Simplify (+ (* 8 1) (+ (* 0 -1) (* 0 1))) into 8 1546852463.752 * [misc]backup-simplify: Simplify (- 8) into -8 1546852463.752 * [misc]backup-simplify: Simplify (+ 12 -8) into 4 1546852463.752 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 4 2)) (* 0 (/ 0 2)))) into -1 1546852463.752 * [misc]backup-simplify: Simplify -1 into -1 1546852463.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.753 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546852463.753 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4 1546852463.753 * [misc]backup-simplify: Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16 1546852463.753 * [misc]backup-simplify: Simplify (+ -16 0) into -16 1546852463.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.754 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852463.754 * [misc]backup-simplify: Simplify (+ (* 8 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -8 1546852463.754 * [misc]backup-simplify: Simplify (- -8) into 8 1546852463.754 * [misc]backup-simplify: Simplify (+ -16 8) into -8 1546852463.758 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ -8 2)) (* 0 (/ 4 2)) (* -1 (/ 0 2)))) into 2 1546852463.758 * [misc]backup-simplify: Simplify 2 into 2 1546852463.758 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -1 (pow t 2)) 1/2)) into (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1546852463.758 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) 1546852463.758 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in (t) around 0 1546852463.758 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.758 * [misc]backup-simplify: Simplify 4 into 4 1546852463.758 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.758 * [misc]taylor: Taking taylor expansion of t in t 1546852463.758 * [misc]backup-simplify: Simplify 0 into 0 1546852463.758 * [misc]backup-simplify: Simplify 1 into 1 1546852463.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.759 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.759 * [misc]backup-simplify: Simplify 1 into 1 1546852463.759 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.759 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852463.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.759 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.759 * [misc]backup-simplify: Simplify 6 into 6 1546852463.759 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.759 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.759 * [misc]backup-simplify: Simplify 8 into 8 1546852463.759 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.759 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.759 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.759 * [misc]taylor: Taking taylor expansion of t in t 1546852463.759 * [misc]backup-simplify: Simplify 0 into 0 1546852463.759 * [misc]backup-simplify: Simplify 1 into 1 1546852463.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.759 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.759 * [misc]backup-simplify: Simplify 1 into 1 1546852463.759 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.760 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852463.760 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852463.760 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852463.760 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.760 * [misc]backup-simplify: Simplify 4 into 4 1546852463.760 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of t in t 1546852463.760 * [misc]backup-simplify: Simplify 0 into 0 1546852463.760 * [misc]backup-simplify: Simplify 1 into 1 1546852463.760 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.760 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.760 * [misc]backup-simplify: Simplify 1 into 1 1546852463.760 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.760 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852463.760 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.760 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.760 * [misc]backup-simplify: Simplify 6 into 6 1546852463.760 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.760 * [misc]backup-simplify: Simplify 8 into 8 1546852463.760 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852463.760 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852463.761 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.761 * [misc]taylor: Taking taylor expansion of t in t 1546852463.761 * [misc]backup-simplify: Simplify 0 into 0 1546852463.761 * [misc]backup-simplify: Simplify 1 into 1 1546852463.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.761 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.761 * [misc]backup-simplify: Simplify 1 into 1 1546852463.761 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.761 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852463.761 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852463.761 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852463.761 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852463.761 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.761 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852463.762 * [misc]backup-simplify: Simplify (- 8) into -8 1546852463.762 * [misc]backup-simplify: Simplify (+ 0 -8) into -8 1546852463.762 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ -8 6)))) into 2/9 1546852463.762 * [misc]backup-simplify: Simplify 2/9 into 2/9 1546852463.762 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852463.762 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852463.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.762 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852463.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852463.763 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852463.763 * [misc]backup-simplify: Simplify (- -8) into 8 1546852463.763 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852463.763 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* 2/9 (/ -8 6)))) into -1/27 1546852463.763 * [misc]backup-simplify: Simplify -1/27 into -1/27 1546852463.763 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 t) 2)) (+ (* 2/9 (/ 1 t)) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852463.763 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) 1546852463.763 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in (t) around 0 1546852463.763 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852463.763 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.763 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.764 * [misc]backup-simplify: Simplify 4 into 4 1546852463.764 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.764 * [misc]backup-simplify: Simplify 1 into 1 1546852463.764 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of t in t 1546852463.764 * [misc]backup-simplify: Simplify 0 into 0 1546852463.764 * [misc]backup-simplify: Simplify 1 into 1 1546852463.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.764 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.764 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.764 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852463.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.764 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.764 * [misc]backup-simplify: Simplify 6 into 6 1546852463.764 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.764 * [misc]backup-simplify: Simplify 8 into 8 1546852463.764 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.764 * [misc]backup-simplify: Simplify 1 into 1 1546852463.764 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.764 * [misc]taylor: Taking taylor expansion of t in t 1546852463.764 * [misc]backup-simplify: Simplify 0 into 0 1546852463.764 * [misc]backup-simplify: Simplify 1 into 1 1546852463.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.765 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.765 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.765 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.765 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852463.765 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852463.765 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852463.765 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of 4 in t 1546852463.765 * [misc]backup-simplify: Simplify 4 into 4 1546852463.765 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.765 * [misc]backup-simplify: Simplify 1 into 1 1546852463.765 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.765 * [misc]taylor: Taking taylor expansion of t in t 1546852463.765 * [misc]backup-simplify: Simplify 0 into 0 1546852463.765 * [misc]backup-simplify: Simplify 1 into 1 1546852463.765 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.766 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.766 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.766 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852463.766 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.766 * [misc]taylor: Taking taylor expansion of 6 in t 1546852463.766 * [misc]backup-simplify: Simplify 6 into 6 1546852463.766 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852463.766 * [misc]taylor: Taking taylor expansion of 8 in t 1546852463.766 * [misc]backup-simplify: Simplify 8 into 8 1546852463.766 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852463.766 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852463.766 * [misc]taylor: Taking taylor expansion of 1 in t 1546852463.766 * [misc]backup-simplify: Simplify 1 into 1 1546852463.766 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852463.766 * [misc]taylor: Taking taylor expansion of t in t 1546852463.766 * [misc]backup-simplify: Simplify 0 into 0 1546852463.766 * [misc]backup-simplify: Simplify 1 into 1 1546852463.766 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852463.766 * [misc]backup-simplify: Simplify (- 1) into -1 1546852463.766 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852463.766 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852463.767 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852463.767 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852463.767 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852463.767 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852463.767 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852463.767 * [misc]backup-simplify: Simplify (* 8 -1) into -8 1546852463.767 * [misc]backup-simplify: Simplify (- -8) into 8 1546852463.767 * [misc]backup-simplify: Simplify (+ 0 8) into 8 1546852463.767 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 8 6)))) into -2/9 1546852463.767 * [misc]backup-simplify: Simplify -2/9 into -2/9 1546852463.767 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852463.768 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852463.768 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852463.768 * [misc]backup-simplify: Simplify (- 0) into 0 1546852463.768 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852463.768 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852463.768 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 -1)) into -8 1546852463.768 * [misc]backup-simplify: Simplify (- -8) into 8 1546852463.768 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852463.769 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* -2/9 (/ 8 6)))) into -1/27 1546852463.769 * [misc]backup-simplify: Simplify -1/27 into -1/27 1546852463.769 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 (- t)) 2)) (+ (* -2/9 (/ 1 (- t))) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852463.769 * * * [misc]progress: simplifying candidates 1546852463.769 * * * * [misc]progress: [ 1 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 2 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 3 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 4 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 5 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 6 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 7 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 8 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 9 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 10 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 11 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 12 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 13 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 14 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 15 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 16 / 84 ] simplifiying candidate # 1546852463.769 * * * * [misc]progress: [ 17 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 18 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 19 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 20 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 21 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 22 / 84 ] simplifiying candidate # 1546852463.770 * * * * [misc]progress: [ 23 / 84 ] simplifiying candidate # 1546852463.770 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1546852463.770 * * [misc]simplify: iters left: 6 (6 enodes) 1546852463.771 * * [misc]simplify: iters left: 5 (11 enodes) 1546852463.773 * * [misc]simplify: iters left: 4 (15 enodes) 1546852463.774 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1546852463.775 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1546852463.775 * [enter]simplify: Simplifying (+ 1 1) 1546852463.775 * * [misc]simplify: iters left: 2 (2 enodes) 1546852463.775 * * [misc]simplify: iters left: 1 (5 enodes) 1546852463.776 * [exit]simplify: Simplified to 2 1546852463.776 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) 2))))) 1546852463.776 * * * * [misc]progress: [ 24 / 84 ] simplifiying candidate # 1546852463.776 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1546852463.776 * * [misc]simplify: iters left: 6 (7 enodes) 1546852463.777 * * [misc]simplify: iters left: 5 (12 enodes) 1546852463.779 * * [misc]simplify: iters left: 4 (22 enodes) 1546852463.787 * * [misc]simplify: iters left: 3 (45 enodes) 1546852463.803 * * [misc]simplify: iters left: 2 (102 enodes) 1546852463.842 * * [misc]simplify: iters left: 1 (188 enodes) 1546852463.938 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1546852463.938 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1))))) 1546852463.938 * * * * [misc]progress: [ 25 / 84 ] simplifiying candidate # 1546852463.939 * * * * [misc]progress: [ 26 / 84 ] simplifiying candidate # 1546852463.939 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1546852463.939 * * [misc]simplify: iters left: 6 (6 enodes) 1546852463.941 * * [misc]simplify: iters left: 5 (11 enodes) 1546852463.944 * * [misc]simplify: iters left: 4 (15 enodes) 1546852463.948 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1546852463.948 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1546852463.948 * * * * [misc]progress: [ 27 / 84 ] simplifiying candidate # 1546852463.948 * * * * [misc]progress: [ 28 / 84 ] simplifiying candidate # 1546852463.949 * [enter]simplify: Simplifying (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1546852463.949 * * [misc]simplify: iters left: 6 (8 enodes) 1546852463.951 * * [misc]simplify: iters left: 5 (13 enodes) 1546852463.955 * * [misc]simplify: iters left: 4 (17 enodes) 1546852463.960 * [exit]simplify: Simplified to (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1546852463.960 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (exp (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t)))))))))) 1546852463.960 * * * * [misc]progress: [ 29 / 84 ] simplifiying candidate # 1546852463.960 * * * * [misc]progress: [ 30 / 84 ] simplifiying candidate # 1546852463.960 * * * * [misc]progress: [ 31 / 84 ] simplifiying candidate # 1546852463.960 * [enter]simplify: Simplifying (* (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) 1546852463.960 * * [misc]simplify: iters left: 6 (9 enodes) 1546852463.963 * * [misc]simplify: iters left: 5 (19 enodes) 1546852463.967 * * [misc]simplify: iters left: 4 (49 enodes) 1546852463.985 * * [misc]simplify: iters left: 3 (220 enodes) 1546852464.208 * [exit]simplify: Simplified to (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3)) 1546852464.208 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (cbrt (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3))))))) 1546852464.208 * * * * [misc]progress: [ 32 / 84 ] simplifiying candidate # 1546852464.208 * * * * [misc]progress: [ 33 / 84 ] simplifiying candidate # 1546852464.209 * * * * [misc]progress: [ 34 / 84 ] simplifiying candidate # 1546852464.209 * * * * [misc]progress: [ 35 / 84 ] simplifiying candidate # 1546852464.209 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1546852464.209 * * [misc]simplify: iters left: 6 (10 enodes) 1546852464.211 * * [misc]simplify: iters left: 5 (25 enodes) 1546852464.215 * * [misc]simplify: iters left: 4 (50 enodes) 1546852464.234 * * [misc]simplify: iters left: 3 (150 enodes) 1546852464.277 * * [misc]simplify: iters left: 2 (401 enodes) 1546852464.766 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1546852464.766 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1546852464.766 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1546852464.767 * * [misc]simplify: iters left: 6 (11 enodes) 1546852464.769 * * [misc]simplify: iters left: 5 (31 enodes) 1546852464.776 * * [misc]simplify: iters left: 4 (110 enodes) 1546852464.834 * * [misc]simplify: iters left: 3 (471 enodes) 1546852465.309 * [exit]simplify: Simplified to (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4))) 1546852465.309 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)))))))) 1546852465.309 * * * * [misc]progress: [ 36 / 84 ] simplifiying candidate # 1546852465.310 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1546852465.310 * * [misc]simplify: iters left: 6 (13 enodes) 1546852465.316 * * [misc]simplify: iters left: 5 (36 enodes) 1546852465.327 * * [misc]simplify: iters left: 4 (90 enodes) 1546852465.364 * * [misc]simplify: iters left: 3 (291 enodes) 1546852465.555 * [exit]simplify: Simplified to (* (- 4 (/ (/ 4 (+ 1 t)) (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1546852465.555 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ (/ 4 (+ 1 t)) (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t))))))))) 1546852465.555 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))) 1546852465.556 * * [misc]simplify: iters left: 6 (12 enodes) 1546852465.561 * * [misc]simplify: iters left: 5 (33 enodes) 1546852465.574 * * [misc]simplify: iters left: 4 (100 enodes) 1546852465.615 * * [misc]simplify: iters left: 3 (278 enodes) 1546852465.725 * [exit]simplify: Simplified to (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 2 (+ t 1)) 2)) 1546852465.725 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 2 (+ t 1)) 2))))))) 1546852465.725 * * * * [misc]progress: [ 37 / 84 ] simplifiying candidate # 1546852465.725 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1546852465.725 * * [misc]simplify: iters left: 6 (13 enodes) 1546852465.729 * * [misc]simplify: iters left: 5 (36 enodes) 1546852465.734 * * [misc]simplify: iters left: 4 (90 enodes) 1546852465.754 * * [misc]simplify: iters left: 3 (290 enodes) 1546852465.957 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ t 1)) (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) 1546852465.958 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ t 1)) (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1546852465.958 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1546852465.958 * * [misc]simplify: iters left: 6 (12 enodes) 1546852465.963 * * [misc]simplify: iters left: 5 (33 enodes) 1546852465.978 * * [misc]simplify: iters left: 4 (104 enodes) 1546852466.046 * * [misc]simplify: iters left: 3 (325 enodes) 1546852466.332 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ (/ (/ 4 (+ 1 t)) (+ 1 t)) (+ 4 (/ 4 (+ 1 t))))) 1546852466.332 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (* (+ 2 (/ 2 (+ 1 t))) (+ (/ (/ 4 (+ 1 t)) (+ 1 t)) (+ 4 (/ 4 (+ 1 t)))))))))) 1546852466.332 * * * * [misc]progress: [ 38 / 84 ] simplifiying candidate # 1546852466.333 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1546852466.333 * * [misc]simplify: iters left: 6 (9 enodes) 1546852466.335 * * [misc]simplify: iters left: 5 (22 enodes) 1546852466.338 * * [misc]simplify: iters left: 4 (49 enodes) 1546852466.348 * * [misc]simplify: iters left: 3 (162 enodes) 1546852466.477 * [exit]simplify: Simplified to (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) 1546852466.477 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1546852466.477 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1546852466.477 * * [misc]simplify: iters left: 6 (7 enodes) 1546852466.480 * * [misc]simplify: iters left: 5 (17 enodes) 1546852466.486 * * [misc]simplify: iters left: 4 (34 enodes) 1546852466.496 * * [misc]simplify: iters left: 3 (54 enodes) 1546852466.510 * * [misc]simplify: iters left: 2 (79 enodes) 1546852466.534 * * [misc]simplify: iters left: 1 (118 enodes) 1546852466.572 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1546852466.572 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1546852466.572 * * * * [misc]progress: [ 39 / 84 ] simplifiying candidate # 1546852466.572 * * * * [misc]progress: [ 40 / 84 ] simplifiying candidate # 1546852466.573 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1546852466.573 * * [misc]simplify: iters left: 6 (8 enodes) 1546852466.576 * * [misc]simplify: iters left: 5 (18 enodes) 1546852466.578 * * [misc]simplify: iters left: 4 (34 enodes) 1546852466.585 * * [misc]simplify: iters left: 3 (84 enodes) 1546852466.602 * * [misc]simplify: iters left: 2 (203 enodes) 1546852466.635 * * [misc]simplify: iters left: 1 (247 enodes) 1546852466.700 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1546852466.700 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1546852466.701 * * * * [misc]progress: [ 41 / 84 ] simplifiying candidate # 1546852466.701 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1546852466.701 * * [misc]simplify: iters left: 6 (8 enodes) 1546852466.704 * * [misc]simplify: iters left: 5 (18 enodes) 1546852466.710 * * [misc]simplify: iters left: 4 (34 enodes) 1546852466.723 * * [misc]simplify: iters left: 3 (84 enodes) 1546852466.758 * * [misc]simplify: iters left: 2 (203 enodes) 1546852466.805 * * [misc]simplify: iters left: 1 (247 enodes) 1546852466.854 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1546852466.854 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1546852466.854 * * * * [misc]progress: [ 42 / 84 ] simplifiying candidate # 1546852466.854 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1546852466.854 * * [misc]simplify: iters left: 6 (8 enodes) 1546852466.857 * * [misc]simplify: iters left: 5 (18 enodes) 1546852466.862 * * [misc]simplify: iters left: 4 (40 enodes) 1546852466.880 * * [misc]simplify: iters left: 3 (97 enodes) 1546852466.917 * * [misc]simplify: iters left: 2 (213 enodes) 1546852466.967 * * [misc]simplify: iters left: 1 (250 enodes) 1546852467.009 * [exit]simplify: Simplified to (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t))) 1546852467.009 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t)))))))) 1546852467.009 * * * * [misc]progress: [ 43 / 84 ] simplifiying candidate # 1546852467.009 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1546852467.009 * * [misc]simplify: iters left: 6 (8 enodes) 1546852467.012 * * [misc]simplify: iters left: 5 (18 enodes) 1546852467.017 * * [misc]simplify: iters left: 4 (40 enodes) 1546852467.028 * * [misc]simplify: iters left: 3 (97 enodes) 1546852467.047 * * [misc]simplify: iters left: 2 (213 enodes) 1546852467.088 * * [misc]simplify: iters left: 1 (250 enodes) 1546852467.132 * [exit]simplify: Simplified to (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t))) 1546852467.132 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t)))))))) 1546852467.132 * * * * [misc]progress: [ 44 / 84 ] simplifiying candidate # 1546852467.132 * [enter]simplify: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 1546852467.132 * * [misc]simplify: iters left: 6 (7 enodes) 1546852467.135 * * [misc]simplify: iters left: 5 (12 enodes) 1546852467.139 * * [misc]simplify: iters left: 4 (16 enodes) 1546852467.143 * [exit]simplify: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 1546852467.143 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))))))) 1546852467.143 * * * * [misc]progress: [ 45 / 84 ] simplifiying candidate # 1546852467.144 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1546852467.144 * * [misc]simplify: iters left: 6 (7 enodes) 1546852467.158 * * [misc]simplify: iters left: 5 (12 enodes) 1546852467.162 * * [misc]simplify: iters left: 4 (16 enodes) 1546852467.166 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1546852467.166 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) (sqrt (- 2 (/ 2 (+ 1 t))))) (sqrt (- 2 (/ 2 (+ 1 t))))))))) 1546852467.167 * * * * [misc]progress: [ 46 / 84 ] simplifiying candidate # 1546852467.167 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1546852467.167 * * [misc]simplify: iters left: 6 (6 enodes) 1546852467.169 * * [misc]simplify: iters left: 5 (11 enodes) 1546852467.172 * * [misc]simplify: iters left: 4 (15 enodes) 1546852467.176 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1546852467.176 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))) 1546852467.176 * * * * [misc]progress: [ 47 / 84 ] simplifiying candidate # 1546852467.176 * [enter]simplify: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1546852467.176 * * [misc]simplify: iters left: 6 (8 enodes) 1546852467.179 * * [misc]simplify: iters left: 5 (13 enodes) 1546852467.183 * * [misc]simplify: iters left: 4 (17 enodes) 1546852467.187 * [exit]simplify: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1546852467.187 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* (cbrt (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))))) 1546852467.187 * * * * [misc]progress: [ 48 / 84 ] simplifiying candidate # 1546852467.188 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1546852467.188 * * [misc]simplify: iters left: 6 (7 enodes) 1546852467.190 * * [misc]simplify: iters left: 5 (12 enodes) 1546852467.193 * * [misc]simplify: iters left: 4 (16 enodes) 1546852467.194 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1546852467.194 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (sqrt (- 2 (/ 2 (+ 1 t)))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))))) 1546852467.195 * * * * [misc]progress: [ 49 / 84 ] simplifiying candidate # 1546852467.195 * * * * [misc]progress: [ 50 / 84 ] simplifiying candidate # 1546852467.195 * [enter]simplify: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 1546852467.195 * * [misc]simplify: iters left: 6 (10 enodes) 1546852467.197 * * [misc]simplify: iters left: 5 (24 enodes) 1546852467.200 * * [misc]simplify: iters left: 4 (43 enodes) 1546852467.206 * * [misc]simplify: iters left: 3 (55 enodes) 1546852467.213 * * [misc]simplify: iters left: 2 (82 enodes) 1546852467.225 * * [misc]simplify: iters left: 1 (129 enodes) 1546852467.251 * [exit]simplify: Simplified to (+ (+ (/ 4 (+ t 1)) 4) (/ 4 (* (+ t 1) (+ t 1)))) 1546852467.251 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (+ (+ (/ 4 (+ t 1)) 4) (/ 4 (* (+ t 1) (+ t 1))))))))) 1546852467.251 * * * * [misc]progress: [ 51 / 84 ] simplifiying candidate # 1546852467.251 * [enter]simplify: Simplifying (+ 2 (/ 2 (+ 1 t))) 1546852467.251 * * [misc]simplify: iters left: 6 (6 enodes) 1546852467.252 * * [misc]simplify: iters left: 5 (10 enodes) 1546852467.254 * [exit]simplify: Simplified to (+ 2 (/ 2 (+ 1 t))) 1546852467.254 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))))))) 1546852467.254 * * * * [misc]progress: [ 52 / 84 ] simplifiying candidate # 1546852467.254 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- 2 (/ 2 (+ 1 t)))) 1546852467.254 * * [misc]simplify: iters left: 6 (11 enodes) 1546852467.257 * * [misc]simplify: iters left: 5 (29 enodes) 1546852467.262 * * [misc]simplify: iters left: 4 (63 enodes) 1546852467.286 * * [misc]simplify: iters left: 3 (186 enodes) 1546852467.372 * * [misc]simplify: iters left: 2 (477 enodes) 1546852467.872 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1546852467.872 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))))) 1546852467.872 * * * * [misc]progress: [ 53 / 84 ] simplifiying candidate # 1546852467.873 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 1546852467.873 * * [misc]simplify: iters left: 6 (10 enodes) 1546852467.877 * * [misc]simplify: iters left: 5 (25 enodes) 1546852467.886 * * [misc]simplify: iters left: 4 (65 enodes) 1546852467.911 * * [misc]simplify: iters left: 3 (200 enodes) 1546852468.023 * [exit]simplify: Simplified to (* (+ (/ 2 (+ t 1)) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) 1546852468.023 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (+ (/ 2 (+ t 1)) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (/ 2 (+ 1 t)))))))) 1546852468.023 * * * * [misc]progress: [ 54 / 84 ] simplifiying candidate # 1546852468.023 * * * * [misc]progress: [ 55 / 84 ] simplifiying candidate # 1546852468.024 * * * * [misc]progress: [ 56 / 84 ] simplifiying candidate # 1546852468.024 * [enter]simplify: Simplifying (- 1) 1546852468.024 * * [misc]simplify: iters left: 2 (2 enodes) 1546852468.025 * * [misc]simplify: iters left: 1 (5 enodes) 1546852468.026 * [exit]simplify: Simplified to -1 1546852468.026 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (pow (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) -1))) 1546852468.026 * * * * [misc]progress: [ 57 / 84 ] simplifiying candidate # 1546852468.026 * * * * [misc]progress: [ 58 / 84 ] simplifiying candidate # 1546852468.026 * * * * [misc]progress: [ 59 / 84 ] simplifiying candidate # 1546852468.026 * * * * [misc]progress: [ 60 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 61 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 62 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 63 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 64 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 65 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 66 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 67 / 84 ] simplifiying candidate # 1546852468.027 * * * * [misc]progress: [ 68 / 84 ] simplifiying candidate # 1546852468.027 * [enter]simplify: Simplifying (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852468.027 * * [misc]simplify: iters left: 6 (9 enodes) 1546852468.031 * * [misc]simplify: iters left: 5 (15 enodes) 1546852468.036 * * [misc]simplify: iters left: 4 (25 enodes) 1546852468.045 * * [misc]simplify: iters left: 3 (56 enodes) 1546852468.067 * * [misc]simplify: iters left: 2 (138 enodes) 1546852468.129 * * [misc]simplify: iters left: 1 (296 enodes) 1546852468.362 * [exit]simplify: Simplified to (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852468.362 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 (* (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852468.362 * * * * [misc]progress: [ 69 / 84 ] simplifiying candidate # 1546852468.363 * [enter]simplify: Simplifying (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852468.363 * * [misc]simplify: iters left: 6 (9 enodes) 1546852468.366 * * [misc]simplify: iters left: 5 (15 enodes) 1546852468.368 * * [misc]simplify: iters left: 4 (25 enodes) 1546852468.372 * * [misc]simplify: iters left: 3 (56 enodes) 1546852468.383 * * [misc]simplify: iters left: 2 (138 enodes) 1546852468.449 * * [misc]simplify: iters left: 1 (296 enodes) 1546852468.741 * [exit]simplify: Simplified to (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852468.741 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852468.741 * * * * [misc]progress: [ 70 / 84 ] simplifiying candidate # 1546852468.741 * [enter]simplify: Simplifying (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1546852468.741 * * [misc]simplify: iters left: 6 (8 enodes) 1546852468.744 * * [misc]simplify: iters left: 5 (14 enodes) 1546852468.749 * * [misc]simplify: iters left: 4 (24 enodes) 1546852468.757 * * [misc]simplify: iters left: 3 (55 enodes) 1546852468.777 * * [misc]simplify: iters left: 2 (138 enodes) 1546852468.819 * * [misc]simplify: iters left: 1 (294 enodes) 1546852469.065 * [exit]simplify: Simplified to (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1546852469.065 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 1) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852469.065 * * * * [misc]progress: [ 71 / 84 ] simplifiying candidate # 1546852469.065 * [enter]simplify: Simplifying (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852469.065 * * [misc]simplify: iters left: 6 (12 enodes) 1546852469.069 * * [misc]simplify: iters left: 5 (32 enodes) 1546852469.080 * * [misc]simplify: iters left: 4 (91 enodes) 1546852469.113 * * [misc]simplify: iters left: 3 (377 enodes) 1546852469.377 * [exit]simplify: Simplified to (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4)))) 1546852469.377 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4))))))) 1546852469.377 * * * * [misc]progress: [ 72 / 84 ] simplifiying candidate # 1546852469.377 * [enter]simplify: Simplifying (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1546852469.378 * * [misc]simplify: iters left: 6 (8 enodes) 1546852469.380 * * [misc]simplify: iters left: 5 (15 enodes) 1546852469.385 * * [misc]simplify: iters left: 4 (29 enodes) 1546852469.395 * * [misc]simplify: iters left: 3 (73 enodes) 1546852469.429 * * [misc]simplify: iters left: 2 (172 enodes) 1546852469.472 * * [misc]simplify: iters left: 1 (301 enodes) 1546852469.643 * [exit]simplify: Simplified to (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t))))) 1546852469.643 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (* (/ 1 (- (* 2 2) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t)))))))) 1546852469.643 * * * * [misc]progress: [ 73 / 84 ] simplifiying candidate # 1546852469.644 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852469.644 * * [misc]simplify: iters left: 6 (10 enodes) 1546852469.645 * * [misc]simplify: iters left: 5 (23 enodes) 1546852469.652 * * [misc]simplify: iters left: 4 (56 enodes) 1546852469.669 * * [misc]simplify: iters left: 3 (107 enodes) 1546852469.704 * * [misc]simplify: iters left: 2 (205 enodes) 1546852469.814 * * [misc]simplify: iters left: 1 (364 enodes) 1546852470.076 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1546852470.076 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2))))))) 1546852470.076 * * * * [misc]progress: [ 74 / 84 ] simplifiying candidate # 1546852470.076 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852470.076 * * [misc]simplify: iters left: 6 (10 enodes) 1546852470.079 * * [misc]simplify: iters left: 5 (23 enodes) 1546852470.084 * * [misc]simplify: iters left: 4 (46 enodes) 1546852470.095 * * [misc]simplify: iters left: 3 (83 enodes) 1546852470.126 * * [misc]simplify: iters left: 2 (117 enodes) 1546852470.165 * * [misc]simplify: iters left: 1 (165 enodes) 1546852470.192 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852470.192 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))) 1546852470.192 * * * * [misc]progress: [ 75 / 84 ] simplifiying candidate # 1546852470.192 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852470.192 * * [misc]simplify: iters left: 6 (10 enodes) 1546852470.194 * * [misc]simplify: iters left: 5 (23 enodes) 1546852470.199 * * [misc]simplify: iters left: 4 (46 enodes) 1546852470.212 * * [misc]simplify: iters left: 3 (83 enodes) 1546852470.234 * * [misc]simplify: iters left: 2 (117 enodes) 1546852470.256 * * [misc]simplify: iters left: 1 (165 enodes) 1546852470.295 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852470.296 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))) 1546852470.296 * * * * [misc]progress: [ 76 / 84 ] simplifiying candidate # 1546852470.296 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852470.296 * * [misc]simplify: iters left: 6 (10 enodes) 1546852470.300 * * [misc]simplify: iters left: 5 (23 enodes) 1546852470.309 * * [misc]simplify: iters left: 4 (56 enodes) 1546852470.330 * * [misc]simplify: iters left: 3 (107 enodes) 1546852470.390 * * [misc]simplify: iters left: 2 (205 enodes) 1546852470.503 * * [misc]simplify: iters left: 1 (364 enodes) 1546852470.771 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1546852470.771 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t)))))))) 1546852470.771 * * * * [misc]progress: [ 77 / 84 ] simplifiying candidate # 1546852470.772 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852470.772 * * [misc]simplify: iters left: 6 (10 enodes) 1546852470.777 * * [misc]simplify: iters left: 5 (23 enodes) 1546852470.786 * * [misc]simplify: iters left: 4 (46 enodes) 1546852470.811 * * [misc]simplify: iters left: 3 (83 enodes) 1546852470.843 * * [misc]simplify: iters left: 2 (117 enodes) 1546852470.868 * * [misc]simplify: iters left: 1 (165 enodes) 1546852470.914 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852470.915 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852470.915 * * * * [misc]progress: [ 78 / 84 ] simplifiying candidate # 1546852470.915 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852470.915 * * [misc]simplify: iters left: 6 (10 enodes) 1546852470.920 * * [misc]simplify: iters left: 5 (23 enodes) 1546852470.925 * * [misc]simplify: iters left: 4 (46 enodes) 1546852470.936 * * [misc]simplify: iters left: 3 (83 enodes) 1546852470.954 * * [misc]simplify: iters left: 2 (117 enodes) 1546852470.976 * * [misc]simplify: iters left: 1 (165 enodes) 1546852471.013 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852471.013 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852471.013 * * * * [misc]progress: [ 79 / 84 ] simplifiying candidate # 1546852471.013 * [enter]simplify: Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1546852471.014 * * [misc]simplify: iters left: 6 (14 enodes) 1546852471.016 * * [misc]simplify: iters left: 5 (25 enodes) 1546852471.021 * * [misc]simplify: iters left: 4 (55 enodes) 1546852471.030 * * [misc]simplify: iters left: 3 (91 enodes) 1546852471.044 * * [misc]simplify: iters left: 2 (128 enodes) 1546852471.079 * * [misc]simplify: iters left: 1 (151 enodes) 1546852471.103 * [exit]simplify: Simplified to (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4))) 1546852471.104 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4))))))) 1546852471.104 * * * * [misc]progress: [ 80 / 84 ] simplifiying candidate # 1546852471.104 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1546852471.104 * * [misc]simplify: iters left: 6 (13 enodes) 1546852471.107 * * [misc]simplify: iters left: 5 (27 enodes) 1546852471.112 * * [misc]simplify: iters left: 4 (49 enodes) 1546852471.120 * * [misc]simplify: iters left: 3 (75 enodes) 1546852471.139 * * [misc]simplify: iters left: 2 (99 enodes) 1546852471.160 * * [misc]simplify: iters left: 1 (135 enodes) 1546852471.186 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1546852471.186 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1546852471.186 * * * * [misc]progress: [ 81 / 84 ] simplifiying candidate # 1546852471.186 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1546852471.186 * * [misc]simplify: iters left: 6 (13 enodes) 1546852471.189 * * [misc]simplify: iters left: 5 (27 enodes) 1546852471.194 * * [misc]simplify: iters left: 4 (49 enodes) 1546852471.203 * * [misc]simplify: iters left: 3 (75 enodes) 1546852471.214 * * [misc]simplify: iters left: 2 (99 enodes) 1546852471.225 * * [misc]simplify: iters left: 1 (135 enodes) 1546852471.249 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1546852471.249 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1546852471.249 * * * * [misc]progress: [ 82 / 84 ] simplifiying candidate # 1546852471.250 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1546852471.250 * * [misc]simplify: iters left: 6 (9 enodes) 1546852471.253 * * [misc]simplify: iters left: 5 (18 enodes) 1546852471.259 * * [misc]simplify: iters left: 4 (40 enodes) 1546852471.272 * * [misc]simplify: iters left: 3 (61 enodes) 1546852471.290 * * [misc]simplify: iters left: 2 (75 enodes) 1546852471.308 * * [misc]simplify: iters left: 1 (96 enodes) 1546852471.332 * [exit]simplify: Simplified to (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))) 1546852471.332 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))))) 1546852471.332 * * * * [misc]progress: [ 83 / 84 ] simplifiying candidate # 1546852471.333 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852471.333 * * [misc]simplify: iters left: 6 (13 enodes) 1546852471.339 * * [misc]simplify: iters left: 5 (27 enodes) 1546852471.348 * * [misc]simplify: iters left: 4 (49 enodes) 1546852471.363 * * [misc]simplify: iters left: 3 (77 enodes) 1546852471.382 * * [misc]simplify: iters left: 2 (104 enodes) 1546852471.405 * * [misc]simplify: iters left: 1 (136 enodes) 1546852471.437 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1546852471.437 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1546852471.437 * * * * [misc]progress: [ 84 / 84 ] simplifiying candidate # 1546852471.438 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852471.438 * * [misc]simplify: iters left: 6 (13 enodes) 1546852471.443 * * [misc]simplify: iters left: 5 (27 enodes) 1546852471.453 * * [misc]simplify: iters left: 4 (49 enodes) 1546852471.469 * * [misc]simplify: iters left: 3 (77 enodes) 1546852471.489 * * [misc]simplify: iters left: 2 (104 enodes) 1546852471.511 * * [misc]simplify: iters left: 1 (136 enodes) 1546852471.541 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1546852471.541 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1546852471.541 * * * [misc]progress: adding candidates to table 1546852472.238 * * [misc]progress: iteration 2 / 4 1546852472.238 * * * [misc]progress: picking best candidate 1546852472.243 * * * * [misc]pick: Picked # 1546852472.243 * * * [misc]progress: localizing error 1546852472.264 * * * [misc]progress: generating rewritten candidates 1546852472.264 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 1 2 2 2) 1546852472.265 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1 2 2 1) 1546852472.266 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1546852472.271 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1546852472.275 * * * [misc]progress: generating series expansions 1546852472.275 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 1 2 2 2) 1546852472.275 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1546852472.275 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1546852472.275 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852472.275 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.276 * [misc]backup-simplify: Simplify 2 into 2 1546852472.276 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852472.276 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.276 * [misc]backup-simplify: Simplify 2 into 2 1546852472.276 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.276 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.276 * [misc]taylor: Taking taylor expansion of t in t 1546852472.276 * [misc]backup-simplify: Simplify 0 into 0 1546852472.276 * [misc]backup-simplify: Simplify 1 into 1 1546852472.276 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.276 * [misc]backup-simplify: Simplify 1 into 1 1546852472.276 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.276 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.276 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852472.276 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.276 * [misc]backup-simplify: Simplify 2 into 2 1546852472.276 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852472.276 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.277 * [misc]backup-simplify: Simplify 2 into 2 1546852472.277 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.277 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.277 * [misc]taylor: Taking taylor expansion of t in t 1546852472.277 * [misc]backup-simplify: Simplify 0 into 0 1546852472.277 * [misc]backup-simplify: Simplify 1 into 1 1546852472.277 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.277 * [misc]backup-simplify: Simplify 1 into 1 1546852472.277 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.277 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.277 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852472.278 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.278 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852472.278 * [misc]backup-simplify: Simplify 0 into 0 1546852472.278 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.278 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.278 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852472.279 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.279 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.279 * [misc]backup-simplify: Simplify 2 into 2 1546852472.279 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.279 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852472.280 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1546852472.280 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.280 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852472.280 * [misc]backup-simplify: Simplify -2 into -2 1546852472.280 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.280 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852472.281 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1546852472.281 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.281 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.281 * [misc]backup-simplify: Simplify 2 into 2 1546852472.281 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852472.282 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1546852472.282 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1546852472.282 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.282 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.282 * [misc]backup-simplify: Simplify 2 into 2 1546852472.282 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.282 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.282 * [misc]backup-simplify: Simplify 2 into 2 1546852472.282 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.282 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.282 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.282 * [misc]taylor: Taking taylor expansion of t in t 1546852472.282 * [misc]backup-simplify: Simplify 0 into 0 1546852472.282 * [misc]backup-simplify: Simplify 1 into 1 1546852472.282 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.282 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.282 * [misc]backup-simplify: Simplify 1 into 1 1546852472.282 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.283 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.283 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.283 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.283 * [misc]backup-simplify: Simplify 2 into 2 1546852472.283 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.283 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.283 * [misc]backup-simplify: Simplify 2 into 2 1546852472.283 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.283 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.283 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.283 * [misc]taylor: Taking taylor expansion of t in t 1546852472.283 * [misc]backup-simplify: Simplify 0 into 0 1546852472.283 * [misc]backup-simplify: Simplify 1 into 1 1546852472.283 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.283 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.283 * [misc]backup-simplify: Simplify 1 into 1 1546852472.283 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.283 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.284 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852472.284 * [misc]backup-simplify: Simplify 2 into 2 1546852472.284 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852472.284 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.284 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852472.284 * [misc]backup-simplify: Simplify -2 into -2 1546852472.284 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.285 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.285 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.285 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852472.285 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.285 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.285 * [misc]backup-simplify: Simplify 2 into 2 1546852472.286 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852472.286 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1546852472.286 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1546852472.286 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.286 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.286 * [misc]backup-simplify: Simplify 2 into 2 1546852472.286 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.286 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.286 * [misc]backup-simplify: Simplify 2 into 2 1546852472.286 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.286 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.286 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.286 * [misc]backup-simplify: Simplify 1 into 1 1546852472.286 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.286 * [misc]taylor: Taking taylor expansion of t in t 1546852472.286 * [misc]backup-simplify: Simplify 0 into 0 1546852472.286 * [misc]backup-simplify: Simplify 1 into 1 1546852472.286 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.287 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.287 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.287 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.287 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.287 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.287 * [misc]backup-simplify: Simplify 2 into 2 1546852472.287 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.287 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.287 * [misc]backup-simplify: Simplify 2 into 2 1546852472.287 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.287 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.287 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.287 * [misc]backup-simplify: Simplify 1 into 1 1546852472.287 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.287 * [misc]taylor: Taking taylor expansion of t in t 1546852472.287 * [misc]backup-simplify: Simplify 0 into 0 1546852472.287 * [misc]backup-simplify: Simplify 1 into 1 1546852472.288 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.288 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.288 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.288 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.288 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852472.288 * [misc]backup-simplify: Simplify 2 into 2 1546852472.288 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1546852472.289 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.289 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.289 * [misc]backup-simplify: Simplify 2 into 2 1546852472.289 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.289 * [misc]backup-simplify: Simplify (- 0) into 0 1546852472.289 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.290 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852472.290 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1546852472.290 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.290 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.290 * [misc]backup-simplify: Simplify 2 into 2 1546852472.290 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852472.290 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1 2 2 1) 1546852472.291 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1546852472.291 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1546852472.291 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.291 * [misc]backup-simplify: Simplify 2 into 2 1546852472.291 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.291 * [misc]backup-simplify: Simplify 2 into 2 1546852472.291 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of t in t 1546852472.291 * [misc]backup-simplify: Simplify 0 into 0 1546852472.291 * [misc]backup-simplify: Simplify 1 into 1 1546852472.291 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.291 * [misc]backup-simplify: Simplify 1 into 1 1546852472.291 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.291 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.291 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.291 * [misc]backup-simplify: Simplify 2 into 2 1546852472.291 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1546852472.291 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.291 * [misc]backup-simplify: Simplify 2 into 2 1546852472.291 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.292 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.292 * [misc]taylor: Taking taylor expansion of t in t 1546852472.292 * [misc]backup-simplify: Simplify 0 into 0 1546852472.292 * [misc]backup-simplify: Simplify 1 into 1 1546852472.292 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.292 * [misc]backup-simplify: Simplify 1 into 1 1546852472.292 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.292 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.292 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852472.292 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.292 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1546852472.293 * [misc]backup-simplify: Simplify 0 into 0 1546852472.293 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.293 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.293 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852472.293 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.293 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.293 * [misc]backup-simplify: Simplify 2 into 2 1546852472.294 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.294 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852472.294 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1546852472.294 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.295 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852472.295 * [misc]backup-simplify: Simplify -2 into -2 1546852472.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.295 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852472.296 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1546852472.296 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.296 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.296 * [misc]backup-simplify: Simplify 2 into 2 1546852472.296 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852472.296 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1546852472.296 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1546852472.296 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.296 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.297 * [misc]backup-simplify: Simplify 2 into 2 1546852472.297 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.297 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.297 * [misc]backup-simplify: Simplify 2 into 2 1546852472.297 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.297 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.297 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.297 * [misc]taylor: Taking taylor expansion of t in t 1546852472.297 * [misc]backup-simplify: Simplify 0 into 0 1546852472.297 * [misc]backup-simplify: Simplify 1 into 1 1546852472.297 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.297 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.297 * [misc]backup-simplify: Simplify 1 into 1 1546852472.297 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.297 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.297 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.297 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.297 * [misc]backup-simplify: Simplify 2 into 2 1546852472.298 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.298 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.298 * [misc]backup-simplify: Simplify 2 into 2 1546852472.298 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.298 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.298 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.298 * [misc]taylor: Taking taylor expansion of t in t 1546852472.298 * [misc]backup-simplify: Simplify 0 into 0 1546852472.298 * [misc]backup-simplify: Simplify 1 into 1 1546852472.298 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.298 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.298 * [misc]backup-simplify: Simplify 1 into 1 1546852472.298 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.298 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.299 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852472.299 * [misc]backup-simplify: Simplify 2 into 2 1546852472.299 * [misc]backup-simplify: Simplify (* 2 1) into 2 1546852472.299 * [misc]backup-simplify: Simplify (- 2) into -2 1546852472.299 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1546852472.299 * [misc]backup-simplify: Simplify -2 into -2 1546852472.299 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.300 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.300 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.300 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1546852472.300 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.300 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.300 * [misc]backup-simplify: Simplify 2 into 2 1546852472.301 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852472.301 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1546852472.301 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1546852472.301 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.301 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.301 * [misc]backup-simplify: Simplify 2 into 2 1546852472.301 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.301 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.301 * [misc]backup-simplify: Simplify 2 into 2 1546852472.301 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.301 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.301 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.301 * [misc]backup-simplify: Simplify 1 into 1 1546852472.301 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.301 * [misc]taylor: Taking taylor expansion of t in t 1546852472.301 * [misc]backup-simplify: Simplify 0 into 0 1546852472.301 * [misc]backup-simplify: Simplify 1 into 1 1546852472.301 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.302 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.302 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.302 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.302 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.302 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.302 * [misc]backup-simplify: Simplify 2 into 2 1546852472.302 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.302 * [misc]taylor: Taking taylor expansion of 2 in t 1546852472.302 * [misc]backup-simplify: Simplify 2 into 2 1546852472.302 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.302 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.302 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.302 * [misc]backup-simplify: Simplify 1 into 1 1546852472.302 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.302 * [misc]taylor: Taking taylor expansion of t in t 1546852472.302 * [misc]backup-simplify: Simplify 0 into 0 1546852472.302 * [misc]backup-simplify: Simplify 1 into 1 1546852472.302 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.303 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.303 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.303 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.303 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1546852472.303 * [misc]backup-simplify: Simplify 2 into 2 1546852472.303 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1546852472.303 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.304 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.304 * [misc]backup-simplify: Simplify 2 into 2 1546852472.304 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.304 * [misc]backup-simplify: Simplify (- 0) into 0 1546852472.304 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.304 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852472.305 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1546852472.305 * [misc]backup-simplify: Simplify (- -2) into 2 1546852472.305 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1546852472.305 * [misc]backup-simplify: Simplify 2 into 2 1546852472.305 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852472.305 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1546852472.306 * [misc]backup-simplify: Simplify (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) 1546852472.306 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in (t) around 0 1546852472.306 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.306 * [misc]backup-simplify: Simplify 4 into 4 1546852472.306 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.306 * [misc]taylor: Taking taylor expansion of t in t 1546852472.306 * [misc]backup-simplify: Simplify 0 into 0 1546852472.306 * [misc]backup-simplify: Simplify 1 into 1 1546852472.306 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.306 * [misc]backup-simplify: Simplify 1 into 1 1546852472.306 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.307 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.307 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.307 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.307 * [misc]backup-simplify: Simplify 6 into 6 1546852472.307 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852472.307 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.307 * [misc]backup-simplify: Simplify 8 into 8 1546852472.307 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.307 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.307 * [misc]taylor: Taking taylor expansion of t in t 1546852472.307 * [misc]backup-simplify: Simplify 0 into 0 1546852472.307 * [misc]backup-simplify: Simplify 1 into 1 1546852472.307 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.307 * [misc]backup-simplify: Simplify 1 into 1 1546852472.307 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.308 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.308 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852472.308 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.308 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.308 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852472.308 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852472.308 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.309 * [misc]backup-simplify: Simplify 4 into 4 1546852472.309 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of t in t 1546852472.309 * [misc]backup-simplify: Simplify 0 into 0 1546852472.309 * [misc]backup-simplify: Simplify 1 into 1 1546852472.309 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.309 * [misc]backup-simplify: Simplify 1 into 1 1546852472.309 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.309 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.309 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.309 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.309 * [misc]backup-simplify: Simplify 6 into 6 1546852472.309 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.309 * [misc]backup-simplify: Simplify 8 into 8 1546852472.309 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.309 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.310 * [misc]taylor: Taking taylor expansion of t in t 1546852472.310 * [misc]backup-simplify: Simplify 0 into 0 1546852472.310 * [misc]backup-simplify: Simplify 1 into 1 1546852472.310 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.310 * [misc]backup-simplify: Simplify 1 into 1 1546852472.310 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.310 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.310 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.310 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852472.310 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.311 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.311 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852472.311 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852472.311 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546852472.311 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.311 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1546852472.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 2 1)))) into -2 1546852472.312 * [misc]backup-simplify: Simplify (+ (* 4 -2) (* 0 1)) into -8 1546852472.312 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1546852472.312 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.312 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.312 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852472.312 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.312 * [misc]backup-simplify: Simplify (+ -8 8) into 0 1546852472.312 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 1546852472.312 * [misc]backup-simplify: Simplify 0 into 0 1546852472.313 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.313 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1546852472.313 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3 1546852472.313 * [misc]backup-simplify: Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12 1546852472.313 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1546852472.313 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.313 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852472.314 * [misc]backup-simplify: Simplify (+ (* 8 1) (+ (* 0 -1) (* 0 1))) into 8 1546852472.314 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.314 * [misc]backup-simplify: Simplify (+ 12 -8) into 4 1546852472.314 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 4 2)) (* 0 (/ 0 2)))) into -1 1546852472.314 * [misc]backup-simplify: Simplify -1 into -1 1546852472.314 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.314 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546852472.314 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4 1546852472.315 * [misc]backup-simplify: Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16 1546852472.315 * [misc]backup-simplify: Simplify (+ -16 0) into -16 1546852472.315 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852472.315 * [misc]backup-simplify: Simplify (+ (* 8 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -8 1546852472.315 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.315 * [misc]backup-simplify: Simplify (+ -16 8) into -8 1546852472.316 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ -8 2)) (* 0 (/ 4 2)) (* -1 (/ 0 2)))) into 2 1546852472.316 * [misc]backup-simplify: Simplify 2 into 2 1546852472.316 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -1 (pow t 2)) 1/2)) into (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1546852472.316 * [misc]backup-simplify: Simplify (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) 1546852472.316 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in (t) around 0 1546852472.316 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.316 * [misc]backup-simplify: Simplify 4 into 4 1546852472.316 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.316 * [misc]taylor: Taking taylor expansion of t in t 1546852472.316 * [misc]backup-simplify: Simplify 0 into 0 1546852472.316 * [misc]backup-simplify: Simplify 1 into 1 1546852472.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.317 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.317 * [misc]backup-simplify: Simplify 1 into 1 1546852472.317 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.317 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.317 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.317 * [misc]backup-simplify: Simplify 6 into 6 1546852472.317 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.317 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.317 * [misc]backup-simplify: Simplify 8 into 8 1546852472.317 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.317 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.317 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.317 * [misc]taylor: Taking taylor expansion of t in t 1546852472.317 * [misc]backup-simplify: Simplify 0 into 0 1546852472.317 * [misc]backup-simplify: Simplify 1 into 1 1546852472.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.317 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.317 * [misc]backup-simplify: Simplify 1 into 1 1546852472.317 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.318 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.318 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.318 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.318 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.318 * [misc]backup-simplify: Simplify 4 into 4 1546852472.318 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.318 * [misc]taylor: Taking taylor expansion of t in t 1546852472.318 * [misc]backup-simplify: Simplify 0 into 0 1546852472.318 * [misc]backup-simplify: Simplify 1 into 1 1546852472.318 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.318 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.318 * [misc]backup-simplify: Simplify 1 into 1 1546852472.318 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.318 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.318 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.318 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.318 * [misc]backup-simplify: Simplify 6 into 6 1546852472.319 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.319 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.319 * [misc]backup-simplify: Simplify 8 into 8 1546852472.319 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.319 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.319 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.319 * [misc]taylor: Taking taylor expansion of t in t 1546852472.319 * [misc]backup-simplify: Simplify 0 into 0 1546852472.319 * [misc]backup-simplify: Simplify 1 into 1 1546852472.319 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.319 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.319 * [misc]backup-simplify: Simplify 1 into 1 1546852472.319 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.319 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.319 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.319 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.319 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.319 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852472.319 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.320 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.320 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.320 * [misc]backup-simplify: Simplify (+ 0 -8) into -8 1546852472.320 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ -8 6)))) into 2/9 1546852472.320 * [misc]backup-simplify: Simplify 2/9 into 2/9 1546852472.320 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.320 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852472.320 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.320 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.321 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.321 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852472.321 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.321 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852472.321 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* 2/9 (/ -8 6)))) into -1/27 1546852472.321 * [misc]backup-simplify: Simplify -1/27 into -1/27 1546852472.321 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 t) 2)) (+ (* 2/9 (/ 1 t)) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852472.322 * [misc]backup-simplify: Simplify (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) 1546852472.322 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in (t) around 0 1546852472.322 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.322 * [misc]backup-simplify: Simplify 4 into 4 1546852472.322 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.322 * [misc]backup-simplify: Simplify 1 into 1 1546852472.322 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of t in t 1546852472.322 * [misc]backup-simplify: Simplify 0 into 0 1546852472.322 * [misc]backup-simplify: Simplify 1 into 1 1546852472.322 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.322 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.322 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.322 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852472.322 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.322 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.322 * [misc]backup-simplify: Simplify 6 into 6 1546852472.322 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.322 * [misc]backup-simplify: Simplify 8 into 8 1546852472.322 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.322 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.322 * [misc]backup-simplify: Simplify 1 into 1 1546852472.323 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of t in t 1546852472.323 * [misc]backup-simplify: Simplify 0 into 0 1546852472.323 * [misc]backup-simplify: Simplify 1 into 1 1546852472.323 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.323 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.323 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.323 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.323 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.323 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.323 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.323 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.323 * [misc]backup-simplify: Simplify 4 into 4 1546852472.323 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.323 * [misc]backup-simplify: Simplify 1 into 1 1546852472.323 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.323 * [misc]taylor: Taking taylor expansion of t in t 1546852472.323 * [misc]backup-simplify: Simplify 0 into 0 1546852472.324 * [misc]backup-simplify: Simplify 1 into 1 1546852472.324 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.324 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.324 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.324 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852472.324 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.324 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.324 * [misc]backup-simplify: Simplify 6 into 6 1546852472.324 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.324 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.324 * [misc]backup-simplify: Simplify 8 into 8 1546852472.324 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.324 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.324 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.324 * [misc]backup-simplify: Simplify 1 into 1 1546852472.324 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.324 * [misc]taylor: Taking taylor expansion of t in t 1546852472.324 * [misc]backup-simplify: Simplify 0 into 0 1546852472.324 * [misc]backup-simplify: Simplify 1 into 1 1546852472.324 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.324 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.325 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.325 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.325 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.325 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.325 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.325 * [misc]backup-simplify: Simplify 1/6 into 1/6 1546852472.325 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.325 * [misc]backup-simplify: Simplify (* 8 -1) into -8 1546852472.325 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.325 * [misc]backup-simplify: Simplify (+ 0 8) into 8 1546852472.326 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 8 6)))) into -2/9 1546852472.326 * [misc]backup-simplify: Simplify -2/9 into -2/9 1546852472.326 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.326 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852472.326 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.326 * [misc]backup-simplify: Simplify (- 0) into 0 1546852472.326 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.326 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852472.326 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 -1)) into -8 1546852472.327 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.327 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852472.327 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* -2/9 (/ 8 6)))) into -1/27 1546852472.327 * [misc]backup-simplify: Simplify -1/27 into -1/27 1546852472.327 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 (- t)) 2)) (+ (* -2/9 (/ 1 (- t))) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852472.327 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1546852472.328 * [misc]backup-simplify: Simplify (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) into (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))))) 1546852472.328 * [misc]approximate: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))))) in (t) around 0 1546852472.328 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))))) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.328 * [misc]backup-simplify: Simplify 4 into 4 1546852472.328 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of t in t 1546852472.328 * [misc]backup-simplify: Simplify 0 into 0 1546852472.328 * [misc]backup-simplify: Simplify 1 into 1 1546852472.328 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.328 * [misc]backup-simplify: Simplify 1 into 1 1546852472.328 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.328 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.328 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.328 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.328 * [misc]backup-simplify: Simplify 6 into 6 1546852472.328 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.328 * [misc]backup-simplify: Simplify 8 into 8 1546852472.328 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.328 * [misc]taylor: Taking taylor expansion of t in t 1546852472.328 * [misc]backup-simplify: Simplify 0 into 0 1546852472.328 * [misc]backup-simplify: Simplify 1 into 1 1546852472.328 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.328 * [misc]backup-simplify: Simplify 1 into 1 1546852472.328 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.329 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.329 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.329 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852472.329 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.329 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.329 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852472.329 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852472.329 * [misc]backup-simplify: Simplify (exp 1/2) into (exp 1/2) 1546852472.329 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))))) in t 1546852472.329 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1546852472.329 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.330 * [misc]backup-simplify: Simplify 4 into 4 1546852472.330 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of t in t 1546852472.330 * [misc]backup-simplify: Simplify 0 into 0 1546852472.330 * [misc]backup-simplify: Simplify 1 into 1 1546852472.330 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.330 * [misc]backup-simplify: Simplify 1 into 1 1546852472.330 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.330 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.330 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.330 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.330 * [misc]backup-simplify: Simplify 6 into 6 1546852472.330 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.330 * [misc]backup-simplify: Simplify 8 into 8 1546852472.330 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1546852472.330 * [misc]taylor: Taking taylor expansion of t in t 1546852472.330 * [misc]backup-simplify: Simplify 0 into 0 1546852472.330 * [misc]backup-simplify: Simplify 1 into 1 1546852472.330 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.330 * [misc]backup-simplify: Simplify 1 into 1 1546852472.330 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.330 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.330 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.331 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1546852472.331 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.331 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.331 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1546852472.331 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1546852472.331 * [misc]backup-simplify: Simplify (exp 1/2) into (exp 1/2) 1546852472.331 * [misc]backup-simplify: Simplify (exp 1/2) into (exp 1/2) 1546852472.332 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.332 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1546852472.332 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 2 1)))) into -2 1546852472.332 * [misc]backup-simplify: Simplify (+ (* 4 -2) (* 0 1)) into -8 1546852472.332 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1546852472.332 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.333 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.333 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852472.333 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.333 * [misc]backup-simplify: Simplify (+ -8 8) into 0 1546852472.333 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 1546852472.335 * [misc]backup-simplify: Simplify (* (exp 1/2) (+ (* (/ (pow 0 1) 1)))) into 0 1546852472.335 * [misc]backup-simplify: Simplify 0 into 0 1546852472.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.335 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1546852472.335 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3 1546852472.335 * [misc]backup-simplify: Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12 1546852472.335 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1546852472.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.336 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546852472.336 * [misc]backup-simplify: Simplify (+ (* 8 1) (+ (* 0 -1) (* 0 1))) into 8 1546852472.336 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.336 * [misc]backup-simplify: Simplify (+ 12 -8) into 4 1546852472.339 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 4 2)) (* 0 (/ 0 2)))) into -1 1546852472.341 * [misc]backup-simplify: Simplify (* (exp 1/2) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1)))) into (* -1 (exp 1/2)) 1546852472.341 * [misc]backup-simplify: Simplify (* -1 (exp 1/2)) into (* -1 (exp 1/2)) 1546852472.343 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.343 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546852472.343 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4 1546852472.343 * [misc]backup-simplify: Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16 1546852472.343 * [misc]backup-simplify: Simplify (+ -16 0) into -16 1546852472.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.344 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546852472.344 * [misc]backup-simplify: Simplify (+ (* 8 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -8 1546852472.344 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.344 * [misc]backup-simplify: Simplify (+ -16 8) into -8 1546852472.344 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ -8 2)) (* 0 (/ 4 2)) (* -1 (/ 0 2)))) into 2 1546852472.347 * [misc]backup-simplify: Simplify (* (exp 1/2) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1 1) 1)) (* (/ (pow 2 1) 1)))) into (* 2 (exp 1/2)) 1546852472.347 * [misc]backup-simplify: Simplify (* 2 (exp 1/2)) into (* 2 (exp 1/2)) 1546852472.348 * [misc]backup-simplify: Simplify (+ (* (* 2 (exp 1/2)) (pow t 3)) (+ (* (* -1 (exp 1/2)) (pow t 2)) (exp 1/2))) into (- (+ (exp 1/2) (* 2 (* (pow t 3) (exp 1/2)))) (* (pow t 2) (exp 1/2))) 1546852472.348 * [misc]backup-simplify: Simplify (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t)))))))) into (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))))) 1546852472.348 * [misc]approximate: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))))) in (t) around 0 1546852472.348 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))))) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.348 * [misc]backup-simplify: Simplify 4 into 4 1546852472.348 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.348 * [misc]taylor: Taking taylor expansion of t in t 1546852472.348 * [misc]backup-simplify: Simplify 0 into 0 1546852472.348 * [misc]backup-simplify: Simplify 1 into 1 1546852472.348 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.348 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.349 * [misc]backup-simplify: Simplify 1 into 1 1546852472.349 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.349 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.349 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.349 * [misc]backup-simplify: Simplify 6 into 6 1546852472.349 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.349 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.349 * [misc]backup-simplify: Simplify 8 into 8 1546852472.349 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.349 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.349 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.349 * [misc]taylor: Taking taylor expansion of t in t 1546852472.349 * [misc]backup-simplify: Simplify 0 into 0 1546852472.349 * [misc]backup-simplify: Simplify 1 into 1 1546852472.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.349 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.349 * [misc]backup-simplify: Simplify 1 into 1 1546852472.349 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.349 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.350 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.350 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.350 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.350 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))))) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.350 * [misc]backup-simplify: Simplify 4 into 4 1546852472.350 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of t in t 1546852472.350 * [misc]backup-simplify: Simplify 0 into 0 1546852472.350 * [misc]backup-simplify: Simplify 1 into 1 1546852472.350 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.350 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.350 * [misc]backup-simplify: Simplify 1 into 1 1546852472.350 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.350 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852472.350 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.350 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.350 * [misc]backup-simplify: Simplify 6 into 6 1546852472.350 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1546852472.350 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.350 * [misc]backup-simplify: Simplify 8 into 8 1546852472.351 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1546852472.351 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1546852472.351 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.351 * [misc]taylor: Taking taylor expansion of t in t 1546852472.351 * [misc]backup-simplify: Simplify 0 into 0 1546852472.351 * [misc]backup-simplify: Simplify 1 into 1 1546852472.351 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.351 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.351 * [misc]backup-simplify: Simplify 1 into 1 1546852472.351 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.351 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.351 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.351 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.351 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.351 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.351 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.352 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.352 * [misc]backup-simplify: Simplify (* 8 1) into 8 1546852472.352 * [misc]backup-simplify: Simplify (- 8) into -8 1546852472.352 * [misc]backup-simplify: Simplify (+ 0 -8) into -8 1546852472.352 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ -8 6)))) into 2/9 1546852472.353 * [misc]backup-simplify: Simplify (* (exp 1/6) (+ (* (/ (pow 2/9 1) 1)))) into (* 2/9 (exp 1/6)) 1546852472.353 * [misc]backup-simplify: Simplify (* 2/9 (exp 1/6)) into (* 2/9 (exp 1/6)) 1546852472.353 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.354 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852472.354 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.354 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852472.354 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546852472.354 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1546852472.354 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.354 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852472.354 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* 2/9 (/ -8 6)))) into -1/27 1546852472.356 * [misc]backup-simplify: Simplify (* (exp 1/6) (+ (* (/ (pow 2/9 2) 2)) (* (/ (pow -1/27 1) 1)))) into (* -1/81 (exp 1/6)) 1546852472.356 * [misc]backup-simplify: Simplify (* -1/81 (exp 1/6)) into (* -1/81 (exp 1/6)) 1546852472.357 * [misc]backup-simplify: Simplify (+ (* (* -1/81 (exp 1/6)) (pow (/ 1 t) 2)) (+ (* (* 2/9 (exp 1/6)) (/ 1 t)) (exp 1/6))) into (- (+ (exp 1/6) (* 2/9 (/ (exp 1/6) t))) (* 1/81 (/ (exp 1/6) (pow t 2)))) 1546852472.357 * [misc]backup-simplify: Simplify (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t))))))))) into (exp (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))))) 1546852472.357 * [misc]approximate: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))))) in (t) around 0 1546852472.357 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))))) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.357 * [misc]backup-simplify: Simplify 4 into 4 1546852472.357 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.357 * [misc]backup-simplify: Simplify 1 into 1 1546852472.357 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.357 * [misc]taylor: Taking taylor expansion of t in t 1546852472.357 * [misc]backup-simplify: Simplify 0 into 0 1546852472.357 * [misc]backup-simplify: Simplify 1 into 1 1546852472.357 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.357 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.358 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.358 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852472.358 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.358 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.358 * [misc]backup-simplify: Simplify 6 into 6 1546852472.358 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.358 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.358 * [misc]backup-simplify: Simplify 8 into 8 1546852472.358 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.358 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.358 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.358 * [misc]backup-simplify: Simplify 1 into 1 1546852472.358 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.358 * [misc]taylor: Taking taylor expansion of t in t 1546852472.358 * [misc]backup-simplify: Simplify 0 into 0 1546852472.358 * [misc]backup-simplify: Simplify 1 into 1 1546852472.358 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.358 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.358 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.358 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.358 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.359 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.359 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.359 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.359 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))))) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of 4 in t 1546852472.359 * [misc]backup-simplify: Simplify 4 into 4 1546852472.359 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.359 * [misc]backup-simplify: Simplify 1 into 1 1546852472.359 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.359 * [misc]taylor: Taking taylor expansion of t in t 1546852472.359 * [misc]backup-simplify: Simplify 0 into 0 1546852472.359 * [misc]backup-simplify: Simplify 1 into 1 1546852472.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.359 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.359 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.360 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546852472.360 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.360 * [misc]taylor: Taking taylor expansion of 6 in t 1546852472.360 * [misc]backup-simplify: Simplify 6 into 6 1546852472.360 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1546852472.360 * [misc]taylor: Taking taylor expansion of 8 in t 1546852472.360 * [misc]backup-simplify: Simplify 8 into 8 1546852472.360 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1546852472.360 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1546852472.360 * [misc]taylor: Taking taylor expansion of 1 in t 1546852472.360 * [misc]backup-simplify: Simplify 1 into 1 1546852472.360 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1546852472.360 * [misc]taylor: Taking taylor expansion of t in t 1546852472.360 * [misc]backup-simplify: Simplify 0 into 0 1546852472.360 * [misc]backup-simplify: Simplify 1 into 1 1546852472.360 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852472.360 * [misc]backup-simplify: Simplify (- 1) into -1 1546852472.361 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852472.361 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546852472.361 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1546852472.361 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1546852472.361 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1546852472.361 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.362 * [misc]backup-simplify: Simplify (exp 1/6) into (exp 1/6) 1546852472.362 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852472.362 * [misc]backup-simplify: Simplify (* 8 -1) into -8 1546852472.362 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.362 * [misc]backup-simplify: Simplify (+ 0 8) into 8 1546852472.362 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 8 6)))) into -2/9 1546852472.364 * [misc]backup-simplify: Simplify (* (exp 1/6) (+ (* (/ (pow -2/9 1) 1)))) into (* -2/9 (exp 1/6)) 1546852472.364 * [misc]backup-simplify: Simplify (* -2/9 (exp 1/6)) into (* -2/9 (exp 1/6)) 1546852472.365 * [misc]backup-simplify: Simplify (* 4 1) into 4 1546852472.365 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1546852472.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852472.365 * [misc]backup-simplify: Simplify (- 0) into 0 1546852472.365 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852472.366 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546852472.366 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 -1)) into -8 1546852472.366 * [misc]backup-simplify: Simplify (- -8) into 8 1546852472.366 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1546852472.366 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* -2/9 (/ 8 6)))) into -1/27 1546852472.369 * [misc]backup-simplify: Simplify (* (exp 1/6) (+ (* (/ (pow -2/9 2) 2)) (* (/ (pow -1/27 1) 1)))) into (* -1/81 (exp 1/6)) 1546852472.369 * [misc]backup-simplify: Simplify (* -1/81 (exp 1/6)) into (* -1/81 (exp 1/6)) 1546852472.370 * [misc]backup-simplify: Simplify (+ (* (* -1/81 (exp 1/6)) (pow (/ 1 (- t)) 2)) (+ (* (* -2/9 (exp 1/6)) (/ 1 (- t))) (exp 1/6))) into (- (+ (exp 1/6) (* 2/9 (/ (exp 1/6) t))) (* 1/81 (/ (exp 1/6) (pow t 2)))) 1546852472.370 * * * [misc]progress: simplifying candidates 1546852472.370 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1546852472.371 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1546852472.372 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1546852472.372 * [enter]simplify: Simplifying (log (* (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852472.372 * * [misc]simplify: iters left: 6 (13 enodes) 1546852472.376 * * [misc]simplify: iters left: 5 (21 enodes) 1546852472.383 * * [misc]simplify: iters left: 4 (31 enodes) 1546852472.394 * * [misc]simplify: iters left: 3 (62 enodes) 1546852472.418 * * [misc]simplify: iters left: 2 (145 enodes) 1546852472.486 * * [misc]simplify: iters left: 1 (300 enodes) 1546852472.705 * [exit]simplify: Simplified to (log (* (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852472.706 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (+ (log (* (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) (log (cbrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))))) 1546852472.706 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1546852472.706 * [enter]simplify: Simplifying (log (sqrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852472.706 * * [misc]simplify: iters left: 6 (12 enodes) 1546852472.708 * * [misc]simplify: iters left: 5 (18 enodes) 1546852472.711 * * [misc]simplify: iters left: 4 (28 enodes) 1546852472.715 * * [misc]simplify: iters left: 3 (59 enodes) 1546852472.731 * * [misc]simplify: iters left: 2 (142 enodes) 1546852472.772 * * [misc]simplify: iters left: 1 (303 enodes) 1546852472.975 * [exit]simplify: Simplified to (log (sqrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852472.975 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (+ (log (sqrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) (log (sqrt (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))))) 1546852472.975 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1546852472.975 * [enter]simplify: Simplifying (log 1) 1546852472.975 * * [misc]simplify: iters left: 1 (2 enodes) 1546852472.976 * [exit]simplify: Simplified to 0 1546852472.976 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (+ 0 (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1546852472.976 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1546852472.976 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1546852472.976 * [enter]simplify: Simplifying (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852472.977 * * [misc]simplify: iters left: 6 (10 enodes) 1546852472.978 * * [misc]simplify: iters left: 5 (16 enodes) 1546852472.981 * * [misc]simplify: iters left: 4 (26 enodes) 1546852472.985 * * [misc]simplify: iters left: 3 (57 enodes) 1546852473.000 * * [misc]simplify: iters left: 2 (140 enodes) 1546852473.066 * * [misc]simplify: iters left: 1 (295 enodes) 1546852473.337 * [exit]simplify: Simplified to (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852473.337 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (log (exp (* (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))))) 1546852473.337 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1546852473.338 * [enter]simplify: Simplifying (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852473.338 * * [misc]simplify: iters left: 6 (10 enodes) 1546852473.341 * * [misc]simplify: iters left: 5 (16 enodes) 1546852473.346 * * [misc]simplify: iters left: 4 (26 enodes) 1546852473.351 * * [misc]simplify: iters left: 3 (57 enodes) 1546852473.363 * * [misc]simplify: iters left: 2 (140 enodes) 1546852473.398 * * [misc]simplify: iters left: 1 (295 enodes) 1546852473.609 * [exit]simplify: Simplified to (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852473.609 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (log (exp (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))))) 1546852473.609 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1546852473.609 * [enter]simplify: Simplifying (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852473.609 * * [misc]simplify: iters left: 6 (9 enodes) 1546852473.613 * * [misc]simplify: iters left: 5 (15 enodes) 1546852473.616 * * [misc]simplify: iters left: 4 (25 enodes) 1546852473.621 * * [misc]simplify: iters left: 3 (56 enodes) 1546852473.632 * * [misc]simplify: iters left: 2 (137 enodes) 1546852473.674 * * [misc]simplify: iters left: 1 (296 enodes) 1546852473.915 * [exit]simplify: Simplified to (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852473.916 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (log (exp 1))))) 1546852473.916 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1546852473.916 * [enter]simplify: Simplifying (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852473.916 * * [misc]simplify: iters left: 6 (9 enodes) 1546852473.919 * * [misc]simplify: iters left: 5 (15 enodes) 1546852473.925 * * [misc]simplify: iters left: 4 (25 enodes) 1546852473.934 * * [misc]simplify: iters left: 3 (56 enodes) 1546852473.956 * * [misc]simplify: iters left: 2 (137 enodes) 1546852474.024 * * [misc]simplify: iters left: 1 (296 enodes) 1546852474.218 * [exit]simplify: Simplified to (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852474.218 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (log (exp 1))))) 1546852474.218 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1546852474.218 * [enter]simplify: Simplifying (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1546852474.218 * * [misc]simplify: iters left: 6 (12 enodes) 1546852474.221 * * [misc]simplify: iters left: 5 (32 enodes) 1546852474.227 * * [misc]simplify: iters left: 4 (91 enodes) 1546852474.258 * * [misc]simplify: iters left: 3 (377 enodes) 1546852474.535 * [exit]simplify: Simplified to (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4)))) 1546852474.535 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4)))) (log (exp (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3)))))))) 1546852474.535 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1546852474.535 * [enter]simplify: Simplifying (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1546852474.535 * * [misc]simplify: iters left: 6 (8 enodes) 1546852474.538 * * [misc]simplify: iters left: 5 (15 enodes) 1546852474.543 * * [misc]simplify: iters left: 4 (29 enodes) 1546852474.553 * * [misc]simplify: iters left: 3 (73 enodes) 1546852474.589 * * [misc]simplify: iters left: 2 (172 enodes) 1546852474.652 * * [misc]simplify: iters left: 1 (301 enodes) 1546852474.769 * [exit]simplify: Simplified to (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t))))) 1546852474.769 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (* (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t))))) (log (exp (/ 1 (- (* 2 2) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))))) 1546852474.769 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1546852474.769 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1546852474.769 * [enter]simplify: Simplifying (exp (* (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852474.770 * * [misc]simplify: iters left: 6 (12 enodes) 1546852474.771 * * [misc]simplify: iters left: 5 (20 enodes) 1546852474.777 * * [misc]simplify: iters left: 4 (30 enodes) 1546852474.782 * * [misc]simplify: iters left: 3 (61 enodes) 1546852474.795 * * [misc]simplify: iters left: 2 (143 enodes) 1546852474.839 * * [misc]simplify: iters left: 1 (297 enodes) 1546852475.058 * [exit]simplify: Simplified to (exp (* (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852475.059 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow (exp (* (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) (cbrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1546852475.059 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1546852475.059 * [enter]simplify: Simplifying (exp (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852475.059 * * [misc]simplify: iters left: 6 (11 enodes) 1546852475.061 * * [misc]simplify: iters left: 5 (17 enodes) 1546852475.064 * * [misc]simplify: iters left: 4 (27 enodes) 1546852475.069 * * [misc]simplify: iters left: 3 (58 enodes) 1546852475.092 * * [misc]simplify: iters left: 2 (140 enodes) 1546852475.132 * * [misc]simplify: iters left: 1 (295 enodes) 1546852475.330 * [exit]simplify: Simplified to (exp (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852475.330 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow (exp (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (sqrt (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1546852475.331 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1546852475.331 * [enter]simplify: Simplifying (exp 1) 1546852475.331 * * [misc]simplify: iters left: 1 (2 enodes) 1546852475.332 * [exit]simplify: Simplified to E 1546852475.332 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow E (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852475.332 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1546852475.332 * [enter]simplify: Simplifying (exp 1) 1546852475.332 * * [misc]simplify: iters left: 1 (2 enodes) 1546852475.333 * [exit]simplify: Simplified to E 1546852475.333 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow E (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852475.333 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1546852475.333 * [enter]simplify: Simplifying (exp (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3)))) 1546852475.333 * * [misc]simplify: iters left: 6 (13 enodes) 1546852475.339 * * [misc]simplify: iters left: 5 (29 enodes) 1546852475.348 * * [misc]simplify: iters left: 4 (47 enodes) 1546852475.367 * * [misc]simplify: iters left: 3 (142 enodes) 1546852475.489 * [exit]simplify: Simplified to (exp (/ 1 (+ 8 (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3))))) 1546852475.489 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow (exp (/ 1 (+ 8 (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3))))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1546852475.489 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1546852475.489 * [enter]simplify: Simplifying (exp (/ 1 (- (* 2 2) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1546852475.489 * * [misc]simplify: iters left: 6 (12 enodes) 1546852475.492 * * [misc]simplify: iters left: 5 (27 enodes) 1546852475.497 * * [misc]simplify: iters left: 4 (68 enodes) 1546852475.515 * * [misc]simplify: iters left: 3 (279 enodes) 1546852475.798 * [exit]simplify: Simplified to (exp (/ 1 (- 4 (pow (- 2 (/ 2 (+ t 1))) 4)))) 1546852475.798 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (pow (exp (/ 1 (- 4 (pow (- 2 (/ 2 (+ t 1))) 4)))) (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1546852475.798 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1546852475.798 * [enter]simplify: Simplifying (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852475.798 * * [misc]simplify: iters left: 6 (9 enodes) 1546852475.802 * * [misc]simplify: iters left: 5 (15 enodes) 1546852475.807 * * [misc]simplify: iters left: 4 (25 enodes) 1546852475.816 * * [misc]simplify: iters left: 3 (56 enodes) 1546852475.837 * * [misc]simplify: iters left: 2 (137 enodes) 1546852475.901 * * [misc]simplify: iters left: 1 (296 enodes) 1546852476.073 * [exit]simplify: Simplified to (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1546852476.074 * [misc]simplify: Simplified (2 2 1 1) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852476.074 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1546852476.074 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1546852476.074 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852476.075 * * [misc]simplify: iters left: 6 (10 enodes) 1546852476.078 * * [misc]simplify: iters left: 5 (23 enodes) 1546852476.087 * * [misc]simplify: iters left: 4 (56 enodes) 1546852476.111 * * [misc]simplify: iters left: 3 (107 enodes) 1546852476.143 * * [misc]simplify: iters left: 2 (205 enodes) 1546852476.235 * * [misc]simplify: iters left: 1 (364 enodes) 1546852476.514 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1546852476.514 * [misc]simplify: Simplified (2 2 1 1 2 2 2) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2))))))))) 1546852476.514 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1546852476.514 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852476.515 * * [misc]simplify: iters left: 6 (10 enodes) 1546852476.517 * * [misc]simplify: iters left: 5 (23 enodes) 1546852476.522 * * [misc]simplify: iters left: 4 (46 enodes) 1546852476.534 * * [misc]simplify: iters left: 3 (83 enodes) 1546852476.559 * * [misc]simplify: iters left: 2 (117 enodes) 1546852476.599 * * [misc]simplify: iters left: 1 (165 enodes) 1546852476.621 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852476.622 * [misc]simplify: Simplified (2 2 1 1 2 2 2) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))))) 1546852476.622 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1546852476.622 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852476.622 * * [misc]simplify: iters left: 6 (10 enodes) 1546852476.624 * * [misc]simplify: iters left: 5 (23 enodes) 1546852476.629 * * [misc]simplify: iters left: 4 (46 enodes) 1546852476.642 * * [misc]simplify: iters left: 3 (83 enodes) 1546852476.676 * * [misc]simplify: iters left: 2 (117 enodes) 1546852476.713 * * [misc]simplify: iters left: 1 (165 enodes) 1546852476.736 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852476.736 * [misc]simplify: Simplified (2 2 1 1 2 2 2) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))))) 1546852476.736 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1546852476.736 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1546852476.736 * * [misc]simplify: iters left: 6 (10 enodes) 1546852476.739 * * [misc]simplify: iters left: 5 (23 enodes) 1546852476.748 * * [misc]simplify: iters left: 4 (56 enodes) 1546852476.767 * * [misc]simplify: iters left: 3 (107 enodes) 1546852476.815 * * [misc]simplify: iters left: 2 (205 enodes) 1546852476.937 * * [misc]simplify: iters left: 1 (364 enodes) 1546852477.169 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1546852477.169 * [misc]simplify: Simplified (2 2 1 1 2 2 1) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t)))))))))) 1546852477.169 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1546852477.169 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852477.169 * * [misc]simplify: iters left: 6 (10 enodes) 1546852477.172 * * [misc]simplify: iters left: 5 (23 enodes) 1546852477.177 * * [misc]simplify: iters left: 4 (46 enodes) 1546852477.195 * * [misc]simplify: iters left: 3 (83 enodes) 1546852477.232 * * [misc]simplify: iters left: 2 (117 enodes) 1546852477.275 * * [misc]simplify: iters left: 1 (165 enodes) 1546852477.318 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852477.318 * [misc]simplify: Simplified (2 2 1 1 2 2 1) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852477.318 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1546852477.318 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1546852477.319 * * [misc]simplify: iters left: 6 (10 enodes) 1546852477.323 * * [misc]simplify: iters left: 5 (23 enodes) 1546852477.333 * * [misc]simplify: iters left: 4 (46 enodes) 1546852477.355 * * [misc]simplify: iters left: 3 (83 enodes) 1546852477.394 * * [misc]simplify: iters left: 2 (117 enodes) 1546852477.423 * * [misc]simplify: iters left: 1 (165 enodes) 1546852477.461 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1546852477.461 * [misc]simplify: Simplified (2 2 1 1 2 2 1) to (λ (t) (- 1 (log (exp (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))))) 1546852477.461 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1546852477.461 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1546852477.461 * * [misc]simplify: iters left: 6 (9 enodes) 1546852477.463 * * [misc]simplify: iters left: 5 (18 enodes) 1546852477.466 * * [misc]simplify: iters left: 4 (40 enodes) 1546852477.473 * * [misc]simplify: iters left: 3 (61 enodes) 1546852477.481 * * [misc]simplify: iters left: 2 (75 enodes) 1546852477.492 * * [misc]simplify: iters left: 1 (96 enodes) 1546852477.516 * [exit]simplify: Simplified to (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))) 1546852477.516 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))))) 1546852477.516 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1546852477.517 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852477.517 * * [misc]simplify: iters left: 6 (13 enodes) 1546852477.522 * * [misc]simplify: iters left: 5 (27 enodes) 1546852477.531 * * [misc]simplify: iters left: 4 (49 enodes) 1546852477.546 * * [misc]simplify: iters left: 3 (77 enodes) 1546852477.562 * * [misc]simplify: iters left: 2 (104 enodes) 1546852477.573 * * [misc]simplify: iters left: 1 (136 enodes) 1546852477.593 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1546852477.593 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1546852477.594 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1546852477.594 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1546852477.594 * * [misc]simplify: iters left: 6 (13 enodes) 1546852477.600 * * [misc]simplify: iters left: 5 (27 enodes) 1546852477.609 * * [misc]simplify: iters left: 4 (49 enodes) 1546852477.624 * * [misc]simplify: iters left: 3 (77 enodes) 1546852477.643 * * [misc]simplify: iters left: 2 (104 enodes) 1546852477.665 * * [misc]simplify: iters left: 1 (136 enodes) 1546852477.690 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1546852477.690 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1546852477.690 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1546852477.690 * [enter]simplify: Simplifying (- (+ (exp 1/2) (* 2 (* (pow t 3) (exp 1/2)))) (* (pow t 2) (exp 1/2))) 1546852477.690 * * [misc]simplify: iters left: 6 (12 enodes) 1546852477.693 * * [misc]simplify: iters left: 5 (25 enodes) 1546852477.699 * * [misc]simplify: iters left: 4 (64 enodes) 1546852477.711 * * [misc]simplify: iters left: 3 (124 enodes) 1546852477.744 * * [misc]simplify: iters left: 2 (217 enodes) 1546852477.831 * * [misc]simplify: iters left: 1 (482 enodes) 1546852478.211 * [exit]simplify: Simplified to (* (exp 1/2) (+ (* (* t t) (* 2 t)) (- 1 (* t t)))) 1546852478.211 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (log (* (exp 1/2) (+ (* (* t t) (* 2 t)) (- 1 (* t t))))))) 1546852478.212 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1546852478.212 * [enter]simplify: Simplifying (- (+ (exp 1/6) (* 2/9 (/ (exp 1/6) t))) (* 1/81 (/ (exp 1/6) (pow t 2)))) 1546852478.212 * * [misc]simplify: iters left: 6 (13 enodes) 1546852478.217 * * [misc]simplify: iters left: 5 (25 enodes) 1546852478.226 * * [misc]simplify: iters left: 4 (55 enodes) 1546852478.241 * * [misc]simplify: iters left: 3 (92 enodes) 1546852478.255 * * [misc]simplify: iters left: 2 (155 enodes) 1546852478.294 * * [misc]simplify: iters left: 1 (200 enodes) 1546852478.332 * [exit]simplify: Simplified to (+ (exp 1/6) (* (- 2/9 (/ 1/81 t)) (/ (exp 1/6) t))) 1546852478.332 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (log (+ (exp 1/6) (* (- 2/9 (/ 1/81 t)) (/ (exp 1/6) t)))))) 1546852478.332 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1546852478.332 * [enter]simplify: Simplifying (- (+ (exp 1/6) (* 2/9 (/ (exp 1/6) t))) (* 1/81 (/ (exp 1/6) (pow t 2)))) 1546852478.333 * * [misc]simplify: iters left: 6 (13 enodes) 1546852478.337 * * [misc]simplify: iters left: 5 (25 enodes) 1546852478.347 * * [misc]simplify: iters left: 4 (55 enodes) 1546852478.364 * * [misc]simplify: iters left: 3 (92 enodes) 1546852478.395 * * [misc]simplify: iters left: 2 (155 enodes) 1546852478.443 * * [misc]simplify: iters left: 1 (200 enodes) 1546852478.867 * [exit]simplify: Simplified to (+ (exp 1/6) (* (- 2/9 (/ 1/81 t)) (/ (exp 1/6) t))) 1546852478.867 * [misc]simplify: Simplified (2 2 1) to (λ (t) (- 1 (log (+ (exp 1/6) (* (- 2/9 (/ 1/81 t)) (/ (exp 1/6) t)))))) 1546852478.868 * * * [misc]progress: adding candidates to table 1546852479.477 * [misc]progress: [Phase 3 of 3] Extracting. 1546852479.477 * * [misc]regime: Finding splitpoints for: (# #) 1546852479.477 * * * [misc]regime-changes: Trying 1 branch expressions: (t) 1546852479.477 * * * * [misc]regimes: Trying to branch on t from (# #) 1546852479.512 * * * [misc]regime: Found split indices: #