0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
0.054 * [simplify]: Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
0.054 * * [simplify]: iters left: 6 (10 enodes)
0.057 * * [simplify]: iters left: 5 (42 enodes)
0.065 * * [simplify]: iters left: 4 (72 enodes)
0.079 * * [simplify]: iters left: 3 (148 enodes)
0.110 * * [simplify]: iters left: 2 (303 enodes)
0.197 * * [simplify]: Extracting #0: cost 1 inf + 0
0.198 * * [simplify]: Extracting #1: cost 4 inf + 0
0.198 * * [simplify]: Extracting #2: cost 10 inf + 0
0.198 * * [simplify]: Extracting #3: cost 66 inf + 2
0.199 * * [simplify]: Extracting #4: cost 88 inf + 4128
0.203 * * [simplify]: Extracting #5: cost 13 inf + 14051
0.208 * * [simplify]: Extracting #6: cost 0 inf + 15807
0.213 * [simplify]: Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
0.214 * [simplify]: Simplified (2) to (λ (t) (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))))))
0.216 * * [progress]: iteration 1 / 4
0.216 * * * [progress]: picking best candidate
0.218 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
0.218 * * * [progress]: localizing error
0.239 * * * [progress]: generating rewritten candidates
0.239 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.271 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.283 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.296 * * * [progress]: generating series expansions
0.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.296 * [backup-simplify]: Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
0.296 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
0.296 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.296 * [taylor]: Taking taylor expansion of 2 in t
0.296 * [backup-simplify]: Simplify 2 into 2
0.296 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.296 * [taylor]: Taking taylor expansion of t in t
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 1 into 1
0.296 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.296 * [taylor]: Taking taylor expansion of t in t
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 1 into 1
0.296 * [taylor]: Taking taylor expansion of 1 in t
0.296 * [backup-simplify]: Simplify 1 into 1
0.296 * [backup-simplify]: Simplify (+ 0 1) into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.297 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.297 * [taylor]: Taking taylor expansion of 2 in t
0.297 * [backup-simplify]: Simplify 2 into 2
0.297 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.297 * [taylor]: Taking taylor expansion of t in t
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.297 * [taylor]: Taking taylor expansion of t in t
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [taylor]: Taking taylor expansion of 1 in t
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [backup-simplify]: Simplify (+ 0 1) into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.298 * [backup-simplify]: Simplify (* 2 1) into 2
0.298 * [backup-simplify]: Simplify 2 into 2
0.298 * [backup-simplify]: Simplify (+ 1 0) into 1
0.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
0.299 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.299 * [backup-simplify]: Simplify -2 into -2
0.299 * [backup-simplify]: Simplify (+ 0 0) into 0
0.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.301 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.301 * [backup-simplify]: Simplify 2 into 2
0.301 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.301 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
0.301 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
0.301 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.301 * [taylor]: Taking taylor expansion of 2 in t
0.301 * [backup-simplify]: Simplify 2 into 2
0.301 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.301 * [taylor]: Taking taylor expansion of t in t
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.301 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.301 * [taylor]: Taking taylor expansion of t in t
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify (/ 1 1) into 1
0.302 * [taylor]: Taking taylor expansion of 1 in t
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify (+ 1 0) into 1
0.302 * [backup-simplify]: Simplify (* 0 1) into 0
0.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify (+ 0 1) into 1
0.303 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.304 * [backup-simplify]: Simplify (/ 2 1) into 2
0.304 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.304 * [taylor]: Taking taylor expansion of 2 in t
0.304 * [backup-simplify]: Simplify 2 into 2
0.304 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.304 * [taylor]: Taking taylor expansion of t in t
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.304 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.304 * [taylor]: Taking taylor expansion of t in t
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [backup-simplify]: Simplify (/ 1 1) into 1
0.304 * [taylor]: Taking taylor expansion of 1 in t
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [backup-simplify]: Simplify (+ 1 0) into 1
0.305 * [backup-simplify]: Simplify (* 0 1) into 0
0.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.305 * [backup-simplify]: Simplify (+ 0 1) into 1
0.306 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.306 * [backup-simplify]: Simplify (/ 2 1) into 2
0.306 * [backup-simplify]: Simplify 2 into 2
0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.309 * [backup-simplify]: Simplify (+ 0 0) into 0
0.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
0.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
0.310 * [backup-simplify]: Simplify -2 into -2
0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.310 * [backup-simplify]: Simplify (+ 0 0) into 0
0.311 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
0.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.313 * [backup-simplify]: Simplify 2 into 2
0.313 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.313 * [backup-simplify]: Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
0.313 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
0.313 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.313 * [taylor]: Taking taylor expansion of -2 in t
0.313 * [backup-simplify]: Simplify -2 into -2
0.313 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.313 * [taylor]: Taking taylor expansion of t in t
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 1 into 1
0.314 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.314 * [taylor]: Taking taylor expansion of 1 in t
0.314 * [backup-simplify]: Simplify 1 into 1
0.314 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.314 * [taylor]: Taking taylor expansion of t in t
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify 1 into 1
0.314 * [backup-simplify]: Simplify (/ 1 1) into 1
0.314 * [backup-simplify]: Simplify (- 1) into -1
0.315 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.315 * [backup-simplify]: Simplify (* 0 -1) into 0
0.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.316 * [backup-simplify]: Simplify (- 0) into 0
0.316 * [backup-simplify]: Simplify (+ 1 0) into 1
0.316 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.317 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.317 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.317 * [taylor]: Taking taylor expansion of -2 in t
0.317 * [backup-simplify]: Simplify -2 into -2
0.317 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.317 * [taylor]: Taking taylor expansion of t in t
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.317 * [taylor]: Taking taylor expansion of 1 in t
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.317 * [taylor]: Taking taylor expansion of t in t
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [backup-simplify]: Simplify (/ 1 1) into 1
0.317 * [backup-simplify]: Simplify (- 1) into -1
0.318 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.318 * [backup-simplify]: Simplify (* 0 -1) into 0
0.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.319 * [backup-simplify]: Simplify (- 0) into 0
0.319 * [backup-simplify]: Simplify (+ 1 0) into 1
0.319 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.319 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.320 * [backup-simplify]: Simplify 2 into 2
0.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.320 * [backup-simplify]: Simplify (- 0) into 0
0.321 * [backup-simplify]: Simplify (+ 0 0) into 0
0.321 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.322 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
0.322 * [backup-simplify]: Simplify 2 into 2
0.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.322 * [backup-simplify]: Simplify (- 0) into 0
0.323 * [backup-simplify]: Simplify (+ 0 0) into 0
0.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.324 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
0.324 * [backup-simplify]: Simplify 2 into 2
0.324 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.324 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.324 * [backup-simplify]: Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
0.324 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
0.324 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.324 * [taylor]: Taking taylor expansion of 2 in t
0.324 * [backup-simplify]: Simplify 2 into 2
0.324 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.324 * [taylor]: Taking taylor expansion of t in t
0.324 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify 1 into 1
0.324 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.325 * [taylor]: Taking taylor expansion of t in t
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify 1 into 1
0.325 * [taylor]: Taking taylor expansion of 1 in t
0.325 * [backup-simplify]: Simplify 1 into 1
0.325 * [backup-simplify]: Simplify (+ 0 1) into 1
0.325 * [backup-simplify]: Simplify (/ 1 1) into 1
0.325 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.325 * [taylor]: Taking taylor expansion of 2 in t
0.325 * [backup-simplify]: Simplify 2 into 2
0.325 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.325 * [taylor]: Taking taylor expansion of t in t
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify 1 into 1
0.325 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.325 * [taylor]: Taking taylor expansion of t in t
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify 1 into 1
0.325 * [taylor]: Taking taylor expansion of 1 in t
0.325 * [backup-simplify]: Simplify 1 into 1
0.326 * [backup-simplify]: Simplify (+ 0 1) into 1
0.326 * [backup-simplify]: Simplify (/ 1 1) into 1
0.326 * [backup-simplify]: Simplify (* 2 1) into 2
0.326 * [backup-simplify]: Simplify 2 into 2
0.326 * [backup-simplify]: Simplify (+ 1 0) into 1
0.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
0.327 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.327 * [backup-simplify]: Simplify -2 into -2
0.328 * [backup-simplify]: Simplify (+ 0 0) into 0
0.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.329 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.329 * [backup-simplify]: Simplify 2 into 2
0.329 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.329 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
0.329 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
0.329 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.329 * [taylor]: Taking taylor expansion of 2 in t
0.329 * [backup-simplify]: Simplify 2 into 2
0.329 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.329 * [taylor]: Taking taylor expansion of t in t
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify 1 into 1
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.329 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.329 * [taylor]: Taking taylor expansion of t in t
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify 1 into 1
0.330 * [backup-simplify]: Simplify (/ 1 1) into 1
0.330 * [taylor]: Taking taylor expansion of 1 in t
0.330 * [backup-simplify]: Simplify 1 into 1
0.330 * [backup-simplify]: Simplify (+ 1 0) into 1
0.330 * [backup-simplify]: Simplify (* 0 1) into 0
0.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.331 * [backup-simplify]: Simplify (+ 0 1) into 1
0.331 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.331 * [backup-simplify]: Simplify (/ 2 1) into 2
0.331 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.331 * [taylor]: Taking taylor expansion of 2 in t
0.331 * [backup-simplify]: Simplify 2 into 2
0.331 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.331 * [taylor]: Taking taylor expansion of t in t
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.332 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.332 * [taylor]: Taking taylor expansion of t in t
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (/ 1 1) into 1
0.332 * [taylor]: Taking taylor expansion of 1 in t
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (+ 1 0) into 1
0.332 * [backup-simplify]: Simplify (* 0 1) into 0
0.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.333 * [backup-simplify]: Simplify (+ 0 1) into 1
0.333 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.334 * [backup-simplify]: Simplify (/ 2 1) into 2
0.334 * [backup-simplify]: Simplify 2 into 2
0.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.334 * [backup-simplify]: Simplify (+ 0 0) into 0
0.335 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
0.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
0.336 * [backup-simplify]: Simplify -2 into -2
0.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.336 * [backup-simplify]: Simplify (+ 0 0) into 0
0.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
0.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.338 * [backup-simplify]: Simplify 2 into 2
0.338 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.338 * [backup-simplify]: Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
0.338 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
0.338 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.338 * [taylor]: Taking taylor expansion of -2 in t
0.338 * [backup-simplify]: Simplify -2 into -2
0.338 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.338 * [taylor]: Taking taylor expansion of t in t
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify 1 into 1
0.338 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.338 * [taylor]: Taking taylor expansion of 1 in t
0.338 * [backup-simplify]: Simplify 1 into 1
0.338 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.338 * [taylor]: Taking taylor expansion of t in t
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify 1 into 1
0.339 * [backup-simplify]: Simplify (/ 1 1) into 1
0.339 * [backup-simplify]: Simplify (- 1) into -1
0.339 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.339 * [backup-simplify]: Simplify (* 0 -1) into 0
0.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.340 * [backup-simplify]: Simplify (- 0) into 0
0.340 * [backup-simplify]: Simplify (+ 1 0) into 1
0.341 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.341 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.341 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.341 * [taylor]: Taking taylor expansion of -2 in t
0.341 * [backup-simplify]: Simplify -2 into -2
0.341 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify 1 into 1
0.341 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.341 * [taylor]: Taking taylor expansion of 1 in t
0.341 * [backup-simplify]: Simplify 1 into 1
0.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify 1 into 1
0.341 * [backup-simplify]: Simplify (/ 1 1) into 1
0.342 * [backup-simplify]: Simplify (- 1) into -1
0.342 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.342 * [backup-simplify]: Simplify (* 0 -1) into 0
0.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.343 * [backup-simplify]: Simplify (- 0) into 0
0.343 * [backup-simplify]: Simplify (+ 1 0) into 1
0.344 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.344 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.344 * [backup-simplify]: Simplify 2 into 2
0.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.346 * [backup-simplify]: Simplify (- 0) into 0
0.346 * [backup-simplify]: Simplify (+ 0 0) into 0
0.347 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.348 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
0.348 * [backup-simplify]: Simplify 2 into 2
0.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.350 * [backup-simplify]: Simplify (- 0) into 0
0.350 * [backup-simplify]: Simplify (+ 0 0) into 0
0.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.353 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
0.353 * [backup-simplify]: Simplify 2 into 2
0.353 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.353 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.353 * [backup-simplify]: Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
0.353 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
0.353 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.353 * [taylor]: Taking taylor expansion of 2 in t
0.353 * [backup-simplify]: Simplify 2 into 2
0.353 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.353 * [taylor]: Taking taylor expansion of t in t
0.353 * [backup-simplify]: Simplify 0 into 0
0.353 * [backup-simplify]: Simplify 1 into 1
0.353 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.353 * [taylor]: Taking taylor expansion of t in t
0.354 * [backup-simplify]: Simplify 0 into 0
0.354 * [backup-simplify]: Simplify 1 into 1
0.354 * [taylor]: Taking taylor expansion of 1 in t
0.354 * [backup-simplify]: Simplify 1 into 1
0.354 * [backup-simplify]: Simplify (+ 0 1) into 1
0.355 * [backup-simplify]: Simplify (/ 1 1) into 1
0.355 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.355 * [taylor]: Taking taylor expansion of 2 in t
0.355 * [backup-simplify]: Simplify 2 into 2
0.355 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.355 * [taylor]: Taking taylor expansion of t in t
0.355 * [backup-simplify]: Simplify 0 into 0
0.355 * [backup-simplify]: Simplify 1 into 1
0.355 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.355 * [taylor]: Taking taylor expansion of t in t
0.355 * [backup-simplify]: Simplify 0 into 0
0.355 * [backup-simplify]: Simplify 1 into 1
0.355 * [taylor]: Taking taylor expansion of 1 in t
0.355 * [backup-simplify]: Simplify 1 into 1
0.355 * [backup-simplify]: Simplify (+ 0 1) into 1
0.356 * [backup-simplify]: Simplify (/ 1 1) into 1
0.356 * [backup-simplify]: Simplify (* 2 1) into 2
0.356 * [backup-simplify]: Simplify 2 into 2
0.357 * [backup-simplify]: Simplify (+ 1 0) into 1
0.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
0.359 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.359 * [backup-simplify]: Simplify -2 into -2
0.359 * [backup-simplify]: Simplify (+ 0 0) into 0
0.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.361 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.361 * [backup-simplify]: Simplify 2 into 2
0.362 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.362 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
0.362 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
0.362 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.362 * [taylor]: Taking taylor expansion of 2 in t
0.362 * [backup-simplify]: Simplify 2 into 2
0.362 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.362 * [taylor]: Taking taylor expansion of t in t
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.362 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.362 * [taylor]: Taking taylor expansion of t in t
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.363 * [backup-simplify]: Simplify (/ 1 1) into 1
0.363 * [taylor]: Taking taylor expansion of 1 in t
0.363 * [backup-simplify]: Simplify 1 into 1
0.363 * [backup-simplify]: Simplify (+ 1 0) into 1
0.364 * [backup-simplify]: Simplify (* 0 1) into 0
0.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.365 * [backup-simplify]: Simplify (+ 0 1) into 1
0.366 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.366 * [backup-simplify]: Simplify (/ 2 1) into 2
0.366 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.366 * [taylor]: Taking taylor expansion of 2 in t
0.366 * [backup-simplify]: Simplify 2 into 2
0.366 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.366 * [taylor]: Taking taylor expansion of t in t
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 1 into 1
0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.366 * [taylor]: Taking taylor expansion of t in t
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify (/ 1 1) into 1
0.367 * [taylor]: Taking taylor expansion of 1 in t
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify (+ 1 0) into 1
0.367 * [backup-simplify]: Simplify (* 0 1) into 0
0.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.368 * [backup-simplify]: Simplify (+ 0 1) into 1
0.368 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.369 * [backup-simplify]: Simplify (/ 2 1) into 2
0.369 * [backup-simplify]: Simplify 2 into 2
0.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.369 * [backup-simplify]: Simplify (+ 0 0) into 0
0.370 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
0.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
0.370 * [backup-simplify]: Simplify -2 into -2
0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.371 * [backup-simplify]: Simplify (+ 0 0) into 0
0.372 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
0.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.372 * [backup-simplify]: Simplify 2 into 2
0.373 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.373 * [backup-simplify]: Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
0.373 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
0.373 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.373 * [taylor]: Taking taylor expansion of -2 in t
0.373 * [backup-simplify]: Simplify -2 into -2
0.373 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.373 * [taylor]: Taking taylor expansion of t in t
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify 1 into 1
0.373 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.373 * [taylor]: Taking taylor expansion of 1 in t
0.373 * [backup-simplify]: Simplify 1 into 1
0.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.373 * [taylor]: Taking taylor expansion of t in t
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify 1 into 1
0.373 * [backup-simplify]: Simplify (/ 1 1) into 1
0.373 * [backup-simplify]: Simplify (- 1) into -1
0.374 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.374 * [backup-simplify]: Simplify (* 0 -1) into 0
0.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.375 * [backup-simplify]: Simplify (- 0) into 0
0.375 * [backup-simplify]: Simplify (+ 1 0) into 1
0.375 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.376 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.376 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.376 * [taylor]: Taking taylor expansion of -2 in t
0.376 * [backup-simplify]: Simplify -2 into -2
0.376 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.376 * [taylor]: Taking taylor expansion of t in t
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.376 * [taylor]: Taking taylor expansion of 1 in t
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.376 * [taylor]: Taking taylor expansion of t in t
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [backup-simplify]: Simplify (/ 1 1) into 1
0.376 * [backup-simplify]: Simplify (- 1) into -1
0.376 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.377 * [backup-simplify]: Simplify (* 0 -1) into 0
0.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.377 * [backup-simplify]: Simplify (- 0) into 0
0.378 * [backup-simplify]: Simplify (+ 1 0) into 1
0.378 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.378 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.378 * [backup-simplify]: Simplify 2 into 2
0.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.379 * [backup-simplify]: Simplify (- 0) into 0
0.379 * [backup-simplify]: Simplify (+ 0 0) into 0
0.380 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.380 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
0.380 * [backup-simplify]: Simplify 2 into 2
0.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.381 * [backup-simplify]: Simplify (- 0) into 0
0.381 * [backup-simplify]: Simplify (+ 0 0) into 0
0.382 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.383 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
0.383 * [backup-simplify]: Simplify 2 into 2
0.383 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.383 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.383 * [backup-simplify]: Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
0.383 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
0.383 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.383 * [taylor]: Taking taylor expansion of 2 in t
0.383 * [backup-simplify]: Simplify 2 into 2
0.383 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.383 * [taylor]: Taking taylor expansion of t in t
0.383 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify 1 into 1
0.383 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.383 * [taylor]: Taking taylor expansion of t in t
0.383 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify 1 into 1
0.383 * [taylor]: Taking taylor expansion of 1 in t
0.383 * [backup-simplify]: Simplify 1 into 1
0.384 * [backup-simplify]: Simplify (+ 0 1) into 1
0.384 * [backup-simplify]: Simplify (/ 1 1) into 1
0.384 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
0.384 * [taylor]: Taking taylor expansion of 2 in t
0.384 * [backup-simplify]: Simplify 2 into 2
0.384 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t
0.384 * [taylor]: Taking taylor expansion of t in t
0.384 * [backup-simplify]: Simplify 0 into 0
0.384 * [backup-simplify]: Simplify 1 into 1
0.384 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.384 * [taylor]: Taking taylor expansion of t in t
0.384 * [backup-simplify]: Simplify 0 into 0
0.384 * [backup-simplify]: Simplify 1 into 1
0.384 * [taylor]: Taking taylor expansion of 1 in t
0.384 * [backup-simplify]: Simplify 1 into 1
0.384 * [backup-simplify]: Simplify (+ 0 1) into 1
0.385 * [backup-simplify]: Simplify (/ 1 1) into 1
0.385 * [backup-simplify]: Simplify (* 2 1) into 2
0.385 * [backup-simplify]: Simplify 2 into 2
0.385 * [backup-simplify]: Simplify (+ 1 0) into 1
0.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
0.386 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.386 * [backup-simplify]: Simplify -2 into -2
0.386 * [backup-simplify]: Simplify (+ 0 0) into 0
0.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.388 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.388 * [backup-simplify]: Simplify 2 into 2
0.389 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.389 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
0.389 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
0.389 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.389 * [taylor]: Taking taylor expansion of 2 in t
0.389 * [backup-simplify]: Simplify 2 into 2
0.389 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.389 * [taylor]: Taking taylor expansion of t in t
0.389 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify 1 into 1
0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.389 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.389 * [taylor]: Taking taylor expansion of t in t
0.389 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify 1 into 1
0.389 * [backup-simplify]: Simplify (/ 1 1) into 1
0.389 * [taylor]: Taking taylor expansion of 1 in t
0.389 * [backup-simplify]: Simplify 1 into 1
0.389 * [backup-simplify]: Simplify (+ 1 0) into 1
0.390 * [backup-simplify]: Simplify (* 0 1) into 0
0.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.390 * [backup-simplify]: Simplify (+ 0 1) into 1
0.391 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.391 * [backup-simplify]: Simplify (/ 2 1) into 2
0.391 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
0.391 * [taylor]: Taking taylor expansion of 2 in t
0.391 * [backup-simplify]: Simplify 2 into 2
0.391 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
0.391 * [taylor]: Taking taylor expansion of t in t
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.391 * [taylor]: Taking taylor expansion of t in t
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [backup-simplify]: Simplify (/ 1 1) into 1
0.391 * [taylor]: Taking taylor expansion of 1 in t
0.392 * [backup-simplify]: Simplify 1 into 1
0.392 * [backup-simplify]: Simplify (+ 1 0) into 1
0.392 * [backup-simplify]: Simplify (* 0 1) into 0
0.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.393 * [backup-simplify]: Simplify (+ 0 1) into 1
0.393 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
0.393 * [backup-simplify]: Simplify (/ 2 1) into 2
0.393 * [backup-simplify]: Simplify 2 into 2
0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.394 * [backup-simplify]: Simplify (+ 0 0) into 0
0.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
0.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
0.395 * [backup-simplify]: Simplify -2 into -2
0.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.396 * [backup-simplify]: Simplify (+ 0 0) into 0
0.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
0.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.398 * [backup-simplify]: Simplify 2 into 2
0.398 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.398 * [backup-simplify]: Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
0.398 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
0.398 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.398 * [taylor]: Taking taylor expansion of -2 in t
0.398 * [backup-simplify]: Simplify -2 into -2
0.398 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.398 * [taylor]: Taking taylor expansion of t in t
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.398 * [taylor]: Taking taylor expansion of 1 in t
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.398 * [taylor]: Taking taylor expansion of t in t
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (/ 1 1) into 1
0.399 * [backup-simplify]: Simplify (- 1) into -1
0.399 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.399 * [backup-simplify]: Simplify (* 0 -1) into 0
0.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.400 * [backup-simplify]: Simplify (- 0) into 0
0.400 * [backup-simplify]: Simplify (+ 1 0) into 1
0.400 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.401 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.401 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
0.401 * [taylor]: Taking taylor expansion of -2 in t
0.401 * [backup-simplify]: Simplify -2 into -2
0.401 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
0.401 * [taylor]: Taking taylor expansion of t in t
0.401 * [backup-simplify]: Simplify 0 into 0
0.401 * [backup-simplify]: Simplify 1 into 1
0.401 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.401 * [taylor]: Taking taylor expansion of 1 in t
0.401 * [backup-simplify]: Simplify 1 into 1
0.401 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.401 * [taylor]: Taking taylor expansion of t in t
0.401 * [backup-simplify]: Simplify 0 into 0
0.401 * [backup-simplify]: Simplify 1 into 1
0.401 * [backup-simplify]: Simplify (/ 1 1) into 1
0.401 * [backup-simplify]: Simplify (- 1) into -1
0.402 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.402 * [backup-simplify]: Simplify (* 0 -1) into 0
0.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.402 * [backup-simplify]: Simplify (- 0) into 0
0.403 * [backup-simplify]: Simplify (+ 1 0) into 1
0.403 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.403 * [backup-simplify]: Simplify (/ -2 -1) into 2
0.403 * [backup-simplify]: Simplify 2 into 2
0.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.408 * [backup-simplify]: Simplify (- 0) into 0
0.408 * [backup-simplify]: Simplify (+ 0 0) into 0
0.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.409 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
0.409 * [backup-simplify]: Simplify 2 into 2
0.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.410 * [backup-simplify]: Simplify (- 0) into 0
0.410 * [backup-simplify]: Simplify (+ 0 0) into 0
0.411 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.412 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
0.412 * [backup-simplify]: Simplify 2 into 2
0.412 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.412 * * * [progress]: simplifying candidates
0.412 * * * * [progress]: [ 1 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (pow (/ (* 2 t) (+ 1 t)) 1)))))>
0.412 * * * * [progress]: [ 2 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (+ (log 2) (log t)) (log (+ 1 t))))))))>
0.412 * [simplify]: Simplifying (- (+ (log 2) (log t)) (log (+ 1 t)))
0.412 * * [simplify]: iters left: 5 (9 enodes)
0.415 * * [simplify]: iters left: 4 (35 enodes)
0.421 * * [simplify]: iters left: 3 (49 enodes)
0.428 * * [simplify]: iters left: 2 (58 enodes)
0.441 * * [simplify]: iters left: 1 (62 enodes)
0.449 * * [simplify]: Extracting #0: cost 1 inf + 0
0.450 * * [simplify]: Extracting #1: cost 11 inf + 0
0.450 * * [simplify]: Extracting #2: cost 23 inf + 0
0.450 * * [simplify]: Extracting #3: cost 22 inf + 73
0.450 * * [simplify]: Extracting #4: cost 18 inf + 327
0.450 * * [simplify]: Extracting #5: cost 5 inf + 2555
0.451 * * [simplify]: Extracting #6: cost 0 inf + 3487
0.451 * [simplify]: Simplified to (- (+ (log 2) (log t)) (log (+ 1 t)))
0.451 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (+ (log 2) (log t)) (log (+ 1 t))))))))
0.451 * * * * [progress]: [ 3 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ 1 t))))))))>
0.451 * [simplify]: Simplifying (- (log (* 2 t)) (log (+ 1 t)))
0.452 * * [simplify]: iters left: 5 (8 enodes)
0.454 * * [simplify]: iters left: 4 (33 enodes)
0.459 * * [simplify]: iters left: 3 (47 enodes)
0.466 * * [simplify]: iters left: 2 (57 enodes)
0.475 * * [simplify]: iters left: 1 (65 enodes)
0.486 * * [simplify]: Extracting #0: cost 1 inf + 0
0.486 * * [simplify]: Extracting #1: cost 11 inf + 0
0.486 * * [simplify]: Extracting #2: cost 24 inf + 0
0.487 * * [simplify]: Extracting #3: cost 23 inf + 144
0.487 * * [simplify]: Extracting #4: cost 15 inf + 636
0.487 * * [simplify]: Extracting #5: cost 6 inf + 2138
0.488 * * [simplify]: Extracting #6: cost 0 inf + 3443
0.490 * [simplify]: Simplified to (- (log (* 2 t)) (log (+ t 1)))
0.490 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ t 1))))))))
0.490 * * * * [progress]: [ 4 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (log (/ (* 2 t) (+ 1 t))))))))>
0.490 * * * * [progress]: [ 5 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (log (exp (/ (* 2 t) (+ 1 t))))))))>
0.490 * * * * [progress]: [ 6 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
0.490 * [simplify]: Simplifying (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
0.490 * * [simplify]: iters left: 6 (12 enodes)
0.498 * * [simplify]: iters left: 5 (67 enodes)
0.531 * * [simplify]: iters left: 4 (219 enodes)
0.681 * * [simplify]: Extracting #0: cost 1 inf + 0
0.681 * * [simplify]: Extracting #1: cost 93 inf + 0
0.682 * * [simplify]: Extracting #2: cost 234 inf + 621
0.686 * * [simplify]: Extracting #3: cost 95 inf + 20456
0.695 * * [simplify]: Extracting #4: cost 1 inf + 35927
0.705 * * [simplify]: Extracting #5: cost 0 inf + 36048
0.715 * [simplify]: Simplified to (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))
0.715 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t)))))))))
0.715 * * * * [progress]: [ 7 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
0.715 * [simplify]: Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
0.715 * * [simplify]: iters left: 6 (10 enodes)
0.720 * * [simplify]: iters left: 5 (65 enodes)
0.738 * * [simplify]: iters left: 4 (211 enodes)
0.849 * * [simplify]: Extracting #0: cost 1 inf + 0
0.849 * * [simplify]: Extracting #1: cost 98 inf + 0
0.850 * * [simplify]: Extracting #2: cost 220 inf + 1475
0.855 * * [simplify]: Extracting #3: cost 87 inf + 24476
0.866 * * [simplify]: Extracting #4: cost 1 inf + 38804
0.880 * * [simplify]: Extracting #5: cost 0 inf + 38325
0.902 * [simplify]: Simplified to (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))
0.902 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2))))))))
0.902 * * * * [progress]: [ 8 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t))))))))>
0.902 * * * * [progress]: [ 9 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
0.902 * * * * [progress]: [ 10 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t))))))))>
0.903 * * * * [progress]: [ 11 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (- (* 2 t)) (- (+ 1 t)))))))>
0.903 * * * * [progress]: [ 12 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t))))))))>
0.903 * [simplify]: Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
0.903 * * [simplify]: iters left: 6 (7 enodes)
0.907 * * [simplify]: iters left: 5 (26 enodes)
0.916 * * [simplify]: iters left: 4 (30 enodes)
0.924 * * [simplify]: Extracting #0: cost 1 inf + 0
0.924 * * [simplify]: Extracting #1: cost 6 inf + 0
0.924 * * [simplify]: Extracting #2: cost 9 inf + 1
0.924 * * [simplify]: Extracting #3: cost 12 inf + 1
0.924 * * [simplify]: Extracting #4: cost 8 inf + 87
0.925 * * [simplify]: Extracting #5: cost 4 inf + 697
0.925 * * [simplify]: Extracting #6: cost 1 inf + 1184
0.925 * * [simplify]: Extracting #7: cost 0 inf + 1387
0.926 * [simplify]: Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
0.926 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t))))))))
0.926 * [simplify]: Simplifying (/ t (cbrt (+ 1 t)))
0.926 * * [simplify]: iters left: 5 (5 enodes)
0.929 * * [simplify]: iters left: 4 (18 enodes)
0.934 * * [simplify]: iters left: 3 (20 enodes)
0.939 * * [simplify]: Extracting #0: cost 1 inf + 0
0.940 * * [simplify]: Extracting #1: cost 4 inf + 0
0.940 * * [simplify]: Extracting #2: cost 5 inf + 1
0.940 * * [simplify]: Extracting #3: cost 7 inf + 1
0.940 * * [simplify]: Extracting #4: cost 0 inf + 654
0.940 * [simplify]: Simplified to (/ t (cbrt (+ 1 t)))
0.940 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t))))))))
0.940 * * * * [progress]: [ 13 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))>
0.941 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t)))
0.941 * * [simplify]: iters left: 5 (6 enodes)
0.945 * * [simplify]: iters left: 4 (21 enodes)
0.951 * * [simplify]: iters left: 3 (23 enodes)
0.959 * * [simplify]: Extracting #0: cost 1 inf + 0
0.959 * * [simplify]: Extracting #1: cost 4 inf + 0
0.959 * * [simplify]: Extracting #2: cost 5 inf + 1
0.959 * * [simplify]: Extracting #3: cost 8 inf + 1
0.959 * * [simplify]: Extracting #4: cost 6 inf + 3
0.959 * * [simplify]: Extracting #5: cost 1 inf + 374
0.959 * * [simplify]: Extracting #6: cost 0 inf + 497
0.959 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t)))
0.960 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))
0.960 * [simplify]: Simplifying (/ t (sqrt (+ 1 t)))
0.960 * * [simplify]: iters left: 5 (5 enodes)
0.963 * * [simplify]: iters left: 4 (18 enodes)
0.969 * * [simplify]: iters left: 3 (20 enodes)
0.975 * * [simplify]: Extracting #0: cost 1 inf + 0
0.975 * * [simplify]: Extracting #1: cost 4 inf + 0
0.975 * * [simplify]: Extracting #2: cost 5 inf + 1
0.975 * * [simplify]: Extracting #3: cost 7 inf + 1
0.976 * * [simplify]: Extracting #4: cost 0 inf + 494
0.976 * [simplify]: Simplified to (/ t (sqrt (+ 1 t)))
0.976 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))
0.976 * * * * [progress]: [ 14 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t)))))))>
0.976 * [simplify]: Simplifying (/ 2 1)
0.977 * * [simplify]: iters left: 2 (3 enodes)
0.979 * * [simplify]: iters left: 1 (9 enodes)
0.983 * * [simplify]: Extracting #0: cost 1 inf + 0
0.984 * * [simplify]: Extracting #1: cost 0 inf + 1
0.984 * [simplify]: Simplified to 2
0.984 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
0.984 * [simplify]: Simplifying (/ t (+ 1 t))
0.984 * * [simplify]: iters left: 4 (4 enodes)
0.986 * * [simplify]: iters left: 3 (15 enodes)
0.991 * * [simplify]: iters left: 2 (17 enodes)
0.996 * * [simplify]: Extracting #0: cost 1 inf + 0
0.996 * * [simplify]: Extracting #1: cost 4 inf + 0
0.996 * * [simplify]: Extracting #2: cost 5 inf + 1
0.996 * * [simplify]: Extracting #3: cost 3 inf + 44
0.997 * * [simplify]: Extracting #4: cost 1 inf + 168
0.997 * * [simplify]: Extracting #5: cost 0 inf + 250
0.997 * [simplify]: Simplified to (/ t (+ 1 t))
0.997 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
0.997 * * * * [progress]: [ 15 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t)))))))>
0.997 * [simplify]: Simplifying (/ 2 1)
0.997 * * [simplify]: iters left: 2 (3 enodes)
1.000 * * [simplify]: iters left: 1 (9 enodes)
1.003 * * [simplify]: Extracting #0: cost 1 inf + 0
1.003 * * [simplify]: Extracting #1: cost 0 inf + 1
1.003 * [simplify]: Simplified to 2
1.003 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
1.003 * [simplify]: Simplifying (/ t (+ 1 t))
1.003 * * [simplify]: iters left: 4 (4 enodes)
1.005 * * [simplify]: iters left: 3 (15 enodes)
1.010 * * [simplify]: iters left: 2 (17 enodes)
1.016 * * [simplify]: Extracting #0: cost 1 inf + 0
1.016 * * [simplify]: Extracting #1: cost 4 inf + 0
1.016 * * [simplify]: Extracting #2: cost 5 inf + 1
1.016 * * [simplify]: Extracting #3: cost 3 inf + 44
1.016 * * [simplify]: Extracting #4: cost 1 inf + 168
1.016 * * [simplify]: Extracting #5: cost 0 inf + 250
1.016 * [simplify]: Simplified to (/ t (+ 1 t))
1.016 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
1.017 * * * * [progress]: [ 16 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 1 (/ (* 2 t) (+ 1 t)))))))>
1.017 * * * * [progress]: [ 17 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (* 2 t) (/ 1 (+ 1 t)))))))>
1.017 * * * * [progress]: [ 18 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 1 (/ (+ 1 t) (* 2 t)))))))>
1.017 * * * * [progress]: [ 19 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t)))))))>
1.017 * [simplify]: Simplifying (cbrt (+ 1 t))
1.017 * * [simplify]: iters left: 3 (4 enodes)
1.019 * * [simplify]: iters left: 2 (15 enodes)
1.024 * * [simplify]: iters left: 1 (17 enodes)
1.028 * * [simplify]: Extracting #0: cost 1 inf + 0
1.029 * * [simplify]: Extracting #1: cost 3 inf + 0
1.029 * * [simplify]: Extracting #2: cost 6 inf + 0
1.029 * * [simplify]: Extracting #3: cost 2 inf + 86
1.029 * * [simplify]: Extracting #4: cost 1 inf + 208
1.029 * * [simplify]: Extracting #5: cost 0 inf + 330
1.029 * [simplify]: Simplified to (cbrt (+ t 1))
1.029 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1)))))))
1.029 * * * * [progress]: [ 20 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t)))))))>
1.030 * [simplify]: Simplifying (sqrt (+ 1 t))
1.030 * * [simplify]: iters left: 3 (4 enodes)
1.032 * * [simplify]: iters left: 2 (15 enodes)
1.036 * * [simplify]: iters left: 1 (17 enodes)
1.044 * * [simplify]: Extracting #0: cost 1 inf + 0
1.044 * * [simplify]: Extracting #1: cost 3 inf + 0
1.044 * * [simplify]: Extracting #2: cost 6 inf + 0
1.044 * * [simplify]: Extracting #3: cost 2 inf + 86
1.044 * * [simplify]: Extracting #4: cost 1 inf + 168
1.045 * * [simplify]: Extracting #5: cost 0 inf + 250
1.045 * [simplify]: Simplified to (sqrt (+ t 1))
1.045 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1)))))))
1.045 * * * * [progress]: [ 21 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t))))))>
1.045 * [simplify]: Simplifying (+ 1 t)
1.045 * * [simplify]: iters left: 2 (3 enodes)
1.047 * * [simplify]: iters left: 1 (12 enodes)
1.051 * * [simplify]: Extracting #0: cost 1 inf + 0
1.051 * * [simplify]: Extracting #1: cost 4 inf + 0
1.051 * * [simplify]: Extracting #2: cost 2 inf + 2
1.051 * * [simplify]: Extracting #3: cost 0 inf + 86
1.051 * [simplify]: Simplified to (+ t 1)
1.051 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1))))))
1.052 * * * * [progress]: [ 22 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t))))))>
1.052 * [simplify]: Simplifying (+ 1 t)
1.052 * * [simplify]: iters left: 2 (3 enodes)
1.054 * * [simplify]: iters left: 1 (12 enodes)
1.056 * * [simplify]: Extracting #0: cost 1 inf + 0
1.056 * * [simplify]: Extracting #1: cost 4 inf + 0
1.056 * * [simplify]: Extracting #2: cost 2 inf + 2
1.056 * * [simplify]: Extracting #3: cost 0 inf + 86
1.056 * [simplify]: Simplified to (+ t 1)
1.056 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1))))))
1.057 * * * * [progress]: [ 23 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 2 (/ (+ 1 t) t))))))>
1.057 * * * * [progress]: [ 24 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t))))))))>
1.057 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1.057 * * [simplify]: iters left: 6 (7 enodes)
1.059 * * [simplify]: iters left: 5 (24 enodes)
1.063 * * [simplify]: iters left: 4 (43 enodes)
1.070 * * [simplify]: iters left: 3 (68 enodes)
1.079 * * [simplify]: iters left: 2 (77 enodes)
1.094 * * [simplify]: iters left: 1 (93 enodes)
1.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1.118 * * [simplify]: Extracting #1: cost 14 inf + 0
1.119 * * [simplify]: Extracting #2: cost 13 inf + 413
1.119 * * [simplify]: Extracting #3: cost 2 inf + 1188
1.120 * * [simplify]: Extracting #4: cost 0 inf + 1351
1.121 * [simplify]: Simplified to (+ (- (* t t) t) 1)
1.121 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (- (* t t) t) 1))))))
1.121 * * * * [progress]: [ 25 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t))))))>
1.122 * [simplify]: Simplifying (- 1 t)
1.122 * * [simplify]: iters left: 2 (3 enodes)
1.124 * * [simplify]: iters left: 1 (13 enodes)
1.128 * * [simplify]: Extracting #0: cost 1 inf + 0
1.129 * * [simplify]: Extracting #1: cost 5 inf + 0
1.129 * * [simplify]: Extracting #2: cost 3 inf + 43
1.129 * * [simplify]: Extracting #3: cost 0 inf + 168
1.129 * [simplify]: Simplified to (- 1 t)
1.129 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t))))))
1.129 * * * * [progress]: [ 26 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (posit16->real (real->posit16 (/ (* 2 t) (+ 1 t))))))))>
1.129 * * * * [progress]: [ 27 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (pow (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t))))))>
1.129 * * * * [progress]: [ 28 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (+ (log 2) (log t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.130 * [simplify]: Simplifying (- (+ (log 2) (log t)) (log (+ 1 t)))
1.130 * * [simplify]: iters left: 5 (9 enodes)
1.135 * * [simplify]: iters left: 4 (35 enodes)
1.148 * * [simplify]: iters left: 3 (49 enodes)
1.163 * * [simplify]: iters left: 2 (58 enodes)
1.176 * * [simplify]: iters left: 1 (62 enodes)
1.183 * * [simplify]: Extracting #0: cost 1 inf + 0
1.183 * * [simplify]: Extracting #1: cost 11 inf + 0
1.184 * * [simplify]: Extracting #2: cost 23 inf + 0
1.184 * * [simplify]: Extracting #3: cost 22 inf + 73
1.184 * * [simplify]: Extracting #4: cost 18 inf + 327
1.184 * * [simplify]: Extracting #5: cost 5 inf + 2555
1.185 * * [simplify]: Extracting #6: cost 0 inf + 3487
1.185 * [simplify]: Simplified to (- (+ (log 2) (log t)) (log (+ 1 t)))
1.185 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (+ (log 2) (log t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1.185 * * * * [progress]: [ 29 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (log (* 2 t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.185 * [simplify]: Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1.185 * * [simplify]: iters left: 5 (8 enodes)
1.188 * * [simplify]: iters left: 4 (33 enodes)
1.193 * * [simplify]: iters left: 3 (47 enodes)
1.200 * * [simplify]: iters left: 2 (57 enodes)
1.214 * * [simplify]: iters left: 1 (65 enodes)
1.231 * * [simplify]: Extracting #0: cost 1 inf + 0
1.231 * * [simplify]: Extracting #1: cost 11 inf + 0
1.231 * * [simplify]: Extracting #2: cost 24 inf + 0
1.231 * * [simplify]: Extracting #3: cost 23 inf + 144
1.232 * * [simplify]: Extracting #4: cost 15 inf + 636
1.232 * * [simplify]: Extracting #5: cost 6 inf + 2138
1.233 * * [simplify]: Extracting #6: cost 0 inf + 3443
1.234 * [simplify]: Simplified to (- (log (* 2 t)) (log (+ t 1)))
1.235 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (log (* 2 t)) (log (+ t 1)))) (/ (* 2 t) (+ 1 t))))))
1.235 * * * * [progress]: [ 30 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (log (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.235 * * * * [progress]: [ 31 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (log (exp (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.235 * * * * [progress]: [ 32 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.235 * [simplify]: Simplifying (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1.235 * * [simplify]: iters left: 6 (12 enodes)
1.243 * * [simplify]: iters left: 5 (67 enodes)
1.278 * * [simplify]: iters left: 4 (219 enodes)
1.460 * * [simplify]: Extracting #0: cost 1 inf + 0
1.460 * * [simplify]: Extracting #1: cost 93 inf + 0
1.461 * * [simplify]: Extracting #2: cost 234 inf + 621
1.469 * * [simplify]: Extracting #3: cost 95 inf + 20456
1.488 * * [simplify]: Extracting #4: cost 1 inf + 35927
1.508 * * [simplify]: Extracting #5: cost 0 inf + 36048
1.527 * [simplify]: Simplified to (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))
1.527 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))) (/ (* 2 t) (+ 1 t))))))
1.527 * * * * [progress]: [ 33 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.528 * [simplify]: Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1.528 * * [simplify]: iters left: 6 (10 enodes)
1.536 * * [simplify]: iters left: 5 (65 enodes)
1.557 * * [simplify]: iters left: 4 (211 enodes)
1.683 * * [simplify]: Extracting #0: cost 1 inf + 0
1.683 * * [simplify]: Extracting #1: cost 98 inf + 0
1.684 * * [simplify]: Extracting #2: cost 220 inf + 1475
1.689 * * [simplify]: Extracting #3: cost 87 inf + 24476
1.701 * * [simplify]: Extracting #4: cost 1 inf + 38804
1.712 * * [simplify]: Extracting #5: cost 0 inf + 38325
1.732 * [simplify]: Simplified to (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))
1.732 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))) (/ (* 2 t) (+ 1 t))))))
1.732 * * * * [progress]: [ 34 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.732 * * * * [progress]: [ 35 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.732 * * * * [progress]: [ 36 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.732 * * * * [progress]: [ 37 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (- (* 2 t)) (- (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.733 * * * * [progress]: [ 38 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.733 * [simplify]: Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1.733 * * [simplify]: iters left: 6 (7 enodes)
1.737 * * [simplify]: iters left: 5 (26 enodes)
1.746 * * [simplify]: iters left: 4 (30 enodes)
1.759 * * [simplify]: Extracting #0: cost 1 inf + 0
1.759 * * [simplify]: Extracting #1: cost 6 inf + 0
1.759 * * [simplify]: Extracting #2: cost 9 inf + 1
1.759 * * [simplify]: Extracting #3: cost 12 inf + 1
1.759 * * [simplify]: Extracting #4: cost 8 inf + 87
1.759 * * [simplify]: Extracting #5: cost 4 inf + 697
1.760 * * [simplify]: Extracting #6: cost 1 inf + 1184
1.760 * * [simplify]: Extracting #7: cost 0 inf + 1387
1.760 * [simplify]: Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1.760 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1.760 * [simplify]: Simplifying (/ t (cbrt (+ 1 t)))
1.760 * * [simplify]: iters left: 5 (5 enodes)
1.762 * * [simplify]: iters left: 4 (18 enodes)
1.765 * * [simplify]: iters left: 3 (20 enodes)
1.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1.768 * * [simplify]: Extracting #1: cost 4 inf + 0
1.768 * * [simplify]: Extracting #2: cost 5 inf + 1
1.768 * * [simplify]: Extracting #3: cost 7 inf + 1
1.768 * * [simplify]: Extracting #4: cost 0 inf + 654
1.768 * [simplify]: Simplified to (/ t (cbrt (+ 1 t)))
1.768 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1.768 * * * * [progress]: [ 39 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.768 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t)))
1.768 * * [simplify]: iters left: 5 (6 enodes)
1.770 * * [simplify]: iters left: 4 (21 enodes)
1.773 * * [simplify]: iters left: 3 (23 enodes)
1.777 * * [simplify]: Extracting #0: cost 1 inf + 0
1.777 * * [simplify]: Extracting #1: cost 4 inf + 0
1.777 * * [simplify]: Extracting #2: cost 5 inf + 1
1.777 * * [simplify]: Extracting #3: cost 8 inf + 1
1.777 * * [simplify]: Extracting #4: cost 6 inf + 3
1.777 * * [simplify]: Extracting #5: cost 1 inf + 374
1.777 * * [simplify]: Extracting #6: cost 0 inf + 497
1.777 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t)))
1.777 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1.778 * [simplify]: Simplifying (/ t (sqrt (+ 1 t)))
1.778 * * [simplify]: iters left: 5 (5 enodes)
1.779 * * [simplify]: iters left: 4 (18 enodes)
1.782 * * [simplify]: iters left: 3 (20 enodes)
1.785 * * [simplify]: Extracting #0: cost 1 inf + 0
1.785 * * [simplify]: Extracting #1: cost 4 inf + 0
1.785 * * [simplify]: Extracting #2: cost 5 inf + 1
1.785 * * [simplify]: Extracting #3: cost 7 inf + 1
1.785 * * [simplify]: Extracting #4: cost 0 inf + 494
1.785 * [simplify]: Simplified to (/ t (sqrt (+ 1 t)))
1.785 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1.785 * * * * [progress]: [ 40 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.785 * [simplify]: Simplifying (/ 2 1)
1.785 * * [simplify]: iters left: 2 (3 enodes)
1.787 * * [simplify]: iters left: 1 (9 enodes)
1.788 * * [simplify]: Extracting #0: cost 1 inf + 0
1.788 * * [simplify]: Extracting #1: cost 0 inf + 1
1.788 * [simplify]: Simplified to 2
1.788 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1.789 * [simplify]: Simplifying (/ t (+ 1 t))
1.789 * * [simplify]: iters left: 4 (4 enodes)
1.790 * * [simplify]: iters left: 3 (15 enodes)
1.793 * * [simplify]: iters left: 2 (17 enodes)
1.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1.796 * * [simplify]: Extracting #1: cost 4 inf + 0
1.796 * * [simplify]: Extracting #2: cost 5 inf + 1
1.796 * * [simplify]: Extracting #3: cost 3 inf + 44
1.796 * * [simplify]: Extracting #4: cost 1 inf + 168
1.796 * * [simplify]: Extracting #5: cost 0 inf + 250
1.796 * [simplify]: Simplified to (/ t (+ 1 t))
1.796 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1.796 * * * * [progress]: [ 41 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.796 * [simplify]: Simplifying (/ 2 1)
1.796 * * [simplify]: iters left: 2 (3 enodes)
1.797 * * [simplify]: iters left: 1 (9 enodes)
1.799 * * [simplify]: Extracting #0: cost 1 inf + 0
1.799 * * [simplify]: Extracting #1: cost 0 inf + 1
1.799 * [simplify]: Simplified to 2
1.799 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1.799 * [simplify]: Simplifying (/ t (+ 1 t))
1.799 * * [simplify]: iters left: 4 (4 enodes)
1.800 * * [simplify]: iters left: 3 (15 enodes)
1.803 * * [simplify]: iters left: 2 (17 enodes)
1.805 * * [simplify]: Extracting #0: cost 1 inf + 0
1.805 * * [simplify]: Extracting #1: cost 4 inf + 0
1.805 * * [simplify]: Extracting #2: cost 5 inf + 1
1.805 * * [simplify]: Extracting #3: cost 3 inf + 44
1.805 * * [simplify]: Extracting #4: cost 1 inf + 168
1.805 * * [simplify]: Extracting #5: cost 0 inf + 250
1.806 * [simplify]: Simplified to (/ t (+ 1 t))
1.806 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1.806 * * * * [progress]: [ 42 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 1 (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.806 * * * * [progress]: [ 43 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (* 2 t) (/ 1 (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.806 * * * * [progress]: [ 44 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 1 (/ (+ 1 t) (* 2 t))) (/ (* 2 t) (+ 1 t))))))>
1.806 * * * * [progress]: [ 45 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.806 * [simplify]: Simplifying (cbrt (+ 1 t))
1.806 * * [simplify]: iters left: 3 (4 enodes)
1.808 * * [simplify]: iters left: 2 (15 enodes)
1.812 * * [simplify]: iters left: 1 (17 enodes)
1.817 * * [simplify]: Extracting #0: cost 1 inf + 0
1.817 * * [simplify]: Extracting #1: cost 3 inf + 0
1.817 * * [simplify]: Extracting #2: cost 6 inf + 0
1.817 * * [simplify]: Extracting #3: cost 2 inf + 86
1.817 * * [simplify]: Extracting #4: cost 1 inf + 208
1.818 * * [simplify]: Extracting #5: cost 0 inf + 330
1.818 * [simplify]: Simplified to (cbrt (+ t 1))
1.818 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* 2 t) (+ 1 t))))))
1.818 * * * * [progress]: [ 46 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1.818 * [simplify]: Simplifying (sqrt (+ 1 t))
1.818 * * [simplify]: iters left: 3 (4 enodes)
1.821 * * [simplify]: iters left: 2 (15 enodes)
1.825 * * [simplify]: iters left: 1 (17 enodes)
1.830 * * [simplify]: Extracting #0: cost 1 inf + 0
1.830 * * [simplify]: Extracting #1: cost 3 inf + 0
1.830 * * [simplify]: Extracting #2: cost 6 inf + 0
1.831 * * [simplify]: Extracting #3: cost 2 inf + 86
1.831 * * [simplify]: Extracting #4: cost 1 inf + 168
1.831 * * [simplify]: Extracting #5: cost 0 inf + 250
1.831 * [simplify]: Simplified to (sqrt (+ t 1))
1.831 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* 2 t) (+ 1 t))))))
1.831 * * * * [progress]: [ 47 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1.831 * [simplify]: Simplifying (+ 1 t)
1.832 * * [simplify]: iters left: 2 (3 enodes)
1.833 * * [simplify]: iters left: 1 (12 enodes)
1.837 * * [simplify]: Extracting #0: cost 1 inf + 0
1.837 * * [simplify]: Extracting #1: cost 4 inf + 0
1.837 * * [simplify]: Extracting #2: cost 2 inf + 2
1.837 * * [simplify]: Extracting #3: cost 0 inf + 86
1.837 * [simplify]: Simplified to (+ t 1)
1.838 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t))))))
1.838 * * * * [progress]: [ 48 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1.838 * [simplify]: Simplifying (+ 1 t)
1.838 * * [simplify]: iters left: 2 (3 enodes)
1.840 * * [simplify]: iters left: 1 (12 enodes)
1.844 * * [simplify]: Extracting #0: cost 1 inf + 0
1.844 * * [simplify]: Extracting #1: cost 4 inf + 0
1.844 * * [simplify]: Extracting #2: cost 2 inf + 2
1.844 * * [simplify]: Extracting #3: cost 0 inf + 86
1.844 * [simplify]: Simplified to (+ t 1)
1.844 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t))))))
1.844 * * * * [progress]: [ 49 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (/ (+ 1 t) t)) (/ (* 2 t) (+ 1 t))))))>
1.844 * * * * [progress]: [ 50 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.844 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1.845 * * [simplify]: iters left: 6 (7 enodes)
1.848 * * [simplify]: iters left: 5 (24 enodes)
1.856 * * [simplify]: iters left: 4 (43 enodes)
1.870 * * [simplify]: iters left: 3 (68 enodes)
1.889 * * [simplify]: iters left: 2 (77 enodes)
1.909 * * [simplify]: iters left: 1 (93 enodes)
1.933 * * [simplify]: Extracting #0: cost 1 inf + 0
1.933 * * [simplify]: Extracting #1: cost 14 inf + 0
1.933 * * [simplify]: Extracting #2: cost 13 inf + 413
1.934 * * [simplify]: Extracting #3: cost 2 inf + 1188
1.935 * * [simplify]: Extracting #4: cost 0 inf + 1351
1.936 * [simplify]: Simplified to (+ (- (* t t) t) 1)
1.936 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (- (* t t) t) 1)) (/ (* 2 t) (+ 1 t))))))
1.936 * * * * [progress]: [ 51 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t))))))>
1.937 * [simplify]: Simplifying (- 1 t)
1.937 * * [simplify]: iters left: 2 (3 enodes)
1.939 * * [simplify]: iters left: 1 (13 enodes)
1.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1.943 * * [simplify]: Extracting #1: cost 5 inf + 0
1.943 * * [simplify]: Extracting #2: cost 3 inf + 43
1.944 * * [simplify]: Extracting #3: cost 0 inf + 168
1.944 * [simplify]: Simplified to (- 1 t)
1.944 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t))))))
1.944 * * * * [progress]: [ 52 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (posit16->real (real->posit16 (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1.944 * * * * [progress]: [ 53 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (pow (/ (* 2 t) (+ 1 t)) 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1.944 * * * * [progress]: [ 54 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (+ (log 2) (log t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1.944 * [simplify]: Simplifying (- (+ (log 2) (log t)) (log (+ 1 t)))
1.945 * * [simplify]: iters left: 5 (9 enodes)
1.950 * * [simplify]: iters left: 4 (35 enodes)
1.961 * * [simplify]: iters left: 3 (49 enodes)
1.976 * * [simplify]: iters left: 2 (58 enodes)
1.992 * * [simplify]: iters left: 1 (62 enodes)
2.008 * * [simplify]: Extracting #0: cost 1 inf + 0
2.008 * * [simplify]: Extracting #1: cost 11 inf + 0
2.008 * * [simplify]: Extracting #2: cost 23 inf + 0
2.008 * * [simplify]: Extracting #3: cost 22 inf + 73
2.008 * * [simplify]: Extracting #4: cost 18 inf + 327
2.009 * * [simplify]: Extracting #5: cost 5 inf + 2555
2.010 * * [simplify]: Extracting #6: cost 0 inf + 3487
2.011 * [simplify]: Simplified to (- (+ (log 2) (log t)) (log (+ 1 t)))
2.011 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (+ (log 2) (log t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.011 * * * * [progress]: [ 55 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.012 * [simplify]: Simplifying (- (log (* 2 t)) (log (+ 1 t)))
2.012 * * [simplify]: iters left: 5 (8 enodes)
2.017 * * [simplify]: iters left: 4 (33 enodes)
2.031 * * [simplify]: iters left: 3 (47 enodes)
2.045 * * [simplify]: iters left: 2 (57 enodes)
2.059 * * [simplify]: iters left: 1 (65 enodes)
2.075 * * [simplify]: Extracting #0: cost 1 inf + 0
2.075 * * [simplify]: Extracting #1: cost 11 inf + 0
2.075 * * [simplify]: Extracting #2: cost 24 inf + 0
2.076 * * [simplify]: Extracting #3: cost 23 inf + 144
2.076 * * [simplify]: Extracting #4: cost 15 inf + 636
2.076 * * [simplify]: Extracting #5: cost 6 inf + 2138
2.077 * * [simplify]: Extracting #6: cost 0 inf + 3443
2.078 * [simplify]: Simplified to (- (log (* 2 t)) (log (+ t 1)))
2.078 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.078 * * * * [progress]: [ 56 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.079 * * * * [progress]: [ 57 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (log (exp (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.079 * * * * [progress]: [ 58 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.079 * [simplify]: Simplifying (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
2.079 * * [simplify]: iters left: 6 (12 enodes)
2.086 * * [simplify]: iters left: 5 (67 enodes)
2.117 * * [simplify]: iters left: 4 (219 enodes)
2.269 * * [simplify]: Extracting #0: cost 1 inf + 0
2.269 * * [simplify]: Extracting #1: cost 93 inf + 0
2.270 * * [simplify]: Extracting #2: cost 234 inf + 621
2.274 * * [simplify]: Extracting #3: cost 95 inf + 20456
2.293 * * [simplify]: Extracting #4: cost 1 inf + 35927
2.315 * * [simplify]: Extracting #5: cost 0 inf + 36048
2.334 * [simplify]: Simplified to (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))
2.334 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.334 * * * * [progress]: [ 59 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.335 * [simplify]: Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
2.335 * * [simplify]: iters left: 6 (10 enodes)
2.339 * * [simplify]: iters left: 5 (65 enodes)
2.354 * * [simplify]: iters left: 4 (211 enodes)
2.511 * * [simplify]: Extracting #0: cost 1 inf + 0
2.511 * * [simplify]: Extracting #1: cost 98 inf + 0
2.514 * * [simplify]: Extracting #2: cost 220 inf + 1475
2.521 * * [simplify]: Extracting #3: cost 87 inf + 24476
2.532 * * [simplify]: Extracting #4: cost 1 inf + 38804
2.544 * * [simplify]: Extracting #5: cost 0 inf + 38325
2.564 * [simplify]: Simplified to (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))
2.564 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.564 * * * * [progress]: [ 60 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.565 * * * * [progress]: [ 61 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.565 * * * * [progress]: [ 62 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.565 * * * * [progress]: [ 63 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (- (* 2 t)) (- (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.565 * * * * [progress]: [ 64 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.565 * [simplify]: Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
2.565 * * [simplify]: iters left: 6 (7 enodes)
2.569 * * [simplify]: iters left: 5 (26 enodes)
2.578 * * [simplify]: iters left: 4 (30 enodes)
2.585 * * [simplify]: Extracting #0: cost 1 inf + 0
2.585 * * [simplify]: Extracting #1: cost 6 inf + 0
2.585 * * [simplify]: Extracting #2: cost 9 inf + 1
2.585 * * [simplify]: Extracting #3: cost 12 inf + 1
2.585 * * [simplify]: Extracting #4: cost 8 inf + 87
2.585 * * [simplify]: Extracting #5: cost 4 inf + 697
2.586 * * [simplify]: Extracting #6: cost 1 inf + 1184
2.586 * * [simplify]: Extracting #7: cost 0 inf + 1387
2.586 * [simplify]: Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
2.586 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.586 * [simplify]: Simplifying (/ t (cbrt (+ 1 t)))
2.586 * * [simplify]: iters left: 5 (5 enodes)
2.588 * * [simplify]: iters left: 4 (18 enodes)
2.591 * * [simplify]: iters left: 3 (20 enodes)
2.594 * * [simplify]: Extracting #0: cost 1 inf + 0
2.594 * * [simplify]: Extracting #1: cost 4 inf + 0
2.594 * * [simplify]: Extracting #2: cost 5 inf + 1
2.594 * * [simplify]: Extracting #3: cost 7 inf + 1
2.594 * * [simplify]: Extracting #4: cost 0 inf + 654
2.594 * [simplify]: Simplified to (/ t (cbrt (+ 1 t)))
2.594 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.594 * * * * [progress]: [ 65 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.594 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t)))
2.595 * * [simplify]: iters left: 5 (6 enodes)
2.596 * * [simplify]: iters left: 4 (21 enodes)
2.600 * * [simplify]: iters left: 3 (23 enodes)
2.604 * * [simplify]: Extracting #0: cost 1 inf + 0
2.604 * * [simplify]: Extracting #1: cost 4 inf + 0
2.604 * * [simplify]: Extracting #2: cost 5 inf + 1
2.604 * * [simplify]: Extracting #3: cost 8 inf + 1
2.604 * * [simplify]: Extracting #4: cost 6 inf + 3
2.604 * * [simplify]: Extracting #5: cost 1 inf + 374
2.604 * * [simplify]: Extracting #6: cost 0 inf + 497
2.604 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t)))
2.604 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.604 * [simplify]: Simplifying (/ t (sqrt (+ 1 t)))
2.605 * * [simplify]: iters left: 5 (5 enodes)
2.606 * * [simplify]: iters left: 4 (18 enodes)
2.610 * * [simplify]: iters left: 3 (20 enodes)
2.613 * * [simplify]: Extracting #0: cost 1 inf + 0
2.613 * * [simplify]: Extracting #1: cost 4 inf + 0
2.613 * * [simplify]: Extracting #2: cost 5 inf + 1
2.614 * * [simplify]: Extracting #3: cost 7 inf + 1
2.614 * * [simplify]: Extracting #4: cost 0 inf + 494
2.614 * [simplify]: Simplified to (/ t (sqrt (+ 1 t)))
2.614 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.614 * * * * [progress]: [ 66 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.614 * [simplify]: Simplifying (/ 2 1)
2.614 * * [simplify]: iters left: 2 (3 enodes)
2.615 * * [simplify]: iters left: 1 (9 enodes)
2.617 * * [simplify]: Extracting #0: cost 1 inf + 0
2.617 * * [simplify]: Extracting #1: cost 0 inf + 1
2.617 * [simplify]: Simplified to 2
2.617 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.617 * [simplify]: Simplifying (/ t (+ 1 t))
2.617 * * [simplify]: iters left: 4 (4 enodes)
2.619 * * [simplify]: iters left: 3 (15 enodes)
2.621 * * [simplify]: iters left: 2 (17 enodes)
2.624 * * [simplify]: Extracting #0: cost 1 inf + 0
2.624 * * [simplify]: Extracting #1: cost 4 inf + 0
2.624 * * [simplify]: Extracting #2: cost 5 inf + 1
2.624 * * [simplify]: Extracting #3: cost 3 inf + 44
2.624 * * [simplify]: Extracting #4: cost 1 inf + 168
2.624 * * [simplify]: Extracting #5: cost 0 inf + 250
2.624 * [simplify]: Simplified to (/ t (+ 1 t))
2.624 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.624 * * * * [progress]: [ 67 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.625 * [simplify]: Simplifying (/ 2 1)
2.625 * * [simplify]: iters left: 2 (3 enodes)
2.626 * * [simplify]: iters left: 1 (9 enodes)
2.628 * * [simplify]: Extracting #0: cost 1 inf + 0
2.628 * * [simplify]: Extracting #1: cost 0 inf + 1
2.628 * [simplify]: Simplified to 2
2.628 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.629 * [simplify]: Simplifying (/ t (+ 1 t))
2.629 * * [simplify]: iters left: 4 (4 enodes)
2.631 * * [simplify]: iters left: 3 (15 enodes)
2.636 * * [simplify]: iters left: 2 (17 enodes)
2.641 * * [simplify]: Extracting #0: cost 1 inf + 0
2.641 * * [simplify]: Extracting #1: cost 4 inf + 0
2.641 * * [simplify]: Extracting #2: cost 5 inf + 1
2.642 * * [simplify]: Extracting #3: cost 3 inf + 44
2.642 * * [simplify]: Extracting #4: cost 1 inf + 168
2.642 * * [simplify]: Extracting #5: cost 0 inf + 250
2.642 * [simplify]: Simplified to (/ t (+ 1 t))
2.642 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.642 * * * * [progress]: [ 68 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 1 (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.642 * * * * [progress]: [ 69 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (* 2 t) (/ 1 (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.642 * * * * [progress]: [ 70 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ 1 (/ (+ 1 t) (* 2 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.642 * * * * [progress]: [ 71 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.643 * [simplify]: Simplifying (cbrt (+ 1 t))
2.643 * * [simplify]: iters left: 3 (4 enodes)
2.645 * * [simplify]: iters left: 2 (15 enodes)
2.650 * * [simplify]: iters left: 1 (17 enodes)
2.655 * * [simplify]: Extracting #0: cost 1 inf + 0
2.655 * * [simplify]: Extracting #1: cost 3 inf + 0
2.655 * * [simplify]: Extracting #2: cost 6 inf + 0
2.655 * * [simplify]: Extracting #3: cost 2 inf + 86
2.656 * * [simplify]: Extracting #4: cost 1 inf + 208
2.656 * * [simplify]: Extracting #5: cost 0 inf + 330
2.656 * [simplify]: Simplified to (cbrt (+ t 1))
2.656 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.656 * * * * [progress]: [ 72 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.656 * [simplify]: Simplifying (sqrt (+ 1 t))
2.656 * * [simplify]: iters left: 3 (4 enodes)
2.659 * * [simplify]: iters left: 2 (15 enodes)
2.663 * * [simplify]: iters left: 1 (17 enodes)
2.668 * * [simplify]: Extracting #0: cost 1 inf + 0
2.668 * * [simplify]: Extracting #1: cost 3 inf + 0
2.668 * * [simplify]: Extracting #2: cost 6 inf + 0
2.668 * * [simplify]: Extracting #3: cost 2 inf + 86
2.668 * * [simplify]: Extracting #4: cost 1 inf + 168
2.668 * * [simplify]: Extracting #5: cost 0 inf + 250
2.669 * [simplify]: Simplified to (sqrt (+ t 1))
2.669 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.669 * * * * [progress]: [ 73 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.669 * [simplify]: Simplifying (+ 1 t)
2.669 * * [simplify]: iters left: 2 (3 enodes)
2.671 * * [simplify]: iters left: 1 (12 enodes)
2.675 * * [simplify]: Extracting #0: cost 1 inf + 0
2.675 * * [simplify]: Extracting #1: cost 4 inf + 0
2.675 * * [simplify]: Extracting #2: cost 2 inf + 2
2.675 * * [simplify]: Extracting #3: cost 0 inf + 86
2.676 * [simplify]: Simplified to (+ t 1)
2.676 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.676 * * * * [progress]: [ 74 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.676 * [simplify]: Simplifying (+ 1 t)
2.676 * * [simplify]: iters left: 2 (3 enodes)
2.678 * * [simplify]: iters left: 1 (12 enodes)
2.682 * * [simplify]: Extracting #0: cost 1 inf + 0
2.682 * * [simplify]: Extracting #1: cost 4 inf + 0
2.682 * * [simplify]: Extracting #2: cost 2 inf + 2
2.682 * * [simplify]: Extracting #3: cost 0 inf + 86
2.682 * [simplify]: Simplified to (+ t 1)
2.682 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.682 * * * * [progress]: [ 75 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ 2 (/ (+ 1 t) t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.682 * * * * [progress]: [ 76 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.682 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
2.683 * * [simplify]: iters left: 6 (7 enodes)
2.686 * * [simplify]: iters left: 5 (24 enodes)
2.691 * * [simplify]: iters left: 4 (43 enodes)
2.698 * * [simplify]: iters left: 3 (68 enodes)
2.706 * * [simplify]: iters left: 2 (77 enodes)
2.716 * * [simplify]: iters left: 1 (93 enodes)
2.741 * * [simplify]: Extracting #0: cost 1 inf + 0
2.741 * * [simplify]: Extracting #1: cost 14 inf + 0
2.741 * * [simplify]: Extracting #2: cost 13 inf + 413
2.742 * * [simplify]: Extracting #3: cost 2 inf + 1188
2.743 * * [simplify]: Extracting #4: cost 0 inf + 1351
2.744 * [simplify]: Simplified to (+ (- (* t t) t) 1)
2.744 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (- (* t t) t) 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.744 * * * * [progress]: [ 77 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.744 * [simplify]: Simplifying (- 1 t)
2.744 * * [simplify]: iters left: 2 (3 enodes)
2.746 * * [simplify]: iters left: 1 (13 enodes)
2.751 * * [simplify]: Extracting #0: cost 1 inf + 0
2.751 * * [simplify]: Extracting #1: cost 5 inf + 0
2.751 * * [simplify]: Extracting #2: cost 3 inf + 43
2.751 * * [simplify]: Extracting #3: cost 0 inf + 168
2.751 * [simplify]: Simplified to (- 1 t)
2.751 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.751 * * * * [progress]: [ 78 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (posit16->real (real->posit16 (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.751 * * * * [progress]: [ 79 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.751 * * * * [progress]: [ 80 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (- (+ (log 2) (log t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.752 * [simplify]: Simplifying (- (+ (log 2) (log t)) (log (+ 1 t)))
2.752 * * [simplify]: iters left: 5 (9 enodes)
2.756 * * [simplify]: iters left: 4 (35 enodes)
2.762 * * [simplify]: iters left: 3 (49 enodes)
2.770 * * [simplify]: iters left: 2 (58 enodes)
2.778 * * [simplify]: iters left: 1 (62 enodes)
2.789 * * [simplify]: Extracting #0: cost 1 inf + 0
2.789 * * [simplify]: Extracting #1: cost 11 inf + 0
2.789 * * [simplify]: Extracting #2: cost 23 inf + 0
2.789 * * [simplify]: Extracting #3: cost 22 inf + 73
2.790 * * [simplify]: Extracting #4: cost 18 inf + 327
2.790 * * [simplify]: Extracting #5: cost 5 inf + 2555
2.792 * * [simplify]: Extracting #6: cost 0 inf + 3487
2.793 * [simplify]: Simplified to (- (+ (log 2) (log t)) (log (+ 1 t)))
2.793 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (exp (- (+ (log 2) (log t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.793 * * * * [progress]: [ 81 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (- (log (* 2 t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.793 * [simplify]: Simplifying (- (log (* 2 t)) (log (+ 1 t)))
2.794 * * [simplify]: iters left: 5 (8 enodes)
2.799 * * [simplify]: iters left: 4 (33 enodes)
2.810 * * [simplify]: iters left: 3 (47 enodes)
2.824 * * [simplify]: iters left: 2 (57 enodes)
2.834 * * [simplify]: iters left: 1 (65 enodes)
2.844 * * [simplify]: Extracting #0: cost 1 inf + 0
2.844 * * [simplify]: Extracting #1: cost 11 inf + 0
2.844 * * [simplify]: Extracting #2: cost 24 inf + 0
2.844 * * [simplify]: Extracting #3: cost 23 inf + 144
2.844 * * [simplify]: Extracting #4: cost 15 inf + 636
2.845 * * [simplify]: Extracting #5: cost 6 inf + 2138
2.845 * * [simplify]: Extracting #6: cost 0 inf + 3443
2.846 * [simplify]: Simplified to (- (log (* 2 t)) (log (+ t 1)))
2.846 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (exp (- (log (* 2 t)) (log (+ t 1)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
2.846 * * * * [progress]: [ 82 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.846 * * * * [progress]: [ 83 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.846 * * * * [progress]: [ 84 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
2.846 * [simplify]: Simplifying (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
2.846 * * [simplify]: iters left: 6 (12 enodes)
2.850 * * [simplify]: iters left: 5 (67 enodes)
2.879 * * [simplify]: iters left: 4 (219 enodes)
3.082 * * [simplify]: Extracting #0: cost 1 inf + 0
3.082 * * [simplify]: Extracting #1: cost 93 inf + 0
3.084 * * [simplify]: Extracting #2: cost 234 inf + 621
3.092 * * [simplify]: Extracting #3: cost 95 inf + 20456
3.111 * * [simplify]: Extracting #4: cost 1 inf + 35927
3.129 * * [simplify]: Extracting #5: cost 0 inf + 36048
3.138 * [simplify]: Simplified to (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))
3.138 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (cbrt (/ 8 (* (/ (+ t 1) t) (* (/ (+ t 1) t) (/ (+ t 1) t))))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.138 * * * * [progress]: [ 85 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.139 * [simplify]: Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
3.139 * * [simplify]: iters left: 6 (10 enodes)
3.142 * * [simplify]: iters left: 5 (65 enodes)
3.166 * * [simplify]: iters left: 4 (211 enodes)
3.294 * * [simplify]: Extracting #0: cost 1 inf + 0
3.295 * * [simplify]: Extracting #1: cost 98 inf + 0
3.297 * * [simplify]: Extracting #2: cost 220 inf + 1475
3.305 * * [simplify]: Extracting #3: cost 87 inf + 24476
3.316 * * [simplify]: Extracting #4: cost 1 inf + 38804
3.334 * * [simplify]: Extracting #5: cost 0 inf + 38325
3.357 * [simplify]: Simplified to (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))
3.357 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (cbrt (* (* (/ t (+ t 1)) 2) (* (* (/ t (+ t 1)) 2) (* (/ t (+ t 1)) 2)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.358 * * * * [progress]: [ 86 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.358 * * * * [progress]: [ 87 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.358 * * * * [progress]: [ 88 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.358 * * * * [progress]: [ 89 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 t)) (- (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.358 * * * * [progress]: [ 90 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.358 * [simplify]: Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
3.358 * * [simplify]: iters left: 6 (7 enodes)
3.362 * * [simplify]: iters left: 5 (26 enodes)
3.370 * * [simplify]: iters left: 4 (30 enodes)
3.379 * * [simplify]: Extracting #0: cost 1 inf + 0
3.379 * * [simplify]: Extracting #1: cost 6 inf + 0
3.379 * * [simplify]: Extracting #2: cost 9 inf + 1
3.379 * * [simplify]: Extracting #3: cost 12 inf + 1
3.379 * * [simplify]: Extracting #4: cost 8 inf + 87
3.379 * * [simplify]: Extracting #5: cost 4 inf + 697
3.380 * * [simplify]: Extracting #6: cost 1 inf + 1184
3.380 * * [simplify]: Extracting #7: cost 0 inf + 1387
3.381 * [simplify]: Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
3.381 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.381 * [simplify]: Simplifying (/ t (cbrt (+ 1 t)))
3.381 * * [simplify]: iters left: 5 (5 enodes)
3.384 * * [simplify]: iters left: 4 (18 enodes)
3.390 * * [simplify]: iters left: 3 (20 enodes)
3.395 * * [simplify]: Extracting #0: cost 1 inf + 0
3.396 * * [simplify]: Extracting #1: cost 4 inf + 0
3.396 * * [simplify]: Extracting #2: cost 5 inf + 1
3.396 * * [simplify]: Extracting #3: cost 7 inf + 1
3.396 * * [simplify]: Extracting #4: cost 0 inf + 654
3.396 * [simplify]: Simplified to (/ t (cbrt (+ 1 t)))
3.396 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.396 * * * * [progress]: [ 91 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.397 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t)))
3.397 * * [simplify]: iters left: 5 (6 enodes)
3.400 * * [simplify]: iters left: 4 (21 enodes)
3.407 * * [simplify]: iters left: 3 (23 enodes)
3.414 * * [simplify]: Extracting #0: cost 1 inf + 0
3.414 * * [simplify]: Extracting #1: cost 4 inf + 0
3.414 * * [simplify]: Extracting #2: cost 5 inf + 1
3.414 * * [simplify]: Extracting #3: cost 8 inf + 1
3.414 * * [simplify]: Extracting #4: cost 6 inf + 3
3.414 * * [simplify]: Extracting #5: cost 1 inf + 374
3.414 * * [simplify]: Extracting #6: cost 0 inf + 497
3.414 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t)))
3.415 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.415 * [simplify]: Simplifying (/ t (sqrt (+ 1 t)))
3.415 * * [simplify]: iters left: 5 (5 enodes)
3.418 * * [simplify]: iters left: 4 (18 enodes)
3.423 * * [simplify]: iters left: 3 (20 enodes)
3.429 * * [simplify]: Extracting #0: cost 1 inf + 0
3.429 * * [simplify]: Extracting #1: cost 4 inf + 0
3.429 * * [simplify]: Extracting #2: cost 5 inf + 1
3.429 * * [simplify]: Extracting #3: cost 7 inf + 1
3.429 * * [simplify]: Extracting #4: cost 0 inf + 494
3.430 * [simplify]: Simplified to (/ t (sqrt (+ 1 t)))
3.430 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.430 * * * * [progress]: [ 92 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.430 * [simplify]: Simplifying (/ 2 1)
3.430 * * [simplify]: iters left: 2 (3 enodes)
3.432 * * [simplify]: iters left: 1 (9 enodes)
3.436 * * [simplify]: Extracting #0: cost 1 inf + 0
3.436 * * [simplify]: Extracting #1: cost 0 inf + 1
3.436 * [simplify]: Simplified to 2
3.436 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.436 * [simplify]: Simplifying (/ t (+ 1 t))
3.436 * * [simplify]: iters left: 4 (4 enodes)
3.439 * * [simplify]: iters left: 3 (15 enodes)
3.444 * * [simplify]: iters left: 2 (17 enodes)
3.449 * * [simplify]: Extracting #0: cost 1 inf + 0
3.449 * * [simplify]: Extracting #1: cost 4 inf + 0
3.449 * * [simplify]: Extracting #2: cost 5 inf + 1
3.449 * * [simplify]: Extracting #3: cost 3 inf + 44
3.449 * * [simplify]: Extracting #4: cost 1 inf + 168
3.450 * * [simplify]: Extracting #5: cost 0 inf + 250
3.450 * [simplify]: Simplified to (/ t (+ 1 t))
3.450 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.450 * * * * [progress]: [ 93 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.450 * [simplify]: Simplifying (/ 2 1)
3.450 * * [simplify]: iters left: 2 (3 enodes)
3.453 * * [simplify]: iters left: 1 (9 enodes)
3.457 * * [simplify]: Extracting #0: cost 1 inf + 0
3.457 * * [simplify]: Extracting #1: cost 0 inf + 1
3.457 * [simplify]: Simplified to 2
3.457 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.457 * [simplify]: Simplifying (/ t (+ 1 t))
3.457 * * [simplify]: iters left: 4 (4 enodes)
3.460 * * [simplify]: iters left: 3 (15 enodes)
3.464 * * [simplify]: iters left: 2 (17 enodes)
3.472 * * [simplify]: Extracting #0: cost 1 inf + 0
3.472 * * [simplify]: Extracting #1: cost 4 inf + 0
3.472 * * [simplify]: Extracting #2: cost 5 inf + 1
3.472 * * [simplify]: Extracting #3: cost 3 inf + 44
3.473 * * [simplify]: Extracting #4: cost 1 inf + 168
3.473 * * [simplify]: Extracting #5: cost 0 inf + 250
3.473 * [simplify]: Simplified to (/ t (+ 1 t))
3.473 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.473 * * * * [progress]: [ 94 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.473 * * * * [progress]: [ 95 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* 2 t) (/ 1 (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.473 * * * * [progress]: [ 96 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 1 (/ (+ 1 t) (* 2 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.473 * * * * [progress]: [ 97 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.474 * [simplify]: Simplifying (cbrt (+ 1 t))
3.474 * * [simplify]: iters left: 3 (4 enodes)
3.476 * * [simplify]: iters left: 2 (15 enodes)
3.480 * * [simplify]: iters left: 1 (17 enodes)
3.483 * * [simplify]: Extracting #0: cost 1 inf + 0
3.483 * * [simplify]: Extracting #1: cost 3 inf + 0
3.483 * * [simplify]: Extracting #2: cost 6 inf + 0
3.483 * * [simplify]: Extracting #3: cost 2 inf + 86
3.483 * * [simplify]: Extracting #4: cost 1 inf + 208
3.483 * * [simplify]: Extracting #5: cost 0 inf + 330
3.483 * [simplify]: Simplified to (cbrt (+ t 1))
3.483 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.483 * * * * [progress]: [ 98 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.483 * [simplify]: Simplifying (sqrt (+ 1 t))
3.483 * * [simplify]: iters left: 3 (4 enodes)
3.485 * * [simplify]: iters left: 2 (15 enodes)
3.487 * * [simplify]: iters left: 1 (17 enodes)
3.490 * * [simplify]: Extracting #0: cost 1 inf + 0
3.490 * * [simplify]: Extracting #1: cost 3 inf + 0
3.490 * * [simplify]: Extracting #2: cost 6 inf + 0
3.490 * * [simplify]: Extracting #3: cost 2 inf + 86
3.490 * * [simplify]: Extracting #4: cost 1 inf + 168
3.490 * * [simplify]: Extracting #5: cost 0 inf + 250
3.490 * [simplify]: Simplified to (sqrt (+ t 1))
3.490 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.490 * * * * [progress]: [ 99 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.491 * [simplify]: Simplifying (+ 1 t)
3.491 * * [simplify]: iters left: 2 (3 enodes)
3.492 * * [simplify]: iters left: 1 (12 enodes)
3.494 * * [simplify]: Extracting #0: cost 1 inf + 0
3.494 * * [simplify]: Extracting #1: cost 4 inf + 0
3.494 * * [simplify]: Extracting #2: cost 2 inf + 2
3.494 * * [simplify]: Extracting #3: cost 0 inf + 86
3.494 * [simplify]: Simplified to (+ t 1)
3.494 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.494 * * * * [progress]: [ 100 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.494 * [simplify]: Simplifying (+ 1 t)
3.494 * * [simplify]: iters left: 2 (3 enodes)
3.495 * * [simplify]: iters left: 1 (12 enodes)
3.497 * * [simplify]: Extracting #0: cost 1 inf + 0
3.497 * * [simplify]: Extracting #1: cost 4 inf + 0
3.497 * * [simplify]: Extracting #2: cost 2 inf + 2
3.498 * * [simplify]: Extracting #3: cost 0 inf + 86
3.498 * [simplify]: Simplified to (+ t 1)
3.498 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.498 * * * * [progress]: [ 101 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 (/ (+ 1 t) t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.498 * * * * [progress]: [ 102 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.498 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
3.498 * * [simplify]: iters left: 6 (7 enodes)
3.500 * * [simplify]: iters left: 5 (24 enodes)
3.504 * * [simplify]: iters left: 4 (43 enodes)
3.515 * * [simplify]: iters left: 3 (68 enodes)
3.530 * * [simplify]: iters left: 2 (77 enodes)
3.547 * * [simplify]: iters left: 1 (93 enodes)
3.567 * * [simplify]: Extracting #0: cost 1 inf + 0
3.567 * * [simplify]: Extracting #1: cost 14 inf + 0
3.567 * * [simplify]: Extracting #2: cost 13 inf + 413
3.568 * * [simplify]: Extracting #3: cost 2 inf + 1188
3.568 * * [simplify]: Extracting #4: cost 0 inf + 1351
3.569 * [simplify]: Simplified to (+ (- (* t t) t) 1)
3.569 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (- (* t t) t) 1)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.569 * * * * [progress]: [ 103 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.570 * [simplify]: Simplifying (- 1 t)
3.570 * * [simplify]: iters left: 2 (3 enodes)
3.571 * * [simplify]: iters left: 1 (13 enodes)
3.575 * * [simplify]: Extracting #0: cost 1 inf + 0
3.575 * * [simplify]: Extracting #1: cost 5 inf + 0
3.575 * * [simplify]: Extracting #2: cost 3 inf + 43
3.575 * * [simplify]: Extracting #3: cost 0 inf + 168
3.575 * [simplify]: Simplified to (- 1 t)
3.575 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
3.576 * * * * [progress]: [ 104 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
3.576 * * * * [progress]: [ 105 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
3.576 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
3.576 * * [simplify]: iters left: 6 (10 enodes)
3.582 * * [simplify]: iters left: 5 (51 enodes)
3.603 * * [simplify]: iters left: 4 (109 enodes)
3.626 * * [simplify]: iters left: 3 (215 enodes)
3.696 * * [simplify]: iters left: 2 (432 enodes)
3.852 * * [simplify]: Extracting #0: cost 1 inf + 0
3.853 * * [simplify]: Extracting #1: cost 31 inf + 0
3.853 * * [simplify]: Extracting #2: cost 96 inf + 2
3.855 * * [simplify]: Extracting #3: cost 155 inf + 947
3.859 * * [simplify]: Extracting #4: cost 104 inf + 6439
3.862 * * [simplify]: Extracting #5: cost 53 inf + 20350
3.870 * * [simplify]: Extracting #6: cost 7 inf + 41278
3.876 * * [simplify]: Extracting #7: cost 0 inf + 44948
3.881 * * [simplify]: Extracting #8: cost 0 inf + 44908
3.886 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
3.886 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* t (- (* (* 2 t) t) (- (* 2 t) 2)))))))
3.886 * * * * [progress]: [ 106 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
3.886 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.886 * * [simplify]: iters left: 6 (10 enodes)
3.894 * * [simplify]: iters left: 5 (46 enodes)
3.905 * * [simplify]: iters left: 4 (75 enodes)
3.916 * * [simplify]: iters left: 3 (108 enodes)
3.947 * * [simplify]: iters left: 2 (144 enodes)
3.983 * * [simplify]: iters left: 1 (182 enodes)
4.012 * * [simplify]: Extracting #0: cost 1 inf + 0
4.012 * * [simplify]: Extracting #1: cost 17 inf + 0
4.013 * * [simplify]: Extracting #2: cost 49 inf + 1
4.013 * * [simplify]: Extracting #3: cost 46 inf + 664
4.015 * * [simplify]: Extracting #4: cost 15 inf + 4047
4.018 * * [simplify]: Extracting #5: cost 1 inf + 5836
4.020 * * [simplify]: Extracting #6: cost 0 inf + 5998
4.022 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
4.022 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
4.022 * * * * [progress]: [ 107 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
4.022 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
4.022 * * [simplify]: iters left: 6 (10 enodes)
4.025 * * [simplify]: iters left: 5 (46 enodes)
4.034 * * [simplify]: iters left: 4 (75 enodes)
4.046 * * [simplify]: iters left: 3 (108 enodes)
4.079 * * [simplify]: iters left: 2 (144 enodes)
4.120 * * [simplify]: iters left: 1 (182 enodes)
4.173 * * [simplify]: Extracting #0: cost 1 inf + 0
4.173 * * [simplify]: Extracting #1: cost 17 inf + 0
4.174 * * [simplify]: Extracting #2: cost 49 inf + 1
4.174 * * [simplify]: Extracting #3: cost 46 inf + 664
4.176 * * [simplify]: Extracting #4: cost 15 inf + 4047
4.179 * * [simplify]: Extracting #5: cost 1 inf + 5836
4.183 * * [simplify]: Extracting #6: cost 0 inf + 5998
4.186 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
4.186 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
4.186 * * * * [progress]: [ 108 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* 2 t) (+ 1 t))))))>
4.186 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
4.187 * * [simplify]: iters left: 6 (10 enodes)
4.193 * * [simplify]: iters left: 5 (51 enodes)
4.216 * * [simplify]: iters left: 4 (109 enodes)
4.260 * * [simplify]: iters left: 3 (215 enodes)
4.359 * * [simplify]: iters left: 2 (432 enodes)
4.490 * * [simplify]: Extracting #0: cost 1 inf + 0
4.490 * * [simplify]: Extracting #1: cost 31 inf + 0
4.491 * * [simplify]: Extracting #2: cost 96 inf + 2
4.492 * * [simplify]: Extracting #3: cost 155 inf + 947
4.496 * * [simplify]: Extracting #4: cost 104 inf + 6439
4.503 * * [simplify]: Extracting #5: cost 53 inf + 20350
4.518 * * [simplify]: Extracting #6: cost 7 inf + 41278
4.524 * * [simplify]: Extracting #7: cost 0 inf + 44948
4.530 * * [simplify]: Extracting #8: cost 0 inf + 44908
4.535 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
4.535 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* t (- (* (* 2 t) t) (- (* 2 t) 2))) (/ (* 2 t) (+ 1 t))))))
4.535 * * * * [progress]: [ 109 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t))))))>
4.535 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
4.535 * * [simplify]: iters left: 6 (10 enodes)
4.539 * * [simplify]: iters left: 5 (46 enodes)
4.547 * * [simplify]: iters left: 4 (75 enodes)
4.561 * * [simplify]: iters left: 3 (108 enodes)
4.593 * * [simplify]: iters left: 2 (144 enodes)
4.638 * * [simplify]: iters left: 1 (182 enodes)
4.690 * * [simplify]: Extracting #0: cost 1 inf + 0
4.690 * * [simplify]: Extracting #1: cost 17 inf + 0
4.690 * * [simplify]: Extracting #2: cost 49 inf + 1
4.691 * * [simplify]: Extracting #3: cost 46 inf + 664
4.693 * * [simplify]: Extracting #4: cost 15 inf + 4047
4.696 * * [simplify]: Extracting #5: cost 1 inf + 5836
4.699 * * [simplify]: Extracting #6: cost 0 inf + 5998
4.703 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
4.703 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (/ (* 2 t) (+ 1 t))))))
4.703 * * * * [progress]: [ 110 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t))))))>
4.703 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
4.703 * * [simplify]: iters left: 6 (10 enodes)
4.710 * * [simplify]: iters left: 5 (46 enodes)
4.725 * * [simplify]: iters left: 4 (75 enodes)
4.744 * * [simplify]: iters left: 3 (108 enodes)
4.780 * * [simplify]: iters left: 2 (144 enodes)
4.821 * * [simplify]: iters left: 1 (182 enodes)
4.872 * * [simplify]: Extracting #0: cost 1 inf + 0
4.873 * * [simplify]: Extracting #1: cost 17 inf + 0
4.873 * * [simplify]: Extracting #2: cost 49 inf + 1
4.874 * * [simplify]: Extracting #3: cost 46 inf + 664
4.875 * * [simplify]: Extracting #4: cost 15 inf + 4047
4.879 * * [simplify]: Extracting #5: cost 1 inf + 5836
4.882 * * [simplify]: Extracting #6: cost 0 inf + 5998
4.885 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
4.886 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (/ (* 2 t) (+ 1 t))))))
4.886 * * * * [progress]: [ 111 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
4.886 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
4.886 * * [simplify]: iters left: 6 (10 enodes)
4.893 * * [simplify]: iters left: 5 (51 enodes)
4.917 * * [simplify]: iters left: 4 (109 enodes)
4.953 * * [simplify]: iters left: 3 (215 enodes)
5.034 * * [simplify]: iters left: 2 (432 enodes)
5.203 * * [simplify]: Extracting #0: cost 1 inf + 0
5.203 * * [simplify]: Extracting #1: cost 31 inf + 0
5.203 * * [simplify]: Extracting #2: cost 96 inf + 2
5.204 * * [simplify]: Extracting #3: cost 155 inf + 947
5.206 * * [simplify]: Extracting #4: cost 104 inf + 6439
5.213 * * [simplify]: Extracting #5: cost 53 inf + 20350
5.217 * * [simplify]: Extracting #6: cost 7 inf + 41278
5.222 * * [simplify]: Extracting #7: cost 0 inf + 44948
5.228 * * [simplify]: Extracting #8: cost 0 inf + 44908
5.236 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
5.236 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* t (- (* (* 2 t) t) (- (* 2 t) 2))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
5.236 * * * * [progress]: [ 112 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
5.237 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
5.237 * * [simplify]: iters left: 6 (10 enodes)
5.244 * * [simplify]: iters left: 5 (46 enodes)
5.260 * * [simplify]: iters left: 4 (75 enodes)
5.282 * * [simplify]: iters left: 3 (108 enodes)
5.315 * * [simplify]: iters left: 2 (144 enodes)
5.344 * * [simplify]: iters left: 1 (182 enodes)
5.371 * * [simplify]: Extracting #0: cost 1 inf + 0
5.371 * * [simplify]: Extracting #1: cost 17 inf + 0
5.371 * * [simplify]: Extracting #2: cost 49 inf + 1
5.371 * * [simplify]: Extracting #3: cost 46 inf + 664
5.372 * * [simplify]: Extracting #4: cost 15 inf + 4047
5.374 * * [simplify]: Extracting #5: cost 1 inf + 5836
5.375 * * [simplify]: Extracting #6: cost 0 inf + 5998
5.377 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
5.377 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
5.377 * * * * [progress]: [ 113 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
5.377 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
5.377 * * [simplify]: iters left: 6 (10 enodes)
5.383 * * [simplify]: iters left: 5 (46 enodes)
5.398 * * [simplify]: iters left: 4 (75 enodes)
5.419 * * [simplify]: iters left: 3 (108 enodes)
5.454 * * [simplify]: iters left: 2 (144 enodes)
5.486 * * [simplify]: iters left: 1 (182 enodes)
5.513 * * [simplify]: Extracting #0: cost 1 inf + 0
5.513 * * [simplify]: Extracting #1: cost 17 inf + 0
5.513 * * [simplify]: Extracting #2: cost 49 inf + 1
5.513 * * [simplify]: Extracting #3: cost 46 inf + 664
5.514 * * [simplify]: Extracting #4: cost 15 inf + 4047
5.516 * * [simplify]: Extracting #5: cost 1 inf + 5836
5.517 * * [simplify]: Extracting #6: cost 0 inf + 5998
5.519 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
5.519 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
5.519 * * * * [progress]: [ 114 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
5.520 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
5.520 * * [simplify]: iters left: 6 (10 enodes)
5.530 * * [simplify]: iters left: 5 (51 enodes)
5.551 * * [simplify]: iters left: 4 (109 enodes)
5.594 * * [simplify]: iters left: 3 (215 enodes)
5.653 * * [simplify]: iters left: 2 (432 enodes)
5.779 * * [simplify]: Extracting #0: cost 1 inf + 0
5.780 * * [simplify]: Extracting #1: cost 31 inf + 0
5.780 * * [simplify]: Extracting #2: cost 96 inf + 2
5.781 * * [simplify]: Extracting #3: cost 155 inf + 947
5.783 * * [simplify]: Extracting #4: cost 104 inf + 6439
5.793 * * [simplify]: Extracting #5: cost 53 inf + 20350
5.803 * * [simplify]: Extracting #6: cost 7 inf + 41278
5.813 * * [simplify]: Extracting #7: cost 0 inf + 44948
5.824 * * [simplify]: Extracting #8: cost 0 inf + 44908
5.835 * [simplify]: Simplified to (* t (- (* (* 2 t) t) (- (* 2 t) 2)))
5.835 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* t (- (* (* 2 t) t) (- (* 2 t) 2))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
5.835 * * * * [progress]: [ 115 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
5.835 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
5.835 * * [simplify]: iters left: 6 (10 enodes)
5.842 * * [simplify]: iters left: 5 (46 enodes)
5.858 * * [simplify]: iters left: 4 (75 enodes)
5.878 * * [simplify]: iters left: 3 (108 enodes)
5.910 * * [simplify]: iters left: 2 (144 enodes)
5.953 * * [simplify]: iters left: 1 (182 enodes)
6.004 * * [simplify]: Extracting #0: cost 1 inf + 0
6.004 * * [simplify]: Extracting #1: cost 17 inf + 0
6.005 * * [simplify]: Extracting #2: cost 49 inf + 1
6.005 * * [simplify]: Extracting #3: cost 46 inf + 664
6.007 * * [simplify]: Extracting #4: cost 15 inf + 4047
6.010 * * [simplify]: Extracting #5: cost 1 inf + 5836
6.014 * * [simplify]: Extracting #6: cost 0 inf + 5998
6.017 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
6.017 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
6.017 * * * * [progress]: [ 116 / 116 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
6.017 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
6.018 * * [simplify]: iters left: 6 (10 enodes)
6.024 * * [simplify]: iters left: 5 (46 enodes)
6.040 * * [simplify]: iters left: 4 (75 enodes)
6.059 * * [simplify]: iters left: 3 (108 enodes)
6.077 * * [simplify]: iters left: 2 (144 enodes)
6.108 * * [simplify]: iters left: 1 (182 enodes)
6.146 * * [simplify]: Extracting #0: cost 1 inf + 0
6.146 * * [simplify]: Extracting #1: cost 17 inf + 0
6.146 * * [simplify]: Extracting #2: cost 49 inf + 1
6.146 * * [simplify]: Extracting #3: cost 46 inf + 664
6.147 * * [simplify]: Extracting #4: cost 15 inf + 4047
6.149 * * [simplify]: Extracting #5: cost 1 inf + 5836
6.150 * * [simplify]: Extracting #6: cost 0 inf + 5998
6.152 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
6.152 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
6.152 * * * [progress]: adding candidates to table
7.183 * [progress]: [Phase 3 of 3] Extracting.
7.187 * [simplify]: Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
7.187 * * [simplify]: iters left: 6 (10 enodes)
7.188 * * [simplify]: iters left: 5 (16 enodes)
7.189 * * [simplify]: Extracting #0: cost 1 inf + 0
7.189 * * [simplify]: Extracting #1: cost 3 inf + 0
7.189 * * [simplify]: Extracting #2: cost 6 inf + 0
7.189 * * [simplify]: Extracting #3: cost 5 inf + 2
7.189 * * [simplify]: Extracting #4: cost 7 inf + 2
7.189 * * [simplify]: Extracting #5: cost 8 inf + 2
7.193 * * [simplify]: Extracting #6: cost 0 inf + 1062
7.194 * [simplify]: Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
8.405 * [regime-testing]: Baseline error score: 0.0932632715962436
8.407 * [regime-testing]: Oracle error score: 0.0932632715962436
8.407 * [regime-testing]: End program error score: 0.0932632715962436