1545732805.639 * [misc]progress: [Phase 1 of 3] Setting up. 1545732805.639 * * * [misc]progress: [1/2] Preparing points 1545732805.639 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545732805.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1545732805.737 * * * * [exit]points: Sampled 256 points with exact outputs 1545732805.738 * * * [misc]progress: [2/2] Setting up program. 1545732805.744 * [misc]progress: [Phase 2 of 3] Improving. 1545732805.745 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) 1545732805.745 * * [misc]simplify: iters left: 6 (12 enodes) 1545732805.749 * * [misc]simplify: iters left: 5 (22 enodes) 1545732805.757 * * [misc]simplify: iters left: 4 (42 enodes) 1545732805.765 * * [misc]simplify: iters left: 3 (84 enodes) 1545732805.784 * * [misc]simplify: iters left: 2 (197 enodes) 1545732805.855 * * [misc]simplify: iters left: 1 (477 enodes) 1545732806.940 * [exit]simplify: Simplified to (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) 1545732806.953 * * [misc]progress: iteration 1 / 4 1545732806.953 * * * [misc]progress: picking best candidate 1545732806.958 * * * * [misc]pick: Picked # 1545732806.958 * * * [misc]progress: localizing error 1545732806.992 * * * [misc]progress: generating rewritten candidates 1545732806.992 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1545732806.993 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1) 1545732806.993 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2) 1545732806.994 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 2 2) 1545732806.995 * * * [misc]progress: generating series expansions 1545732806.995 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1545732806.996 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1545732806.996 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1545732806.996 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732806.996 * [misc]taylor: Taking taylor expansion of 2 in t 1545732806.996 * [misc]backup-simplify: Simplify 2 into 2 1545732806.996 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732806.996 * [misc]taylor: Taking taylor expansion of 2 in t 1545732806.996 * [misc]backup-simplify: Simplify 2 into 2 1545732806.996 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732806.996 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732806.996 * [misc]taylor: Taking taylor expansion of t in t 1545732806.996 * [misc]backup-simplify: Simplify 0 into 0 1545732806.996 * [misc]backup-simplify: Simplify 1 into 1 1545732806.996 * [misc]taylor: Taking taylor expansion of 1 in t 1545732806.996 * [misc]backup-simplify: Simplify 1 into 1 1545732806.996 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732806.997 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732806.997 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732806.997 * [misc]taylor: Taking taylor expansion of 2 in t 1545732806.997 * [misc]backup-simplify: Simplify 2 into 2 1545732806.997 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732806.997 * [misc]taylor: Taking taylor expansion of 2 in t 1545732806.997 * [misc]backup-simplify: Simplify 2 into 2 1545732806.997 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732806.997 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732806.997 * [misc]taylor: Taking taylor expansion of t in t 1545732806.997 * [misc]backup-simplify: Simplify 0 into 0 1545732806.997 * [misc]backup-simplify: Simplify 1 into 1 1545732806.997 * [misc]taylor: Taking taylor expansion of 1 in t 1545732806.997 * [misc]backup-simplify: Simplify 1 into 1 1545732806.997 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732806.997 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732806.997 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732806.998 * [misc]backup-simplify: Simplify (- 2) into -2 1545732806.998 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545732806.998 * [misc]backup-simplify: Simplify 0 into 0 1545732806.998 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732806.998 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732806.998 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732806.999 * [misc]backup-simplify: Simplify (- -2) into 2 1545732806.999 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732806.999 * [misc]backup-simplify: Simplify 2 into 2 1545732806.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732806.999 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1545732807.000 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1545732807.000 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.000 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.000 * [misc]backup-simplify: Simplify -2 into -2 1545732807.001 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.001 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1545732807.001 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1545732807.001 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.002 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.002 * [misc]backup-simplify: Simplify 2 into 2 1545732807.002 * [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))) 1545732807.002 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1545732807.002 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1545732807.002 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.002 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.002 * [misc]backup-simplify: Simplify 2 into 2 1545732807.003 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.003 * [misc]backup-simplify: Simplify 2 into 2 1545732807.003 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of t in t 1545732807.003 * [misc]backup-simplify: Simplify 0 into 0 1545732807.003 * [misc]backup-simplify: Simplify 1 into 1 1545732807.003 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.003 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.003 * [misc]backup-simplify: Simplify 1 into 1 1545732807.003 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.003 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.003 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.003 * [misc]backup-simplify: Simplify 2 into 2 1545732807.003 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.003 * [misc]backup-simplify: Simplify 2 into 2 1545732807.003 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.003 * [misc]taylor: Taking taylor expansion of t in t 1545732807.004 * [misc]backup-simplify: Simplify 0 into 0 1545732807.004 * [misc]backup-simplify: Simplify 1 into 1 1545732807.004 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.004 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.004 * [misc]backup-simplify: Simplify 1 into 1 1545732807.004 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.004 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.004 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.004 * [misc]backup-simplify: Simplify 2 into 2 1545732807.004 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.005 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.005 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.005 * [misc]backup-simplify: Simplify -2 into -2 1545732807.005 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.005 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.005 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.006 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.006 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.006 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.006 * [misc]backup-simplify: Simplify 2 into 2 1545732807.006 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732807.006 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1545732807.006 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1545732807.006 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.006 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.006 * [misc]backup-simplify: Simplify 2 into 2 1545732807.006 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.006 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.006 * [misc]backup-simplify: Simplify 2 into 2 1545732807.007 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.007 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.007 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.007 * [misc]backup-simplify: Simplify 1 into 1 1545732807.007 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.007 * [misc]taylor: Taking taylor expansion of t in t 1545732807.007 * [misc]backup-simplify: Simplify 0 into 0 1545732807.007 * [misc]backup-simplify: Simplify 1 into 1 1545732807.007 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.007 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.007 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.007 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.007 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.007 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.007 * [misc]backup-simplify: Simplify 2 into 2 1545732807.007 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.007 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.008 * [misc]backup-simplify: Simplify 2 into 2 1545732807.008 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.008 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.008 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.008 * [misc]backup-simplify: Simplify 1 into 1 1545732807.008 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.008 * [misc]taylor: Taking taylor expansion of t in t 1545732807.008 * [misc]backup-simplify: Simplify 0 into 0 1545732807.008 * [misc]backup-simplify: Simplify 1 into 1 1545732807.008 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.008 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.008 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.008 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.009 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.009 * [misc]backup-simplify: Simplify 2 into 2 1545732807.009 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1545732807.009 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.009 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.009 * [misc]backup-simplify: Simplify 2 into 2 1545732807.009 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.010 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.010 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.010 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1545732807.010 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1545732807.010 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.011 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.011 * [misc]backup-simplify: Simplify 2 into 2 1545732807.011 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732807.011 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1) 1545732807.011 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1545732807.011 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1545732807.011 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.011 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.011 * [misc]backup-simplify: Simplify 2 into 2 1545732807.011 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.011 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.012 * [misc]backup-simplify: Simplify 2 into 2 1545732807.012 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of t in t 1545732807.012 * [misc]backup-simplify: Simplify 0 into 0 1545732807.012 * [misc]backup-simplify: Simplify 1 into 1 1545732807.012 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.012 * [misc]backup-simplify: Simplify 1 into 1 1545732807.012 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.012 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.012 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.012 * [misc]backup-simplify: Simplify 2 into 2 1545732807.012 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.012 * [misc]backup-simplify: Simplify 2 into 2 1545732807.012 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.012 * [misc]taylor: Taking taylor expansion of t in t 1545732807.012 * [misc]backup-simplify: Simplify 0 into 0 1545732807.012 * [misc]backup-simplify: Simplify 1 into 1 1545732807.012 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.012 * [misc]backup-simplify: Simplify 1 into 1 1545732807.013 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.013 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.013 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.013 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.013 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545732807.013 * [misc]backup-simplify: Simplify 0 into 0 1545732807.013 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.014 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.014 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.014 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.014 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.014 * [misc]backup-simplify: Simplify 2 into 2 1545732807.014 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.015 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1545732807.015 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1545732807.015 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.015 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.015 * [misc]backup-simplify: Simplify -2 into -2 1545732807.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.016 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1545732807.016 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1545732807.016 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.017 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.017 * [misc]backup-simplify: Simplify 2 into 2 1545732807.017 * [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))) 1545732807.017 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1545732807.017 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1545732807.017 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.017 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.017 * [misc]backup-simplify: Simplify 2 into 2 1545732807.017 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.017 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.017 * [misc]backup-simplify: Simplify 2 into 2 1545732807.017 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of t in t 1545732807.018 * [misc]backup-simplify: Simplify 0 into 0 1545732807.018 * [misc]backup-simplify: Simplify 1 into 1 1545732807.018 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.018 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.018 * [misc]backup-simplify: Simplify 1 into 1 1545732807.018 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.018 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.018 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.018 * [misc]backup-simplify: Simplify 2 into 2 1545732807.018 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.018 * [misc]backup-simplify: Simplify 2 into 2 1545732807.018 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.018 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.019 * [misc]taylor: Taking taylor expansion of t in t 1545732807.019 * [misc]backup-simplify: Simplify 0 into 0 1545732807.019 * [misc]backup-simplify: Simplify 1 into 1 1545732807.019 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.019 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.019 * [misc]backup-simplify: Simplify 1 into 1 1545732807.019 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.019 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.019 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.019 * [misc]backup-simplify: Simplify 2 into 2 1545732807.020 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.020 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.020 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.020 * [misc]backup-simplify: Simplify -2 into -2 1545732807.020 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.020 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.021 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.021 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.021 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.021 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.021 * [misc]backup-simplify: Simplify 2 into 2 1545732807.022 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732807.022 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1545732807.022 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1545732807.022 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.022 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.022 * [misc]backup-simplify: Simplify 2 into 2 1545732807.022 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.022 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.022 * [misc]backup-simplify: Simplify 2 into 2 1545732807.022 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.022 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.022 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.022 * [misc]backup-simplify: Simplify 1 into 1 1545732807.022 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.022 * [misc]taylor: Taking taylor expansion of t in t 1545732807.022 * [misc]backup-simplify: Simplify 0 into 0 1545732807.022 * [misc]backup-simplify: Simplify 1 into 1 1545732807.022 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.022 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.023 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.023 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.023 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.023 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.023 * [misc]backup-simplify: Simplify 2 into 2 1545732807.023 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.023 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.023 * [misc]backup-simplify: Simplify 2 into 2 1545732807.023 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.023 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.023 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.023 * [misc]backup-simplify: Simplify 1 into 1 1545732807.023 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.023 * [misc]taylor: Taking taylor expansion of t in t 1545732807.023 * [misc]backup-simplify: Simplify 0 into 0 1545732807.023 * [misc]backup-simplify: Simplify 1 into 1 1545732807.023 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.024 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.024 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.024 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.024 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.024 * [misc]backup-simplify: Simplify 2 into 2 1545732807.024 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1545732807.025 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.025 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.025 * [misc]backup-simplify: Simplify 2 into 2 1545732807.025 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.025 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.025 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.026 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1545732807.026 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1545732807.026 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.026 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.026 * [misc]backup-simplify: Simplify 2 into 2 1545732807.026 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732807.027 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2) 1545732807.027 * [misc]backup-simplify: Simplify (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2) into (fma (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1)))) 2) 1545732807.027 * [misc]approximate: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1)))) 2) in (t) around 0 1545732807.027 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1545732807.027 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1))))) 2) 1545732807.027 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1))))) in t 1545732807.027 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.027 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.027 * [misc]backup-simplify: Simplify 2 into 2 1545732807.027 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.027 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.027 * [misc]backup-simplify: Simplify 2 into 2 1545732807.027 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.027 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.027 * [misc]taylor: Taking taylor expansion of t in t 1545732807.027 * [misc]backup-simplify: Simplify 0 into 0 1545732807.027 * [misc]backup-simplify: Simplify 1 into 1 1545732807.027 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.028 * [misc]backup-simplify: Simplify 1 into 1 1545732807.028 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.028 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.028 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.028 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.028 * [misc]backup-simplify: Simplify 2 into 2 1545732807.028 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.028 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.028 * [misc]backup-simplify: Simplify 2 into 2 1545732807.028 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.028 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.028 * [misc]taylor: Taking taylor expansion of t in t 1545732807.028 * [misc]backup-simplify: Simplify 0 into 0 1545732807.028 * [misc]backup-simplify: Simplify 1 into 1 1545732807.028 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.028 * [misc]backup-simplify: Simplify 1 into 1 1545732807.029 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.029 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.029 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.029 * [misc]backup-simplify: Simplify 2 into 2 1545732807.029 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1545732807.029 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1))))) 2) 1545732807.029 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (+ t 1)))) (- 2 (* 2 (/ 1 (+ t 1))))) in t 1545732807.029 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.029 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.029 * [misc]backup-simplify: Simplify 2 into 2 1545732807.029 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.029 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.029 * [misc]backup-simplify: Simplify 2 into 2 1545732807.029 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.029 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.029 * [misc]taylor: Taking taylor expansion of t in t 1545732807.029 * [misc]backup-simplify: Simplify 0 into 0 1545732807.029 * [misc]backup-simplify: Simplify 1 into 1 1545732807.029 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.029 * [misc]backup-simplify: Simplify 1 into 1 1545732807.030 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.030 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.030 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1545732807.030 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.030 * [misc]backup-simplify: Simplify 2 into 2 1545732807.030 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1545732807.030 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.030 * [misc]backup-simplify: Simplify 2 into 2 1545732807.030 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1545732807.030 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.030 * [misc]taylor: Taking taylor expansion of t in t 1545732807.030 * [misc]backup-simplify: Simplify 0 into 0 1545732807.030 * [misc]backup-simplify: Simplify 1 into 1 1545732807.030 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.030 * [misc]backup-simplify: Simplify 1 into 1 1545732807.030 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.030 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.031 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.031 * [misc]backup-simplify: Simplify 2 into 2 1545732807.031 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.031 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.031 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545732807.031 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.032 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.032 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1545732807.032 * [misc]backup-simplify: Simplify (* 0 0) into 0 1545732807.032 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.032 * [misc]backup-simplify: Simplify 2 into 2 1545732807.032 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.033 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.033 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.033 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.033 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.033 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.034 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.034 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.034 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.034 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.034 * [misc]backup-simplify: Simplify (+ (* 0 2) (* 2 0)) into 0 1545732807.034 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.034 * [misc]backup-simplify: Simplify 0 into 0 1545732807.035 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.035 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1545732807.035 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1545732807.035 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.036 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.036 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.036 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1545732807.037 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1545732807.037 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.037 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.037 * [misc]backup-simplify: Simplify (+ (* 0 -2) (+ (* 2 2) (* -2 0))) into 4 1545732807.037 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1545732807.037 * [misc]backup-simplify: Simplify 4 into 4 1545732807.038 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.038 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1545732807.038 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1545732807.038 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.038 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.039 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.039 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1545732807.039 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1545732807.040 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.040 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.040 * [misc]backup-simplify: Simplify (+ (* 0 2) (+ (* 2 -2) (+ (* -2 2) (* 2 0)))) into -8 1545732807.040 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1545732807.040 * [misc]backup-simplify: Simplify -8 into -8 1545732807.041 * [misc]backup-simplify: Simplify (+ (* -8 (pow t 3)) (+ (* 4 (pow t 2)) 2)) into (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3))) 1545732807.041 * [misc]backup-simplify: Simplify (fma (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t)))) 2) into (fma (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) 1545732807.041 * [misc]approximate: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 1545732807.041 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1545732807.041 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))) 2) 1545732807.041 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.041 * [misc]backup-simplify: Simplify 2 into 2 1545732807.041 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.041 * [misc]backup-simplify: Simplify 2 into 2 1545732807.041 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.041 * [misc]taylor: Taking taylor expansion of t in t 1545732807.041 * [misc]backup-simplify: Simplify 0 into 0 1545732807.041 * [misc]backup-simplify: Simplify 1 into 1 1545732807.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.042 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.042 * [misc]backup-simplify: Simplify 1 into 1 1545732807.042 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.042 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.042 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.042 * [misc]backup-simplify: Simplify 2 into 2 1545732807.042 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.042 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.042 * [misc]backup-simplify: Simplify 2 into 2 1545732807.042 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.042 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.042 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.042 * [misc]taylor: Taking taylor expansion of t in t 1545732807.042 * [misc]backup-simplify: Simplify 0 into 0 1545732807.042 * [misc]backup-simplify: Simplify 1 into 1 1545732807.043 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.043 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.043 * [misc]backup-simplify: Simplify 1 into 1 1545732807.043 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.043 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.043 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.043 * [misc]backup-simplify: Simplify 2 into 2 1545732807.043 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1545732807.043 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))) 2) 1545732807.043 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.043 * [misc]backup-simplify: Simplify 2 into 2 1545732807.043 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.043 * [misc]backup-simplify: Simplify 2 into 2 1545732807.043 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.043 * [misc]taylor: Taking taylor expansion of t in t 1545732807.043 * [misc]backup-simplify: Simplify 0 into 0 1545732807.044 * [misc]backup-simplify: Simplify 1 into 1 1545732807.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.044 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.044 * [misc]backup-simplify: Simplify 1 into 1 1545732807.044 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.044 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1545732807.044 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.044 * [misc]backup-simplify: Simplify 2 into 2 1545732807.044 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1545732807.044 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.044 * [misc]backup-simplify: Simplify 2 into 2 1545732807.044 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1545732807.044 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.044 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.044 * [misc]taylor: Taking taylor expansion of t in t 1545732807.044 * [misc]backup-simplify: Simplify 0 into 0 1545732807.044 * [misc]backup-simplify: Simplify 1 into 1 1545732807.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.045 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.045 * [misc]backup-simplify: Simplify 1 into 1 1545732807.045 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.045 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.045 * [misc]backup-simplify: Simplify 2 into 2 1545732807.045 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.045 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.046 * [misc]backup-simplify: Simplify (* 2 2) into 4 1545732807.046 * [misc]backup-simplify: Simplify (+ 4 2) into 6 1545732807.046 * [misc]backup-simplify: Simplify 6 into 6 1545732807.046 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.046 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.046 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.046 * [misc]backup-simplify: Simplify (* 2 1) into 2 1545732807.047 * [misc]backup-simplify: Simplify (- 2) into -2 1545732807.047 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1545732807.047 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1545732807.047 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1545732807.047 * [misc]backup-simplify: Simplify -8 into -8 1545732807.047 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.048 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.048 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.048 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.048 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.048 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.049 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.049 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.049 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1545732807.049 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1545732807.049 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.050 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.050 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1545732807.050 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1545732807.050 * [misc]backup-simplify: Simplify 12 into 12 1545732807.050 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1545732807.051 * [misc]backup-simplify: Simplify (fma (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t))))) 2) into (fma (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) 1545732807.056 * [misc]approximate: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 1545732807.056 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1545732807.056 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))) 2) 1545732807.057 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.057 * [misc]backup-simplify: Simplify 2 into 2 1545732807.057 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.057 * [misc]backup-simplify: Simplify 2 into 2 1545732807.057 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.057 * [misc]backup-simplify: Simplify 1 into 1 1545732807.057 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.057 * [misc]taylor: Taking taylor expansion of t in t 1545732807.057 * [misc]backup-simplify: Simplify 0 into 0 1545732807.057 * [misc]backup-simplify: Simplify 1 into 1 1545732807.057 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.058 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.058 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.058 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.058 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.058 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.058 * [misc]backup-simplify: Simplify 2 into 2 1545732807.058 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.058 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.058 * [misc]backup-simplify: Simplify 2 into 2 1545732807.058 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.058 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.058 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.058 * [misc]backup-simplify: Simplify 1 into 1 1545732807.058 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.058 * [misc]taylor: Taking taylor expansion of t in t 1545732807.058 * [misc]backup-simplify: Simplify 0 into 0 1545732807.058 * [misc]backup-simplify: Simplify 1 into 1 1545732807.059 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.059 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.059 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.059 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.059 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.059 * [misc]backup-simplify: Simplify 2 into 2 1545732807.059 * [misc]taylor: Taking taylor expansion of (fma (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1545732807.059 * [misc]taylor: Rewrote expression to (+ (* (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))) 2) 1545732807.059 * [misc]taylor: Taking taylor expansion of (* (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))) in t 1545732807.059 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.059 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.059 * [misc]backup-simplify: Simplify 2 into 2 1545732807.059 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.059 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.060 * [misc]backup-simplify: Simplify 2 into 2 1545732807.060 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.060 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.060 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.060 * [misc]backup-simplify: Simplify 1 into 1 1545732807.060 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.060 * [misc]taylor: Taking taylor expansion of t in t 1545732807.060 * [misc]backup-simplify: Simplify 0 into 0 1545732807.060 * [misc]backup-simplify: Simplify 1 into 1 1545732807.060 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.060 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.060 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.060 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.060 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1545732807.060 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.061 * [misc]backup-simplify: Simplify 2 into 2 1545732807.061 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1545732807.061 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.061 * [misc]backup-simplify: Simplify 2 into 2 1545732807.061 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1545732807.061 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.061 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.061 * [misc]backup-simplify: Simplify 1 into 1 1545732807.061 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.061 * [misc]taylor: Taking taylor expansion of t in t 1545732807.061 * [misc]backup-simplify: Simplify 0 into 0 1545732807.061 * [misc]backup-simplify: Simplify 1 into 1 1545732807.061 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.061 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.061 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.061 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545732807.061 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.062 * [misc]backup-simplify: Simplify 2 into 2 1545732807.062 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.062 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1545732807.062 * [misc]backup-simplify: Simplify (* 2 2) into 4 1545732807.062 * [misc]backup-simplify: Simplify (+ 4 2) into 6 1545732807.062 * [misc]backup-simplify: Simplify 6 into 6 1545732807.062 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1545732807.063 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.063 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.063 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1545732807.063 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.063 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.063 * [misc]backup-simplify: Simplify (+ (* 2 2) (* 2 2)) into 8 1545732807.064 * [misc]backup-simplify: Simplify (+ 8 0) into 8 1545732807.064 * [misc]backup-simplify: Simplify 8 into 8 1545732807.064 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.064 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.064 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.064 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1545732807.065 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1545732807.065 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.065 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.065 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.065 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.066 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.066 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1545732807.066 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1545732807.066 * [misc]backup-simplify: Simplify (- -2) into 2 1545732807.067 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545732807.067 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1545732807.067 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1545732807.067 * [misc]backup-simplify: Simplify 12 into 12 1545732807.067 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1545732807.068 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 2 2) 1545732807.068 * [misc]backup-simplify: Simplify (/ 2 (+ 1 t)) into (/ 2 (+ t 1)) 1545732807.068 * [misc]approximate: Taking taylor expansion of (/ 2 (+ t 1)) in (t) around 0 1545732807.068 * [misc]taylor: Taking taylor expansion of (/ 2 (+ t 1)) in t 1545732807.068 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.068 * [misc]backup-simplify: Simplify 2 into 2 1545732807.068 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.068 * [misc]taylor: Taking taylor expansion of t in t 1545732807.068 * [misc]backup-simplify: Simplify 0 into 0 1545732807.068 * [misc]backup-simplify: Simplify 1 into 1 1545732807.068 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.068 * [misc]backup-simplify: Simplify 1 into 1 1545732807.068 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.068 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1545732807.068 * [misc]taylor: Taking taylor expansion of (/ 2 (+ t 1)) in t 1545732807.068 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.068 * [misc]backup-simplify: Simplify 2 into 2 1545732807.068 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1545732807.068 * [misc]taylor: Taking taylor expansion of t in t 1545732807.068 * [misc]backup-simplify: Simplify 0 into 0 1545732807.069 * [misc]backup-simplify: Simplify 1 into 1 1545732807.069 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.069 * [misc]backup-simplify: Simplify 1 into 1 1545732807.069 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.069 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1545732807.069 * [misc]backup-simplify: Simplify 2 into 2 1545732807.069 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.069 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1545732807.069 * [misc]backup-simplify: Simplify -2 into -2 1545732807.070 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.070 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1545732807.070 * [misc]backup-simplify: Simplify 2 into 2 1545732807.070 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 2)) (+ (* -2 t) 2)) into (- (+ (* 2 (pow t 2)) 2) (* 2 t)) 1545732807.070 * [misc]backup-simplify: Simplify (/ 2 (+ 1 (/ 1 t))) into (/ 2 (+ (/ 1 t) 1)) 1545732807.070 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in (t) around 0 1545732807.070 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in t 1545732807.070 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.071 * [misc]backup-simplify: Simplify 2 into 2 1545732807.071 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.071 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.071 * [misc]taylor: Taking taylor expansion of t in t 1545732807.071 * [misc]backup-simplify: Simplify 0 into 0 1545732807.071 * [misc]backup-simplify: Simplify 1 into 1 1545732807.071 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.071 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.071 * [misc]backup-simplify: Simplify 1 into 1 1545732807.071 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.071 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1545732807.071 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in t 1545732807.071 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.071 * [misc]backup-simplify: Simplify 2 into 2 1545732807.071 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1545732807.071 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.071 * [misc]taylor: Taking taylor expansion of t in t 1545732807.071 * [misc]backup-simplify: Simplify 0 into 0 1545732807.071 * [misc]backup-simplify: Simplify 1 into 1 1545732807.072 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.072 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.072 * [misc]backup-simplify: Simplify 1 into 1 1545732807.072 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.072 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1545732807.072 * [misc]backup-simplify: Simplify 2 into 2 1545732807.072 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.072 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545732807.073 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1545732807.073 * [misc]backup-simplify: Simplify -2 into -2 1545732807.073 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545732807.073 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.073 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1545732807.074 * [misc]backup-simplify: Simplify 2 into 2 1545732807.074 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 3)) (+ (* -2 (pow (/ 1 t) 2)) (* 2 (/ 1 t)))) into (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1545732807.074 * [misc]backup-simplify: Simplify (/ 2 (+ 1 (/ 1 (- t)))) into (/ 2 (- 1 (/ 1 t))) 1545732807.074 * [misc]approximate: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in (t) around 0 1545732807.074 * [misc]taylor: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in t 1545732807.074 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.074 * [misc]backup-simplify: Simplify 2 into 2 1545732807.074 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.074 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.074 * [misc]backup-simplify: Simplify 1 into 1 1545732807.074 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.074 * [misc]taylor: Taking taylor expansion of t in t 1545732807.074 * [misc]backup-simplify: Simplify 0 into 0 1545732807.074 * [misc]backup-simplify: Simplify 1 into 1 1545732807.075 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.075 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.075 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.075 * [misc]backup-simplify: Simplify (/ 2 -1) into -2 1545732807.075 * [misc]taylor: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in t 1545732807.075 * [misc]taylor: Taking taylor expansion of 2 in t 1545732807.075 * [misc]backup-simplify: Simplify 2 into 2 1545732807.075 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1545732807.075 * [misc]taylor: Taking taylor expansion of 1 in t 1545732807.075 * [misc]backup-simplify: Simplify 1 into 1 1545732807.075 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1545732807.075 * [misc]taylor: Taking taylor expansion of t in t 1545732807.075 * [misc]backup-simplify: Simplify 0 into 0 1545732807.075 * [misc]backup-simplify: Simplify 1 into 1 1545732807.076 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545732807.076 * [misc]backup-simplify: Simplify (- 1) into -1 1545732807.076 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545732807.076 * [misc]backup-simplify: Simplify (/ 2 -1) into -2 1545732807.076 * [misc]backup-simplify: Simplify -2 into -2 1545732807.076 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545732807.077 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.077 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545732807.077 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -2 (/ 1 -1)))) into -2 1545732807.077 * [misc]backup-simplify: Simplify -2 into -2 1545732807.077 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545732807.078 * [misc]backup-simplify: Simplify (- 0) into 0 1545732807.078 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545732807.078 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -2 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1545732807.078 * [misc]backup-simplify: Simplify -2 into -2 1545732807.078 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- t)) 3)) (+ (* -2 (pow (/ 1 (- t)) 2)) (* -2 (/ 1 (- t))))) into (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1545732807.079 * * * [misc]progress: simplifying candidates 1545732807.079 * * * * [misc]progress: [ 1 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 2 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 3 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 4 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 5 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 6 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 7 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 8 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 9 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 10 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 11 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 12 / 65 ] simplifiying candidate # 1545732807.079 * * * * [misc]progress: [ 13 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 14 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 15 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 16 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 17 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 18 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 19 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 20 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 21 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 22 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 23 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 24 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 25 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 26 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 27 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 28 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 29 / 65 ] simplifiying candidate # 1545732807.080 * * * * [misc]progress: [ 30 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 31 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 32 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 33 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 34 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 35 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 36 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 37 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 38 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 39 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 40 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 41 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 42 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 43 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 44 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 45 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 46 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 47 / 65 ] simplifiying candidate # 1545732807.081 * * * * [misc]progress: [ 48 / 65 ] simplifiying candidate # 1545732807.082 * * * * [misc]progress: [ 49 / 65 ] simplifiying candidate # 1545732807.082 * [enter]simplify: Simplifying (cbrt (+ 1 t)) 1545732807.082 * * [misc]simplify: iters left: 3 (4 enodes) 1545732807.083 * * [misc]simplify: iters left: 2 (7 enodes) 1545732807.085 * [exit]simplify: Simplified to (cbrt (+ t 1)) 1545732807.085 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1)))) 2)))) 1545732807.085 * * * * [misc]progress: [ 50 / 65 ] simplifiying candidate # 1545732807.085 * [enter]simplify: Simplifying (sqrt (+ 1 t)) 1545732807.085 * * [misc]simplify: iters left: 3 (4 enodes) 1545732807.087 * * [misc]simplify: iters left: 2 (7 enodes) 1545732807.089 * [exit]simplify: Simplified to (sqrt (+ t 1)) 1545732807.089 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 (sqrt (+ 1 t))) (sqrt (+ t 1)))) 2)))) 1545732807.089 * * * * [misc]progress: [ 51 / 65 ] simplifiying candidate # 1545732807.089 * [enter]simplify: Simplifying (+ 1 t) 1545732807.089 * * [misc]simplify: iters left: 2 (3 enodes) 1545732807.090 * * [misc]simplify: iters left: 1 (6 enodes) 1545732807.092 * [exit]simplify: Simplified to (+ t 1) 1545732807.092 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 1) (+ t 1))) 2)))) 1545732807.092 * * * * [misc]progress: [ 52 / 65 ] simplifiying candidate # 1545732807.092 * [enter]simplify: Simplifying (+ (* 1 1) (- (* t t) (* 1 t))) 1545732807.092 * * [misc]simplify: iters left: 6 (7 enodes) 1545732807.095 * * [misc]simplify: iters left: 5 (17 enodes) 1545732807.100 * * [misc]simplify: iters left: 4 (28 enodes) 1545732807.109 * * [misc]simplify: iters left: 3 (49 enodes) 1545732807.125 * * [misc]simplify: iters left: 2 (66 enodes) 1545732807.145 * * [misc]simplify: iters left: 1 (92 enodes) 1545732807.171 * [exit]simplify: Simplified to (fma t t (- 1 t)) 1545732807.171 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (* (/ 2 (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t)))) 2)))) 1545732807.171 * * * * [misc]progress: [ 53 / 65 ] simplifiying candidate # 1545732807.171 * [enter]simplify: Simplifying (- 1 t) 1545732807.171 * * [misc]simplify: iters left: 2 (3 enodes) 1545732807.172 * * [misc]simplify: iters left: 1 (7 enodes) 1545732807.174 * [exit]simplify: Simplified to (- 1 t) 1545732807.174 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (* (/ 2 (- (* 1 1) (* t t))) (- 1 t))) 2)))) 1545732807.174 * * * * [misc]progress: [ 54 / 65 ] simplifiying candidate # 1545732807.175 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1545732807.175 * * [misc]simplify: iters left: 6 (10 enodes) 1545732807.179 * * [misc]simplify: iters left: 5 (24 enodes) 1545732807.190 * * [misc]simplify: iters left: 4 (65 enodes) 1545732807.223 * * [misc]simplify: iters left: 3 (150 enodes) 1545732807.323 * * [misc]simplify: iters left: 2 (297 enodes) 1545732807.794 * [exit]simplify: Simplified to (fma (* t t) (fma 2 t -2) (* 2 t)) 1545732807.794 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (* t t) (fma 2 t -2) (* 2 t)) 2)))) 1545732807.794 * * * * [misc]progress: [ 55 / 65 ] simplifiying candidate # 1545732807.794 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732807.794 * * [misc]simplify: iters left: 6 (10 enodes) 1545732807.800 * * [misc]simplify: iters left: 5 (24 enodes) 1545732807.813 * * [misc]simplify: iters left: 4 (50 enodes) 1545732807.848 * * [misc]simplify: iters left: 3 (100 enodes) 1545732807.954 * * [misc]simplify: iters left: 2 (157 enodes) 1545732808.063 * * [misc]simplify: iters left: 1 (223 enodes) 1545732808.173 * [exit]simplify: Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 1545732808.173 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 2)))) 1545732808.174 * * * * [misc]progress: [ 56 / 65 ] simplifiying candidate # 1545732808.174 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732808.174 * * [misc]simplify: iters left: 6 (10 enodes) 1545732808.177 * * [misc]simplify: iters left: 5 (24 enodes) 1545732808.183 * * [misc]simplify: iters left: 4 (50 enodes) 1545732808.206 * * [misc]simplify: iters left: 3 (100 enodes) 1545732808.287 * * [misc]simplify: iters left: 2 (157 enodes) 1545732808.391 * * [misc]simplify: iters left: 1 (223 enodes) 1545732808.496 * [exit]simplify: Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 1545732808.496 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 2)))) 1545732808.496 * * * * [misc]progress: [ 57 / 65 ] simplifiying candidate # 1545732808.497 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1545732808.497 * * [misc]simplify: iters left: 6 (10 enodes) 1545732808.499 * * [misc]simplify: iters left: 5 (24 enodes) 1545732808.505 * * [misc]simplify: iters left: 4 (65 enodes) 1545732808.525 * * [misc]simplify: iters left: 3 (150 enodes) 1545732808.649 * * [misc]simplify: iters left: 2 (297 enodes) 1545732809.319 * [exit]simplify: Simplified to (fma (* t t) (fma 2 t -2) (* 2 t)) 1545732809.319 * [misc]simplify: Simplified (2 2 2 1) to (λ (t) (- 1 (/ 1 (fma (fma (* t t) (fma 2 t -2) (* 2 t)) (- 2 (/ 2 (+ 1 t))) 2)))) 1545732809.319 * * * * [misc]progress: [ 58 / 65 ] simplifiying candidate # 1545732809.319 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732809.319 * * [misc]simplify: iters left: 6 (10 enodes) 1545732809.325 * * [misc]simplify: iters left: 5 (24 enodes) 1545732809.339 * * [misc]simplify: iters left: 4 (50 enodes) 1545732809.374 * * [misc]simplify: iters left: 3 (100 enodes) 1545732809.450 * * [misc]simplify: iters left: 2 (157 enodes) 1545732809.520 * * [misc]simplify: iters left: 1 (223 enodes) 1545732809.638 * [exit]simplify: Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 1545732809.638 * [misc]simplify: Simplified (2 2 2 1) to (λ (t) (- 1 (/ 1 (fma (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 2)))) 1545732809.638 * * * * [misc]progress: [ 59 / 65 ] simplifiying candidate # 1545732809.638 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1545732809.639 * * [misc]simplify: iters left: 6 (10 enodes) 1545732809.644 * * [misc]simplify: iters left: 5 (24 enodes) 1545732809.657 * * [misc]simplify: iters left: 4 (50 enodes) 1545732809.691 * * [misc]simplify: iters left: 3 (100 enodes) 1545732809.799 * * [misc]simplify: iters left: 2 (157 enodes) 1545732809.885 * * [misc]simplify: iters left: 1 (223 enodes) 1545732809.969 * [exit]simplify: Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t))) 1545732809.969 * [misc]simplify: Simplified (2 2 2 1) to (λ (t) (- 1 (/ 1 (fma (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 2)))) 1545732809.969 * * * * [misc]progress: [ 60 / 65 ] simplifiying candidate # 1545732809.970 * [enter]simplify: Simplifying (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3))) 1545732809.970 * * [misc]simplify: iters left: 6 (11 enodes) 1545732809.972 * * [misc]simplify: iters left: 5 (22 enodes) 1545732809.977 * * [misc]simplify: iters left: 4 (55 enodes) 1545732809.996 * * [misc]simplify: iters left: 3 (99 enodes) 1545732810.018 * * [misc]simplify: iters left: 2 (169 enodes) 1545732810.065 * * [misc]simplify: iters left: 1 (223 enodes) 1545732810.139 * [exit]simplify: Simplified to (fma (fma -8 t 4) (* t t) 2) 1545732810.139 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ 1 (fma (fma -8 t 4) (* t t) 2)))) 1545732810.139 * * * * [misc]progress: [ 61 / 65 ] simplifiying candidate # 1545732810.139 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1545732810.139 * * [misc]simplify: iters left: 6 (13 enodes) 1545732810.146 * * [misc]simplify: iters left: 5 (28 enodes) 1545732810.153 * * [misc]simplify: iters left: 4 (53 enodes) 1545732810.164 * * [misc]simplify: iters left: 3 (89 enodes) 1545732810.185 * * [misc]simplify: iters left: 2 (131 enodes) 1545732810.218 * * [misc]simplify: iters left: 1 (177 enodes) 1545732810.243 * [exit]simplify: Simplified to (- (/ (/ 12 t) t) (+ (/ 8 t) -6)) 1545732810.243 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ 1 (- (/ (/ 12 t) t) (+ (/ 8 t) -6))))) 1545732810.243 * * * * [misc]progress: [ 62 / 65 ] simplifiying candidate # 1545732810.244 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1545732810.244 * * [misc]simplify: iters left: 6 (13 enodes) 1545732810.250 * * [misc]simplify: iters left: 5 (28 enodes) 1545732810.262 * * [misc]simplify: iters left: 4 (53 enodes) 1545732810.282 * * [misc]simplify: iters left: 3 (89 enodes) 1545732810.320 * * [misc]simplify: iters left: 2 (131 enodes) 1545732810.353 * * [misc]simplify: iters left: 1 (177 enodes) 1545732810.403 * [exit]simplify: Simplified to (- (/ (/ 12 t) t) (+ (/ 8 t) -6)) 1545732810.404 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ 1 (- (/ (/ 12 t) t) (+ (/ 8 t) -6))))) 1545732810.404 * * * * [misc]progress: [ 63 / 65 ] simplifiying candidate # 1545732810.404 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 2)) 2) (* 2 t)) 1545732810.404 * * [misc]simplify: iters left: 6 (7 enodes) 1545732810.407 * * [misc]simplify: iters left: 5 (16 enodes) 1545732810.414 * * [misc]simplify: iters left: 4 (39 enodes) 1545732810.428 * * [misc]simplify: iters left: 3 (78 enodes) 1545732810.506 * * [misc]simplify: iters left: 2 (127 enodes) 1545732810.580 * * [misc]simplify: iters left: 1 (206 enodes) 1545732810.620 * [exit]simplify: Simplified to (fma t (fma t 2 -2) 2) 1545732810.620 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (fma t (fma t 2 -2) 2)) 2)))) 1545732810.620 * * * * [misc]progress: [ 64 / 65 ] simplifiying candidate # 1545732810.620 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1545732810.621 * * [misc]simplify: iters left: 6 (14 enodes) 1545732810.626 * * [misc]simplify: iters left: 5 (34 enodes) 1545732810.640 * * [misc]simplify: iters left: 4 (75 enodes) 1545732810.701 * * [misc]simplify: iters left: 3 (153 enodes) 1545732810.817 * * [misc]simplify: iters left: 2 (251 enodes) 1545732810.977 * * [misc]simplify: iters left: 1 (372 enodes) 1545732811.409 * [exit]simplify: Simplified to (fma (/ 1 (* t t)) (- (/ 2 t) 2) (/ 2 t)) 1545732811.410 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (fma (/ 1 (* t t)) (- (/ 2 t) 2) (/ 2 t))) 2)))) 1545732811.410 * * * * [misc]progress: [ 65 / 65 ] simplifiying candidate # 1545732811.410 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1545732811.410 * * [misc]simplify: iters left: 6 (14 enodes) 1545732811.413 * * [misc]simplify: iters left: 5 (34 enodes) 1545732811.424 * * [misc]simplify: iters left: 4 (75 enodes) 1545732811.482 * * [misc]simplify: iters left: 3 (153 enodes) 1545732811.662 * * [misc]simplify: iters left: 2 (251 enodes) 1545732811.801 * * [misc]simplify: iters left: 1 (372 enodes) 1545732812.178 * [exit]simplify: Simplified to (fma (/ 1 (* t t)) (- (/ 2 t) 2) (/ 2 t)) 1545732812.178 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (fma (/ 1 (* t t)) (- (/ 2 t) 2) (/ 2 t))) 2)))) 1545732812.178 * * * [misc]progress: adding candidates to table 1545732812.808 * [misc]progress: [Phase 3 of 3] Extracting. 1545732812.811 * [enter]simplify: Simplifying (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) 1545732812.811 * * [misc]simplify: iters left: 6 (9 enodes) 1545732812.812 * * [misc]simplify: iters left: 5 (12 enodes) 1545732812.812 * [exit]simplify: Simplified to (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) 1545732812.812 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545732816.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1545732816.790 * * * * [exit]points: Sampled 8000 points with exact outputs 1545732817.074 * [misc]regime-testing: Baseline error score: 0.004323120312590145 1545732817.075 * [misc]regime-testing: Oracle error score: 0.004323120312590145 1545732817.075 * [misc]regime-testing: End program error score: 0.004323120312590145