1554041901.665 * [progress]: [Phase 1 of 3] Setting up.
1554041901.665 * * * [progress]: [1/2] Preparing points
1554041901.731 * * * [progress]: [2/2] Setting up program.
1554041901.734 * [progress]: [Phase 2 of 3] Improving.
1554041901.734 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1554041901.734 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
1554041901.734 * * [simplify]: iters left: 6 (12 enodes)
1554041901.738 * * [simplify]: iters left: 5 (45 enodes)
1554041901.746 * * [simplify]: iters left: 4 (66 enodes)
1554041901.759 * * [simplify]: iters left: 3 (130 enodes)
1554041901.787 * * [simplify]: iters left: 2 (288 enodes)
1554041901.873 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041901.873 * * [simplify]: Extracting #1: cost 6 inf + 0
1554041901.873 * * [simplify]: Extracting #2: cost 54 inf + 0
1554041901.874 * * [simplify]: Extracting #3: cost 161 inf + 3
1554041901.876 * * [simplify]: Extracting #4: cost 184 inf + 214
1554041901.882 * * [simplify]: Extracting #5: cost 120 inf + 12249
1554041901.902 * * [simplify]: Extracting #6: cost 16 inf + 32318
1554041901.911 * * [simplify]: Extracting #7: cost 0 inf + 32013
1554041901.920 * * [simplify]: Extracting #8: cost 0 inf + 31219
1554041901.928 * * [simplify]: Extracting #9: cost 0 inf + 31179
1554041901.940 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1554041901.941 * [simplify]: Simplified (2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041901.950 * * [progress]: iteration 1 / 4
1554041901.950 * * * [progress]: picking best candidate
1554041901.954 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041901.954 * * * [progress]: localizing error
1554041901.990 * * * [progress]: generating rewritten candidates
1554041901.990 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1554041902.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1554041902.040 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1554041902.061 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1554041902.083 * * * [progress]: generating series expansions
1554041902.083 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1554041902.084 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1554041902.084 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1554041902.084 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.084 * [taylor]: Taking taylor expansion of 2 in t
1554041902.084 * [backup-simplify]: Simplify 2 into 2
1554041902.084 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.084 * [taylor]: Taking taylor expansion of 2 in t
1554041902.084 * [backup-simplify]: Simplify 2 into 2
1554041902.084 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.084 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.084 * [taylor]: Taking taylor expansion of t in t
1554041902.084 * [backup-simplify]: Simplify 0 into 0
1554041902.084 * [backup-simplify]: Simplify 1 into 1
1554041902.084 * [taylor]: Taking taylor expansion of 1 in t
1554041902.084 * [backup-simplify]: Simplify 1 into 1
1554041902.085 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.085 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.085 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.085 * [taylor]: Taking taylor expansion of 2 in t
1554041902.085 * [backup-simplify]: Simplify 2 into 2
1554041902.085 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.085 * [taylor]: Taking taylor expansion of 2 in t
1554041902.085 * [backup-simplify]: Simplify 2 into 2
1554041902.085 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.085 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.085 * [taylor]: Taking taylor expansion of t in t
1554041902.085 * [backup-simplify]: Simplify 0 into 0
1554041902.085 * [backup-simplify]: Simplify 1 into 1
1554041902.085 * [taylor]: Taking taylor expansion of 1 in t
1554041902.085 * [backup-simplify]: Simplify 1 into 1
1554041902.086 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.086 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.087 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.088 * [backup-simplify]: Simplify (- 2) into -2
1554041902.088 * [backup-simplify]: Simplify (+ 2 -2) into 0
1554041902.088 * [backup-simplify]: Simplify 0 into 0
1554041902.089 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.090 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.090 * [backup-simplify]: Simplify (- -2) into 2
1554041902.091 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.091 * [backup-simplify]: Simplify 2 into 2
1554041902.091 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1554041902.093 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1554041902.094 * [backup-simplify]: Simplify (- 2) into -2
1554041902.094 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.094 * [backup-simplify]: Simplify -2 into -2
1554041902.095 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1554041902.097 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1554041902.098 * [backup-simplify]: Simplify (- -2) into 2
1554041902.098 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.098 * [backup-simplify]: Simplify 2 into 2
1554041902.099 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041902.099 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1554041902.099 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1554041902.099 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.099 * [taylor]: Taking taylor expansion of 2 in t
1554041902.099 * [backup-simplify]: Simplify 2 into 2
1554041902.099 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.099 * [taylor]: Taking taylor expansion of 2 in t
1554041902.099 * [backup-simplify]: Simplify 2 into 2
1554041902.099 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.099 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.099 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.099 * [taylor]: Taking taylor expansion of t in t
1554041902.099 * [backup-simplify]: Simplify 0 into 0
1554041902.099 * [backup-simplify]: Simplify 1 into 1
1554041902.100 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.100 * [taylor]: Taking taylor expansion of 1 in t
1554041902.100 * [backup-simplify]: Simplify 1 into 1
1554041902.100 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.101 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.101 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.101 * [taylor]: Taking taylor expansion of 2 in t
1554041902.101 * [backup-simplify]: Simplify 2 into 2
1554041902.101 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.101 * [taylor]: Taking taylor expansion of 2 in t
1554041902.101 * [backup-simplify]: Simplify 2 into 2
1554041902.101 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.101 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.101 * [taylor]: Taking taylor expansion of t in t
1554041902.101 * [backup-simplify]: Simplify 0 into 0
1554041902.101 * [backup-simplify]: Simplify 1 into 1
1554041902.101 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.101 * [taylor]: Taking taylor expansion of 1 in t
1554041902.102 * [backup-simplify]: Simplify 1 into 1
1554041902.102 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.102 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.103 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.103 * [backup-simplify]: Simplify 2 into 2
1554041902.103 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.104 * [backup-simplify]: Simplify (- 2) into -2
1554041902.104 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.104 * [backup-simplify]: Simplify -2 into -2
1554041902.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.106 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.108 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.108 * [backup-simplify]: Simplify (- -2) into 2
1554041902.108 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.108 * [backup-simplify]: Simplify 2 into 2
1554041902.109 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.109 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1554041902.109 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1554041902.109 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.109 * [taylor]: Taking taylor expansion of 2 in t
1554041902.109 * [backup-simplify]: Simplify 2 into 2
1554041902.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.109 * [taylor]: Taking taylor expansion of 2 in t
1554041902.109 * [backup-simplify]: Simplify 2 into 2
1554041902.109 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.109 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.109 * [taylor]: Taking taylor expansion of 1 in t
1554041902.109 * [backup-simplify]: Simplify 1 into 1
1554041902.109 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.109 * [taylor]: Taking taylor expansion of t in t
1554041902.109 * [backup-simplify]: Simplify 0 into 0
1554041902.109 * [backup-simplify]: Simplify 1 into 1
1554041902.110 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.110 * [backup-simplify]: Simplify (- 1) into -1
1554041902.111 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.111 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.111 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.111 * [taylor]: Taking taylor expansion of 2 in t
1554041902.111 * [backup-simplify]: Simplify 2 into 2
1554041902.111 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.111 * [taylor]: Taking taylor expansion of 2 in t
1554041902.111 * [backup-simplify]: Simplify 2 into 2
1554041902.111 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.111 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.111 * [taylor]: Taking taylor expansion of 1 in t
1554041902.111 * [backup-simplify]: Simplify 1 into 1
1554041902.111 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.112 * [taylor]: Taking taylor expansion of t in t
1554041902.112 * [backup-simplify]: Simplify 0 into 0
1554041902.112 * [backup-simplify]: Simplify 1 into 1
1554041902.112 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.112 * [backup-simplify]: Simplify (- 1) into -1
1554041902.113 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.113 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.114 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.114 * [backup-simplify]: Simplify 2 into 2
1554041902.114 * [backup-simplify]: Simplify (* 2 -1) into -2
1554041902.115 * [backup-simplify]: Simplify (- -2) into 2
1554041902.115 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.115 * [backup-simplify]: Simplify 2 into 2
1554041902.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.116 * [backup-simplify]: Simplify (- 0) into 0
1554041902.117 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.117 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1554041902.118 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1554041902.118 * [backup-simplify]: Simplify (- -2) into 2
1554041902.119 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.119 * [backup-simplify]: Simplify 2 into 2
1554041902.119 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1554041902.119 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1554041902.119 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1554041902.119 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.119 * [taylor]: Taking taylor expansion of 2 in t
1554041902.119 * [backup-simplify]: Simplify 2 into 2
1554041902.120 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.120 * [taylor]: Taking taylor expansion of 2 in t
1554041902.120 * [backup-simplify]: Simplify 2 into 2
1554041902.120 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.120 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.120 * [taylor]: Taking taylor expansion of t in t
1554041902.120 * [backup-simplify]: Simplify 0 into 0
1554041902.120 * [backup-simplify]: Simplify 1 into 1
1554041902.120 * [taylor]: Taking taylor expansion of 1 in t
1554041902.120 * [backup-simplify]: Simplify 1 into 1
1554041902.120 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.121 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.121 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.121 * [taylor]: Taking taylor expansion of 2 in t
1554041902.121 * [backup-simplify]: Simplify 2 into 2
1554041902.121 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.121 * [taylor]: Taking taylor expansion of 2 in t
1554041902.121 * [backup-simplify]: Simplify 2 into 2
1554041902.121 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.121 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.121 * [taylor]: Taking taylor expansion of t in t
1554041902.121 * [backup-simplify]: Simplify 0 into 0
1554041902.121 * [backup-simplify]: Simplify 1 into 1
1554041902.121 * [taylor]: Taking taylor expansion of 1 in t
1554041902.121 * [backup-simplify]: Simplify 1 into 1
1554041902.121 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.122 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.122 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.123 * [backup-simplify]: Simplify (- 2) into -2
1554041902.123 * [backup-simplify]: Simplify (+ 2 -2) into 0
1554041902.123 * [backup-simplify]: Simplify 0 into 0
1554041902.124 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.125 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.125 * [backup-simplify]: Simplify (- -2) into 2
1554041902.126 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.126 * [backup-simplify]: Simplify 2 into 2
1554041902.126 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1554041902.132 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1554041902.132 * [backup-simplify]: Simplify (- 2) into -2
1554041902.133 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.133 * [backup-simplify]: Simplify -2 into -2
1554041902.133 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1554041902.136 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1554041902.137 * [backup-simplify]: Simplify (- -2) into 2
1554041902.137 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.137 * [backup-simplify]: Simplify 2 into 2
1554041902.138 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041902.138 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1554041902.138 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1554041902.138 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.138 * [taylor]: Taking taylor expansion of 2 in t
1554041902.138 * [backup-simplify]: Simplify 2 into 2
1554041902.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.138 * [taylor]: Taking taylor expansion of 2 in t
1554041902.138 * [backup-simplify]: Simplify 2 into 2
1554041902.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.138 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.138 * [taylor]: Taking taylor expansion of t in t
1554041902.138 * [backup-simplify]: Simplify 0 into 0
1554041902.138 * [backup-simplify]: Simplify 1 into 1
1554041902.139 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.139 * [taylor]: Taking taylor expansion of 1 in t
1554041902.139 * [backup-simplify]: Simplify 1 into 1
1554041902.139 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.140 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.140 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.140 * [taylor]: Taking taylor expansion of 2 in t
1554041902.140 * [backup-simplify]: Simplify 2 into 2
1554041902.140 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.140 * [taylor]: Taking taylor expansion of 2 in t
1554041902.140 * [backup-simplify]: Simplify 2 into 2
1554041902.140 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.140 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.140 * [taylor]: Taking taylor expansion of t in t
1554041902.140 * [backup-simplify]: Simplify 0 into 0
1554041902.140 * [backup-simplify]: Simplify 1 into 1
1554041902.140 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.140 * [taylor]: Taking taylor expansion of 1 in t
1554041902.140 * [backup-simplify]: Simplify 1 into 1
1554041902.141 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.141 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.142 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.142 * [backup-simplify]: Simplify 2 into 2
1554041902.142 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.143 * [backup-simplify]: Simplify (- 2) into -2
1554041902.143 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.143 * [backup-simplify]: Simplify -2 into -2
1554041902.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.144 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.146 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.146 * [backup-simplify]: Simplify (- -2) into 2
1554041902.147 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.147 * [backup-simplify]: Simplify 2 into 2
1554041902.147 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.147 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1554041902.147 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1554041902.147 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.147 * [taylor]: Taking taylor expansion of 2 in t
1554041902.147 * [backup-simplify]: Simplify 2 into 2
1554041902.148 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.148 * [taylor]: Taking taylor expansion of 2 in t
1554041902.148 * [backup-simplify]: Simplify 2 into 2
1554041902.148 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.148 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.148 * [taylor]: Taking taylor expansion of 1 in t
1554041902.148 * [backup-simplify]: Simplify 1 into 1
1554041902.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.148 * [taylor]: Taking taylor expansion of t in t
1554041902.148 * [backup-simplify]: Simplify 0 into 0
1554041902.148 * [backup-simplify]: Simplify 1 into 1
1554041902.148 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.149 * [backup-simplify]: Simplify (- 1) into -1
1554041902.149 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.149 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.149 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.149 * [taylor]: Taking taylor expansion of 2 in t
1554041902.150 * [backup-simplify]: Simplify 2 into 2
1554041902.150 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.150 * [taylor]: Taking taylor expansion of 2 in t
1554041902.150 * [backup-simplify]: Simplify 2 into 2
1554041902.150 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.150 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.150 * [taylor]: Taking taylor expansion of 1 in t
1554041902.150 * [backup-simplify]: Simplify 1 into 1
1554041902.150 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.150 * [taylor]: Taking taylor expansion of t in t
1554041902.150 * [backup-simplify]: Simplify 0 into 0
1554041902.150 * [backup-simplify]: Simplify 1 into 1
1554041902.150 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.151 * [backup-simplify]: Simplify (- 1) into -1
1554041902.151 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.151 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.152 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.152 * [backup-simplify]: Simplify 2 into 2
1554041902.152 * [backup-simplify]: Simplify (* 2 -1) into -2
1554041902.153 * [backup-simplify]: Simplify (- -2) into 2
1554041902.153 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.153 * [backup-simplify]: Simplify 2 into 2
1554041902.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.154 * [backup-simplify]: Simplify (- 0) into 0
1554041902.155 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.156 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1554041902.156 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1554041902.157 * [backup-simplify]: Simplify (- -2) into 2
1554041902.157 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.157 * [backup-simplify]: Simplify 2 into 2
1554041902.157 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.158 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1554041902.158 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1554041902.158 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1554041902.158 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.158 * [taylor]: Taking taylor expansion of 2 in t
1554041902.158 * [backup-simplify]: Simplify 2 into 2
1554041902.158 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.158 * [taylor]: Taking taylor expansion of 2 in t
1554041902.158 * [backup-simplify]: Simplify 2 into 2
1554041902.158 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.158 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.158 * [taylor]: Taking taylor expansion of t in t
1554041902.158 * [backup-simplify]: Simplify 0 into 0
1554041902.158 * [backup-simplify]: Simplify 1 into 1
1554041902.158 * [taylor]: Taking taylor expansion of 1 in t
1554041902.158 * [backup-simplify]: Simplify 1 into 1
1554041902.158 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.159 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.159 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.159 * [taylor]: Taking taylor expansion of 2 in t
1554041902.159 * [backup-simplify]: Simplify 2 into 2
1554041902.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.159 * [taylor]: Taking taylor expansion of 2 in t
1554041902.159 * [backup-simplify]: Simplify 2 into 2
1554041902.159 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.159 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.159 * [taylor]: Taking taylor expansion of t in t
1554041902.159 * [backup-simplify]: Simplify 0 into 0
1554041902.159 * [backup-simplify]: Simplify 1 into 1
1554041902.159 * [taylor]: Taking taylor expansion of 1 in t
1554041902.159 * [backup-simplify]: Simplify 1 into 1
1554041902.160 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.160 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.161 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.161 * [backup-simplify]: Simplify (- 2) into -2
1554041902.161 * [backup-simplify]: Simplify (+ 2 -2) into 0
1554041902.161 * [backup-simplify]: Simplify 0 into 0
1554041902.161 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.162 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.162 * [backup-simplify]: Simplify (- -2) into 2
1554041902.163 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.163 * [backup-simplify]: Simplify 2 into 2
1554041902.163 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1554041902.164 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1554041902.164 * [backup-simplify]: Simplify (- 2) into -2
1554041902.165 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.165 * [backup-simplify]: Simplify -2 into -2
1554041902.165 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1554041902.166 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1554041902.167 * [backup-simplify]: Simplify (- -2) into 2
1554041902.167 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.167 * [backup-simplify]: Simplify 2 into 2
1554041902.167 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041902.167 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1554041902.167 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1554041902.167 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.167 * [taylor]: Taking taylor expansion of 2 in t
1554041902.167 * [backup-simplify]: Simplify 2 into 2
1554041902.167 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.167 * [taylor]: Taking taylor expansion of 2 in t
1554041902.167 * [backup-simplify]: Simplify 2 into 2
1554041902.167 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.167 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.167 * [taylor]: Taking taylor expansion of t in t
1554041902.167 * [backup-simplify]: Simplify 0 into 0
1554041902.167 * [backup-simplify]: Simplify 1 into 1
1554041902.168 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.168 * [taylor]: Taking taylor expansion of 1 in t
1554041902.168 * [backup-simplify]: Simplify 1 into 1
1554041902.168 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.168 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.168 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.168 * [taylor]: Taking taylor expansion of 2 in t
1554041902.168 * [backup-simplify]: Simplify 2 into 2
1554041902.168 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.168 * [taylor]: Taking taylor expansion of 2 in t
1554041902.168 * [backup-simplify]: Simplify 2 into 2
1554041902.168 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.168 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.168 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.169 * [taylor]: Taking taylor expansion of t in t
1554041902.169 * [backup-simplify]: Simplify 0 into 0
1554041902.169 * [backup-simplify]: Simplify 1 into 1
1554041902.169 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.169 * [taylor]: Taking taylor expansion of 1 in t
1554041902.169 * [backup-simplify]: Simplify 1 into 1
1554041902.169 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.169 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.170 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.170 * [backup-simplify]: Simplify 2 into 2
1554041902.170 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.170 * [backup-simplify]: Simplify (- 2) into -2
1554041902.170 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.170 * [backup-simplify]: Simplify -2 into -2
1554041902.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.171 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.172 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.172 * [backup-simplify]: Simplify (- -2) into 2
1554041902.172 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.173 * [backup-simplify]: Simplify 2 into 2
1554041902.173 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.173 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1554041902.173 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1554041902.173 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.173 * [taylor]: Taking taylor expansion of 2 in t
1554041902.173 * [backup-simplify]: Simplify 2 into 2
1554041902.173 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.173 * [taylor]: Taking taylor expansion of 2 in t
1554041902.173 * [backup-simplify]: Simplify 2 into 2
1554041902.173 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.173 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.173 * [taylor]: Taking taylor expansion of 1 in t
1554041902.173 * [backup-simplify]: Simplify 1 into 1
1554041902.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.173 * [taylor]: Taking taylor expansion of t in t
1554041902.173 * [backup-simplify]: Simplify 0 into 0
1554041902.173 * [backup-simplify]: Simplify 1 into 1
1554041902.173 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.174 * [backup-simplify]: Simplify (- 1) into -1
1554041902.174 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.174 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.174 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.174 * [taylor]: Taking taylor expansion of 2 in t
1554041902.174 * [backup-simplify]: Simplify 2 into 2
1554041902.174 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.174 * [taylor]: Taking taylor expansion of 2 in t
1554041902.174 * [backup-simplify]: Simplify 2 into 2
1554041902.174 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.174 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.174 * [taylor]: Taking taylor expansion of 1 in t
1554041902.174 * [backup-simplify]: Simplify 1 into 1
1554041902.174 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.174 * [taylor]: Taking taylor expansion of t in t
1554041902.174 * [backup-simplify]: Simplify 0 into 0
1554041902.174 * [backup-simplify]: Simplify 1 into 1
1554041902.175 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.175 * [backup-simplify]: Simplify (- 1) into -1
1554041902.175 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.175 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.176 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.176 * [backup-simplify]: Simplify 2 into 2
1554041902.176 * [backup-simplify]: Simplify (* 2 -1) into -2
1554041902.176 * [backup-simplify]: Simplify (- -2) into 2
1554041902.176 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.176 * [backup-simplify]: Simplify 2 into 2
1554041902.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.177 * [backup-simplify]: Simplify (- 0) into 0
1554041902.177 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.178 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1554041902.178 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1554041902.178 * [backup-simplify]: Simplify (- -2) into 2
1554041902.179 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.179 * [backup-simplify]: Simplify 2 into 2
1554041902.179 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.179 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1554041902.179 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1554041902.179 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1554041902.179 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.179 * [taylor]: Taking taylor expansion of 2 in t
1554041902.179 * [backup-simplify]: Simplify 2 into 2
1554041902.179 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.179 * [taylor]: Taking taylor expansion of 2 in t
1554041902.179 * [backup-simplify]: Simplify 2 into 2
1554041902.179 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.179 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.179 * [taylor]: Taking taylor expansion of t in t
1554041902.179 * [backup-simplify]: Simplify 0 into 0
1554041902.179 * [backup-simplify]: Simplify 1 into 1
1554041902.179 * [taylor]: Taking taylor expansion of 1 in t
1554041902.179 * [backup-simplify]: Simplify 1 into 1
1554041902.180 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.180 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.180 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1554041902.180 * [taylor]: Taking taylor expansion of 2 in t
1554041902.180 * [backup-simplify]: Simplify 2 into 2
1554041902.180 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1554041902.180 * [taylor]: Taking taylor expansion of 2 in t
1554041902.180 * [backup-simplify]: Simplify 2 into 2
1554041902.180 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1554041902.180 * [taylor]: Taking taylor expansion of (+ t 1) in t
1554041902.180 * [taylor]: Taking taylor expansion of t in t
1554041902.180 * [backup-simplify]: Simplify 0 into 0
1554041902.180 * [backup-simplify]: Simplify 1 into 1
1554041902.180 * [taylor]: Taking taylor expansion of 1 in t
1554041902.180 * [backup-simplify]: Simplify 1 into 1
1554041902.180 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.181 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.181 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.181 * [backup-simplify]: Simplify (- 2) into -2
1554041902.181 * [backup-simplify]: Simplify (+ 2 -2) into 0
1554041902.181 * [backup-simplify]: Simplify 0 into 0
1554041902.182 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.183 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.183 * [backup-simplify]: Simplify (- -2) into 2
1554041902.183 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.183 * [backup-simplify]: Simplify 2 into 2
1554041902.184 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1554041902.185 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1554041902.185 * [backup-simplify]: Simplify (- 2) into -2
1554041902.185 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.185 * [backup-simplify]: Simplify -2 into -2
1554041902.186 * [backup-simplify]: Simplify (+ 0 0) into 0
1554041902.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1554041902.187 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1554041902.187 * [backup-simplify]: Simplify (- -2) into 2
1554041902.188 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.188 * [backup-simplify]: Simplify 2 into 2
1554041902.188 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041902.188 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1554041902.188 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1554041902.188 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.188 * [taylor]: Taking taylor expansion of 2 in t
1554041902.188 * [backup-simplify]: Simplify 2 into 2
1554041902.188 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.188 * [taylor]: Taking taylor expansion of 2 in t
1554041902.188 * [backup-simplify]: Simplify 2 into 2
1554041902.188 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.188 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.188 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.188 * [taylor]: Taking taylor expansion of t in t
1554041902.188 * [backup-simplify]: Simplify 0 into 0
1554041902.188 * [backup-simplify]: Simplify 1 into 1
1554041902.188 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.188 * [taylor]: Taking taylor expansion of 1 in t
1554041902.188 * [backup-simplify]: Simplify 1 into 1
1554041902.189 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.189 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.189 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1554041902.189 * [taylor]: Taking taylor expansion of 2 in t
1554041902.189 * [backup-simplify]: Simplify 2 into 2
1554041902.189 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1554041902.189 * [taylor]: Taking taylor expansion of 2 in t
1554041902.189 * [backup-simplify]: Simplify 2 into 2
1554041902.189 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1554041902.189 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1554041902.189 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.189 * [taylor]: Taking taylor expansion of t in t
1554041902.189 * [backup-simplify]: Simplify 0 into 0
1554041902.189 * [backup-simplify]: Simplify 1 into 1
1554041902.190 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.190 * [taylor]: Taking taylor expansion of 1 in t
1554041902.190 * [backup-simplify]: Simplify 1 into 1
1554041902.190 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.191 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.191 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.191 * [backup-simplify]: Simplify 2 into 2
1554041902.192 * [backup-simplify]: Simplify (* 2 1) into 2
1554041902.192 * [backup-simplify]: Simplify (- 2) into -2
1554041902.192 * [backup-simplify]: Simplify (+ 0 -2) into -2
1554041902.193 * [backup-simplify]: Simplify -2 into -2
1554041902.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.194 * [backup-simplify]: Simplify (+ 0 1) into 1
1554041902.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1554041902.195 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1554041902.196 * [backup-simplify]: Simplify (- -2) into 2
1554041902.196 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.196 * [backup-simplify]: Simplify 2 into 2
1554041902.197 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.197 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1554041902.197 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1554041902.197 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.197 * [taylor]: Taking taylor expansion of 2 in t
1554041902.197 * [backup-simplify]: Simplify 2 into 2
1554041902.197 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.197 * [taylor]: Taking taylor expansion of 2 in t
1554041902.197 * [backup-simplify]: Simplify 2 into 2
1554041902.197 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.197 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.197 * [taylor]: Taking taylor expansion of 1 in t
1554041902.197 * [backup-simplify]: Simplify 1 into 1
1554041902.197 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.197 * [taylor]: Taking taylor expansion of t in t
1554041902.197 * [backup-simplify]: Simplify 0 into 0
1554041902.197 * [backup-simplify]: Simplify 1 into 1
1554041902.198 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.198 * [backup-simplify]: Simplify (- 1) into -1
1554041902.198 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.199 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.199 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1554041902.199 * [taylor]: Taking taylor expansion of 2 in t
1554041902.199 * [backup-simplify]: Simplify 2 into 2
1554041902.199 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1554041902.199 * [taylor]: Taking taylor expansion of 2 in t
1554041902.199 * [backup-simplify]: Simplify 2 into 2
1554041902.199 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1554041902.199 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1554041902.199 * [taylor]: Taking taylor expansion of 1 in t
1554041902.199 * [backup-simplify]: Simplify 1 into 1
1554041902.199 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1554041902.199 * [taylor]: Taking taylor expansion of t in t
1554041902.199 * [backup-simplify]: Simplify 0 into 0
1554041902.199 * [backup-simplify]: Simplify 1 into 1
1554041902.200 * [backup-simplify]: Simplify (/ 1 1) into 1
1554041902.200 * [backup-simplify]: Simplify (- 1) into -1
1554041902.200 * [backup-simplify]: Simplify (+ 0 -1) into -1
1554041902.201 * [backup-simplify]: Simplify (/ 1 -1) into -1
1554041902.201 * [backup-simplify]: Simplify (+ 2 0) into 2
1554041902.201 * [backup-simplify]: Simplify 2 into 2
1554041902.202 * [backup-simplify]: Simplify (* 2 -1) into -2
1554041902.202 * [backup-simplify]: Simplify (- -2) into 2
1554041902.203 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.203 * [backup-simplify]: Simplify 2 into 2
1554041902.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1554041902.204 * [backup-simplify]: Simplify (- 0) into 0
1554041902.204 * [backup-simplify]: Simplify (+ 1 0) into 1
1554041902.205 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1554041902.206 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1554041902.206 * [backup-simplify]: Simplify (- -2) into 2
1554041902.207 * [backup-simplify]: Simplify (+ 0 2) into 2
1554041902.207 * [backup-simplify]: Simplify 2 into 2
1554041902.207 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041902.207 * * * [progress]: simplifying candidates
1554041902.207 * * * * [progress]: [ 1 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (/ (exp 2) (exp (/ 2 (+ 1 t)))))))))>
1554041902.207 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t))))
1554041902.207 * * [simplify]: iters left: 6 (8 enodes)
1554041902.212 * * [simplify]: iters left: 5 (29 enodes)
1554041902.222 * * [simplify]: iters left: 4 (35 enodes)
1554041902.234 * * [simplify]: iters left: 3 (43 enodes)
1554041902.241 * * [simplify]: iters left: 2 (49 enodes)
1554041902.248 * * [simplify]: iters left: 1 (53 enodes)
1554041902.259 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.259 * * [simplify]: Extracting #1: cost 9 inf + 0
1554041902.259 * * [simplify]: Extracting #2: cost 15 inf + 1
1554041902.259 * * [simplify]: Extracting #3: cost 18 inf + 2
1554041902.260 * * [simplify]: Extracting #4: cost 18 inf + 74
1554041902.260 * * [simplify]: Extracting #5: cost 16 inf + 146
1554041902.260 * * [simplify]: Extracting #6: cost 8 inf + 1160
1554041902.260 * * [simplify]: Extracting #7: cost 1 inf + 1999
1554041902.261 * * [simplify]: Extracting #8: cost 0 inf + 2262
1554041902.261 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1))))
1554041902.261 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ t 1)))))))))
1554041902.261 * * * * [progress]: [ 2 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1554041902.261 * * * * [progress]: [ 3 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.261 * * * * [progress]: [ 4 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.261 * * * * [progress]: [ 5 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.261 * * * * [progress]: [ 6 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.261 * * * * [progress]: [ 7 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.262 * * * * [progress]: [ 8 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1554041902.262 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1554041902.262 * * * * [progress]: [ 10 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1554041902.262 * * * * [progress]: [ 11 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1554041902.262 * * * * [progress]: [ 12 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))))))))>
1554041902.262 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.262 * * [simplify]: iters left: 6 (8 enodes)
1554041902.265 * * [simplify]: iters left: 5 (28 enodes)
1554041902.270 * * [simplify]: iters left: 4 (30 enodes)
1554041902.280 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.280 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.280 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.280 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.280 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.280 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.280 * * [simplify]: Extracting #6: cost 5 inf + 252
1554041902.280 * * [simplify]: Extracting #7: cost 1 inf + 784
1554041902.281 * * [simplify]: Extracting #8: cost 0 inf + 987
1554041902.281 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.281 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))))))))
1554041902.282 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.282 * * [simplify]: iters left: 6 (8 enodes)
1554041902.287 * * [simplify]: iters left: 5 (29 enodes)
1554041902.297 * * [simplify]: iters left: 4 (34 enodes)
1554041902.308 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.308 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.308 * * [simplify]: Extracting #2: cost 10 inf + 0
1554041902.308 * * [simplify]: Extracting #3: cost 11 inf + 1
1554041902.308 * * [simplify]: Extracting #4: cost 12 inf + 83
1554041902.308 * * [simplify]: Extracting #5: cost 10 inf + 85
1554041902.308 * * [simplify]: Extracting #6: cost 7 inf + 252
1554041902.309 * * [simplify]: Extracting #7: cost 0 inf + 1313
1554041902.309 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.309 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1)))))))))
1554041902.310 * * * * [progress]: [ 13 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))))))))>
1554041902.310 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.310 * * [simplify]: iters left: 6 (8 enodes)
1554041902.315 * * [simplify]: iters left: 5 (28 enodes)
1554041902.324 * * [simplify]: iters left: 4 (30 enodes)
1554041902.334 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.334 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.334 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.334 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.334 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.334 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.335 * * [simplify]: Extracting #6: cost 5 inf + 251
1554041902.335 * * [simplify]: Extracting #7: cost 1 inf + 862
1554041902.335 * * [simplify]: Extracting #8: cost 0 inf + 1065
1554041902.336 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.336 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))))))))
1554041902.336 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.336 * * [simplify]: iters left: 6 (8 enodes)
1554041902.341 * * [simplify]: iters left: 5 (29 enodes)
1554041902.352 * * [simplify]: iters left: 4 (36 enodes)
1554041902.363 * * [simplify]: iters left: 3 (38 enodes)
1554041902.370 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.370 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.370 * * [simplify]: Extracting #2: cost 11 inf + 0
1554041902.370 * * [simplify]: Extracting #3: cost 13 inf + 1
1554041902.370 * * [simplify]: Extracting #4: cost 15 inf + 42
1554041902.370 * * [simplify]: Extracting #5: cost 11 inf + 166
1554041902.371 * * [simplify]: Extracting #6: cost 7 inf + 413
1554041902.371 * * [simplify]: Extracting #7: cost 0 inf + 1633
1554041902.371 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.371 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))))))))
1554041902.371 * * * * [progress]: [ 14 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1554041902.372 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t)))
1554041902.372 * * [simplify]: iters left: 6 (6 enodes)
1554041902.374 * * [simplify]: iters left: 5 (23 enodes)
1554041902.378 * * [simplify]: iters left: 4 (31 enodes)
1554041902.383 * * [simplify]: iters left: 3 (33 enodes)
1554041902.390 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.390 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.390 * * [simplify]: Extracting #2: cost 8 inf + 1
1554041902.390 * * [simplify]: Extracting #3: cost 10 inf + 2
1554041902.390 * * [simplify]: Extracting #4: cost 8 inf + 4
1554041902.390 * * [simplify]: Extracting #5: cost 2 inf + 460
1554041902.391 * * [simplify]: Extracting #6: cost 0 inf + 666
1554041902.391 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t)))
1554041902.391 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))
1554041902.391 * * * * [progress]: [ 15 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1554041902.391 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
1554041902.391 * * * * [progress]: [ 17 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (/ (exp 2) (exp (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.391 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t))))
1554041902.391 * * [simplify]: iters left: 6 (8 enodes)
1554041902.394 * * [simplify]: iters left: 5 (29 enodes)
1554041902.399 * * [simplify]: iters left: 4 (35 enodes)
1554041902.406 * * [simplify]: iters left: 3 (43 enodes)
1554041902.413 * * [simplify]: iters left: 2 (49 enodes)
1554041902.421 * * [simplify]: iters left: 1 (53 enodes)
1554041902.431 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.431 * * [simplify]: Extracting #1: cost 9 inf + 0
1554041902.431 * * [simplify]: Extracting #2: cost 15 inf + 1
1554041902.431 * * [simplify]: Extracting #3: cost 18 inf + 2
1554041902.431 * * [simplify]: Extracting #4: cost 18 inf + 74
1554041902.431 * * [simplify]: Extracting #5: cost 16 inf + 146
1554041902.431 * * [simplify]: Extracting #6: cost 8 inf + 1160
1554041902.432 * * [simplify]: Extracting #7: cost 1 inf + 1999
1554041902.432 * * [simplify]: Extracting #8: cost 0 inf + 2262
1554041902.433 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1))))
1554041902.433 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.433 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 19 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 20 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 21 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 22 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 23 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 24 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 25 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 27 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.433 * * * * [progress]: [ 28 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.434 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.434 * * [simplify]: iters left: 6 (8 enodes)
1554041902.437 * * [simplify]: iters left: 5 (28 enodes)
1554041902.442 * * [simplify]: iters left: 4 (30 enodes)
1554041902.447 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.447 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.447 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.447 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.447 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.447 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.447 * * [simplify]: Extracting #6: cost 5 inf + 252
1554041902.448 * * [simplify]: Extracting #7: cost 1 inf + 784
1554041902.448 * * [simplify]: Extracting #8: cost 0 inf + 987
1554041902.448 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.448 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.448 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.448 * * [simplify]: iters left: 6 (8 enodes)
1554041902.451 * * [simplify]: iters left: 5 (29 enodes)
1554041902.456 * * [simplify]: iters left: 4 (34 enodes)
1554041902.463 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.463 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.463 * * [simplify]: Extracting #2: cost 10 inf + 0
1554041902.463 * * [simplify]: Extracting #3: cost 11 inf + 1
1554041902.463 * * [simplify]: Extracting #4: cost 12 inf + 83
1554041902.463 * * [simplify]: Extracting #5: cost 10 inf + 85
1554041902.463 * * [simplify]: Extracting #6: cost 7 inf + 252
1554041902.464 * * [simplify]: Extracting #7: cost 0 inf + 1313
1554041902.464 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.464 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.465 * * * * [progress]: [ 29 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.465 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.466 * * [simplify]: iters left: 6 (8 enodes)
1554041902.470 * * [simplify]: iters left: 5 (28 enodes)
1554041902.479 * * [simplify]: iters left: 4 (30 enodes)
1554041902.489 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.489 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.489 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.489 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.489 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.489 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.489 * * [simplify]: Extracting #6: cost 5 inf + 251
1554041902.490 * * [simplify]: Extracting #7: cost 1 inf + 862
1554041902.490 * * [simplify]: Extracting #8: cost 0 inf + 1065
1554041902.490 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.490 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.491 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.491 * * [simplify]: iters left: 6 (8 enodes)
1554041902.498 * * [simplify]: iters left: 5 (29 enodes)
1554041902.507 * * [simplify]: iters left: 4 (36 enodes)
1554041902.518 * * [simplify]: iters left: 3 (38 enodes)
1554041902.531 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.531 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.531 * * [simplify]: Extracting #2: cost 11 inf + 0
1554041902.531 * * [simplify]: Extracting #3: cost 13 inf + 1
1554041902.531 * * [simplify]: Extracting #4: cost 15 inf + 42
1554041902.531 * * [simplify]: Extracting #5: cost 11 inf + 166
1554041902.531 * * [simplify]: Extracting #6: cost 7 inf + 413
1554041902.532 * * [simplify]: Extracting #7: cost 0 inf + 1633
1554041902.533 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.533 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.533 * * * * [progress]: [ 30 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.533 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t)))
1554041902.533 * * [simplify]: iters left: 6 (6 enodes)
1554041902.537 * * [simplify]: iters left: 5 (23 enodes)
1554041902.546 * * [simplify]: iters left: 4 (31 enodes)
1554041902.555 * * [simplify]: iters left: 3 (33 enodes)
1554041902.565 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.565 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.565 * * [simplify]: Extracting #2: cost 8 inf + 1
1554041902.565 * * [simplify]: Extracting #3: cost 10 inf + 2
1554041902.565 * * [simplify]: Extracting #4: cost 8 inf + 4
1554041902.565 * * [simplify]: Extracting #5: cost 2 inf + 460
1554041902.566 * * [simplify]: Extracting #6: cost 0 inf + 666
1554041902.566 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t)))
1554041902.566 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.566 * * * * [progress]: [ 31 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.567 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.567 * * * * [progress]: [ 33 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (/ (exp 2) (exp (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.567 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t))))
1554041902.567 * * [simplify]: iters left: 6 (8 enodes)
1554041902.572 * * [simplify]: iters left: 5 (29 enodes)
1554041902.582 * * [simplify]: iters left: 4 (35 enodes)
1554041902.594 * * [simplify]: iters left: 3 (43 enodes)
1554041902.607 * * [simplify]: iters left: 2 (49 enodes)
1554041902.621 * * [simplify]: iters left: 1 (53 enodes)
1554041902.636 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.636 * * [simplify]: Extracting #1: cost 9 inf + 0
1554041902.637 * * [simplify]: Extracting #2: cost 15 inf + 1
1554041902.637 * * [simplify]: Extracting #3: cost 18 inf + 2
1554041902.637 * * [simplify]: Extracting #4: cost 18 inf + 74
1554041902.637 * * [simplify]: Extracting #5: cost 16 inf + 146
1554041902.637 * * [simplify]: Extracting #6: cost 8 inf + 1160
1554041902.638 * * [simplify]: Extracting #7: cost 1 inf + 1999
1554041902.639 * * [simplify]: Extracting #8: cost 0 inf + 2262
1554041902.640 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1))))
1554041902.640 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.641 * * * * [progress]: [ 34 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 35 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 36 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 37 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 39 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 41 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 42 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 43 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.641 * * * * [progress]: [ 44 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.642 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.642 * * [simplify]: iters left: 6 (8 enodes)
1554041902.647 * * [simplify]: iters left: 5 (28 enodes)
1554041902.656 * * [simplify]: iters left: 4 (30 enodes)
1554041902.668 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.668 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.668 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.668 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.668 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.669 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.669 * * [simplify]: Extracting #6: cost 5 inf + 252
1554041902.669 * * [simplify]: Extracting #7: cost 1 inf + 784
1554041902.669 * * [simplify]: Extracting #8: cost 0 inf + 987
1554041902.670 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.670 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.670 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.670 * * [simplify]: iters left: 6 (8 enodes)
1554041902.675 * * [simplify]: iters left: 5 (29 enodes)
1554041902.685 * * [simplify]: iters left: 4 (34 enodes)
1554041902.696 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.696 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.696 * * [simplify]: Extracting #2: cost 10 inf + 0
1554041902.696 * * [simplify]: Extracting #3: cost 11 inf + 1
1554041902.696 * * [simplify]: Extracting #4: cost 12 inf + 83
1554041902.696 * * [simplify]: Extracting #5: cost 10 inf + 85
1554041902.696 * * [simplify]: Extracting #6: cost 7 inf + 252
1554041902.697 * * [simplify]: Extracting #7: cost 0 inf + 1313
1554041902.697 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.697 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.698 * * * * [progress]: [ 45 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.698 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.698 * * [simplify]: iters left: 6 (8 enodes)
1554041902.703 * * [simplify]: iters left: 5 (28 enodes)
1554041902.712 * * [simplify]: iters left: 4 (30 enodes)
1554041902.722 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.722 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.722 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.722 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.722 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.722 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.722 * * [simplify]: Extracting #6: cost 5 inf + 251
1554041902.723 * * [simplify]: Extracting #7: cost 1 inf + 862
1554041902.723 * * [simplify]: Extracting #8: cost 0 inf + 1065
1554041902.723 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.723 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.724 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.724 * * [simplify]: iters left: 6 (8 enodes)
1554041902.729 * * [simplify]: iters left: 5 (29 enodes)
1554041902.738 * * [simplify]: iters left: 4 (36 enodes)
1554041902.749 * * [simplify]: iters left: 3 (38 enodes)
1554041902.760 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.760 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.760 * * [simplify]: Extracting #2: cost 11 inf + 0
1554041902.760 * * [simplify]: Extracting #3: cost 13 inf + 1
1554041902.761 * * [simplify]: Extracting #4: cost 15 inf + 42
1554041902.761 * * [simplify]: Extracting #5: cost 11 inf + 166
1554041902.761 * * [simplify]: Extracting #6: cost 7 inf + 413
1554041902.761 * * [simplify]: Extracting #7: cost 0 inf + 1633
1554041902.762 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.762 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.762 * * * * [progress]: [ 46 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.763 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t)))
1554041902.763 * * [simplify]: iters left: 6 (6 enodes)
1554041902.766 * * [simplify]: iters left: 5 (23 enodes)
1554041902.774 * * [simplify]: iters left: 4 (31 enodes)
1554041902.783 * * [simplify]: iters left: 3 (33 enodes)
1554041902.792 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.792 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.792 * * [simplify]: Extracting #2: cost 8 inf + 1
1554041902.793 * * [simplify]: Extracting #3: cost 10 inf + 2
1554041902.793 * * [simplify]: Extracting #4: cost 8 inf + 4
1554041902.793 * * [simplify]: Extracting #5: cost 2 inf + 460
1554041902.793 * * [simplify]: Extracting #6: cost 0 inf + 666
1554041902.794 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t)))
1554041902.794 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.794 * * * * [progress]: [ 47 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.794 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.794 * * * * [progress]: [ 49 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (/ (exp 2) (exp (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.794 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t))))
1554041902.794 * * [simplify]: iters left: 6 (8 enodes)
1554041902.799 * * [simplify]: iters left: 5 (29 enodes)
1554041902.809 * * [simplify]: iters left: 4 (35 enodes)
1554041902.818 * * [simplify]: iters left: 3 (43 enodes)
1554041902.825 * * [simplify]: iters left: 2 (49 enodes)
1554041902.833 * * [simplify]: iters left: 1 (53 enodes)
1554041902.848 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.848 * * [simplify]: Extracting #1: cost 9 inf + 0
1554041902.849 * * [simplify]: Extracting #2: cost 15 inf + 1
1554041902.849 * * [simplify]: Extracting #3: cost 18 inf + 2
1554041902.849 * * [simplify]: Extracting #4: cost 18 inf + 74
1554041902.849 * * [simplify]: Extracting #5: cost 16 inf + 146
1554041902.849 * * [simplify]: Extracting #6: cost 8 inf + 1160
1554041902.850 * * [simplify]: Extracting #7: cost 1 inf + 1999
1554041902.851 * * [simplify]: Extracting #8: cost 0 inf + 2262
1554041902.852 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1))))
1554041902.852 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.852 * * * * [progress]: [ 50 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 51 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 52 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 53 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 54 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 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)))))))>
1554041902.852 * * * * [progress]: [ 55 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 56 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 57 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.852 * * * * [progress]: [ 58 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.853 * * * * [progress]: [ 59 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.853 * * * * [progress]: [ 60 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.853 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.853 * * [simplify]: iters left: 6 (8 enodes)
1554041902.858 * * [simplify]: iters left: 5 (28 enodes)
1554041902.866 * * [simplify]: iters left: 4 (30 enodes)
1554041902.871 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.871 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.871 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.871 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.871 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.871 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.872 * * [simplify]: Extracting #6: cost 5 inf + 252
1554041902.872 * * [simplify]: Extracting #7: cost 1 inf + 784
1554041902.872 * * [simplify]: Extracting #8: cost 0 inf + 987
1554041902.872 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.872 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.872 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
1554041902.872 * * [simplify]: iters left: 6 (8 enodes)
1554041902.875 * * [simplify]: iters left: 5 (29 enodes)
1554041902.880 * * [simplify]: iters left: 4 (34 enodes)
1554041902.886 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.886 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.886 * * [simplify]: Extracting #2: cost 10 inf + 0
1554041902.886 * * [simplify]: Extracting #3: cost 11 inf + 1
1554041902.886 * * [simplify]: Extracting #4: cost 12 inf + 83
1554041902.886 * * [simplify]: Extracting #5: cost 10 inf + 85
1554041902.886 * * [simplify]: Extracting #6: cost 7 inf + 252
1554041902.886 * * [simplify]: Extracting #7: cost 0 inf + 1313
1554041902.887 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
1554041902.887 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.887 * * * * [progress]: [ 61 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.887 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.887 * * [simplify]: iters left: 6 (8 enodes)
1554041902.890 * * [simplify]: iters left: 5 (28 enodes)
1554041902.896 * * [simplify]: iters left: 4 (30 enodes)
1554041902.905 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.905 * * [simplify]: Extracting #1: cost 4 inf + 0
1554041902.905 * * [simplify]: Extracting #2: cost 8 inf + 0
1554041902.905 * * [simplify]: Extracting #3: cost 9 inf + 1
1554041902.905 * * [simplify]: Extracting #4: cost 10 inf + 83
1554041902.905 * * [simplify]: Extracting #5: cost 8 inf + 85
1554041902.905 * * [simplify]: Extracting #6: cost 5 inf + 251
1554041902.906 * * [simplify]: Extracting #7: cost 1 inf + 862
1554041902.906 * * [simplify]: Extracting #8: cost 0 inf + 1065
1554041902.906 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.906 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.907 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
1554041902.907 * * [simplify]: iters left: 6 (8 enodes)
1554041902.912 * * [simplify]: iters left: 5 (29 enodes)
1554041902.922 * * [simplify]: iters left: 4 (36 enodes)
1554041902.933 * * [simplify]: iters left: 3 (38 enodes)
1554041902.947 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.947 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.947 * * [simplify]: Extracting #2: cost 11 inf + 0
1554041902.947 * * [simplify]: Extracting #3: cost 13 inf + 1
1554041902.947 * * [simplify]: Extracting #4: cost 15 inf + 42
1554041902.947 * * [simplify]: Extracting #5: cost 11 inf + 166
1554041902.948 * * [simplify]: Extracting #6: cost 7 inf + 413
1554041902.948 * * [simplify]: Extracting #7: cost 0 inf + 1633
1554041902.949 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
1554041902.949 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.949 * * * * [progress]: [ 62 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.949 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t)))
1554041902.949 * * [simplify]: iters left: 6 (6 enodes)
1554041902.953 * * [simplify]: iters left: 5 (23 enodes)
1554041902.957 * * [simplify]: iters left: 4 (31 enodes)
1554041902.962 * * [simplify]: iters left: 3 (33 enodes)
1554041902.967 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041902.967 * * [simplify]: Extracting #1: cost 5 inf + 0
1554041902.967 * * [simplify]: Extracting #2: cost 8 inf + 1
1554041902.967 * * [simplify]: Extracting #3: cost 10 inf + 2
1554041902.967 * * [simplify]: Extracting #4: cost 8 inf + 4
1554041902.967 * * [simplify]: Extracting #5: cost 2 inf + 460
1554041902.967 * * [simplify]: Extracting #6: cost 0 inf + 666
1554041902.968 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t)))
1554041902.968 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041902.968 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.968 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041902.968 * * * * [progress]: [ 65 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1554041902.968 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041902.968 * * [simplify]: iters left: 6 (10 enodes)
1554041902.972 * * [simplify]: iters left: 5 (51 enodes)
1554041902.985 * * [simplify]: iters left: 4 (109 enodes)
1554041903.021 * * [simplify]: iters left: 3 (215 enodes)
1554041903.079 * * [simplify]: iters left: 2 (432 enodes)
1554041903.211 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041903.211 * * [simplify]: Extracting #1: cost 31 inf + 0
1554041903.212 * * [simplify]: Extracting #2: cost 96 inf + 2
1554041903.213 * * [simplify]: Extracting #3: cost 155 inf + 947
1554041903.217 * * [simplify]: Extracting #4: cost 104 inf + 6439
1554041903.224 * * [simplify]: Extracting #5: cost 53 inf + 20350
1554041903.229 * * [simplify]: Extracting #6: cost 7 inf + 41278
1554041903.235 * * [simplify]: Extracting #7: cost 0 inf + 44948
1554041903.240 * * [simplify]: Extracting #8: cost 0 inf + 44908
1554041903.246 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
1554041903.246 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* t (- (* (* 2 t) t) (- (* 2 t) 2)))))))
1554041903.246 * * * * [progress]: [ 66 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1554041903.246 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041903.246 * * [simplify]: iters left: 6 (10 enodes)
1554041903.250 * * [simplify]: iters left: 5 (46 enodes)
1554041903.265 * * [simplify]: iters left: 4 (75 enodes)
1554041903.288 * * [simplify]: iters left: 3 (108 enodes)
1554041903.323 * * [simplify]: iters left: 2 (144 enodes)
1554041903.365 * * [simplify]: iters left: 1 (182 enodes)
1554041903.418 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041903.419 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041903.419 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041903.420 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041903.421 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041903.425 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041903.428 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041903.431 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041903.431 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
1554041903.431 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1554041903.432 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041903.432 * * [simplify]: iters left: 6 (10 enodes)
1554041903.439 * * [simplify]: iters left: 5 (46 enodes)
1554041903.459 * * [simplify]: iters left: 4 (75 enodes)
1554041903.472 * * [simplify]: iters left: 3 (108 enodes)
1554041903.488 * * [simplify]: iters left: 2 (144 enodes)
1554041903.529 * * [simplify]: iters left: 1 (182 enodes)
1554041903.584 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041903.584 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041903.585 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041903.585 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041903.587 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041903.590 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041903.593 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041903.596 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041903.596 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
1554041903.597 * * * * [progress]: [ 68 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t)))))))>
1554041903.597 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041903.597 * * [simplify]: iters left: 6 (10 enodes)
1554041903.605 * * [simplify]: iters left: 5 (51 enodes)
1554041903.626 * * [simplify]: iters left: 4 (109 enodes)
1554041903.670 * * [simplify]: iters left: 3 (215 enodes)
1554041903.744 * * [simplify]: iters left: 2 (432 enodes)
1554041903.932 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041903.932 * * [simplify]: Extracting #1: cost 31 inf + 0
1554041903.933 * * [simplify]: Extracting #2: cost 96 inf + 2
1554041903.934 * * [simplify]: Extracting #3: cost 155 inf + 947
1554041903.939 * * [simplify]: Extracting #4: cost 104 inf + 6439
1554041903.946 * * [simplify]: Extracting #5: cost 53 inf + 20350
1554041903.955 * * [simplify]: Extracting #6: cost 7 inf + 41278
1554041903.966 * * [simplify]: Extracting #7: cost 0 inf + 44948
1554041903.977 * * [simplify]: Extracting #8: cost 0 inf + 44908
1554041903.982 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
1554041903.982 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* t (- (* (* 2 t) t) (- (* 2 t) 2))) (- 2 (/ 2 (+ 1 t)))))))
1554041903.982 * * * * [progress]: [ 69 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041903.983 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041903.983 * * [simplify]: iters left: 6 (10 enodes)
1554041903.987 * * [simplify]: iters left: 5 (46 enodes)
1554041903.996 * * [simplify]: iters left: 4 (75 enodes)
1554041904.008 * * [simplify]: iters left: 3 (108 enodes)
1554041904.040 * * [simplify]: iters left: 2 (144 enodes)
1554041904.071 * * [simplify]: iters left: 1 (182 enodes)
1554041904.108 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041904.108 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041904.109 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041904.109 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041904.111 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041904.114 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041904.118 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041904.121 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041904.121 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))
1554041904.121 * * * * [progress]: [ 70 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041904.122 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041904.122 * * [simplify]: iters left: 6 (10 enodes)
1554041904.131 * * [simplify]: iters left: 5 (46 enodes)
1554041904.147 * * [simplify]: iters left: 4 (75 enodes)
1554041904.170 * * [simplify]: iters left: 3 (108 enodes)
1554041904.203 * * [simplify]: iters left: 2 (144 enodes)
1554041904.246 * * [simplify]: iters left: 1 (182 enodes)
1554041904.281 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041904.281 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041904.281 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041904.281 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041904.282 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041904.284 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041904.286 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041904.288 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041904.288 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))
1554041904.288 * * * * [progress]: [ 71 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041904.288 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041904.288 * * [simplify]: iters left: 6 (10 enodes)
1554041904.292 * * [simplify]: iters left: 5 (51 enodes)
1554041904.304 * * [simplify]: iters left: 4 (109 enodes)
1554041904.328 * * [simplify]: iters left: 3 (215 enodes)
1554041904.384 * * [simplify]: iters left: 2 (432 enodes)
1554041904.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041904.528 * * [simplify]: Extracting #1: cost 31 inf + 0
1554041904.529 * * [simplify]: Extracting #2: cost 96 inf + 2
1554041904.530 * * [simplify]: Extracting #3: cost 155 inf + 947
1554041904.535 * * [simplify]: Extracting #4: cost 104 inf + 6439
1554041904.540 * * [simplify]: Extracting #5: cost 53 inf + 20350
1554041904.545 * * [simplify]: Extracting #6: cost 7 inf + 41278
1554041904.550 * * [simplify]: Extracting #7: cost 0 inf + 44948
1554041904.555 * * [simplify]: Extracting #8: cost 0 inf + 44908
1554041904.561 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
1554041904.561 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* t (- (* (* 2 t) t) (- (* 2 t) 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041904.561 * * * * [progress]: [ 72 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041904.561 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041904.561 * * [simplify]: iters left: 6 (10 enodes)
1554041904.566 * * [simplify]: iters left: 5 (46 enodes)
1554041904.574 * * [simplify]: iters left: 4 (75 enodes)
1554041904.586 * * [simplify]: iters left: 3 (108 enodes)
1554041904.605 * * [simplify]: iters left: 2 (144 enodes)
1554041904.628 * * [simplify]: iters left: 1 (182 enodes)
1554041904.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041904.665 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041904.665 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041904.666 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041904.668 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041904.671 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041904.673 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041904.675 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041904.675 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041904.675 * * * * [progress]: [ 73 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041904.675 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041904.675 * * [simplify]: iters left: 6 (10 enodes)
1554041904.681 * * [simplify]: iters left: 5 (46 enodes)
1554041904.690 * * [simplify]: iters left: 4 (75 enodes)
1554041904.702 * * [simplify]: iters left: 3 (108 enodes)
1554041904.726 * * [simplify]: iters left: 2 (144 enodes)
1554041904.750 * * [simplify]: iters left: 1 (182 enodes)
1554041904.792 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041904.792 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041904.793 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041904.793 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041904.794 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041904.796 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041904.797 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041904.799 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041904.799 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041904.799 * * * * [progress]: [ 74 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041904.799 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1554041904.799 * * [simplify]: iters left: 6 (10 enodes)
1554041904.806 * * [simplify]: iters left: 5 (51 enodes)
1554041904.826 * * [simplify]: iters left: 4 (109 enodes)
1554041904.849 * * [simplify]: iters left: 3 (215 enodes)
1554041904.945 * * [simplify]: iters left: 2 (432 enodes)
1554041905.141 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041905.141 * * [simplify]: Extracting #1: cost 31 inf + 0
1554041905.142 * * [simplify]: Extracting #2: cost 96 inf + 2
1554041905.143 * * [simplify]: Extracting #3: cost 155 inf + 947
1554041905.145 * * [simplify]: Extracting #4: cost 104 inf + 6439
1554041905.148 * * [simplify]: Extracting #5: cost 53 inf + 20350
1554041905.154 * * [simplify]: Extracting #6: cost 7 inf + 41278
1554041905.165 * * [simplify]: Extracting #7: cost 0 inf + 44948
1554041905.176 * * [simplify]: Extracting #8: cost 0 inf + 44908
1554041905.182 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
1554041905.182 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* t (- (* (* 2 t) t) (- (* 2 t) 2))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041905.182 * * * * [progress]: [ 75 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041905.182 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041905.182 * * [simplify]: iters left: 6 (10 enodes)
1554041905.186 * * [simplify]: iters left: 5 (46 enodes)
1554041905.195 * * [simplify]: iters left: 4 (75 enodes)
1554041905.209 * * [simplify]: iters left: 3 (108 enodes)
1554041905.244 * * [simplify]: iters left: 2 (144 enodes)
1554041905.288 * * [simplify]: iters left: 1 (182 enodes)
1554041905.322 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041905.322 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041905.322 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041905.322 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041905.323 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041905.325 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041905.326 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041905.328 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041905.328 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041905.328 * * * * [progress]: [ 76 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1554041905.328 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1554041905.329 * * [simplify]: iters left: 6 (10 enodes)
1554041905.334 * * [simplify]: iters left: 5 (46 enodes)
1554041905.347 * * [simplify]: iters left: 4 (75 enodes)
1554041905.369 * * [simplify]: iters left: 3 (108 enodes)
1554041905.387 * * [simplify]: iters left: 2 (144 enodes)
1554041905.420 * * [simplify]: iters left: 1 (182 enodes)
1554041905.477 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041905.477 * * [simplify]: Extracting #1: cost 17 inf + 0
1554041905.477 * * [simplify]: Extracting #2: cost 49 inf + 1
1554041905.478 * * [simplify]: Extracting #3: cost 46 inf + 664
1554041905.480 * * [simplify]: Extracting #4: cost 15 inf + 4047
1554041905.483 * * [simplify]: Extracting #5: cost 1 inf + 5836
1554041905.487 * * [simplify]: Extracting #6: cost 0 inf + 5998
1554041905.490 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1554041905.490 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1554041905.491 * * * [progress]: adding candidates to table
1554041906.183 * [progress]: [Phase 3 of 3] Extracting.
1554041906.185 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1554041906.185 * * [simplify]: iters left: 6 (10 enodes)
1554041906.185 * * [simplify]: iters left: 5 (15 enodes)
1554041906.186 * * [simplify]: Extracting #0: cost 1 inf + 0
1554041906.186 * * [simplify]: Extracting #1: cost 3 inf + 0
1554041906.186 * * [simplify]: Extracting #2: cost 6 inf + 0
1554041906.186 * * [simplify]: Extracting #3: cost 5 inf + 2
1554041906.186 * * [simplify]: Extracting #4: cost 6 inf + 2
1554041906.186 * * [simplify]: Extracting #5: cost 7 inf + 2
1554041906.186 * * [simplify]: Extracting #6: cost 8 inf + 2
1554041906.186 * * [simplify]: Extracting #7: cost 0 inf + 1103
1554041906.186 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1554041907.798 * [regime-testing]: Baseline error score: 0.007375921990248781
1554041907.798 * [regime-testing]: Oracle error score: 0.007375921990248781
1554041907.799 * [regime-testing]: End program error score: 0.007375921990248781