0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.067 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.069 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.069 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) 0.070 * * [simplify]: iters left: 6 (12 enodes) 0.073 * * [simplify]: iters left: 5 (45 enodes) 0.081 * * [simplify]: iters left: 4 (66 enodes) 0.093 * * [simplify]: iters left: 3 (130 enodes) 0.130 * * [simplify]: iters left: 2 (288 enodes) 0.230 * * [simplify]: Extracting #0: cost 1 inf + 0 0.231 * * [simplify]: Extracting #1: cost 6 inf + 0 0.231 * * [simplify]: Extracting #2: cost 54 inf + 0 0.231 * * [simplify]: Extracting #3: cost 161 inf + 3 0.232 * * [simplify]: Extracting #4: cost 184 inf + 214 0.238 * * [simplify]: Extracting #5: cost 120 inf + 12249 0.249 * * [simplify]: Extracting #6: cost 16 inf + 32318 0.268 * * [simplify]: Extracting #7: cost 0 inf + 32013 0.286 * * [simplify]: Extracting #8: cost 0 inf + 31219 0.303 * * [simplify]: Extracting #9: cost 0 inf + 31179 0.321 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 0.321 * [simplify]: Simplified (2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 0.331 * * [progress]: iteration 1 / 4 0.331 * * * [progress]: picking best candidate 0.335 * * * * [pick]: Picked # 0.335 * * * [progress]: localizing error 0.382 * * * [progress]: generating rewritten candidates 0.382 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.407 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.417 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.429 * * * [progress]: generating series expansions 0.429 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.429 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 0.429 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 0.429 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.429 * [taylor]: Taking taylor expansion of 2 in t 0.429 * [backup-simplify]: Simplify 2 into 2 0.429 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.429 * [taylor]: Taking taylor expansion of 2 in t 0.429 * [backup-simplify]: Simplify 2 into 2 0.429 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.429 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.429 * [taylor]: Taking taylor expansion of t in t 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify 1 into 1 0.429 * [taylor]: Taking taylor expansion of 1 in t 0.429 * [backup-simplify]: Simplify 1 into 1 0.430 * [backup-simplify]: Simplify (+ 0 1) into 1 0.430 * [backup-simplify]: Simplify (/ 1 1) into 1 0.430 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.430 * [taylor]: Taking taylor expansion of 2 in t 0.430 * [backup-simplify]: Simplify 2 into 2 0.430 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.430 * [taylor]: Taking taylor expansion of 2 in t 0.430 * [backup-simplify]: Simplify 2 into 2 0.430 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.430 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.430 * [taylor]: Taking taylor expansion of t in t 0.430 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify 1 into 1 0.430 * [taylor]: Taking taylor expansion of 1 in t 0.430 * [backup-simplify]: Simplify 1 into 1 0.430 * [backup-simplify]: Simplify (+ 0 1) into 1 0.431 * [backup-simplify]: Simplify (/ 1 1) into 1 0.431 * [backup-simplify]: Simplify (* 2 1) into 2 0.431 * [backup-simplify]: Simplify (- 2) into -2 0.432 * [backup-simplify]: Simplify (+ 2 -2) into 0 0.432 * [backup-simplify]: Simplify 0 into 0 0.432 * [backup-simplify]: Simplify (+ 1 0) into 1 0.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.433 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.433 * [backup-simplify]: Simplify (- -2) into 2 0.433 * [backup-simplify]: Simplify (+ 0 2) into 2 0.433 * [backup-simplify]: Simplify 2 into 2 0.434 * [backup-simplify]: Simplify (+ 0 0) into 0 0.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 0.436 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 0.436 * [backup-simplify]: Simplify (- 2) into -2 0.437 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.437 * [backup-simplify]: Simplify -2 into -2 0.437 * [backup-simplify]: Simplify (+ 0 0) into 0 0.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 0.440 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 0.440 * [backup-simplify]: Simplify (- -2) into 2 0.441 * [backup-simplify]: Simplify (+ 0 2) into 2 0.441 * [backup-simplify]: Simplify 2 into 2 0.441 * [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.441 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 0.441 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 0.441 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.441 * [taylor]: Taking taylor expansion of 2 in t 0.441 * [backup-simplify]: Simplify 2 into 2 0.441 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.441 * [taylor]: Taking taylor expansion of 2 in t 0.442 * [backup-simplify]: Simplify 2 into 2 0.442 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.442 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.442 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.442 * [taylor]: Taking taylor expansion of t in t 0.442 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify 1 into 1 0.442 * [backup-simplify]: Simplify (/ 1 1) into 1 0.442 * [taylor]: Taking taylor expansion of 1 in t 0.442 * [backup-simplify]: Simplify 1 into 1 0.443 * [backup-simplify]: Simplify (+ 1 0) into 1 0.443 * [backup-simplify]: Simplify (/ 1 1) into 1 0.443 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.443 * [taylor]: Taking taylor expansion of 2 in t 0.443 * [backup-simplify]: Simplify 2 into 2 0.443 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.443 * [taylor]: Taking taylor expansion of 2 in t 0.443 * [backup-simplify]: Simplify 2 into 2 0.443 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.443 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.443 * [taylor]: Taking taylor expansion of t in t 0.443 * [backup-simplify]: Simplify 0 into 0 0.443 * [backup-simplify]: Simplify 1 into 1 0.444 * [backup-simplify]: Simplify (/ 1 1) into 1 0.444 * [taylor]: Taking taylor expansion of 1 in t 0.444 * [backup-simplify]: Simplify 1 into 1 0.444 * [backup-simplify]: Simplify (+ 1 0) into 1 0.444 * [backup-simplify]: Simplify (/ 1 1) into 1 0.445 * [backup-simplify]: Simplify (+ 2 0) into 2 0.445 * [backup-simplify]: Simplify 2 into 2 0.445 * [backup-simplify]: Simplify (* 2 1) into 2 0.446 * [backup-simplify]: Simplify (- 2) into -2 0.446 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.446 * [backup-simplify]: Simplify -2 into -2 0.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.447 * [backup-simplify]: Simplify (+ 0 1) into 1 0.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.449 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.449 * [backup-simplify]: Simplify (- -2) into 2 0.450 * [backup-simplify]: Simplify (+ 0 2) into 2 0.450 * [backup-simplify]: Simplify 2 into 2 0.450 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.450 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 0.450 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 0.450 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.450 * [taylor]: Taking taylor expansion of 2 in t 0.450 * [backup-simplify]: Simplify 2 into 2 0.450 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.450 * [taylor]: Taking taylor expansion of 2 in t 0.450 * [backup-simplify]: Simplify 2 into 2 0.450 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.450 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.450 * [taylor]: Taking taylor expansion of 1 in t 0.450 * [backup-simplify]: Simplify 1 into 1 0.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.450 * [taylor]: Taking taylor expansion of t in t 0.450 * [backup-simplify]: Simplify 0 into 0 0.450 * [backup-simplify]: Simplify 1 into 1 0.451 * [backup-simplify]: Simplify (/ 1 1) into 1 0.451 * [backup-simplify]: Simplify (- 1) into -1 0.452 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.452 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.452 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.452 * [taylor]: Taking taylor expansion of 2 in t 0.452 * [backup-simplify]: Simplify 2 into 2 0.452 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.452 * [taylor]: Taking taylor expansion of 2 in t 0.452 * [backup-simplify]: Simplify 2 into 2 0.452 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.452 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.452 * [taylor]: Taking taylor expansion of 1 in t 0.452 * [backup-simplify]: Simplify 1 into 1 0.452 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.452 * [taylor]: Taking taylor expansion of t in t 0.452 * [backup-simplify]: Simplify 0 into 0 0.452 * [backup-simplify]: Simplify 1 into 1 0.453 * [backup-simplify]: Simplify (/ 1 1) into 1 0.453 * [backup-simplify]: Simplify (- 1) into -1 0.454 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.454 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.454 * [backup-simplify]: Simplify (+ 2 0) into 2 0.455 * [backup-simplify]: Simplify 2 into 2 0.455 * [backup-simplify]: Simplify (* 2 -1) into -2 0.455 * [backup-simplify]: Simplify (- -2) into 2 0.456 * [backup-simplify]: Simplify (+ 0 2) into 2 0.456 * [backup-simplify]: Simplify 2 into 2 0.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.457 * [backup-simplify]: Simplify (- 0) into 0 0.457 * [backup-simplify]: Simplify (+ 1 0) into 1 0.458 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 0.459 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2 0.459 * [backup-simplify]: Simplify (- -2) into 2 0.460 * [backup-simplify]: Simplify (+ 0 2) into 2 0.460 * [backup-simplify]: Simplify 2 into 2 0.460 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.460 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 0.460 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 0.460 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.460 * [taylor]: Taking taylor expansion of 2 in t 0.460 * [backup-simplify]: Simplify 2 into 2 0.460 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.460 * [taylor]: Taking taylor expansion of 2 in t 0.460 * [backup-simplify]: Simplify 2 into 2 0.460 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.460 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.460 * [taylor]: Taking taylor expansion of t in t 0.460 * [backup-simplify]: Simplify 0 into 0 0.460 * [backup-simplify]: Simplify 1 into 1 0.460 * [taylor]: Taking taylor expansion of 1 in t 0.460 * [backup-simplify]: Simplify 1 into 1 0.461 * [backup-simplify]: Simplify (+ 0 1) into 1 0.461 * [backup-simplify]: Simplify (/ 1 1) into 1 0.461 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.461 * [taylor]: Taking taylor expansion of 2 in t 0.461 * [backup-simplify]: Simplify 2 into 2 0.461 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.461 * [taylor]: Taking taylor expansion of 2 in t 0.461 * [backup-simplify]: Simplify 2 into 2 0.461 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.461 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.461 * [taylor]: Taking taylor expansion of t in t 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 1 into 1 0.461 * [taylor]: Taking taylor expansion of 1 in t 0.461 * [backup-simplify]: Simplify 1 into 1 0.462 * [backup-simplify]: Simplify (+ 0 1) into 1 0.462 * [backup-simplify]: Simplify (/ 1 1) into 1 0.462 * [backup-simplify]: Simplify (* 2 1) into 2 0.465 * [backup-simplify]: Simplify (- 2) into -2 0.465 * [backup-simplify]: Simplify (+ 2 -2) into 0 0.465 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify (+ 1 0) into 1 0.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.467 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.467 * [backup-simplify]: Simplify (- -2) into 2 0.467 * [backup-simplify]: Simplify (+ 0 2) into 2 0.467 * [backup-simplify]: Simplify 2 into 2 0.467 * [backup-simplify]: Simplify (+ 0 0) into 0 0.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 0.469 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 0.469 * [backup-simplify]: Simplify (- 2) into -2 0.469 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.469 * [backup-simplify]: Simplify -2 into -2 0.469 * [backup-simplify]: Simplify (+ 0 0) into 0 0.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 0.471 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 0.471 * [backup-simplify]: Simplify (- -2) into 2 0.471 * [backup-simplify]: Simplify (+ 0 2) into 2 0.471 * [backup-simplify]: Simplify 2 into 2 0.472 * [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.472 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 0.472 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 0.472 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.472 * [taylor]: Taking taylor expansion of 2 in t 0.472 * [backup-simplify]: Simplify 2 into 2 0.472 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.472 * [taylor]: Taking taylor expansion of 2 in t 0.472 * [backup-simplify]: Simplify 2 into 2 0.472 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.472 * [taylor]: Taking taylor expansion of t in t 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [backup-simplify]: Simplify (/ 1 1) into 1 0.472 * [taylor]: Taking taylor expansion of 1 in t 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [backup-simplify]: Simplify (+ 1 0) into 1 0.473 * [backup-simplify]: Simplify (/ 1 1) into 1 0.473 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.473 * [taylor]: Taking taylor expansion of 2 in t 0.473 * [backup-simplify]: Simplify 2 into 2 0.473 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.473 * [taylor]: Taking taylor expansion of 2 in t 0.473 * [backup-simplify]: Simplify 2 into 2 0.473 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.473 * [taylor]: Taking taylor expansion of t in t 0.473 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify 1 into 1 0.473 * [backup-simplify]: Simplify (/ 1 1) into 1 0.473 * [taylor]: Taking taylor expansion of 1 in t 0.473 * [backup-simplify]: Simplify 1 into 1 0.473 * [backup-simplify]: Simplify (+ 1 0) into 1 0.474 * [backup-simplify]: Simplify (/ 1 1) into 1 0.474 * [backup-simplify]: Simplify (+ 2 0) into 2 0.474 * [backup-simplify]: Simplify 2 into 2 0.474 * [backup-simplify]: Simplify (* 2 1) into 2 0.475 * [backup-simplify]: Simplify (- 2) into -2 0.475 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.475 * [backup-simplify]: Simplify -2 into -2 0.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.476 * [backup-simplify]: Simplify (+ 0 1) into 1 0.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.476 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.477 * [backup-simplify]: Simplify (- -2) into 2 0.477 * [backup-simplify]: Simplify (+ 0 2) into 2 0.477 * [backup-simplify]: Simplify 2 into 2 0.477 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.477 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 0.477 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 0.477 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.477 * [taylor]: Taking taylor expansion of 2 in t 0.477 * [backup-simplify]: Simplify 2 into 2 0.477 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.477 * [taylor]: Taking taylor expansion of 2 in t 0.477 * [backup-simplify]: Simplify 2 into 2 0.477 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.477 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.477 * [taylor]: Taking taylor expansion of 1 in t 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.477 * [taylor]: Taking taylor expansion of t in t 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify (/ 1 1) into 1 0.478 * [backup-simplify]: Simplify (- 1) into -1 0.478 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.479 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.479 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.479 * [taylor]: Taking taylor expansion of 2 in t 0.479 * [backup-simplify]: Simplify 2 into 2 0.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.479 * [taylor]: Taking taylor expansion of 2 in t 0.479 * [backup-simplify]: Simplify 2 into 2 0.479 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.479 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.479 * [taylor]: Taking taylor expansion of 1 in t 0.479 * [backup-simplify]: Simplify 1 into 1 0.479 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.479 * [taylor]: Taking taylor expansion of t in t 0.479 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (/ 1 1) into 1 0.479 * [backup-simplify]: Simplify (- 1) into -1 0.479 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.480 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.480 * [backup-simplify]: Simplify (+ 2 0) into 2 0.480 * [backup-simplify]: Simplify 2 into 2 0.480 * [backup-simplify]: Simplify (* 2 -1) into -2 0.481 * [backup-simplify]: Simplify (- -2) into 2 0.481 * [backup-simplify]: Simplify (+ 0 2) into 2 0.481 * [backup-simplify]: Simplify 2 into 2 0.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.482 * [backup-simplify]: Simplify (- 0) into 0 0.482 * [backup-simplify]: Simplify (+ 1 0) into 1 0.482 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 0.483 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2 0.483 * [backup-simplify]: Simplify (- -2) into 2 0.483 * [backup-simplify]: Simplify (+ 0 2) into 2 0.483 * [backup-simplify]: Simplify 2 into 2 0.483 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.484 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 0.484 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 0.484 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.484 * [taylor]: Taking taylor expansion of 2 in t 0.484 * [backup-simplify]: Simplify 2 into 2 0.484 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.484 * [taylor]: Taking taylor expansion of 2 in t 0.484 * [backup-simplify]: Simplify 2 into 2 0.484 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.484 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.484 * [taylor]: Taking taylor expansion of t in t 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [taylor]: Taking taylor expansion of 1 in t 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (+ 0 1) into 1 0.484 * [backup-simplify]: Simplify (/ 1 1) into 1 0.484 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.485 * [taylor]: Taking taylor expansion of 2 in t 0.485 * [backup-simplify]: Simplify 2 into 2 0.485 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.485 * [taylor]: Taking taylor expansion of 2 in t 0.485 * [backup-simplify]: Simplify 2 into 2 0.485 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.485 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.485 * [taylor]: Taking taylor expansion of t in t 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify 1 into 1 0.485 * [taylor]: Taking taylor expansion of 1 in t 0.485 * [backup-simplify]: Simplify 1 into 1 0.485 * [backup-simplify]: Simplify (+ 0 1) into 1 0.485 * [backup-simplify]: Simplify (/ 1 1) into 1 0.486 * [backup-simplify]: Simplify (* 2 1) into 2 0.486 * [backup-simplify]: Simplify (- 2) into -2 0.486 * [backup-simplify]: Simplify (+ 2 -2) into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify (+ 1 0) into 1 0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.487 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.487 * [backup-simplify]: Simplify (- -2) into 2 0.488 * [backup-simplify]: Simplify (+ 0 2) into 2 0.488 * [backup-simplify]: Simplify 2 into 2 0.488 * [backup-simplify]: Simplify (+ 0 0) into 0 0.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 0.489 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 0.490 * [backup-simplify]: Simplify (- 2) into -2 0.490 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.490 * [backup-simplify]: Simplify -2 into -2 0.490 * [backup-simplify]: Simplify (+ 0 0) into 0 0.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 0.492 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 0.492 * [backup-simplify]: Simplify (- -2) into 2 0.492 * [backup-simplify]: Simplify (+ 0 2) into 2 0.492 * [backup-simplify]: Simplify 2 into 2 0.492 * [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.493 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 0.493 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 0.493 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.493 * [taylor]: Taking taylor expansion of 2 in t 0.493 * [backup-simplify]: Simplify 2 into 2 0.493 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.493 * [taylor]: Taking taylor expansion of 2 in t 0.493 * [backup-simplify]: Simplify 2 into 2 0.493 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.493 * [taylor]: Taking taylor expansion of t in t 0.493 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (/ 1 1) into 1 0.493 * [taylor]: Taking taylor expansion of 1 in t 0.493 * [backup-simplify]: Simplify 1 into 1 0.494 * [backup-simplify]: Simplify (+ 1 0) into 1 0.494 * [backup-simplify]: Simplify (/ 1 1) into 1 0.494 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.494 * [taylor]: Taking taylor expansion of 2 in t 0.494 * [backup-simplify]: Simplify 2 into 2 0.494 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.494 * [taylor]: Taking taylor expansion of 2 in t 0.494 * [backup-simplify]: Simplify 2 into 2 0.494 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.494 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.494 * [taylor]: Taking taylor expansion of t in t 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (/ 1 1) into 1 0.495 * [taylor]: Taking taylor expansion of 1 in t 0.495 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (+ 1 0) into 1 0.496 * [backup-simplify]: Simplify (/ 1 1) into 1 0.496 * [backup-simplify]: Simplify (+ 2 0) into 2 0.496 * [backup-simplify]: Simplify 2 into 2 0.496 * [backup-simplify]: Simplify (* 2 1) into 2 0.497 * [backup-simplify]: Simplify (- 2) into -2 0.497 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.497 * [backup-simplify]: Simplify -2 into -2 0.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.498 * [backup-simplify]: Simplify (+ 0 1) into 1 0.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.500 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.500 * [backup-simplify]: Simplify (- -2) into 2 0.501 * [backup-simplify]: Simplify (+ 0 2) into 2 0.501 * [backup-simplify]: Simplify 2 into 2 0.501 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.501 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 0.501 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 0.501 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.501 * [taylor]: Taking taylor expansion of 2 in t 0.501 * [backup-simplify]: Simplify 2 into 2 0.501 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.501 * [taylor]: Taking taylor expansion of 2 in t 0.501 * [backup-simplify]: Simplify 2 into 2 0.501 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.501 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.501 * [taylor]: Taking taylor expansion of 1 in t 0.501 * [backup-simplify]: Simplify 1 into 1 0.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.502 * [taylor]: Taking taylor expansion of t in t 0.502 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify 1 into 1 0.502 * [backup-simplify]: Simplify (/ 1 1) into 1 0.502 * [backup-simplify]: Simplify (- 1) into -1 0.503 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.503 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.503 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.503 * [taylor]: Taking taylor expansion of 2 in t 0.503 * [backup-simplify]: Simplify 2 into 2 0.503 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.503 * [taylor]: Taking taylor expansion of 2 in t 0.503 * [backup-simplify]: Simplify 2 into 2 0.503 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.503 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.503 * [taylor]: Taking taylor expansion of 1 in t 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.503 * [taylor]: Taking taylor expansion of t in t 0.503 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 1 into 1 0.504 * [backup-simplify]: Simplify (/ 1 1) into 1 0.504 * [backup-simplify]: Simplify (- 1) into -1 0.505 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.505 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.506 * [backup-simplify]: Simplify (+ 2 0) into 2 0.506 * [backup-simplify]: Simplify 2 into 2 0.506 * [backup-simplify]: Simplify (* 2 -1) into -2 0.506 * [backup-simplify]: Simplify (- -2) into 2 0.507 * [backup-simplify]: Simplify (+ 0 2) into 2 0.507 * [backup-simplify]: Simplify 2 into 2 0.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.508 * [backup-simplify]: Simplify (- 0) into 0 0.508 * [backup-simplify]: Simplify (+ 1 0) into 1 0.509 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 0.510 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2 0.510 * [backup-simplify]: Simplify (- -2) into 2 0.511 * [backup-simplify]: Simplify (+ 0 2) into 2 0.511 * [backup-simplify]: Simplify 2 into 2 0.511 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.511 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.511 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 0.511 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 0.511 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.511 * [taylor]: Taking taylor expansion of 2 in t 0.511 * [backup-simplify]: Simplify 2 into 2 0.511 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.511 * [taylor]: Taking taylor expansion of 2 in t 0.512 * [backup-simplify]: Simplify 2 into 2 0.512 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.512 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.512 * [taylor]: Taking taylor expansion of t in t 0.512 * [backup-simplify]: Simplify 0 into 0 0.512 * [backup-simplify]: Simplify 1 into 1 0.512 * [taylor]: Taking taylor expansion of 1 in t 0.512 * [backup-simplify]: Simplify 1 into 1 0.512 * [backup-simplify]: Simplify (+ 0 1) into 1 0.512 * [backup-simplify]: Simplify (/ 1 1) into 1 0.513 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 0.513 * [taylor]: Taking taylor expansion of 2 in t 0.513 * [backup-simplify]: Simplify 2 into 2 0.513 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 0.513 * [taylor]: Taking taylor expansion of 2 in t 0.513 * [backup-simplify]: Simplify 2 into 2 0.513 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 0.513 * [taylor]: Taking taylor expansion of (+ t 1) in t 0.513 * [taylor]: Taking taylor expansion of t in t 0.513 * [backup-simplify]: Simplify 0 into 0 0.513 * [backup-simplify]: Simplify 1 into 1 0.513 * [taylor]: Taking taylor expansion of 1 in t 0.513 * [backup-simplify]: Simplify 1 into 1 0.513 * [backup-simplify]: Simplify (+ 0 1) into 1 0.514 * [backup-simplify]: Simplify (/ 1 1) into 1 0.514 * [backup-simplify]: Simplify (* 2 1) into 2 0.515 * [backup-simplify]: Simplify (- 2) into -2 0.515 * [backup-simplify]: Simplify (+ 2 -2) into 0 0.515 * [backup-simplify]: Simplify 0 into 0 0.515 * [backup-simplify]: Simplify (+ 1 0) into 1 0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.517 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.517 * [backup-simplify]: Simplify (- -2) into 2 0.518 * [backup-simplify]: Simplify (+ 0 2) into 2 0.518 * [backup-simplify]: Simplify 2 into 2 0.518 * [backup-simplify]: Simplify (+ 0 0) into 0 0.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 0.520 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 0.521 * [backup-simplify]: Simplify (- 2) into -2 0.521 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.521 * [backup-simplify]: Simplify -2 into -2 0.521 * [backup-simplify]: Simplify (+ 0 0) into 0 0.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 0.524 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 0.524 * [backup-simplify]: Simplify (- -2) into 2 0.525 * [backup-simplify]: Simplify (+ 0 2) into 2 0.525 * [backup-simplify]: Simplify 2 into 2 0.525 * [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.525 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 0.525 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 0.526 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.526 * [taylor]: Taking taylor expansion of 2 in t 0.526 * [backup-simplify]: Simplify 2 into 2 0.526 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.526 * [taylor]: Taking taylor expansion of 2 in t 0.526 * [backup-simplify]: Simplify 2 into 2 0.526 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.526 * [taylor]: Taking taylor expansion of t in t 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 1 into 1 0.526 * [backup-simplify]: Simplify (/ 1 1) into 1 0.526 * [taylor]: Taking taylor expansion of 1 in t 0.526 * [backup-simplify]: Simplify 1 into 1 0.527 * [backup-simplify]: Simplify (+ 1 0) into 1 0.527 * [backup-simplify]: Simplify (/ 1 1) into 1 0.527 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 0.527 * [taylor]: Taking taylor expansion of 2 in t 0.527 * [backup-simplify]: Simplify 2 into 2 0.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 0.527 * [taylor]: Taking taylor expansion of 2 in t 0.527 * [backup-simplify]: Simplify 2 into 2 0.527 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 0.527 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 0.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.527 * [taylor]: Taking taylor expansion of t in t 0.527 * [backup-simplify]: Simplify 0 into 0 0.527 * [backup-simplify]: Simplify 1 into 1 0.528 * [backup-simplify]: Simplify (/ 1 1) into 1 0.528 * [taylor]: Taking taylor expansion of 1 in t 0.528 * [backup-simplify]: Simplify 1 into 1 0.528 * [backup-simplify]: Simplify (+ 1 0) into 1 0.529 * [backup-simplify]: Simplify (/ 1 1) into 1 0.529 * [backup-simplify]: Simplify (+ 2 0) into 2 0.529 * [backup-simplify]: Simplify 2 into 2 0.530 * [backup-simplify]: Simplify (* 2 1) into 2 0.530 * [backup-simplify]: Simplify (- 2) into -2 0.530 * [backup-simplify]: Simplify (+ 0 -2) into -2 0.530 * [backup-simplify]: Simplify -2 into -2 0.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.531 * [backup-simplify]: Simplify (+ 0 1) into 1 0.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.533 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 0.533 * [backup-simplify]: Simplify (- -2) into 2 0.534 * [backup-simplify]: Simplify (+ 0 2) into 2 0.534 * [backup-simplify]: Simplify 2 into 2 0.534 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.534 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 0.534 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 0.534 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.534 * [taylor]: Taking taylor expansion of 2 in t 0.534 * [backup-simplify]: Simplify 2 into 2 0.534 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.534 * [taylor]: Taking taylor expansion of 2 in t 0.534 * [backup-simplify]: Simplify 2 into 2 0.534 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.534 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.534 * [taylor]: Taking taylor expansion of 1 in t 0.535 * [backup-simplify]: Simplify 1 into 1 0.535 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.535 * [taylor]: Taking taylor expansion of t in t 0.535 * [backup-simplify]: Simplify 0 into 0 0.535 * [backup-simplify]: Simplify 1 into 1 0.535 * [backup-simplify]: Simplify (/ 1 1) into 1 0.535 * [backup-simplify]: Simplify (- 1) into -1 0.536 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.536 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.536 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 0.536 * [taylor]: Taking taylor expansion of 2 in t 0.536 * [backup-simplify]: Simplify 2 into 2 0.536 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 0.536 * [taylor]: Taking taylor expansion of 2 in t 0.536 * [backup-simplify]: Simplify 2 into 2 0.536 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 0.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 0.536 * [taylor]: Taking taylor expansion of 1 in t 0.536 * [backup-simplify]: Simplify 1 into 1 0.536 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.536 * [taylor]: Taking taylor expansion of t in t 0.537 * [backup-simplify]: Simplify 0 into 0 0.537 * [backup-simplify]: Simplify 1 into 1 0.537 * [backup-simplify]: Simplify (/ 1 1) into 1 0.537 * [backup-simplify]: Simplify (- 1) into -1 0.538 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.538 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.539 * [backup-simplify]: Simplify (+ 2 0) into 2 0.539 * [backup-simplify]: Simplify 2 into 2 0.539 * [backup-simplify]: Simplify (* 2 -1) into -2 0.540 * [backup-simplify]: Simplify (- -2) into 2 0.540 * [backup-simplify]: Simplify (+ 0 2) into 2 0.540 * [backup-simplify]: Simplify 2 into 2 0.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.541 * [backup-simplify]: Simplify (- 0) into 0 0.542 * [backup-simplify]: Simplify (+ 1 0) into 1 0.542 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 0.543 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2 0.544 * [backup-simplify]: Simplify (- -2) into 2 0.544 * [backup-simplify]: Simplify (+ 0 2) into 2 0.544 * [backup-simplify]: Simplify 2 into 2 0.544 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 0.544 * * * [progress]: simplifying candidates 0.544 * * * * [progress]: [ 1 / 76 ] simplifiying candidate # 0.545 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t)))) 0.545 * * [simplify]: iters left: 6 (8 enodes) 0.550 * * [simplify]: iters left: 5 (29 enodes) 0.559 * * [simplify]: iters left: 4 (35 enodes) 0.570 * * [simplify]: iters left: 3 (43 enodes) 0.577 * * [simplify]: iters left: 2 (49 enodes) 0.587 * * [simplify]: iters left: 1 (53 enodes) 0.595 * * [simplify]: Extracting #0: cost 1 inf + 0 0.596 * * [simplify]: Extracting #1: cost 9 inf + 0 0.596 * * [simplify]: Extracting #2: cost 15 inf + 1 0.596 * * [simplify]: Extracting #3: cost 18 inf + 2 0.596 * * [simplify]: Extracting #4: cost 18 inf + 74 0.596 * * [simplify]: Extracting #5: cost 16 inf + 146 0.596 * * [simplify]: Extracting #6: cost 8 inf + 1160 0.596 * * [simplify]: Extracting #7: cost 1 inf + 1999 0.597 * * [simplify]: Extracting #8: cost 0 inf + 2262 0.597 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1)))) 0.597 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ t 1))))))))) 0.598 * * * * [progress]: [ 2 / 76 ] simplifiying candidate # 0.598 * * * * [progress]: [ 3 / 76 ] simplifiying candidate # 0.598 * [simplify]: Simplifying (log (- 2 (/ 2 (+ 1 t)))) 0.598 * * [simplify]: iters left: 6 (7 enodes) 0.600 * * [simplify]: iters left: 5 (26 enodes) 0.608 * * [simplify]: iters left: 4 (34 enodes) 0.618 * * [simplify]: iters left: 3 (36 enodes) 0.629 * * [simplify]: Extracting #0: cost 1 inf + 0 0.629 * * [simplify]: Extracting #1: cost 3 inf + 0 0.629 * * [simplify]: Extracting #2: cost 7 inf + 0 0.629 * * [simplify]: Extracting #3: cost 10 inf + 1 0.629 * * [simplify]: Extracting #4: cost 12 inf + 2 0.629 * * [simplify]: Extracting #5: cost 6 inf + 254 0.630 * * [simplify]: Extracting #6: cost 4 inf + 460 0.630 * * [simplify]: Extracting #7: cost 1 inf + 859 0.630 * * [simplify]: Extracting #8: cost 0 inf + 1052 0.630 * [simplify]: Simplified to (log (- 2 (/ 2 (+ 1 t)))) 0.630 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))))) 0.630 * * * * [progress]: [ 4 / 76 ] simplifiying candidate # 0.631 * [simplify]: Simplifying (exp (- 2 (/ 2 (+ 1 t)))) 0.631 * * [simplify]: iters left: 6 (7 enodes) 0.633 * * [simplify]: iters left: 5 (29 enodes) 0.638 * * [simplify]: iters left: 4 (43 enodes) 0.646 * * [simplify]: iters left: 3 (49 enodes) 0.654 * * [simplify]: iters left: 2 (53 enodes) 0.662 * * [simplify]: iters left: 1 (57 enodes) 0.676 * * [simplify]: Extracting #0: cost 1 inf + 0 0.677 * * [simplify]: Extracting #1: cost 10 inf + 0 0.677 * * [simplify]: Extracting #2: cost 18 inf + 1 0.677 * * [simplify]: Extracting #3: cost 21 inf + 2 0.677 * * [simplify]: Extracting #4: cost 21 inf + 74 0.677 * * [simplify]: Extracting #5: cost 11 inf + 1019 0.678 * * [simplify]: Extracting #6: cost 0 inf + 2701 0.679 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ 1 t)))) 0.679 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))))) 0.680 * * * * [progress]: [ 5 / 76 ] simplifiying candidate # 0.680 * [simplify]: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 0.680 * * [simplify]: iters left: 6 (8 enodes) 0.684 * * [simplify]: iters left: 5 (29 enodes) 0.694 * * [simplify]: iters left: 4 (37 enodes) 0.707 * * [simplify]: iters left: 3 (39 enodes) 0.718 * * [simplify]: Extracting #0: cost 1 inf + 0 0.718 * * [simplify]: Extracting #1: cost 3 inf + 0 0.718 * * [simplify]: Extracting #2: cost 5 inf + 0 0.718 * * [simplify]: Extracting #3: cost 9 inf + 0 0.719 * * [simplify]: Extracting #4: cost 12 inf + 1 0.719 * * [simplify]: Extracting #5: cost 14 inf + 2 0.719 * * [simplify]: Extracting #6: cost 11 inf + 46 0.719 * * [simplify]: Extracting #7: cost 5 inf + 543 0.720 * * [simplify]: Extracting #8: cost 0 inf + 1558 0.720 * [simplify]: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 0.720 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))))) 0.721 * [simplify]: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 0.721 * * [simplify]: iters left: 6 (7 enodes) 0.725 * * [simplify]: iters left: 5 (26 enodes) 0.734 * * [simplify]: iters left: 4 (34 enodes) 0.744 * * [simplify]: iters left: 3 (36 enodes) 0.754 * * [simplify]: Extracting #0: cost 1 inf + 0 0.754 * * [simplify]: Extracting #1: cost 3 inf + 0 0.754 * * [simplify]: Extracting #2: cost 7 inf + 0 0.754 * * [simplify]: Extracting #3: cost 10 inf + 1 0.754 * * [simplify]: Extracting #4: cost 12 inf + 2 0.754 * * [simplify]: Extracting #5: cost 6 inf + 254 0.754 * * [simplify]: Extracting #6: cost 4 inf + 460 0.755 * * [simplify]: Extracting #7: cost 1 inf + 869 0.755 * * [simplify]: Extracting #8: cost 0 inf + 1072 0.755 * [simplify]: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 0.755 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))))) 0.755 * * * * [progress]: [ 6 / 76 ] simplifiying candidate # 0.755 * [simplify]: Simplifying (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 0.755 * * [simplify]: iters left: 6 (8 enodes) 0.758 * * [simplify]: iters left: 5 (30 enodes) 0.764 * * [simplify]: iters left: 4 (52 enodes) 0.775 * * [simplify]: iters left: 3 (133 enodes) 0.831 * * [simplify]: iters left: 2 (353 enodes) 1.013 * * [simplify]: Extracting #0: cost 1 inf + 0 1.013 * * [simplify]: Extracting #1: cost 33 inf + 0 1.014 * * [simplify]: Extracting #2: cost 162 inf + 1 1.014 * * [simplify]: Extracting #3: cost 198 inf + 7 1.017 * * [simplify]: Extracting #4: cost 144 inf + 9326 1.026 * * [simplify]: Extracting #5: cost 29 inf + 35192 1.047 * * [simplify]: Extracting #6: cost 0 inf + 43398 1.070 * [simplify]: Simplified to (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1.070 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1.071 * * * * [progress]: [ 7 / 76 ] simplifiying candidate # 1.071 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1.071 * * [simplify]: iters left: 6 (7 enodes) 1.073 * * [simplify]: iters left: 5 (26 enodes) 1.078 * * [simplify]: iters left: 4 (34 enodes) 1.083 * * [simplify]: iters left: 3 (36 enodes) 1.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1.089 * * [simplify]: Extracting #1: cost 3 inf + 0 1.089 * * [simplify]: Extracting #2: cost 7 inf + 0 1.089 * * [simplify]: Extracting #3: cost 10 inf + 1 1.089 * * [simplify]: Extracting #4: cost 12 inf + 2 1.089 * * [simplify]: Extracting #5: cost 6 inf + 254 1.089 * * [simplify]: Extracting #6: cost 4 inf + 460 1.090 * * [simplify]: Extracting #7: cost 1 inf + 829 1.090 * * [simplify]: Extracting #8: cost 0 inf + 992 1.091 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1.091 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))))) 1.091 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1.091 * * [simplify]: iters left: 6 (7 enodes) 1.095 * * [simplify]: iters left: 5 (26 enodes) 1.108 * * [simplify]: iters left: 4 (34 enodes) 1.118 * * [simplify]: iters left: 3 (36 enodes) 1.125 * * [simplify]: Extracting #0: cost 1 inf + 0 1.125 * * [simplify]: Extracting #1: cost 3 inf + 0 1.125 * * [simplify]: Extracting #2: cost 7 inf + 0 1.125 * * [simplify]: Extracting #3: cost 10 inf + 1 1.126 * * [simplify]: Extracting #4: cost 12 inf + 2 1.126 * * [simplify]: Extracting #5: cost 6 inf + 254 1.126 * * [simplify]: Extracting #6: cost 4 inf + 460 1.126 * * [simplify]: Extracting #7: cost 1 inf + 829 1.126 * * [simplify]: Extracting #8: cost 0 inf + 992 1.126 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1.126 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))))) 1.127 * * * * [progress]: [ 8 / 76 ] simplifiying candidate # 1.127 * [simplify]: Simplifying (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) 1.127 * * [simplify]: iters left: 6 (9 enodes) 1.131 * * [simplify]: iters left: 5 (48 enodes) 1.142 * * [simplify]: iters left: 4 (101 enodes) 1.184 * * [simplify]: iters left: 3 (250 enodes) 1.286 * * [simplify]: iters left: 2 (497 enodes) 1.530 * * [simplify]: Extracting #0: cost 1 inf + 0 1.530 * * [simplify]: Extracting #1: cost 5 inf + 0 1.530 * * [simplify]: Extracting #2: cost 85 inf + 1 1.531 * * [simplify]: Extracting #3: cost 186 inf + 7 1.534 * * [simplify]: Extracting #4: cost 156 inf + 5576 1.546 * * [simplify]: Extracting #5: cost 50 inf + 31724 1.555 * * [simplify]: Extracting #6: cost 2 inf + 56034 1.564 * * [simplify]: Extracting #7: cost 0 inf + 56952 1.574 * [simplify]: Simplified to (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) 1.574 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))))) 1.575 * [simplify]: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 1.575 * * [simplify]: iters left: 6 (10 enodes) 1.581 * * [simplify]: iters left: 5 (44 enodes) 1.589 * * [simplify]: iters left: 4 (69 enodes) 1.606 * * [simplify]: iters left: 3 (90 enodes) 1.632 * * [simplify]: iters left: 2 (125 enodes) 1.663 * * [simplify]: iters left: 1 (168 enodes) 1.701 * * [simplify]: Extracting #0: cost 1 inf + 0 1.701 * * [simplify]: Extracting #1: cost 13 inf + 0 1.701 * * [simplify]: Extracting #2: cost 32 inf + 2 1.701 * * [simplify]: Extracting #3: cost 48 inf + 3 1.703 * * [simplify]: Extracting #4: cost 31 inf + 2584 1.707 * * [simplify]: Extracting #5: cost 3 inf + 6422 1.710 * * [simplify]: Extracting #6: cost 0 inf + 6665 1.714 * [simplify]: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 1.714 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))))))) 1.715 * * * * [progress]: [ 9 / 76 ] simplifiying candidate # 1.715 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 1.715 * * [simplify]: iters left: 6 (6 enodes) 1.719 * * [simplify]: iters left: 5 (24 enodes) 1.726 * * [simplify]: iters left: 4 (28 enodes) 1.731 * * [simplify]: Extracting #0: cost 1 inf + 0 1.731 * * [simplify]: Extracting #1: cost 5 inf + 0 1.731 * * [simplify]: Extracting #2: cost 9 inf + 1 1.731 * * [simplify]: Extracting #3: cost 6 inf + 4 1.731 * * [simplify]: Extracting #4: cost 1 inf + 337 1.731 * * [simplify]: Extracting #5: cost 0 inf + 420 1.731 * [simplify]: Simplified to (/ -2 (+ 1 t)) 1.731 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (/ -2 (+ 1 t))))))) 1.731 * * * * [progress]: [ 10 / 76 ] simplifiying candidate # 1.731 * * * * [progress]: [ 11 / 76 ] simplifiying candidate # 1.731 * [simplify]: Simplifying (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) 1.731 * * [simplify]: iters left: 6 (8 enodes) 1.734 * * [simplify]: iters left: 5 (37 enodes) 1.741 * * [simplify]: iters left: 4 (64 enodes) 1.751 * * [simplify]: iters left: 3 (107 enodes) 1.782 * * [simplify]: iters left: 2 (175 enodes) 1.814 * * [simplify]: iters left: 1 (287 enodes) 1.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1.924 * * [simplify]: Extracting #1: cost 27 inf + 0 1.925 * * [simplify]: Extracting #2: cost 96 inf + 2 1.926 * * [simplify]: Extracting #3: cost 120 inf + 5 1.927 * * [simplify]: Extracting #4: cost 111 inf + 1406 1.934 * * [simplify]: Extracting #5: cost 36 inf + 12803 1.945 * * [simplify]: Extracting #6: cost 0 inf + 19199 1.955 * * [simplify]: Extracting #7: cost 0 inf + 19114 1.961 * [simplify]: Simplified to (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) 1.961 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ 1 t)))))))) 1.961 * [simplify]: Simplifying (+ 2 (/ 2 (+ 1 t))) 1.961 * * [simplify]: iters left: 6 (6 enodes) 1.963 * * [simplify]: iters left: 5 (22 enodes) 1.967 * * [simplify]: iters left: 4 (24 enodes) 1.971 * * [simplify]: Extracting #0: cost 1 inf + 0 1.971 * * [simplify]: Extracting #1: cost 4 inf + 0 1.971 * * [simplify]: Extracting #2: cost 5 inf + 1 1.971 * * [simplify]: Extracting #3: cost 8 inf + 1 1.971 * * [simplify]: Extracting #4: cost 6 inf + 3 1.971 * * [simplify]: Extracting #5: cost 0 inf + 499 1.971 * [simplify]: Simplified to (+ 2 (/ 2 (+ 1 t))) 1.971 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))))) 1.971 * * * * [progress]: [ 12 / 76 ] simplifiying candidate # 1.972 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 1.972 * * [simplify]: iters left: 6 (8 enodes) 1.974 * * [simplify]: iters left: 5 (28 enodes) 1.980 * * [simplify]: iters left: 4 (30 enodes) 1.990 * * [simplify]: Extracting #0: cost 1 inf + 0 1.990 * * [simplify]: Extracting #1: cost 4 inf + 0 1.990 * * [simplify]: Extracting #2: cost 8 inf + 0 1.990 * * [simplify]: Extracting #3: cost 9 inf + 1 1.990 * * [simplify]: Extracting #4: cost 10 inf + 83 1.990 * * [simplify]: Extracting #5: cost 8 inf + 85 1.990 * * [simplify]: Extracting #6: cost 5 inf + 252 1.991 * * [simplify]: Extracting #7: cost 1 inf + 784 1.991 * * [simplify]: Extracting #8: cost 0 inf + 987 1.991 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) 1.991 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))))) 1.992 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 1.992 * * [simplify]: iters left: 6 (8 enodes) 2.000 * * [simplify]: iters left: 5 (29 enodes) 2.006 * * [simplify]: iters left: 4 (34 enodes) 2.011 * * [simplify]: Extracting #0: cost 1 inf + 0 2.011 * * [simplify]: Extracting #1: cost 5 inf + 0 2.011 * * [simplify]: Extracting #2: cost 10 inf + 0 2.011 * * [simplify]: Extracting #3: cost 11 inf + 1 2.011 * * [simplify]: Extracting #4: cost 12 inf + 83 2.011 * * [simplify]: Extracting #5: cost 10 inf + 85 2.011 * * [simplify]: Extracting #6: cost 7 inf + 252 2.012 * * [simplify]: Extracting #7: cost 0 inf + 1313 2.012 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1)))) 2.012 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))))))) 2.012 * * * * [progress]: [ 13 / 76 ] simplifiying candidate # 2.012 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 2.012 * * [simplify]: iters left: 6 (8 enodes) 2.015 * * [simplify]: iters left: 5 (28 enodes) 2.019 * * [simplify]: iters left: 4 (30 enodes) 2.024 * * [simplify]: Extracting #0: cost 1 inf + 0 2.024 * * [simplify]: Extracting #1: cost 4 inf + 0 2.024 * * [simplify]: Extracting #2: cost 8 inf + 0 2.024 * * [simplify]: Extracting #3: cost 9 inf + 1 2.024 * * [simplify]: Extracting #4: cost 10 inf + 83 2.024 * * [simplify]: Extracting #5: cost 8 inf + 85 2.024 * * [simplify]: Extracting #6: cost 5 inf + 251 2.024 * * [simplify]: Extracting #7: cost 1 inf + 862 2.025 * * [simplify]: Extracting #8: cost 0 inf + 1065 2.025 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 2.025 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))))) 2.025 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 2.025 * * [simplify]: iters left: 6 (8 enodes) 2.028 * * [simplify]: iters left: 5 (29 enodes) 2.036 * * [simplify]: iters left: 4 (36 enodes) 2.047 * * [simplify]: iters left: 3 (38 enodes) 2.058 * * [simplify]: Extracting #0: cost 1 inf + 0 2.058 * * [simplify]: Extracting #1: cost 5 inf + 0 2.058 * * [simplify]: Extracting #2: cost 11 inf + 0 2.058 * * [simplify]: Extracting #3: cost 13 inf + 1 2.058 * * [simplify]: Extracting #4: cost 15 inf + 42 2.058 * * [simplify]: Extracting #5: cost 11 inf + 166 2.058 * * [simplify]: Extracting #6: cost 7 inf + 413 2.059 * * [simplify]: Extracting #7: cost 0 inf + 1633 2.059 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 2.059 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))))))) 2.059 * * * * [progress]: [ 14 / 76 ] simplifiying candidate # 2.059 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t))) 2.060 * * [simplify]: iters left: 6 (6 enodes) 2.061 * * [simplify]: iters left: 5 (23 enodes) 2.066 * * [simplify]: iters left: 4 (31 enodes) 2.071 * * [simplify]: iters left: 3 (33 enodes) 2.076 * * [simplify]: Extracting #0: cost 1 inf + 0 2.076 * * [simplify]: Extracting #1: cost 5 inf + 0 2.076 * * [simplify]: Extracting #2: cost 8 inf + 1 2.076 * * [simplify]: Extracting #3: cost 10 inf + 2 2.076 * * [simplify]: Extracting #4: cost 8 inf + 4 2.076 * * [simplify]: Extracting #5: cost 2 inf + 460 2.076 * * [simplify]: Extracting #6: cost 0 inf + 666 2.077 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t))) 2.077 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))))) 2.077 * * * * [progress]: [ 15 / 76 ] simplifiying candidate # 2.077 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 2.077 * * [simplify]: iters left: 6 (6 enodes) 2.080 * * [simplify]: iters left: 5 (24 enodes) 2.084 * * [simplify]: iters left: 4 (28 enodes) 2.091 * * [simplify]: Extracting #0: cost 1 inf + 0 2.091 * * [simplify]: Extracting #1: cost 5 inf + 0 2.091 * * [simplify]: Extracting #2: cost 9 inf + 1 2.091 * * [simplify]: Extracting #3: cost 6 inf + 4 2.091 * * [simplify]: Extracting #4: cost 1 inf + 337 2.091 * * [simplify]: Extracting #5: cost 0 inf + 420 2.091 * [simplify]: Simplified to (/ -2 (+ 1 t)) 2.091 * [simplify]: Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (/ -2 (+ 1 t))))))) 2.092 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))> 2.092 * [simplify]: Simplifying (real->posit16 (- 2 (/ 2 (+ 1 t)))) 2.092 * * [simplify]: iters left: 6 (7 enodes) 2.096 * * [simplify]: iters left: 5 (23 enodes) 2.103 * * [simplify]: iters left: 4 (31 enodes) 2.109 * * [simplify]: iters left: 3 (33 enodes) 2.114 * * [simplify]: Extracting #0: cost 1 inf + 0 2.114 * * [simplify]: Extracting #1: cost 2 inf + 0 2.114 * * [simplify]: Extracting #2: cost 5 inf + 0 2.114 * * [simplify]: Extracting #3: cost 8 inf + 1 2.114 * * [simplify]: Extracting #4: cost 10 inf + 2 2.115 * * [simplify]: Extracting #5: cost 8 inf + 4 2.115 * * [simplify]: Extracting #6: cost 1 inf + 583 2.115 * * [simplify]: Extracting #7: cost 0 inf + 666 2.115 * [simplify]: Simplified to (real->posit16 (- 2 (/ 2 (+ 1 t)))) 2.115 * [simplify]: Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))))) 2.115 * * * * [progress]: [ 17 / 76 ] simplifiying candidate # 2.115 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t)))) 2.115 * * [simplify]: iters left: 6 (8 enodes) 2.118 * * [simplify]: iters left: 5 (29 enodes) 2.123 * * [simplify]: iters left: 4 (35 enodes) 2.129 * * [simplify]: iters left: 3 (43 enodes) 2.138 * * [simplify]: iters left: 2 (49 enodes) 2.153 * * [simplify]: iters left: 1 (53 enodes) 2.161 * * [simplify]: Extracting #0: cost 1 inf + 0 2.161 * * [simplify]: Extracting #1: cost 9 inf + 0 2.161 * * [simplify]: Extracting #2: cost 15 inf + 1 2.161 * * [simplify]: Extracting #3: cost 18 inf + 2 2.161 * * [simplify]: Extracting #4: cost 18 inf + 74 2.161 * * [simplify]: Extracting #5: cost 16 inf + 146 2.162 * * [simplify]: Extracting #6: cost 8 inf + 1160 2.162 * * [simplify]: Extracting #7: cost 1 inf + 1999 2.163 * * [simplify]: Extracting #8: cost 0 inf + 2262 2.163 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1)))) 2.163 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))))) 2.163 * * * * [progress]: [ 18 / 76 ] simplifiying candidate # 2.163 * * * * [progress]: [ 19 / 76 ] simplifiying candidate # 2.163 * [simplify]: Simplifying (log (- 2 (/ 2 (+ 1 t)))) 2.163 * * [simplify]: iters left: 6 (7 enodes) 2.166 * * [simplify]: iters left: 5 (26 enodes) 2.170 * * [simplify]: iters left: 4 (34 enodes) 2.175 * * [simplify]: iters left: 3 (36 enodes) 2.181 * * [simplify]: Extracting #0: cost 1 inf + 0 2.181 * * [simplify]: Extracting #1: cost 3 inf + 0 2.181 * * [simplify]: Extracting #2: cost 7 inf + 0 2.181 * * [simplify]: Extracting #3: cost 10 inf + 1 2.181 * * [simplify]: Extracting #4: cost 12 inf + 2 2.181 * * [simplify]: Extracting #5: cost 6 inf + 254 2.181 * * [simplify]: Extracting #6: cost 4 inf + 460 2.182 * * [simplify]: Extracting #7: cost 1 inf + 859 2.182 * * [simplify]: Extracting #8: cost 0 inf + 1052 2.182 * [simplify]: Simplified to (log (- 2 (/ 2 (+ 1 t)))) 2.182 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.182 * * * * [progress]: [ 20 / 76 ] simplifiying candidate # 2.182 * [simplify]: Simplifying (exp (- 2 (/ 2 (+ 1 t)))) 2.182 * * [simplify]: iters left: 6 (7 enodes) 2.185 * * [simplify]: iters left: 5 (29 enodes) 2.195 * * [simplify]: iters left: 4 (43 enodes) 2.208 * * [simplify]: iters left: 3 (49 enodes) 2.225 * * [simplify]: iters left: 2 (53 enodes) 2.240 * * [simplify]: iters left: 1 (57 enodes) 2.257 * * [simplify]: Extracting #0: cost 1 inf + 0 2.257 * * [simplify]: Extracting #1: cost 10 inf + 0 2.257 * * [simplify]: Extracting #2: cost 18 inf + 1 2.257 * * [simplify]: Extracting #3: cost 21 inf + 2 2.257 * * [simplify]: Extracting #4: cost 21 inf + 74 2.258 * * [simplify]: Extracting #5: cost 11 inf + 1019 2.259 * * [simplify]: Extracting #6: cost 0 inf + 2701 2.260 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ 1 t)))) 2.260 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.260 * * * * [progress]: [ 21 / 76 ] simplifiying candidate # 2.260 * [simplify]: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 2.260 * * [simplify]: iters left: 6 (8 enodes) 2.265 * * [simplify]: iters left: 5 (29 enodes) 2.274 * * [simplify]: iters left: 4 (37 enodes) 2.284 * * [simplify]: iters left: 3 (39 enodes) 2.291 * * [simplify]: Extracting #0: cost 1 inf + 0 2.291 * * [simplify]: Extracting #1: cost 3 inf + 0 2.291 * * [simplify]: Extracting #2: cost 5 inf + 0 2.291 * * [simplify]: Extracting #3: cost 9 inf + 0 2.291 * * [simplify]: Extracting #4: cost 12 inf + 1 2.291 * * [simplify]: Extracting #5: cost 14 inf + 2 2.291 * * [simplify]: Extracting #6: cost 11 inf + 46 2.291 * * [simplify]: Extracting #7: cost 5 inf + 543 2.291 * * [simplify]: Extracting #8: cost 0 inf + 1558 2.292 * [simplify]: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 2.292 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.292 * [simplify]: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 2.292 * * [simplify]: iters left: 6 (7 enodes) 2.294 * * [simplify]: iters left: 5 (26 enodes) 2.298 * * [simplify]: iters left: 4 (34 enodes) 2.304 * * [simplify]: iters left: 3 (36 enodes) 2.309 * * [simplify]: Extracting #0: cost 1 inf + 0 2.309 * * [simplify]: Extracting #1: cost 3 inf + 0 2.309 * * [simplify]: Extracting #2: cost 7 inf + 0 2.310 * * [simplify]: Extracting #3: cost 10 inf + 1 2.310 * * [simplify]: Extracting #4: cost 12 inf + 2 2.310 * * [simplify]: Extracting #5: cost 6 inf + 254 2.310 * * [simplify]: Extracting #6: cost 4 inf + 460 2.310 * * [simplify]: Extracting #7: cost 1 inf + 869 2.310 * * [simplify]: Extracting #8: cost 0 inf + 1072 2.311 * [simplify]: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 2.311 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.311 * * * * [progress]: [ 22 / 76 ] simplifiying candidate # 2.311 * [simplify]: Simplifying (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 2.311 * * [simplify]: iters left: 6 (8 enodes) 2.314 * * [simplify]: iters left: 5 (30 enodes) 2.324 * * [simplify]: iters left: 4 (52 enodes) 2.347 * * [simplify]: iters left: 3 (133 enodes) 2.408 * * [simplify]: iters left: 2 (353 enodes) 2.604 * * [simplify]: Extracting #0: cost 1 inf + 0 2.605 * * [simplify]: Extracting #1: cost 33 inf + 0 2.606 * * [simplify]: Extracting #2: cost 162 inf + 1 2.607 * * [simplify]: Extracting #3: cost 198 inf + 7 2.613 * * [simplify]: Extracting #4: cost 144 inf + 9326 2.626 * * [simplify]: Extracting #5: cost 29 inf + 35192 2.641 * * [simplify]: Extracting #6: cost 0 inf + 43398 2.669 * [simplify]: Simplified to (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 2.669 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))))) 2.669 * * * * [progress]: [ 23 / 76 ] simplifiying candidate # 2.670 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 2.670 * * [simplify]: iters left: 6 (7 enodes) 2.672 * * [simplify]: iters left: 5 (26 enodes) 2.677 * * [simplify]: iters left: 4 (34 enodes) 2.683 * * [simplify]: iters left: 3 (36 enodes) 2.688 * * [simplify]: Extracting #0: cost 1 inf + 0 2.688 * * [simplify]: Extracting #1: cost 3 inf + 0 2.688 * * [simplify]: Extracting #2: cost 7 inf + 0 2.688 * * [simplify]: Extracting #3: cost 10 inf + 1 2.688 * * [simplify]: Extracting #4: cost 12 inf + 2 2.688 * * [simplify]: Extracting #5: cost 6 inf + 254 2.689 * * [simplify]: Extracting #6: cost 4 inf + 460 2.689 * * [simplify]: Extracting #7: cost 1 inf + 829 2.689 * * [simplify]: Extracting #8: cost 0 inf + 992 2.689 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 2.689 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.690 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 2.690 * * [simplify]: iters left: 6 (7 enodes) 2.692 * * [simplify]: iters left: 5 (26 enodes) 2.696 * * [simplify]: iters left: 4 (34 enodes) 2.706 * * [simplify]: iters left: 3 (36 enodes) 2.716 * * [simplify]: Extracting #0: cost 1 inf + 0 2.716 * * [simplify]: Extracting #1: cost 3 inf + 0 2.716 * * [simplify]: Extracting #2: cost 7 inf + 0 2.716 * * [simplify]: Extracting #3: cost 10 inf + 1 2.716 * * [simplify]: Extracting #4: cost 12 inf + 2 2.716 * * [simplify]: Extracting #5: cost 6 inf + 254 2.717 * * [simplify]: Extracting #6: cost 4 inf + 460 2.717 * * [simplify]: Extracting #7: cost 1 inf + 829 2.718 * * [simplify]: Extracting #8: cost 0 inf + 992 2.718 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 2.718 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 2.718 * * * * [progress]: [ 24 / 76 ] simplifiying candidate # 2.719 * [simplify]: Simplifying (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) 2.719 * * [simplify]: iters left: 6 (9 enodes) 2.727 * * [simplify]: iters left: 5 (48 enodes) 2.745 * * [simplify]: iters left: 4 (101 enodes) 2.779 * * [simplify]: iters left: 3 (250 enodes) 2.853 * * [simplify]: iters left: 2 (497 enodes) 3.159 * * [simplify]: Extracting #0: cost 1 inf + 0 3.159 * * [simplify]: Extracting #1: cost 5 inf + 0 3.159 * * [simplify]: Extracting #2: cost 85 inf + 1 3.160 * * [simplify]: Extracting #3: cost 186 inf + 7 3.161 * * [simplify]: Extracting #4: cost 156 inf + 5576 3.171 * * [simplify]: Extracting #5: cost 50 inf + 31724 3.181 * * [simplify]: Extracting #6: cost 2 inf + 56034 3.191 * * [simplify]: Extracting #7: cost 0 inf + 56952 3.209 * [simplify]: Simplified to (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) 3.209 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))))) 3.210 * [simplify]: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 3.210 * * [simplify]: iters left: 6 (10 enodes) 3.217 * * [simplify]: iters left: 5 (44 enodes) 3.227 * * [simplify]: iters left: 4 (69 enodes) 3.238 * * [simplify]: iters left: 3 (90 enodes) 3.252 * * [simplify]: iters left: 2 (125 enodes) 3.290 * * [simplify]: iters left: 1 (168 enodes) 3.323 * * [simplify]: Extracting #0: cost 1 inf + 0 3.323 * * [simplify]: Extracting #1: cost 13 inf + 0 3.323 * * [simplify]: Extracting #2: cost 32 inf + 2 3.323 * * [simplify]: Extracting #3: cost 48 inf + 3 3.324 * * [simplify]: Extracting #4: cost 31 inf + 2584 3.326 * * [simplify]: Extracting #5: cost 3 inf + 6422 3.328 * * [simplify]: Extracting #6: cost 0 inf + 6665 3.331 * [simplify]: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 3.331 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))))) 3.331 * * * * [progress]: [ 25 / 76 ] simplifiying candidate # 3.332 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 3.332 * * [simplify]: iters left: 6 (6 enodes) 3.336 * * [simplify]: iters left: 5 (24 enodes) 3.342 * * [simplify]: iters left: 4 (28 enodes) 3.346 * * [simplify]: Extracting #0: cost 1 inf + 0 3.346 * * [simplify]: Extracting #1: cost 5 inf + 0 3.346 * * [simplify]: Extracting #2: cost 9 inf + 1 3.346 * * [simplify]: Extracting #3: cost 6 inf + 4 3.346 * * [simplify]: Extracting #4: cost 1 inf + 337 3.346 * * [simplify]: Extracting #5: cost 0 inf + 420 3.347 * [simplify]: Simplified to (/ -2 (+ 1 t)) 3.347 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (/ -2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.347 * * * * [progress]: [ 26 / 76 ] simplifiying candidate # 3.347 * * * * [progress]: [ 27 / 76 ] simplifiying candidate # 3.347 * [simplify]: Simplifying (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) 3.347 * * [simplify]: iters left: 6 (8 enodes) 3.350 * * [simplify]: iters left: 5 (37 enodes) 3.357 * * [simplify]: iters left: 4 (64 enodes) 3.368 * * [simplify]: iters left: 3 (107 enodes) 3.387 * * [simplify]: iters left: 2 (175 enodes) 3.429 * * [simplify]: iters left: 1 (287 enodes) 3.571 * * [simplify]: Extracting #0: cost 1 inf + 0 3.571 * * [simplify]: Extracting #1: cost 27 inf + 0 3.572 * * [simplify]: Extracting #2: cost 96 inf + 2 3.573 * * [simplify]: Extracting #3: cost 120 inf + 5 3.574 * * [simplify]: Extracting #4: cost 111 inf + 1406 3.581 * * [simplify]: Extracting #5: cost 36 inf + 12803 3.587 * * [simplify]: Extracting #6: cost 0 inf + 19199 3.595 * * [simplify]: Extracting #7: cost 0 inf + 19114 3.601 * [simplify]: Simplified to (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) 3.601 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) 3.601 * [simplify]: Simplifying (+ 2 (/ 2 (+ 1 t))) 3.601 * * [simplify]: iters left: 6 (6 enodes) 3.604 * * [simplify]: iters left: 5 (22 enodes) 3.608 * * [simplify]: iters left: 4 (24 enodes) 3.612 * * [simplify]: Extracting #0: cost 1 inf + 0 3.613 * * [simplify]: Extracting #1: cost 4 inf + 0 3.613 * * [simplify]: Extracting #2: cost 5 inf + 1 3.613 * * [simplify]: Extracting #3: cost 8 inf + 1 3.613 * * [simplify]: Extracting #4: cost 6 inf + 3 3.613 * * [simplify]: Extracting #5: cost 0 inf + 499 3.613 * [simplify]: Simplified to (+ 2 (/ 2 (+ 1 t))) 3.613 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) 3.613 * * * * [progress]: [ 28 / 76 ] simplifiying candidate # 3.613 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 3.613 * * [simplify]: iters left: 6 (8 enodes) 3.616 * * [simplify]: iters left: 5 (28 enodes) 3.621 * * [simplify]: iters left: 4 (30 enodes) 3.631 * * [simplify]: Extracting #0: cost 1 inf + 0 3.631 * * [simplify]: Extracting #1: cost 4 inf + 0 3.631 * * [simplify]: Extracting #2: cost 8 inf + 0 3.631 * * [simplify]: Extracting #3: cost 9 inf + 1 3.631 * * [simplify]: Extracting #4: cost 10 inf + 83 3.631 * * [simplify]: Extracting #5: cost 8 inf + 85 3.631 * * [simplify]: Extracting #6: cost 5 inf + 252 3.632 * * [simplify]: Extracting #7: cost 1 inf + 784 3.632 * * [simplify]: Extracting #8: cost 0 inf + 987 3.633 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) 3.633 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 3.633 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 3.633 * * [simplify]: iters left: 6 (8 enodes) 3.638 * * [simplify]: iters left: 5 (29 enodes) 3.648 * * [simplify]: iters left: 4 (34 enodes) 3.658 * * [simplify]: Extracting #0: cost 1 inf + 0 3.659 * * [simplify]: Extracting #1: cost 5 inf + 0 3.659 * * [simplify]: Extracting #2: cost 10 inf + 0 3.659 * * [simplify]: Extracting #3: cost 11 inf + 1 3.659 * * [simplify]: Extracting #4: cost 12 inf + 83 3.659 * * [simplify]: Extracting #5: cost 10 inf + 85 3.659 * * [simplify]: Extracting #6: cost 7 inf + 252 3.660 * * [simplify]: Extracting #7: cost 0 inf + 1313 3.660 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1)))) 3.660 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))))) 3.660 * * * * [progress]: [ 29 / 76 ] simplifiying candidate # 3.661 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 3.661 * * [simplify]: iters left: 6 (8 enodes) 3.665 * * [simplify]: iters left: 5 (28 enodes) 3.675 * * [simplify]: iters left: 4 (30 enodes) 3.684 * * [simplify]: Extracting #0: cost 1 inf + 0 3.684 * * [simplify]: Extracting #1: cost 4 inf + 0 3.684 * * [simplify]: Extracting #2: cost 8 inf + 0 3.685 * * [simplify]: Extracting #3: cost 9 inf + 1 3.685 * * [simplify]: Extracting #4: cost 10 inf + 83 3.685 * * [simplify]: Extracting #5: cost 8 inf + 85 3.685 * * [simplify]: Extracting #6: cost 5 inf + 251 3.685 * * [simplify]: Extracting #7: cost 1 inf + 862 3.686 * * [simplify]: Extracting #8: cost 0 inf + 1065 3.686 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 3.686 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 3.687 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 3.687 * * [simplify]: iters left: 6 (8 enodes) 3.692 * * [simplify]: iters left: 5 (29 enodes) 3.702 * * [simplify]: iters left: 4 (36 enodes) 3.713 * * [simplify]: iters left: 3 (38 enodes) 3.725 * * [simplify]: Extracting #0: cost 1 inf + 0 3.725 * * [simplify]: Extracting #1: cost 5 inf + 0 3.725 * * [simplify]: Extracting #2: cost 11 inf + 0 3.725 * * [simplify]: Extracting #3: cost 13 inf + 1 3.725 * * [simplify]: Extracting #4: cost 15 inf + 42 3.725 * * [simplify]: Extracting #5: cost 11 inf + 166 3.725 * * [simplify]: Extracting #6: cost 7 inf + 413 3.726 * * [simplify]: Extracting #7: cost 0 inf + 1633 3.726 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 3.726 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ 1 t))))))) 3.727 * * * * [progress]: [ 30 / 76 ] simplifiying candidate # 3.727 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t))) 3.727 * * [simplify]: iters left: 6 (6 enodes) 3.731 * * [simplify]: iters left: 5 (23 enodes) 3.742 * * [simplify]: iters left: 4 (31 enodes) 3.751 * * [simplify]: iters left: 3 (33 enodes) 3.761 * * [simplify]: Extracting #0: cost 1 inf + 0 3.761 * * [simplify]: Extracting #1: cost 5 inf + 0 3.761 * * [simplify]: Extracting #2: cost 8 inf + 1 3.761 * * [simplify]: Extracting #3: cost 10 inf + 2 3.761 * * [simplify]: Extracting #4: cost 8 inf + 4 3.762 * * [simplify]: Extracting #5: cost 2 inf + 460 3.762 * * [simplify]: Extracting #6: cost 0 inf + 666 3.762 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t))) 3.762 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) 3.763 * * * * [progress]: [ 31 / 76 ] simplifiying candidate # 3.763 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 3.763 * * [simplify]: iters left: 6 (6 enodes) 3.767 * * [simplify]: iters left: 5 (24 enodes) 3.775 * * [simplify]: iters left: 4 (28 enodes) 3.784 * * [simplify]: Extracting #0: cost 1 inf + 0 3.784 * * [simplify]: Extracting #1: cost 5 inf + 0 3.784 * * [simplify]: Extracting #2: cost 9 inf + 1 3.784 * * [simplify]: Extracting #3: cost 6 inf + 4 3.784 * * [simplify]: Extracting #4: cost 1 inf + 337 3.784 * * [simplify]: Extracting #5: cost 0 inf + 420 3.785 * [simplify]: Simplified to (/ -2 (+ 1 t)) 3.785 * [simplify]: Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (/ -2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.785 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))> 3.785 * [simplify]: Simplifying (real->posit16 (- 2 (/ 2 (+ 1 t)))) 3.785 * * [simplify]: iters left: 6 (7 enodes) 3.789 * * [simplify]: iters left: 5 (23 enodes) 3.797 * * [simplify]: iters left: 4 (31 enodes) 3.807 * * [simplify]: iters left: 3 (33 enodes) 3.812 * * [simplify]: Extracting #0: cost 1 inf + 0 3.812 * * [simplify]: Extracting #1: cost 2 inf + 0 3.812 * * [simplify]: Extracting #2: cost 5 inf + 0 3.812 * * [simplify]: Extracting #3: cost 8 inf + 1 3.813 * * [simplify]: Extracting #4: cost 10 inf + 2 3.813 * * [simplify]: Extracting #5: cost 8 inf + 4 3.813 * * [simplify]: Extracting #6: cost 1 inf + 583 3.813 * * [simplify]: Extracting #7: cost 0 inf + 666 3.813 * [simplify]: Simplified to (real->posit16 (- 2 (/ 2 (+ 1 t)))) 3.813 * [simplify]: Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))) 3.813 * * * * [progress]: [ 33 / 76 ] simplifiying candidate # 3.813 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t)))) 3.814 * * [simplify]: iters left: 6 (8 enodes) 3.816 * * [simplify]: iters left: 5 (29 enodes) 3.822 * * [simplify]: iters left: 4 (35 enodes) 3.828 * * [simplify]: iters left: 3 (43 enodes) 3.835 * * [simplify]: iters left: 2 (49 enodes) 3.851 * * [simplify]: iters left: 1 (53 enodes) 3.866 * * [simplify]: Extracting #0: cost 1 inf + 0 3.866 * * [simplify]: Extracting #1: cost 9 inf + 0 3.866 * * [simplify]: Extracting #2: cost 15 inf + 1 3.866 * * [simplify]: Extracting #3: cost 18 inf + 2 3.867 * * [simplify]: Extracting #4: cost 18 inf + 74 3.867 * * [simplify]: Extracting #5: cost 16 inf + 146 3.867 * * [simplify]: Extracting #6: cost 8 inf + 1160 3.868 * * [simplify]: Extracting #7: cost 1 inf + 1999 3.869 * * [simplify]: Extracting #8: cost 0 inf + 2262 3.870 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1)))) 3.870 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.870 * * * * [progress]: [ 34 / 76 ] simplifiying candidate # 3.870 * * * * [progress]: [ 35 / 76 ] simplifiying candidate # 3.870 * [simplify]: Simplifying (log (- 2 (/ 2 (+ 1 t)))) 3.870 * * [simplify]: iters left: 6 (7 enodes) 3.876 * * [simplify]: iters left: 5 (26 enodes) 3.885 * * [simplify]: iters left: 4 (34 enodes) 3.895 * * [simplify]: iters left: 3 (36 enodes) 3.901 * * [simplify]: Extracting #0: cost 1 inf + 0 3.901 * * [simplify]: Extracting #1: cost 3 inf + 0 3.901 * * [simplify]: Extracting #2: cost 7 inf + 0 3.901 * * [simplify]: Extracting #3: cost 10 inf + 1 3.901 * * [simplify]: Extracting #4: cost 12 inf + 2 3.901 * * [simplify]: Extracting #5: cost 6 inf + 254 3.901 * * [simplify]: Extracting #6: cost 4 inf + 460 3.901 * * [simplify]: Extracting #7: cost 1 inf + 859 3.901 * * [simplify]: Extracting #8: cost 0 inf + 1052 3.902 * [simplify]: Simplified to (log (- 2 (/ 2 (+ 1 t)))) 3.902 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.902 * * * * [progress]: [ 36 / 76 ] simplifiying candidate # 3.902 * [simplify]: Simplifying (exp (- 2 (/ 2 (+ 1 t)))) 3.902 * * [simplify]: iters left: 6 (7 enodes) 3.905 * * [simplify]: iters left: 5 (29 enodes) 3.910 * * [simplify]: iters left: 4 (43 enodes) 3.918 * * [simplify]: iters left: 3 (49 enodes) 3.928 * * [simplify]: iters left: 2 (53 enodes) 3.943 * * [simplify]: iters left: 1 (57 enodes) 3.960 * * [simplify]: Extracting #0: cost 1 inf + 0 3.960 * * [simplify]: Extracting #1: cost 10 inf + 0 3.960 * * [simplify]: Extracting #2: cost 18 inf + 1 3.961 * * [simplify]: Extracting #3: cost 21 inf + 2 3.961 * * [simplify]: Extracting #4: cost 21 inf + 74 3.961 * * [simplify]: Extracting #5: cost 11 inf + 1019 3.962 * * [simplify]: Extracting #6: cost 0 inf + 2701 3.963 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ 1 t)))) 3.963 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.963 * * * * [progress]: [ 37 / 76 ] simplifiying candidate # 3.964 * [simplify]: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 3.964 * * [simplify]: iters left: 6 (8 enodes) 3.969 * * [simplify]: iters left: 5 (29 enodes) 3.975 * * [simplify]: iters left: 4 (37 enodes) 3.981 * * [simplify]: iters left: 3 (39 enodes) 3.987 * * [simplify]: Extracting #0: cost 1 inf + 0 3.987 * * [simplify]: Extracting #1: cost 3 inf + 0 3.987 * * [simplify]: Extracting #2: cost 5 inf + 0 3.987 * * [simplify]: Extracting #3: cost 9 inf + 0 3.987 * * [simplify]: Extracting #4: cost 12 inf + 1 3.987 * * [simplify]: Extracting #5: cost 14 inf + 2 3.987 * * [simplify]: Extracting #6: cost 11 inf + 46 3.987 * * [simplify]: Extracting #7: cost 5 inf + 543 3.987 * * [simplify]: Extracting #8: cost 0 inf + 1558 3.988 * [simplify]: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 3.988 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 3.988 * [simplify]: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 3.988 * * [simplify]: iters left: 6 (7 enodes) 3.990 * * [simplify]: iters left: 5 (26 enodes) 3.996 * * [simplify]: iters left: 4 (34 enodes) 4.006 * * [simplify]: iters left: 3 (36 enodes) 4.016 * * [simplify]: Extracting #0: cost 1 inf + 0 4.016 * * [simplify]: Extracting #1: cost 3 inf + 0 4.016 * * [simplify]: Extracting #2: cost 7 inf + 0 4.016 * * [simplify]: Extracting #3: cost 10 inf + 1 4.017 * * [simplify]: Extracting #4: cost 12 inf + 2 4.017 * * [simplify]: Extracting #5: cost 6 inf + 254 4.017 * * [simplify]: Extracting #6: cost 4 inf + 460 4.017 * * [simplify]: Extracting #7: cost 1 inf + 869 4.018 * * [simplify]: Extracting #8: cost 0 inf + 1072 4.018 * [simplify]: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 4.018 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 4.019 * * * * [progress]: [ 38 / 76 ] simplifiying candidate # 4.019 * [simplify]: Simplifying (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 4.019 * * [simplify]: iters left: 6 (8 enodes) 4.024 * * [simplify]: iters left: 5 (30 enodes) 4.034 * * [simplify]: iters left: 4 (52 enodes) 4.056 * * [simplify]: iters left: 3 (133 enodes) 4.114 * * [simplify]: iters left: 2 (353 enodes) 4.293 * * [simplify]: Extracting #0: cost 1 inf + 0 4.293 * * [simplify]: Extracting #1: cost 33 inf + 0 4.294 * * [simplify]: Extracting #2: cost 162 inf + 1 4.295 * * [simplify]: Extracting #3: cost 198 inf + 7 4.297 * * [simplify]: Extracting #4: cost 144 inf + 9326 4.306 * * [simplify]: Extracting #5: cost 29 inf + 35192 4.321 * * [simplify]: Extracting #6: cost 0 inf + 43398 4.339 * [simplify]: Simplified to (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 4.339 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 4.339 * * * * [progress]: [ 39 / 76 ] simplifiying candidate # 4.339 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 4.339 * * [simplify]: iters left: 6 (7 enodes) 4.342 * * [simplify]: iters left: 5 (26 enodes) 4.346 * * [simplify]: iters left: 4 (34 enodes) 4.352 * * [simplify]: iters left: 3 (36 enodes) 4.358 * * [simplify]: Extracting #0: cost 1 inf + 0 4.358 * * [simplify]: Extracting #1: cost 3 inf + 0 4.358 * * [simplify]: Extracting #2: cost 7 inf + 0 4.358 * * [simplify]: Extracting #3: cost 10 inf + 1 4.358 * * [simplify]: Extracting #4: cost 12 inf + 2 4.358 * * [simplify]: Extracting #5: cost 6 inf + 254 4.359 * * [simplify]: Extracting #6: cost 4 inf + 460 4.359 * * [simplify]: Extracting #7: cost 1 inf + 829 4.359 * * [simplify]: Extracting #8: cost 0 inf + 992 4.360 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 4.360 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 4.360 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 4.360 * * [simplify]: iters left: 6 (7 enodes) 4.364 * * [simplify]: iters left: 5 (26 enodes) 4.373 * * [simplify]: iters left: 4 (34 enodes) 4.383 * * [simplify]: iters left: 3 (36 enodes) 4.394 * * [simplify]: Extracting #0: cost 1 inf + 0 4.394 * * [simplify]: Extracting #1: cost 3 inf + 0 4.394 * * [simplify]: Extracting #2: cost 7 inf + 0 4.394 * * [simplify]: Extracting #3: cost 10 inf + 1 4.394 * * [simplify]: Extracting #4: cost 12 inf + 2 4.394 * * [simplify]: Extracting #5: cost 6 inf + 254 4.395 * * [simplify]: Extracting #6: cost 4 inf + 460 4.395 * * [simplify]: Extracting #7: cost 1 inf + 829 4.395 * * [simplify]: Extracting #8: cost 0 inf + 992 4.396 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 4.396 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 4.396 * * * * [progress]: [ 40 / 76 ] simplifiying candidate # 4.396 * [simplify]: Simplifying (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) 4.396 * * [simplify]: iters left: 6 (9 enodes) 4.407 * * [simplify]: iters left: 5 (48 enodes) 4.426 * * [simplify]: iters left: 4 (101 enodes) 4.454 * * [simplify]: iters left: 3 (250 enodes) 4.556 * * [simplify]: iters left: 2 (497 enodes) 4.845 * * [simplify]: Extracting #0: cost 1 inf + 0 4.845 * * [simplify]: Extracting #1: cost 5 inf + 0 4.846 * * [simplify]: Extracting #2: cost 85 inf + 1 4.847 * * [simplify]: Extracting #3: cost 186 inf + 7 4.850 * * [simplify]: Extracting #4: cost 156 inf + 5576 4.857 * * [simplify]: Extracting #5: cost 50 inf + 31724 4.867 * * [simplify]: Extracting #6: cost 2 inf + 56034 4.876 * * [simplify]: Extracting #7: cost 0 inf + 56952 4.890 * [simplify]: Simplified to (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) 4.890 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 4.890 * [simplify]: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 4.890 * * [simplify]: iters left: 6 (10 enodes) 4.894 * * [simplify]: iters left: 5 (44 enodes) 4.902 * * [simplify]: iters left: 4 (69 enodes) 4.915 * * [simplify]: iters left: 3 (90 enodes) 4.935 * * [simplify]: iters left: 2 (125 enodes) 4.974 * * [simplify]: iters left: 1 (168 enodes) 5.002 * * [simplify]: Extracting #0: cost 1 inf + 0 5.002 * * [simplify]: Extracting #1: cost 13 inf + 0 5.002 * * [simplify]: Extracting #2: cost 32 inf + 2 5.002 * * [simplify]: Extracting #3: cost 48 inf + 3 5.003 * * [simplify]: Extracting #4: cost 31 inf + 2584 5.005 * * [simplify]: Extracting #5: cost 3 inf + 6422 5.011 * * [simplify]: Extracting #6: cost 0 inf + 6665 5.015 * [simplify]: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 5.015 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.015 * * * * [progress]: [ 41 / 76 ] simplifiying candidate # 5.015 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 5.016 * * [simplify]: iters left: 6 (6 enodes) 5.020 * * [simplify]: iters left: 5 (24 enodes) 5.027 * * [simplify]: iters left: 4 (28 enodes) 5.035 * * [simplify]: Extracting #0: cost 1 inf + 0 5.035 * * [simplify]: Extracting #1: cost 5 inf + 0 5.035 * * [simplify]: Extracting #2: cost 9 inf + 1 5.035 * * [simplify]: Extracting #3: cost 6 inf + 4 5.035 * * [simplify]: Extracting #4: cost 1 inf + 337 5.035 * * [simplify]: Extracting #5: cost 0 inf + 420 5.035 * [simplify]: Simplified to (/ -2 (+ 1 t)) 5.035 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (/ -2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.035 * * * * [progress]: [ 42 / 76 ] simplifiying candidate # 5.035 * * * * [progress]: [ 43 / 76 ] simplifiying candidate # 5.035 * [simplify]: Simplifying (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) 5.036 * * [simplify]: iters left: 6 (8 enodes) 5.038 * * [simplify]: iters left: 5 (37 enodes) 5.045 * * [simplify]: iters left: 4 (64 enodes) 5.056 * * [simplify]: iters left: 3 (107 enodes) 5.074 * * [simplify]: iters left: 2 (175 enodes) 5.106 * * [simplify]: iters left: 1 (287 enodes) 5.215 * * [simplify]: Extracting #0: cost 1 inf + 0 5.215 * * [simplify]: Extracting #1: cost 27 inf + 0 5.215 * * [simplify]: Extracting #2: cost 96 inf + 2 5.215 * * [simplify]: Extracting #3: cost 120 inf + 5 5.216 * * [simplify]: Extracting #4: cost 111 inf + 1406 5.220 * * [simplify]: Extracting #5: cost 36 inf + 12803 5.225 * * [simplify]: Extracting #6: cost 0 inf + 19199 5.233 * * [simplify]: Extracting #7: cost 0 inf + 19114 5.245 * [simplify]: Simplified to (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) 5.245 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.245 * [simplify]: Simplifying (+ 2 (/ 2 (+ 1 t))) 5.245 * * [simplify]: iters left: 6 (6 enodes) 5.249 * * [simplify]: iters left: 5 (22 enodes) 5.256 * * [simplify]: iters left: 4 (24 enodes) 5.262 * * [simplify]: Extracting #0: cost 1 inf + 0 5.262 * * [simplify]: Extracting #1: cost 4 inf + 0 5.262 * * [simplify]: Extracting #2: cost 5 inf + 1 5.262 * * [simplify]: Extracting #3: cost 8 inf + 1 5.262 * * [simplify]: Extracting #4: cost 6 inf + 3 5.262 * * [simplify]: Extracting #5: cost 0 inf + 499 5.262 * [simplify]: Simplified to (+ 2 (/ 2 (+ 1 t))) 5.262 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.262 * * * * [progress]: [ 44 / 76 ] simplifiying candidate # 5.262 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 5.262 * * [simplify]: iters left: 6 (8 enodes) 5.265 * * [simplify]: iters left: 5 (28 enodes) 5.270 * * [simplify]: iters left: 4 (30 enodes) 5.275 * * [simplify]: Extracting #0: cost 1 inf + 0 5.275 * * [simplify]: Extracting #1: cost 4 inf + 0 5.275 * * [simplify]: Extracting #2: cost 8 inf + 0 5.275 * * [simplify]: Extracting #3: cost 9 inf + 1 5.275 * * [simplify]: Extracting #4: cost 10 inf + 83 5.275 * * [simplify]: Extracting #5: cost 8 inf + 85 5.275 * * [simplify]: Extracting #6: cost 5 inf + 252 5.275 * * [simplify]: Extracting #7: cost 1 inf + 784 5.275 * * [simplify]: Extracting #8: cost 0 inf + 987 5.276 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) 5.276 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.276 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 5.276 * * [simplify]: iters left: 6 (8 enodes) 5.278 * * [simplify]: iters left: 5 (29 enodes) 5.284 * * [simplify]: iters left: 4 (34 enodes) 5.293 * * [simplify]: Extracting #0: cost 1 inf + 0 5.293 * * [simplify]: Extracting #1: cost 5 inf + 0 5.293 * * [simplify]: Extracting #2: cost 10 inf + 0 5.293 * * [simplify]: Extracting #3: cost 11 inf + 1 5.293 * * [simplify]: Extracting #4: cost 12 inf + 83 5.293 * * [simplify]: Extracting #5: cost 10 inf + 85 5.293 * * [simplify]: Extracting #6: cost 7 inf + 252 5.294 * * [simplify]: Extracting #7: cost 0 inf + 1313 5.294 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1)))) 5.294 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.294 * * * * [progress]: [ 45 / 76 ] simplifiying candidate # 5.295 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 5.295 * * [simplify]: iters left: 6 (8 enodes) 5.303 * * [simplify]: iters left: 5 (28 enodes) 5.312 * * [simplify]: iters left: 4 (30 enodes) 5.321 * * [simplify]: Extracting #0: cost 1 inf + 0 5.321 * * [simplify]: Extracting #1: cost 4 inf + 0 5.321 * * [simplify]: Extracting #2: cost 8 inf + 0 5.321 * * [simplify]: Extracting #3: cost 9 inf + 1 5.321 * * [simplify]: Extracting #4: cost 10 inf + 83 5.322 * * [simplify]: Extracting #5: cost 8 inf + 85 5.322 * * [simplify]: Extracting #6: cost 5 inf + 251 5.322 * * [simplify]: Extracting #7: cost 1 inf + 862 5.322 * * [simplify]: Extracting #8: cost 0 inf + 1065 5.323 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 5.323 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.323 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 5.324 * * [simplify]: iters left: 6 (8 enodes) 5.328 * * [simplify]: iters left: 5 (29 enodes) 5.338 * * [simplify]: iters left: 4 (36 enodes) 5.343 * * [simplify]: iters left: 3 (38 enodes) 5.349 * * [simplify]: Extracting #0: cost 1 inf + 0 5.349 * * [simplify]: Extracting #1: cost 5 inf + 0 5.349 * * [simplify]: Extracting #2: cost 11 inf + 0 5.349 * * [simplify]: Extracting #3: cost 13 inf + 1 5.349 * * [simplify]: Extracting #4: cost 15 inf + 42 5.349 * * [simplify]: Extracting #5: cost 11 inf + 166 5.350 * * [simplify]: Extracting #6: cost 7 inf + 413 5.350 * * [simplify]: Extracting #7: cost 0 inf + 1633 5.350 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 5.350 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.350 * * * * [progress]: [ 46 / 76 ] simplifiying candidate # 5.351 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t))) 5.351 * * [simplify]: iters left: 6 (6 enodes) 5.353 * * [simplify]: iters left: 5 (23 enodes) 5.357 * * [simplify]: iters left: 4 (31 enodes) 5.362 * * [simplify]: iters left: 3 (33 enodes) 5.367 * * [simplify]: Extracting #0: cost 1 inf + 0 5.368 * * [simplify]: Extracting #1: cost 5 inf + 0 5.368 * * [simplify]: Extracting #2: cost 8 inf + 1 5.368 * * [simplify]: Extracting #3: cost 10 inf + 2 5.368 * * [simplify]: Extracting #4: cost 8 inf + 4 5.368 * * [simplify]: Extracting #5: cost 2 inf + 460 5.368 * * [simplify]: Extracting #6: cost 0 inf + 666 5.368 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t))) 5.368 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.368 * * * * [progress]: [ 47 / 76 ] simplifiying candidate # 5.369 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 5.369 * * [simplify]: iters left: 6 (6 enodes) 5.373 * * [simplify]: iters left: 5 (24 enodes) 5.380 * * [simplify]: iters left: 4 (28 enodes) 5.389 * * [simplify]: Extracting #0: cost 1 inf + 0 5.389 * * [simplify]: Extracting #1: cost 5 inf + 0 5.389 * * [simplify]: Extracting #2: cost 9 inf + 1 5.389 * * [simplify]: Extracting #3: cost 6 inf + 4 5.390 * * [simplify]: Extracting #4: cost 1 inf + 337 5.390 * * [simplify]: Extracting #5: cost 0 inf + 420 5.390 * [simplify]: Simplified to (/ -2 (+ 1 t)) 5.390 * [simplify]: Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (/ -2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.390 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))> 5.391 * [simplify]: Simplifying (real->posit16 (- 2 (/ 2 (+ 1 t)))) 5.391 * * [simplify]: iters left: 6 (7 enodes) 5.395 * * [simplify]: iters left: 5 (23 enodes) 5.403 * * [simplify]: iters left: 4 (31 enodes) 5.412 * * [simplify]: iters left: 3 (33 enodes) 5.422 * * [simplify]: Extracting #0: cost 1 inf + 0 5.422 * * [simplify]: Extracting #1: cost 2 inf + 0 5.422 * * [simplify]: Extracting #2: cost 5 inf + 0 5.422 * * [simplify]: Extracting #3: cost 8 inf + 1 5.423 * * [simplify]: Extracting #4: cost 10 inf + 2 5.423 * * [simplify]: Extracting #5: cost 8 inf + 4 5.423 * * [simplify]: Extracting #6: cost 1 inf + 583 5.423 * * [simplify]: Extracting #7: cost 0 inf + 666 5.424 * [simplify]: Simplified to (real->posit16 (- 2 (/ 2 (+ 1 t)))) 5.424 * [simplify]: Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.424 * * * * [progress]: [ 49 / 76 ] simplifiying candidate # 5.424 * [simplify]: Simplifying (/ (exp 2) (exp (/ 2 (+ 1 t)))) 5.424 * * [simplify]: iters left: 6 (8 enodes) 5.429 * * [simplify]: iters left: 5 (29 enodes) 5.441 * * [simplify]: iters left: 4 (35 enodes) 5.453 * * [simplify]: iters left: 3 (43 enodes) 5.466 * * [simplify]: iters left: 2 (49 enodes) 5.481 * * [simplify]: iters left: 1 (53 enodes) 5.497 * * [simplify]: Extracting #0: cost 1 inf + 0 5.497 * * [simplify]: Extracting #1: cost 9 inf + 0 5.497 * * [simplify]: Extracting #2: cost 15 inf + 1 5.497 * * [simplify]: Extracting #3: cost 18 inf + 2 5.497 * * [simplify]: Extracting #4: cost 18 inf + 74 5.498 * * [simplify]: Extracting #5: cost 16 inf + 146 5.498 * * [simplify]: Extracting #6: cost 8 inf + 1160 5.499 * * [simplify]: Extracting #7: cost 1 inf + 1999 5.500 * * [simplify]: Extracting #8: cost 0 inf + 2262 5.500 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ t 1)))) 5.501 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.501 * * * * [progress]: [ 50 / 76 ] simplifiying candidate # 5.501 * * * * [progress]: [ 51 / 76 ] simplifiying candidate # 5.501 * [simplify]: Simplifying (log (- 2 (/ 2 (+ 1 t)))) 5.501 * * [simplify]: iters left: 6 (7 enodes) 5.505 * * [simplify]: iters left: 5 (26 enodes) 5.515 * * [simplify]: iters left: 4 (34 enodes) 5.525 * * [simplify]: iters left: 3 (36 enodes) 5.535 * * [simplify]: Extracting #0: cost 1 inf + 0 5.535 * * [simplify]: Extracting #1: cost 3 inf + 0 5.535 * * [simplify]: Extracting #2: cost 7 inf + 0 5.535 * * [simplify]: Extracting #3: cost 10 inf + 1 5.536 * * [simplify]: Extracting #4: cost 12 inf + 2 5.536 * * [simplify]: Extracting #5: cost 6 inf + 254 5.536 * * [simplify]: Extracting #6: cost 4 inf + 460 5.536 * * [simplify]: Extracting #7: cost 1 inf + 859 5.537 * * [simplify]: Extracting #8: cost 0 inf + 1052 5.537 * [simplify]: Simplified to (log (- 2 (/ 2 (+ 1 t)))) 5.537 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.538 * * * * [progress]: [ 52 / 76 ] simplifiying candidate # 5.538 * [simplify]: Simplifying (exp (- 2 (/ 2 (+ 1 t)))) 5.538 * * [simplify]: iters left: 6 (7 enodes) 5.542 * * [simplify]: iters left: 5 (29 enodes) 5.553 * * [simplify]: iters left: 4 (43 enodes) 5.565 * * [simplify]: iters left: 3 (49 enodes) 5.580 * * [simplify]: iters left: 2 (53 enodes) 5.596 * * [simplify]: iters left: 1 (57 enodes) 5.617 * * [simplify]: Extracting #0: cost 1 inf + 0 5.617 * * [simplify]: Extracting #1: cost 10 inf + 0 5.617 * * [simplify]: Extracting #2: cost 18 inf + 1 5.617 * * [simplify]: Extracting #3: cost 21 inf + 2 5.617 * * [simplify]: Extracting #4: cost 21 inf + 74 5.617 * * [simplify]: Extracting #5: cost 11 inf + 1019 5.618 * * [simplify]: Extracting #6: cost 0 inf + 2701 5.618 * [simplify]: Simplified to (exp (- 2 (/ 2 (+ 1 t)))) 5.619 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.619 * * * * [progress]: [ 53 / 76 ] simplifiying candidate # 5.619 * [simplify]: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 5.619 * * [simplify]: iters left: 6 (8 enodes) 5.622 * * [simplify]: iters left: 5 (29 enodes) 5.627 * * [simplify]: iters left: 4 (37 enodes) 5.633 * * [simplify]: iters left: 3 (39 enodes) 5.639 * * [simplify]: Extracting #0: cost 1 inf + 0 5.639 * * [simplify]: Extracting #1: cost 3 inf + 0 5.639 * * [simplify]: Extracting #2: cost 5 inf + 0 5.639 * * [simplify]: Extracting #3: cost 9 inf + 0 5.639 * * [simplify]: Extracting #4: cost 12 inf + 1 5.639 * * [simplify]: Extracting #5: cost 14 inf + 2 5.639 * * [simplify]: Extracting #6: cost 11 inf + 46 5.639 * * [simplify]: Extracting #7: cost 5 inf + 543 5.640 * * [simplify]: Extracting #8: cost 0 inf + 1558 5.640 * [simplify]: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 5.640 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.640 * [simplify]: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 5.640 * * [simplify]: iters left: 6 (7 enodes) 5.643 * * [simplify]: iters left: 5 (26 enodes) 5.649 * * [simplify]: iters left: 4 (34 enodes) 5.654 * * [simplify]: iters left: 3 (36 enodes) 5.660 * * [simplify]: Extracting #0: cost 1 inf + 0 5.660 * * [simplify]: Extracting #1: cost 3 inf + 0 5.660 * * [simplify]: Extracting #2: cost 7 inf + 0 5.660 * * [simplify]: Extracting #3: cost 10 inf + 1 5.660 * * [simplify]: Extracting #4: cost 12 inf + 2 5.660 * * [simplify]: Extracting #5: cost 6 inf + 254 5.660 * * [simplify]: Extracting #6: cost 4 inf + 460 5.660 * * [simplify]: Extracting #7: cost 1 inf + 869 5.660 * * [simplify]: Extracting #8: cost 0 inf + 1072 5.661 * [simplify]: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 5.661 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.661 * * * * [progress]: [ 54 / 76 ] simplifiying candidate # 5.661 * [simplify]: Simplifying (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 5.661 * * [simplify]: iters left: 6 (8 enodes) 5.663 * * [simplify]: iters left: 5 (30 enodes) 5.669 * * [simplify]: iters left: 4 (52 enodes) 5.681 * * [simplify]: iters left: 3 (133 enodes) 5.732 * * [simplify]: iters left: 2 (353 enodes) 5.917 * * [simplify]: Extracting #0: cost 1 inf + 0 5.917 * * [simplify]: Extracting #1: cost 33 inf + 0 5.918 * * [simplify]: Extracting #2: cost 162 inf + 1 5.920 * * [simplify]: Extracting #3: cost 198 inf + 7 5.925 * * [simplify]: Extracting #4: cost 144 inf + 9326 5.943 * * [simplify]: Extracting #5: cost 29 inf + 35192 5.970 * * [simplify]: Extracting #6: cost 0 inf + 43398 5.997 * [simplify]: Simplified to (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 5.997 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (cbrt (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 5.997 * * * * [progress]: [ 55 / 76 ] simplifiying candidate # 5.998 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 5.998 * * [simplify]: iters left: 6 (7 enodes) 6.002 * * [simplify]: iters left: 5 (26 enodes) 6.014 * * [simplify]: iters left: 4 (34 enodes) 6.025 * * [simplify]: iters left: 3 (36 enodes) 6.031 * * [simplify]: Extracting #0: cost 1 inf + 0 6.031 * * [simplify]: Extracting #1: cost 3 inf + 0 6.031 * * [simplify]: Extracting #2: cost 7 inf + 0 6.031 * * [simplify]: Extracting #3: cost 10 inf + 1 6.031 * * [simplify]: Extracting #4: cost 12 inf + 2 6.031 * * [simplify]: Extracting #5: cost 6 inf + 254 6.031 * * [simplify]: Extracting #6: cost 4 inf + 460 6.031 * * [simplify]: Extracting #7: cost 1 inf + 829 6.032 * * [simplify]: Extracting #8: cost 0 inf + 992 6.032 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 6.032 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.032 * [simplify]: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 6.032 * * [simplify]: iters left: 6 (7 enodes) 6.034 * * [simplify]: iters left: 5 (26 enodes) 6.039 * * [simplify]: iters left: 4 (34 enodes) 6.045 * * [simplify]: iters left: 3 (36 enodes) 6.050 * * [simplify]: Extracting #0: cost 1 inf + 0 6.050 * * [simplify]: Extracting #1: cost 3 inf + 0 6.050 * * [simplify]: Extracting #2: cost 7 inf + 0 6.050 * * [simplify]: Extracting #3: cost 10 inf + 1 6.050 * * [simplify]: Extracting #4: cost 12 inf + 2 6.050 * * [simplify]: Extracting #5: cost 6 inf + 254 6.051 * * [simplify]: Extracting #6: cost 4 inf + 460 6.051 * * [simplify]: Extracting #7: cost 1 inf + 829 6.051 * * [simplify]: Extracting #8: cost 0 inf + 992 6.051 * [simplify]: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 6.051 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.051 * * * * [progress]: [ 56 / 76 ] simplifiying candidate # 6.052 * [simplify]: Simplifying (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) 6.052 * * [simplify]: iters left: 6 (9 enodes) 6.056 * * [simplify]: iters left: 5 (48 enodes) 6.074 * * [simplify]: iters left: 4 (101 enodes) 6.125 * * [simplify]: iters left: 3 (250 enodes) 6.230 * * [simplify]: iters left: 2 (497 enodes) 6.523 * * [simplify]: Extracting #0: cost 1 inf + 0 6.523 * * [simplify]: Extracting #1: cost 5 inf + 0 6.523 * * [simplify]: Extracting #2: cost 85 inf + 1 6.525 * * [simplify]: Extracting #3: cost 186 inf + 7 6.527 * * [simplify]: Extracting #4: cost 156 inf + 5576 6.539 * * [simplify]: Extracting #5: cost 50 inf + 31724 6.549 * * [simplify]: Extracting #6: cost 2 inf + 56034 6.561 * * [simplify]: Extracting #7: cost 0 inf + 56952 6.572 * [simplify]: Simplified to (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) 6.572 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.573 * [simplify]: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 6.573 * * [simplify]: iters left: 6 (10 enodes) 6.580 * * [simplify]: iters left: 5 (44 enodes) 6.595 * * [simplify]: iters left: 4 (69 enodes) 6.616 * * [simplify]: iters left: 3 (90 enodes) 6.635 * * [simplify]: iters left: 2 (125 enodes) 6.655 * * [simplify]: iters left: 1 (168 enodes) 6.708 * * [simplify]: Extracting #0: cost 1 inf + 0 6.708 * * [simplify]: Extracting #1: cost 13 inf + 0 6.708 * * [simplify]: Extracting #2: cost 32 inf + 2 6.708 * * [simplify]: Extracting #3: cost 48 inf + 3 6.710 * * [simplify]: Extracting #4: cost 31 inf + 2584 6.713 * * [simplify]: Extracting #5: cost 3 inf + 6422 6.717 * * [simplify]: Extracting #6: cost 0 inf + 6665 6.721 * [simplify]: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 6.721 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (- 8 (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (/ 2 (+ 1 t)))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.721 * * * * [progress]: [ 57 / 76 ] simplifiying candidate # 6.722 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 6.722 * * [simplify]: iters left: 6 (6 enodes) 6.726 * * [simplify]: iters left: 5 (24 enodes) 6.735 * * [simplify]: iters left: 4 (28 enodes) 6.743 * * [simplify]: Extracting #0: cost 1 inf + 0 6.743 * * [simplify]: Extracting #1: cost 5 inf + 0 6.743 * * [simplify]: Extracting #2: cost 9 inf + 1 6.743 * * [simplify]: Extracting #3: cost 6 inf + 4 6.743 * * [simplify]: Extracting #4: cost 1 inf + 337 6.744 * * [simplify]: Extracting #5: cost 0 inf + 420 6.744 * [simplify]: Simplified to (/ -2 (+ 1 t)) 6.744 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (+ 2 (/ -2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.744 * * * * [progress]: [ 58 / 76 ] simplifiying candidate # 6.744 * * * * [progress]: [ 59 / 76 ] simplifiying candidate # 6.745 * [simplify]: Simplifying (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) 6.745 * * [simplify]: iters left: 6 (8 enodes) 6.750 * * [simplify]: iters left: 5 (37 enodes) 6.763 * * [simplify]: iters left: 4 (64 enodes) 6.783 * * [simplify]: iters left: 3 (107 enodes) 6.810 * * [simplify]: iters left: 2 (175 enodes) 6.849 * * [simplify]: iters left: 1 (287 enodes) 6.961 * * [simplify]: Extracting #0: cost 1 inf + 0 6.962 * * [simplify]: Extracting #1: cost 27 inf + 0 6.962 * * [simplify]: Extracting #2: cost 96 inf + 2 6.963 * * [simplify]: Extracting #3: cost 120 inf + 5 6.964 * * [simplify]: Extracting #4: cost 111 inf + 1406 6.968 * * [simplify]: Extracting #5: cost 36 inf + 12803 6.974 * * [simplify]: Extracting #6: cost 0 inf + 19199 6.980 * * [simplify]: Extracting #7: cost 0 inf + 19114 6.987 * [simplify]: Simplified to (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) 6.987 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (/ (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 6.987 * [simplify]: Simplifying (+ 2 (/ 2 (+ 1 t))) 6.987 * * [simplify]: iters left: 6 (6 enodes) 6.989 * * [simplify]: iters left: 5 (22 enodes) 6.995 * * [simplify]: iters left: 4 (24 enodes) 6.999 * * [simplify]: Extracting #0: cost 1 inf + 0 6.999 * * [simplify]: Extracting #1: cost 4 inf + 0 6.999 * * [simplify]: Extracting #2: cost 5 inf + 1 6.999 * * [simplify]: Extracting #3: cost 8 inf + 1 6.999 * * [simplify]: Extracting #4: cost 6 inf + 3 7.000 * * [simplify]: Extracting #5: cost 0 inf + 499 7.000 * [simplify]: Simplified to (+ 2 (/ 2 (+ 1 t))) 7.000 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.000 * * * * [progress]: [ 60 / 76 ] simplifiying candidate # 7.000 * [simplify]: Simplifying (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 7.000 * * [simplify]: iters left: 6 (8 enodes) 7.003 * * [simplify]: iters left: 5 (28 enodes) 7.007 * * [simplify]: iters left: 4 (30 enodes) 7.014 * * [simplify]: Extracting #0: cost 1 inf + 0 7.014 * * [simplify]: Extracting #1: cost 4 inf + 0 7.014 * * [simplify]: Extracting #2: cost 8 inf + 0 7.014 * * [simplify]: Extracting #3: cost 9 inf + 1 7.014 * * [simplify]: Extracting #4: cost 10 inf + 83 7.015 * * [simplify]: Extracting #5: cost 8 inf + 85 7.015 * * [simplify]: Extracting #6: cost 5 inf + 252 7.015 * * [simplify]: Extracting #7: cost 1 inf + 784 7.015 * * [simplify]: Extracting #8: cost 0 inf + 987 7.016 * [simplify]: Simplified to (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) 7.016 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.016 * [simplify]: Simplifying (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))) 7.016 * * [simplify]: iters left: 6 (8 enodes) 7.021 * * [simplify]: iters left: 5 (29 enodes) 7.030 * * [simplify]: iters left: 4 (34 enodes) 7.040 * * [simplify]: Extracting #0: cost 1 inf + 0 7.040 * * [simplify]: Extracting #1: cost 5 inf + 0 7.040 * * [simplify]: Extracting #2: cost 10 inf + 0 7.041 * * [simplify]: Extracting #3: cost 11 inf + 1 7.041 * * [simplify]: Extracting #4: cost 12 inf + 83 7.041 * * [simplify]: Extracting #5: cost 10 inf + 85 7.041 * * [simplify]: Extracting #6: cost 7 inf + 252 7.041 * * [simplify]: Extracting #7: cost 0 inf + 1313 7.042 * [simplify]: Simplified to (- (sqrt 2) (sqrt (/ 2 (+ t 1)))) 7.042 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.042 * * * * [progress]: [ 61 / 76 ] simplifiying candidate # 7.042 * [simplify]: Simplifying (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 7.042 * * [simplify]: iters left: 6 (8 enodes) 7.047 * * [simplify]: iters left: 5 (28 enodes) 7.056 * * [simplify]: iters left: 4 (30 enodes) 7.062 * * [simplify]: Extracting #0: cost 1 inf + 0 7.062 * * [simplify]: Extracting #1: cost 4 inf + 0 7.062 * * [simplify]: Extracting #2: cost 8 inf + 0 7.062 * * [simplify]: Extracting #3: cost 9 inf + 1 7.062 * * [simplify]: Extracting #4: cost 10 inf + 83 7.062 * * [simplify]: Extracting #5: cost 8 inf + 85 7.062 * * [simplify]: Extracting #6: cost 5 inf + 251 7.062 * * [simplify]: Extracting #7: cost 1 inf + 862 7.062 * * [simplify]: Extracting #8: cost 0 inf + 1065 7.063 * [simplify]: Simplified to (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 7.063 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.063 * [simplify]: Simplifying (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) 7.063 * * [simplify]: iters left: 6 (8 enodes) 7.065 * * [simplify]: iters left: 5 (29 enodes) 7.071 * * [simplify]: iters left: 4 (36 enodes) 7.077 * * [simplify]: iters left: 3 (38 enodes) 7.083 * * [simplify]: Extracting #0: cost 1 inf + 0 7.083 * * [simplify]: Extracting #1: cost 5 inf + 0 7.083 * * [simplify]: Extracting #2: cost 11 inf + 0 7.083 * * [simplify]: Extracting #3: cost 13 inf + 1 7.083 * * [simplify]: Extracting #4: cost 15 inf + 42 7.083 * * [simplify]: Extracting #5: cost 11 inf + 166 7.083 * * [simplify]: Extracting #6: cost 7 inf + 413 7.083 * * [simplify]: Extracting #7: cost 0 inf + 1633 7.084 * [simplify]: Simplified to (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) 7.084 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.084 * * * * [progress]: [ 62 / 76 ] simplifiying candidate # 7.084 * [simplify]: Simplifying (- 2 (/ 2 (+ 1 t))) 7.084 * * [simplify]: iters left: 6 (6 enodes) 7.086 * * [simplify]: iters left: 5 (23 enodes) 7.091 * * [simplify]: iters left: 4 (31 enodes) 7.100 * * [simplify]: iters left: 3 (33 enodes) 7.111 * * [simplify]: Extracting #0: cost 1 inf + 0 7.111 * * [simplify]: Extracting #1: cost 5 inf + 0 7.112 * * [simplify]: Extracting #2: cost 8 inf + 1 7.112 * * [simplify]: Extracting #3: cost 10 inf + 2 7.112 * * [simplify]: Extracting #4: cost 8 inf + 4 7.112 * * [simplify]: Extracting #5: cost 2 inf + 460 7.112 * * [simplify]: Extracting #6: cost 0 inf + 666 7.113 * [simplify]: Simplified to (- 2 (/ 2 (+ 1 t))) 7.113 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.113 * * * * [progress]: [ 63 / 76 ] simplifiying candidate # 7.113 * [simplify]: Simplifying (- (/ 2 (+ 1 t))) 7.113 * * [simplify]: iters left: 6 (6 enodes) 7.117 * * [simplify]: iters left: 5 (24 enodes) 7.124 * * [simplify]: iters left: 4 (28 enodes) 7.128 * * [simplify]: Extracting #0: cost 1 inf + 0 7.128 * * [simplify]: Extracting #1: cost 5 inf + 0 7.128 * * [simplify]: Extracting #2: cost 9 inf + 1 7.128 * * [simplify]: Extracting #3: cost 6 inf + 4 7.128 * * [simplify]: Extracting #4: cost 1 inf + 337 7.128 * * [simplify]: Extracting #5: cost 0 inf + 420 7.128 * [simplify]: Simplified to (/ -2 (+ 1 t)) 7.128 * [simplify]: Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (+ 2 (/ -2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.129 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))> 7.129 * [simplify]: Simplifying (real->posit16 (- 2 (/ 2 (+ 1 t)))) 7.129 * * [simplify]: iters left: 6 (7 enodes) 7.131 * * [simplify]: iters left: 5 (23 enodes) 7.135 * * [simplify]: iters left: 4 (31 enodes) 7.140 * * [simplify]: iters left: 3 (33 enodes) 7.145 * * [simplify]: Extracting #0: cost 1 inf + 0 7.145 * * [simplify]: Extracting #1: cost 2 inf + 0 7.145 * * [simplify]: Extracting #2: cost 5 inf + 0 7.145 * * [simplify]: Extracting #3: cost 8 inf + 1 7.145 * * [simplify]: Extracting #4: cost 10 inf + 2 7.145 * * [simplify]: Extracting #5: cost 8 inf + 4 7.146 * * [simplify]: Extracting #6: cost 1 inf + 583 7.146 * * [simplify]: Extracting #7: cost 0 inf + 666 7.146 * [simplify]: Simplified to (real->posit16 (- 2 (/ 2 (+ 1 t)))) 7.146 * [simplify]: Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 7.146 * * * * [progress]: [ 65 / 76 ] simplifiying candidate # 7.146 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 7.146 * * [simplify]: iters left: 6 (10 enodes) 7.151 * * [simplify]: iters left: 5 (51 enodes) 7.171 * * [simplify]: iters left: 4 (109 enodes) 7.195 * * [simplify]: iters left: 3 (219 enodes) 7.260 * * [simplify]: iters left: 2 (445 enodes) 7.442 * * [simplify]: Extracting #0: cost 1 inf + 0 7.442 * * [simplify]: Extracting #1: cost 29 inf + 0 7.443 * * [simplify]: Extracting #2: cost 92 inf + 2 7.444 * * [simplify]: Extracting #3: cost 151 inf + 868 7.448 * * [simplify]: Extracting #4: cost 89 inf + 8106 7.457 * * [simplify]: Extracting #5: cost 28 inf + 30489 7.468 * * [simplify]: Extracting #6: cost 0 inf + 43864 7.479 * * [simplify]: Extracting #7: cost 0 inf + 43078 7.491 * [simplify]: Simplified to (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) 7.491 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t))))) 7.491 * * * * [progress]: [ 66 / 76 ] simplifiying candidate # 7.491 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 7.491 * * [simplify]: iters left: 6 (10 enodes) 7.498 * * [simplify]: iters left: 5 (46 enodes) 7.518 * * [simplify]: iters left: 4 (75 enodes) 7.541 * * [simplify]: iters left: 3 (108 enodes) 7.576 * * [simplify]: iters left: 2 (148 enodes) 7.618 * * [simplify]: iters left: 1 (190 enodes) 7.650 * * [simplify]: Extracting #0: cost 1 inf + 0 7.650 * * [simplify]: Extracting #1: cost 17 inf + 0 7.650 * * [simplify]: Extracting #2: cost 49 inf + 1 7.651 * * [simplify]: Extracting #3: cost 47 inf + 782 7.653 * * [simplify]: Extracting #4: cost 15 inf + 3967 7.656 * * [simplify]: Extracting #5: cost 1 inf + 5916 7.660 * * [simplify]: Extracting #6: cost 0 inf + 5998 7.663 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 7.663 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))))) 7.663 * * * * [progress]: [ 67 / 76 ] simplifiying candidate # 7.664 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 7.664 * * [simplify]: iters left: 6 (10 enodes) 7.671 * * [simplify]: iters left: 5 (46 enodes) 7.688 * * [simplify]: iters left: 4 (75 enodes) 7.707 * * [simplify]: iters left: 3 (108 enodes) 7.725 * * [simplify]: iters left: 2 (148 enodes) 7.764 * * [simplify]: iters left: 1 (190 enodes) 7.803 * * [simplify]: Extracting #0: cost 1 inf + 0 7.803 * * [simplify]: Extracting #1: cost 17 inf + 0 7.803 * * [simplify]: Extracting #2: cost 49 inf + 1 7.804 * * [simplify]: Extracting #3: cost 47 inf + 782 7.805 * * [simplify]: Extracting #4: cost 15 inf + 3967 7.807 * * [simplify]: Extracting #5: cost 1 inf + 5916 7.808 * * [simplify]: Extracting #6: cost 0 inf + 5998 7.811 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 7.811 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))))) 7.811 * * * * [progress]: [ 68 / 76 ] simplifiying candidate # 7.811 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 7.812 * * [simplify]: iters left: 6 (10 enodes) 7.818 * * [simplify]: iters left: 5 (51 enodes) 7.840 * * [simplify]: iters left: 4 (109 enodes) 7.878 * * [simplify]: iters left: 3 (219 enodes) 7.978 * * [simplify]: iters left: 2 (445 enodes) 8.134 * * [simplify]: Extracting #0: cost 1 inf + 0 8.134 * * [simplify]: Extracting #1: cost 29 inf + 0 8.134 * * [simplify]: Extracting #2: cost 92 inf + 2 8.135 * * [simplify]: Extracting #3: cost 151 inf + 868 8.137 * * [simplify]: Extracting #4: cost 89 inf + 8106 8.142 * * [simplify]: Extracting #5: cost 28 inf + 30489 8.148 * * [simplify]: Extracting #6: cost 0 inf + 43864 8.156 * * [simplify]: Extracting #7: cost 0 inf + 43078 8.162 * [simplify]: Simplified to (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) 8.162 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) (- 2 (/ 2 (+ 1 t))))))) 8.163 * * * * [progress]: [ 69 / 76 ] simplifiying candidate # 8.163 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 8.163 * * [simplify]: iters left: 6 (10 enodes) 8.167 * * [simplify]: iters left: 5 (46 enodes) 8.176 * * [simplify]: iters left: 4 (75 enodes) 8.188 * * [simplify]: iters left: 3 (108 enodes) 8.214 * * [simplify]: iters left: 2 (148 enodes) 8.259 * * [simplify]: iters left: 1 (190 enodes) 8.310 * * [simplify]: Extracting #0: cost 1 inf + 0 8.310 * * [simplify]: Extracting #1: cost 17 inf + 0 8.310 * * [simplify]: Extracting #2: cost 49 inf + 1 8.311 * * [simplify]: Extracting #3: cost 47 inf + 782 8.313 * * [simplify]: Extracting #4: cost 15 inf + 3967 8.316 * * [simplify]: Extracting #5: cost 1 inf + 5916 8.319 * * [simplify]: Extracting #6: cost 0 inf + 5998 8.322 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 8.322 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))))) 8.322 * * * * [progress]: [ 70 / 76 ] simplifiying candidate # 8.322 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 8.322 * * [simplify]: iters left: 6 (10 enodes) 8.326 * * [simplify]: iters left: 5 (46 enodes) 8.335 * * [simplify]: iters left: 4 (75 enodes) 8.347 * * [simplify]: iters left: 3 (108 enodes) 8.379 * * [simplify]: iters left: 2 (148 enodes) 8.402 * * [simplify]: iters left: 1 (190 enodes) 8.445 * * [simplify]: Extracting #0: cost 1 inf + 0 8.445 * * [simplify]: Extracting #1: cost 17 inf + 0 8.446 * * [simplify]: Extracting #2: cost 49 inf + 1 8.446 * * [simplify]: Extracting #3: cost 47 inf + 782 8.448 * * [simplify]: Extracting #4: cost 15 inf + 3967 8.451 * * [simplify]: Extracting #5: cost 1 inf + 5916 8.455 * * [simplify]: Extracting #6: cost 0 inf + 5998 8.458 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 8.459 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))))) 8.459 * * * * [progress]: [ 71 / 76 ] simplifiying candidate # 8.459 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 8.459 * * [simplify]: iters left: 6 (10 enodes) 8.466 * * [simplify]: iters left: 5 (51 enodes) 8.490 * * [simplify]: iters left: 4 (109 enodes) 8.534 * * [simplify]: iters left: 3 (219 enodes) 8.616 * * [simplify]: iters left: 2 (445 enodes) 8.767 * * [simplify]: Extracting #0: cost 1 inf + 0 8.767 * * [simplify]: Extracting #1: cost 29 inf + 0 8.768 * * [simplify]: Extracting #2: cost 92 inf + 2 8.768 * * [simplify]: Extracting #3: cost 151 inf + 868 8.771 * * [simplify]: Extracting #4: cost 89 inf + 8106 8.775 * * [simplify]: Extracting #5: cost 28 inf + 30489 8.781 * * [simplify]: Extracting #6: cost 0 inf + 43864 8.787 * * [simplify]: Extracting #7: cost 0 inf + 43078 8.793 * [simplify]: Simplified to (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) 8.793 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 8.793 * * * * [progress]: [ 72 / 76 ] simplifiying candidate # 8.793 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 8.793 * * [simplify]: iters left: 6 (10 enodes) 8.797 * * [simplify]: iters left: 5 (46 enodes) 8.806 * * [simplify]: iters left: 4 (75 enodes) 8.817 * * [simplify]: iters left: 3 (108 enodes) 8.836 * * [simplify]: iters left: 2 (148 enodes) 8.871 * * [simplify]: iters left: 1 (190 enodes) 8.922 * * [simplify]: Extracting #0: cost 1 inf + 0 8.922 * * [simplify]: Extracting #1: cost 17 inf + 0 8.923 * * [simplify]: Extracting #2: cost 49 inf + 1 8.923 * * [simplify]: Extracting #3: cost 47 inf + 782 8.925 * * [simplify]: Extracting #4: cost 15 inf + 3967 8.929 * * [simplify]: Extracting #5: cost 1 inf + 5916 8.933 * * [simplify]: Extracting #6: cost 0 inf + 5998 8.936 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 8.936 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 8.937 * * * * [progress]: [ 73 / 76 ] simplifiying candidate # 8.937 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 8.937 * * [simplify]: iters left: 6 (10 enodes) 8.945 * * [simplify]: iters left: 5 (46 enodes) 8.956 * * [simplify]: iters left: 4 (75 enodes) 8.970 * * [simplify]: iters left: 3 (108 enodes) 8.988 * * [simplify]: iters left: 2 (148 enodes) 9.011 * * [simplify]: iters left: 1 (190 enodes) 9.038 * * [simplify]: Extracting #0: cost 1 inf + 0 9.038 * * [simplify]: Extracting #1: cost 17 inf + 0 9.038 * * [simplify]: Extracting #2: cost 49 inf + 1 9.039 * * [simplify]: Extracting #3: cost 47 inf + 782 9.041 * * [simplify]: Extracting #4: cost 15 inf + 3967 9.043 * * [simplify]: Extracting #5: cost 1 inf + 5916 9.045 * * [simplify]: Extracting #6: cost 0 inf + 5998 9.047 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 9.048 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 9.048 * * * * [progress]: [ 74 / 76 ] simplifiying candidate # 9.048 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 9.048 * * [simplify]: iters left: 6 (10 enodes) 9.056 * * [simplify]: iters left: 5 (51 enodes) 9.077 * * [simplify]: iters left: 4 (109 enodes) 9.122 * * [simplify]: iters left: 3 (219 enodes) 9.224 * * [simplify]: iters left: 2 (445 enodes) 9.393 * * [simplify]: Extracting #0: cost 1 inf + 0 9.393 * * [simplify]: Extracting #1: cost 29 inf + 0 9.394 * * [simplify]: Extracting #2: cost 92 inf + 2 9.395 * * [simplify]: Extracting #3: cost 151 inf + 868 9.400 * * [simplify]: Extracting #4: cost 89 inf + 8106 9.408 * * [simplify]: Extracting #5: cost 28 inf + 30489 9.418 * * [simplify]: Extracting #6: cost 0 inf + 43864 9.424 * * [simplify]: Extracting #7: cost 0 inf + 43078 9.430 * [simplify]: Simplified to (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) 9.430 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* (+ (- 2 (* 2 t)) (* (* 2 t) t)) t) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 9.430 * * * * [progress]: [ 75 / 76 ] simplifiying candidate # 9.430 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 9.430 * * [simplify]: iters left: 6 (10 enodes) 9.435 * * [simplify]: iters left: 5 (46 enodes) 9.444 * * [simplify]: iters left: 4 (75 enodes) 9.456 * * [simplify]: iters left: 3 (108 enodes) 9.486 * * [simplify]: iters left: 2 (148 enodes) 9.508 * * [simplify]: iters left: 1 (190 enodes) 9.554 * * [simplify]: Extracting #0: cost 1 inf + 0 9.554 * * [simplify]: Extracting #1: cost 17 inf + 0 9.554 * * [simplify]: Extracting #2: cost 49 inf + 1 9.555 * * [simplify]: Extracting #3: cost 47 inf + 782 9.557 * * [simplify]: Extracting #4: cost 15 inf + 3967 9.560 * * [simplify]: Extracting #5: cost 1 inf + 5916 9.564 * * [simplify]: Extracting #6: cost 0 inf + 5998 9.567 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 9.567 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 9.567 * * * * [progress]: [ 76 / 76 ] simplifiying candidate # 9.568 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 9.568 * * [simplify]: iters left: 6 (10 enodes) 9.577 * * [simplify]: iters left: 5 (46 enodes) 9.594 * * [simplify]: iters left: 4 (75 enodes) 9.609 * * [simplify]: iters left: 3 (108 enodes) 9.626 * * [simplify]: iters left: 2 (148 enodes) 9.661 * * [simplify]: iters left: 1 (190 enodes) 9.715 * * [simplify]: Extracting #0: cost 1 inf + 0 9.715 * * [simplify]: Extracting #1: cost 17 inf + 0 9.715 * * [simplify]: Extracting #2: cost 49 inf + 1 9.716 * * [simplify]: Extracting #3: cost 47 inf + 782 9.718 * * [simplify]: Extracting #4: cost 15 inf + 3967 9.719 * * [simplify]: Extracting #5: cost 1 inf + 5916 9.721 * * [simplify]: Extracting #6: cost 0 inf + 5998 9.723 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 9.723 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 9.723 * * * [progress]: adding candidates to table 10.378 * [progress]: [Phase 3 of 3] Extracting. 10.381 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 10.381 * * [simplify]: iters left: 6 (10 enodes) 10.381 * * [simplify]: iters left: 5 (15 enodes) 10.382 * * [simplify]: Extracting #0: cost 1 inf + 0 10.382 * * [simplify]: Extracting #1: cost 3 inf + 0 10.382 * * [simplify]: Extracting #2: cost 6 inf + 0 10.382 * * [simplify]: Extracting #3: cost 5 inf + 2 10.382 * * [simplify]: Extracting #4: cost 6 inf + 2 10.382 * * [simplify]: Extracting #5: cost 7 inf + 2 10.382 * * [simplify]: Extracting #6: cost 8 inf + 2 10.382 * * [simplify]: Extracting #7: cost 0 inf + 1103 10.382 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 12.200 * [regime-testing]: Baseline error score: 0.008501062632829104 12.204 * [regime-testing]: Oracle error score: 0.008501062632829104 12.205 * [regime-testing]: End program error score: 0.008501062632829104