1553939321.218 * [progress]: [Phase 1 of 3] Setting up. 1553939321.218 * * * [progress]: [1/2] Preparing points 1553939321.255 * * * [progress]: [2/2] Setting up program. 1553939321.257 * [progress]: [Phase 2 of 3] Improving. 1553939321.257 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553939321.257 * [simplify]: Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) 1553939321.257 * * [simplify]: iters left: 6 (10 enodes) 1553939321.260 * * [simplify]: iters left: 5 (42 enodes) 1553939321.268 * * [simplify]: iters left: 4 (74 enodes) 1553939321.295 * * [simplify]: iters left: 3 (150 enodes) 1553939321.338 * * [simplify]: iters left: 2 (308 enodes) 1553939321.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939321.488 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939321.488 * * [simplify]: Extracting #2: cost 11 inf + 0 1553939321.489 * * [simplify]: Extracting #3: cost 67 inf + 2 1553939321.491 * * [simplify]: Extracting #4: cost 93 inf + 3295 1553939321.497 * * [simplify]: Extracting #5: cost 19 inf + 13084 1553939321.507 * * [simplify]: Extracting #6: cost 0 inf + 15687 1553939321.515 * [simplify]: Simplified to (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)) 1553939321.515 * [simplify]: Simplified (2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939321.520 * * [progress]: iteration 1 / 4 1553939321.520 * * * [progress]: picking best candidate 1553939321.522 * * * * [pick]: Picked # 1553939321.522 * * * [progress]: localizing error 1553939321.540 * * * [progress]: generating rewritten candidates 1553939321.540 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1553939321.540 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553939321.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1553939321.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1553939321.577 * * * [progress]: generating series expansions 1553939321.577 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1553939321.577 * [backup-simplify]: Simplify (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) into (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 1) 1553939321.577 * [approximate]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 1) in (t) around 0 1553939321.577 * [taylor]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 1) in t 1553939321.577 * [taylor]: Rewrote expression to (+ (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) 1) 1553939321.577 * [taylor]: Taking taylor expansion of (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) in t 1553939321.577 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.577 * [taylor]: Taking taylor expansion of 2 in t 1553939321.577 * [backup-simplify]: Simplify 2 into 2 1553939321.577 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.577 * [taylor]: Taking taylor expansion of t in t 1553939321.577 * [backup-simplify]: Simplify 0 into 0 1553939321.577 * [backup-simplify]: Simplify 1 into 1 1553939321.577 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.577 * [taylor]: Taking taylor expansion of t in t 1553939321.577 * [backup-simplify]: Simplify 0 into 0 1553939321.577 * [backup-simplify]: Simplify 1 into 1 1553939321.577 * [taylor]: Taking taylor expansion of 1 in t 1553939321.577 * [backup-simplify]: Simplify 1 into 1 1553939321.578 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.578 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.578 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.578 * [taylor]: Taking taylor expansion of 2 in t 1553939321.578 * [backup-simplify]: Simplify 2 into 2 1553939321.578 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.578 * [taylor]: Taking taylor expansion of t in t 1553939321.578 * [backup-simplify]: Simplify 0 into 0 1553939321.578 * [backup-simplify]: Simplify 1 into 1 1553939321.578 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.578 * [taylor]: Taking taylor expansion of t in t 1553939321.578 * [backup-simplify]: Simplify 0 into 0 1553939321.578 * [backup-simplify]: Simplify 1 into 1 1553939321.578 * [taylor]: Taking taylor expansion of 1 in t 1553939321.578 * [backup-simplify]: Simplify 1 into 1 1553939321.579 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.579 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.579 * [taylor]: Taking taylor expansion of 1 in t 1553939321.579 * [backup-simplify]: Simplify 1 into 1 1553939321.579 * [taylor]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 1) in t 1553939321.579 * [taylor]: Rewrote expression to (+ (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) 1) 1553939321.579 * [taylor]: Taking taylor expansion of (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) in t 1553939321.579 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.579 * [taylor]: Taking taylor expansion of 2 in t 1553939321.579 * [backup-simplify]: Simplify 2 into 2 1553939321.579 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.579 * [taylor]: Taking taylor expansion of t in t 1553939321.579 * [backup-simplify]: Simplify 0 into 0 1553939321.579 * [backup-simplify]: Simplify 1 into 1 1553939321.579 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.579 * [taylor]: Taking taylor expansion of t in t 1553939321.579 * [backup-simplify]: Simplify 0 into 0 1553939321.579 * [backup-simplify]: Simplify 1 into 1 1553939321.579 * [taylor]: Taking taylor expansion of 1 in t 1553939321.579 * [backup-simplify]: Simplify 1 into 1 1553939321.580 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.580 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.580 * [taylor]: Taking taylor expansion of 2 in t 1553939321.580 * [backup-simplify]: Simplify 2 into 2 1553939321.580 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.580 * [taylor]: Taking taylor expansion of t in t 1553939321.580 * [backup-simplify]: Simplify 0 into 0 1553939321.580 * [backup-simplify]: Simplify 1 into 1 1553939321.580 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.580 * [taylor]: Taking taylor expansion of t in t 1553939321.580 * [backup-simplify]: Simplify 0 into 0 1553939321.580 * [backup-simplify]: Simplify 1 into 1 1553939321.580 * [taylor]: Taking taylor expansion of 1 in t 1553939321.580 * [backup-simplify]: Simplify 1 into 1 1553939321.580 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.581 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.581 * [taylor]: Taking taylor expansion of 1 in t 1553939321.581 * [backup-simplify]: Simplify 1 into 1 1553939321.581 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.581 * [backup-simplify]: Simplify 1 into 1 1553939321.581 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.581 * [backup-simplify]: Simplify 0 into 0 1553939321.582 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.582 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.582 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.582 * [backup-simplify]: Simplify (+ 4 0) into 4 1553939321.582 * [backup-simplify]: Simplify 4 into 4 1553939321.583 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.584 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.584 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.585 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.585 * [backup-simplify]: Simplify (+ (* 2 -2) (* -2 2)) into -8 1553939321.586 * [backup-simplify]: Simplify (+ -8 0) into -8 1553939321.586 * [backup-simplify]: Simplify -8 into -8 1553939321.586 * [backup-simplify]: Simplify (+ (* -8 (pow t 3)) (+ (* 4 (pow t 2)) 1)) into (- (+ (* 4 (pow t 2)) 1) (* 8 (pow t 3))) 1553939321.586 * [backup-simplify]: Simplify (fma (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) 1) into (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 1) 1553939321.586 * [approximate]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 1) in (t) around 0 1553939321.586 * [taylor]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 1) in t 1553939321.586 * [taylor]: Rewrote expression to (+ (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) 1) 1553939321.586 * [taylor]: Taking taylor expansion of (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) in t 1553939321.587 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.587 * [taylor]: Taking taylor expansion of 2 in t 1553939321.587 * [backup-simplify]: Simplify 2 into 2 1553939321.587 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.587 * [taylor]: Taking taylor expansion of t in t 1553939321.587 * [backup-simplify]: Simplify 0 into 0 1553939321.587 * [backup-simplify]: Simplify 1 into 1 1553939321.587 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.587 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.587 * [taylor]: Taking taylor expansion of t in t 1553939321.587 * [backup-simplify]: Simplify 0 into 0 1553939321.587 * [backup-simplify]: Simplify 1 into 1 1553939321.587 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.587 * [taylor]: Taking taylor expansion of 1 in t 1553939321.587 * [backup-simplify]: Simplify 1 into 1 1553939321.587 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.587 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.588 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.589 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.589 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.589 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.589 * [taylor]: Taking taylor expansion of 2 in t 1553939321.589 * [backup-simplify]: Simplify 2 into 2 1553939321.589 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.589 * [taylor]: Taking taylor expansion of t in t 1553939321.589 * [backup-simplify]: Simplify 0 into 0 1553939321.589 * [backup-simplify]: Simplify 1 into 1 1553939321.589 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.589 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.589 * [taylor]: Taking taylor expansion of t in t 1553939321.589 * [backup-simplify]: Simplify 0 into 0 1553939321.589 * [backup-simplify]: Simplify 1 into 1 1553939321.589 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.589 * [taylor]: Taking taylor expansion of 1 in t 1553939321.589 * [backup-simplify]: Simplify 1 into 1 1553939321.589 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.590 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.590 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.591 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.591 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.591 * [taylor]: Taking taylor expansion of 1 in t 1553939321.591 * [backup-simplify]: Simplify 1 into 1 1553939321.591 * [taylor]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 1) in t 1553939321.591 * [taylor]: Rewrote expression to (+ (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) 1) 1553939321.591 * [taylor]: Taking taylor expansion of (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) in t 1553939321.591 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.591 * [taylor]: Taking taylor expansion of 2 in t 1553939321.591 * [backup-simplify]: Simplify 2 into 2 1553939321.591 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.591 * [taylor]: Taking taylor expansion of t in t 1553939321.591 * [backup-simplify]: Simplify 0 into 0 1553939321.591 * [backup-simplify]: Simplify 1 into 1 1553939321.591 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.591 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.591 * [taylor]: Taking taylor expansion of t in t 1553939321.591 * [backup-simplify]: Simplify 0 into 0 1553939321.591 * [backup-simplify]: Simplify 1 into 1 1553939321.592 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.592 * [taylor]: Taking taylor expansion of 1 in t 1553939321.592 * [backup-simplify]: Simplify 1 into 1 1553939321.592 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.592 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.593 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.594 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.594 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.594 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.594 * [taylor]: Taking taylor expansion of 2 in t 1553939321.594 * [backup-simplify]: Simplify 2 into 2 1553939321.594 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.594 * [taylor]: Taking taylor expansion of t in t 1553939321.594 * [backup-simplify]: Simplify 0 into 0 1553939321.594 * [backup-simplify]: Simplify 1 into 1 1553939321.594 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.594 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.594 * [taylor]: Taking taylor expansion of t in t 1553939321.594 * [backup-simplify]: Simplify 0 into 0 1553939321.594 * [backup-simplify]: Simplify 1 into 1 1553939321.595 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.595 * [taylor]: Taking taylor expansion of 1 in t 1553939321.595 * [backup-simplify]: Simplify 1 into 1 1553939321.595 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.596 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.597 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.597 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.598 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.598 * [taylor]: Taking taylor expansion of 1 in t 1553939321.598 * [backup-simplify]: Simplify 1 into 1 1553939321.598 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.599 * [backup-simplify]: Simplify (+ 4 1) into 5 1553939321.599 * [backup-simplify]: Simplify 5 into 5 1553939321.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.601 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.603 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.604 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.605 * [backup-simplify]: Simplify (+ (* 2 -2) (* -2 2)) into -8 1553939321.606 * [backup-simplify]: Simplify (+ -8 0) into -8 1553939321.606 * [backup-simplify]: Simplify -8 into -8 1553939321.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.608 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.611 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.614 * [backup-simplify]: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1553939321.615 * [backup-simplify]: Simplify (+ 12 0) into 12 1553939321.615 * [backup-simplify]: Simplify 12 into 12 1553939321.615 * [backup-simplify]: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 5)) into (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) 1553939321.615 * [backup-simplify]: Simplify (fma (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) 1) into (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 1) 1553939321.616 * [approximate]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 1) in (t) around 0 1553939321.616 * [taylor]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 1) in t 1553939321.616 * [taylor]: Rewrote expression to (+ (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) 1) 1553939321.616 * [taylor]: Taking taylor expansion of (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) in t 1553939321.616 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.616 * [taylor]: Taking taylor expansion of -2 in t 1553939321.616 * [backup-simplify]: Simplify -2 into -2 1553939321.616 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.616 * [taylor]: Taking taylor expansion of t in t 1553939321.616 * [backup-simplify]: Simplify 0 into 0 1553939321.616 * [backup-simplify]: Simplify 1 into 1 1553939321.616 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.616 * [taylor]: Taking taylor expansion of 1 in t 1553939321.616 * [backup-simplify]: Simplify 1 into 1 1553939321.616 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.616 * [taylor]: Taking taylor expansion of t in t 1553939321.616 * [backup-simplify]: Simplify 0 into 0 1553939321.616 * [backup-simplify]: Simplify 1 into 1 1553939321.616 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.617 * [backup-simplify]: Simplify (- 1) into -1 1553939321.617 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.618 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.619 * [backup-simplify]: Simplify (- 0) into 0 1553939321.619 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.620 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.620 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.620 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.620 * [taylor]: Taking taylor expansion of -2 in t 1553939321.620 * [backup-simplify]: Simplify -2 into -2 1553939321.620 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.620 * [taylor]: Taking taylor expansion of t in t 1553939321.620 * [backup-simplify]: Simplify 0 into 0 1553939321.620 * [backup-simplify]: Simplify 1 into 1 1553939321.620 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.620 * [taylor]: Taking taylor expansion of 1 in t 1553939321.620 * [backup-simplify]: Simplify 1 into 1 1553939321.620 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.621 * [taylor]: Taking taylor expansion of t in t 1553939321.621 * [backup-simplify]: Simplify 0 into 0 1553939321.621 * [backup-simplify]: Simplify 1 into 1 1553939321.621 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.621 * [backup-simplify]: Simplify (- 1) into -1 1553939321.622 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.622 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.623 * [backup-simplify]: Simplify (- 0) into 0 1553939321.624 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.625 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.625 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.625 * [taylor]: Taking taylor expansion of 1 in t 1553939321.625 * [backup-simplify]: Simplify 1 into 1 1553939321.625 * [taylor]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 1) in t 1553939321.625 * [taylor]: Rewrote expression to (+ (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) 1) 1553939321.625 * [taylor]: Taking taylor expansion of (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) in t 1553939321.625 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.625 * [taylor]: Taking taylor expansion of -2 in t 1553939321.625 * [backup-simplify]: Simplify -2 into -2 1553939321.625 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.625 * [taylor]: Taking taylor expansion of t in t 1553939321.625 * [backup-simplify]: Simplify 0 into 0 1553939321.625 * [backup-simplify]: Simplify 1 into 1 1553939321.625 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.625 * [taylor]: Taking taylor expansion of 1 in t 1553939321.625 * [backup-simplify]: Simplify 1 into 1 1553939321.626 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.626 * [taylor]: Taking taylor expansion of t in t 1553939321.626 * [backup-simplify]: Simplify 0 into 0 1553939321.626 * [backup-simplify]: Simplify 1 into 1 1553939321.626 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.627 * [backup-simplify]: Simplify (- 1) into -1 1553939321.627 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.627 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.628 * [backup-simplify]: Simplify (- 0) into 0 1553939321.629 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.630 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.630 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.630 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.630 * [taylor]: Taking taylor expansion of -2 in t 1553939321.630 * [backup-simplify]: Simplify -2 into -2 1553939321.630 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.630 * [taylor]: Taking taylor expansion of t in t 1553939321.630 * [backup-simplify]: Simplify 0 into 0 1553939321.630 * [backup-simplify]: Simplify 1 into 1 1553939321.630 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.630 * [taylor]: Taking taylor expansion of 1 in t 1553939321.630 * [backup-simplify]: Simplify 1 into 1 1553939321.630 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.630 * [taylor]: Taking taylor expansion of t in t 1553939321.630 * [backup-simplify]: Simplify 0 into 0 1553939321.630 * [backup-simplify]: Simplify 1 into 1 1553939321.631 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.631 * [backup-simplify]: Simplify (- 1) into -1 1553939321.632 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.632 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.633 * [backup-simplify]: Simplify (- 0) into 0 1553939321.633 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.634 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.635 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.635 * [taylor]: Taking taylor expansion of 1 in t 1553939321.635 * [backup-simplify]: Simplify 1 into 1 1553939321.635 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.636 * [backup-simplify]: Simplify (+ 4 1) into 5 1553939321.636 * [backup-simplify]: Simplify 5 into 5 1553939321.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.637 * [backup-simplify]: Simplify (- 0) into 0 1553939321.637 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.638 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.638 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.639 * [backup-simplify]: Simplify (- 0) into 0 1553939321.639 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.640 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.640 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.641 * [backup-simplify]: Simplify (+ (* 2 2) (* 2 2)) into 8 1553939321.641 * [backup-simplify]: Simplify (+ 8 0) into 8 1553939321.641 * [backup-simplify]: Simplify 8 into 8 1553939321.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.642 * [backup-simplify]: Simplify (- 0) into 0 1553939321.642 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.643 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.644 * [backup-simplify]: Simplify (- 0) into 0 1553939321.644 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.646 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.646 * [backup-simplify]: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1553939321.646 * [backup-simplify]: Simplify (+ 12 0) into 12 1553939321.646 * [backup-simplify]: Simplify 12 into 12 1553939321.646 * [backup-simplify]: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 5)) into (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) 1553939321.646 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553939321.647 * [backup-simplify]: Simplify (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2) into (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 2) 1553939321.647 * [approximate]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 2) in (t) around 0 1553939321.647 * [taylor]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 2) in t 1553939321.647 * [taylor]: Rewrote expression to (+ (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) 2) 1553939321.647 * [taylor]: Taking taylor expansion of (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) in t 1553939321.647 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.647 * [taylor]: Taking taylor expansion of 2 in t 1553939321.647 * [backup-simplify]: Simplify 2 into 2 1553939321.647 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.647 * [taylor]: Taking taylor expansion of t in t 1553939321.647 * [backup-simplify]: Simplify 0 into 0 1553939321.647 * [backup-simplify]: Simplify 1 into 1 1553939321.647 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.647 * [taylor]: Taking taylor expansion of t in t 1553939321.647 * [backup-simplify]: Simplify 0 into 0 1553939321.647 * [backup-simplify]: Simplify 1 into 1 1553939321.647 * [taylor]: Taking taylor expansion of 1 in t 1553939321.647 * [backup-simplify]: Simplify 1 into 1 1553939321.647 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.647 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.647 * [taylor]: Taking taylor expansion of 2 in t 1553939321.647 * [backup-simplify]: Simplify 2 into 2 1553939321.647 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.648 * [taylor]: Taking taylor expansion of t in t 1553939321.648 * [backup-simplify]: Simplify 0 into 0 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.648 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.648 * [taylor]: Taking taylor expansion of t in t 1553939321.648 * [backup-simplify]: Simplify 0 into 0 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.648 * [taylor]: Taking taylor expansion of 1 in t 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.648 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.648 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.648 * [taylor]: Taking taylor expansion of 2 in t 1553939321.648 * [backup-simplify]: Simplify 2 into 2 1553939321.648 * [taylor]: Taking taylor expansion of (fma (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1))) 2) in t 1553939321.648 * [taylor]: Rewrote expression to (+ (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) 2) 1553939321.648 * [taylor]: Taking taylor expansion of (* (* 2 (/ t (+ t 1))) (* 2 (/ t (+ t 1)))) in t 1553939321.648 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.648 * [taylor]: Taking taylor expansion of 2 in t 1553939321.648 * [backup-simplify]: Simplify 2 into 2 1553939321.648 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.648 * [taylor]: Taking taylor expansion of t in t 1553939321.648 * [backup-simplify]: Simplify 0 into 0 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.648 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.648 * [taylor]: Taking taylor expansion of t in t 1553939321.648 * [backup-simplify]: Simplify 0 into 0 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.648 * [taylor]: Taking taylor expansion of 1 in t 1553939321.648 * [backup-simplify]: Simplify 1 into 1 1553939321.649 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.649 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.649 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.649 * [taylor]: Taking taylor expansion of 2 in t 1553939321.649 * [backup-simplify]: Simplify 2 into 2 1553939321.649 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.649 * [taylor]: Taking taylor expansion of t in t 1553939321.649 * [backup-simplify]: Simplify 0 into 0 1553939321.649 * [backup-simplify]: Simplify 1 into 1 1553939321.649 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.649 * [taylor]: Taking taylor expansion of t in t 1553939321.649 * [backup-simplify]: Simplify 0 into 0 1553939321.649 * [backup-simplify]: Simplify 1 into 1 1553939321.649 * [taylor]: Taking taylor expansion of 1 in t 1553939321.649 * [backup-simplify]: Simplify 1 into 1 1553939321.649 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.650 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.650 * [taylor]: Taking taylor expansion of 2 in t 1553939321.650 * [backup-simplify]: Simplify 2 into 2 1553939321.650 * [backup-simplify]: Simplify (+ 0 2) into 2 1553939321.650 * [backup-simplify]: Simplify 2 into 2 1553939321.650 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.650 * [backup-simplify]: Simplify 0 into 0 1553939321.651 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.651 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.651 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.651 * [backup-simplify]: Simplify (+ 4 0) into 4 1553939321.651 * [backup-simplify]: Simplify 4 into 4 1553939321.652 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.653 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.655 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.656 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.657 * [backup-simplify]: Simplify (+ (* 2 -2) (* -2 2)) into -8 1553939321.657 * [backup-simplify]: Simplify (+ -8 0) into -8 1553939321.657 * [backup-simplify]: Simplify -8 into -8 1553939321.657 * [backup-simplify]: Simplify (+ (* -8 (pow t 3)) (+ (* 4 (pow t 2)) 2)) into (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3))) 1553939321.657 * [backup-simplify]: Simplify (fma (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) 2) into (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 2) 1553939321.657 * [approximate]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 2) in (t) around 0 1553939321.657 * [taylor]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 2) in t 1553939321.657 * [taylor]: Rewrote expression to (+ (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) 2) 1553939321.657 * [taylor]: Taking taylor expansion of (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) in t 1553939321.657 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.657 * [taylor]: Taking taylor expansion of 2 in t 1553939321.657 * [backup-simplify]: Simplify 2 into 2 1553939321.657 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.657 * [taylor]: Taking taylor expansion of t in t 1553939321.657 * [backup-simplify]: Simplify 0 into 0 1553939321.658 * [backup-simplify]: Simplify 1 into 1 1553939321.658 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.658 * [taylor]: Taking taylor expansion of t in t 1553939321.658 * [backup-simplify]: Simplify 0 into 0 1553939321.658 * [backup-simplify]: Simplify 1 into 1 1553939321.658 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.658 * [taylor]: Taking taylor expansion of 1 in t 1553939321.658 * [backup-simplify]: Simplify 1 into 1 1553939321.658 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.658 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.659 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.659 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.660 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.660 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.660 * [taylor]: Taking taylor expansion of 2 in t 1553939321.660 * [backup-simplify]: Simplify 2 into 2 1553939321.660 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.660 * [taylor]: Taking taylor expansion of t in t 1553939321.660 * [backup-simplify]: Simplify 0 into 0 1553939321.660 * [backup-simplify]: Simplify 1 into 1 1553939321.660 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.660 * [taylor]: Taking taylor expansion of t in t 1553939321.660 * [backup-simplify]: Simplify 0 into 0 1553939321.660 * [backup-simplify]: Simplify 1 into 1 1553939321.660 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.660 * [taylor]: Taking taylor expansion of 1 in t 1553939321.660 * [backup-simplify]: Simplify 1 into 1 1553939321.660 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.661 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.661 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.662 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.662 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.662 * [taylor]: Taking taylor expansion of 2 in t 1553939321.662 * [backup-simplify]: Simplify 2 into 2 1553939321.662 * [taylor]: Taking taylor expansion of (fma (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1))) 2) in t 1553939321.662 * [taylor]: Rewrote expression to (+ (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) 2) 1553939321.662 * [taylor]: Taking taylor expansion of (* (/ 2 (* t (+ (/ 1 t) 1))) (/ 2 (* t (+ (/ 1 t) 1)))) in t 1553939321.662 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.662 * [taylor]: Taking taylor expansion of 2 in t 1553939321.662 * [backup-simplify]: Simplify 2 into 2 1553939321.662 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.662 * [taylor]: Taking taylor expansion of t in t 1553939321.662 * [backup-simplify]: Simplify 0 into 0 1553939321.662 * [backup-simplify]: Simplify 1 into 1 1553939321.662 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.662 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.662 * [taylor]: Taking taylor expansion of t in t 1553939321.662 * [backup-simplify]: Simplify 0 into 0 1553939321.662 * [backup-simplify]: Simplify 1 into 1 1553939321.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.663 * [taylor]: Taking taylor expansion of 1 in t 1553939321.663 * [backup-simplify]: Simplify 1 into 1 1553939321.663 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.663 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.664 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.664 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.664 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.664 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.664 * [taylor]: Taking taylor expansion of 2 in t 1553939321.664 * [backup-simplify]: Simplify 2 into 2 1553939321.664 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.664 * [taylor]: Taking taylor expansion of t in t 1553939321.664 * [backup-simplify]: Simplify 0 into 0 1553939321.665 * [backup-simplify]: Simplify 1 into 1 1553939321.665 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.665 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.665 * [taylor]: Taking taylor expansion of t in t 1553939321.665 * [backup-simplify]: Simplify 0 into 0 1553939321.665 * [backup-simplify]: Simplify 1 into 1 1553939321.665 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.665 * [taylor]: Taking taylor expansion of 1 in t 1553939321.665 * [backup-simplify]: Simplify 1 into 1 1553939321.665 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.665 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.666 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.666 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.667 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.667 * [taylor]: Taking taylor expansion of 2 in t 1553939321.667 * [backup-simplify]: Simplify 2 into 2 1553939321.667 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.667 * [backup-simplify]: Simplify (+ 4 2) into 6 1553939321.667 * [backup-simplify]: Simplify 6 into 6 1553939321.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.668 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.669 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.671 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.674 * [backup-simplify]: Simplify (+ (* 2 -2) (* -2 2)) into -8 1553939321.674 * [backup-simplify]: Simplify (+ -8 0) into -8 1553939321.674 * [backup-simplify]: Simplify -8 into -8 1553939321.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.676 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.679 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.680 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.682 * [backup-simplify]: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1553939321.682 * [backup-simplify]: Simplify (+ 12 0) into 12 1553939321.682 * [backup-simplify]: Simplify 12 into 12 1553939321.683 * [backup-simplify]: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1553939321.683 * [backup-simplify]: Simplify (fma (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) 2) into (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 2) 1553939321.683 * [approximate]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 2) in (t) around 0 1553939321.683 * [taylor]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 2) in t 1553939321.683 * [taylor]: Rewrote expression to (+ (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) 2) 1553939321.683 * [taylor]: Taking taylor expansion of (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) in t 1553939321.683 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.683 * [taylor]: Taking taylor expansion of -2 in t 1553939321.683 * [backup-simplify]: Simplify -2 into -2 1553939321.683 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.683 * [taylor]: Taking taylor expansion of t in t 1553939321.683 * [backup-simplify]: Simplify 0 into 0 1553939321.683 * [backup-simplify]: Simplify 1 into 1 1553939321.683 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.683 * [taylor]: Taking taylor expansion of 1 in t 1553939321.683 * [backup-simplify]: Simplify 1 into 1 1553939321.684 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.684 * [taylor]: Taking taylor expansion of t in t 1553939321.684 * [backup-simplify]: Simplify 0 into 0 1553939321.684 * [backup-simplify]: Simplify 1 into 1 1553939321.684 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.684 * [backup-simplify]: Simplify (- 1) into -1 1553939321.685 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.685 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.686 * [backup-simplify]: Simplify (- 0) into 0 1553939321.687 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.687 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.688 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.688 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.688 * [taylor]: Taking taylor expansion of -2 in t 1553939321.688 * [backup-simplify]: Simplify -2 into -2 1553939321.688 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.688 * [taylor]: Taking taylor expansion of t in t 1553939321.688 * [backup-simplify]: Simplify 0 into 0 1553939321.688 * [backup-simplify]: Simplify 1 into 1 1553939321.688 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.688 * [taylor]: Taking taylor expansion of 1 in t 1553939321.688 * [backup-simplify]: Simplify 1 into 1 1553939321.688 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.688 * [taylor]: Taking taylor expansion of t in t 1553939321.688 * [backup-simplify]: Simplify 0 into 0 1553939321.688 * [backup-simplify]: Simplify 1 into 1 1553939321.689 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.689 * [backup-simplify]: Simplify (- 1) into -1 1553939321.689 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.690 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.691 * [backup-simplify]: Simplify (- 0) into 0 1553939321.691 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.692 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.692 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.692 * [taylor]: Taking taylor expansion of 2 in t 1553939321.693 * [backup-simplify]: Simplify 2 into 2 1553939321.693 * [taylor]: Taking taylor expansion of (fma (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t)))) 2) in t 1553939321.693 * [taylor]: Rewrote expression to (+ (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) 2) 1553939321.693 * [taylor]: Taking taylor expansion of (* (/ -2 (* t (- 1 (/ 1 t)))) (/ -2 (* t (- 1 (/ 1 t))))) in t 1553939321.693 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.693 * [taylor]: Taking taylor expansion of -2 in t 1553939321.693 * [backup-simplify]: Simplify -2 into -2 1553939321.693 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.693 * [taylor]: Taking taylor expansion of t in t 1553939321.693 * [backup-simplify]: Simplify 0 into 0 1553939321.693 * [backup-simplify]: Simplify 1 into 1 1553939321.693 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.693 * [taylor]: Taking taylor expansion of 1 in t 1553939321.693 * [backup-simplify]: Simplify 1 into 1 1553939321.693 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.693 * [taylor]: Taking taylor expansion of t in t 1553939321.693 * [backup-simplify]: Simplify 0 into 0 1553939321.693 * [backup-simplify]: Simplify 1 into 1 1553939321.693 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.694 * [backup-simplify]: Simplify (- 1) into -1 1553939321.694 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.695 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.696 * [backup-simplify]: Simplify (- 0) into 0 1553939321.696 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.697 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.698 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.698 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.698 * [taylor]: Taking taylor expansion of -2 in t 1553939321.698 * [backup-simplify]: Simplify -2 into -2 1553939321.698 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.698 * [taylor]: Taking taylor expansion of t in t 1553939321.698 * [backup-simplify]: Simplify 0 into 0 1553939321.698 * [backup-simplify]: Simplify 1 into 1 1553939321.698 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.698 * [taylor]: Taking taylor expansion of 1 in t 1553939321.698 * [backup-simplify]: Simplify 1 into 1 1553939321.698 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.698 * [taylor]: Taking taylor expansion of t in t 1553939321.698 * [backup-simplify]: Simplify 0 into 0 1553939321.698 * [backup-simplify]: Simplify 1 into 1 1553939321.698 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.699 * [backup-simplify]: Simplify (- 1) into -1 1553939321.699 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.700 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.701 * [backup-simplify]: Simplify (- 0) into 0 1553939321.701 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.702 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.702 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.702 * [taylor]: Taking taylor expansion of 2 in t 1553939321.702 * [backup-simplify]: Simplify 2 into 2 1553939321.703 * [backup-simplify]: Simplify (* 2 2) into 4 1553939321.703 * [backup-simplify]: Simplify (+ 4 2) into 6 1553939321.703 * [backup-simplify]: Simplify 6 into 6 1553939321.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.704 * [backup-simplify]: Simplify (- 0) into 0 1553939321.705 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.707 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.708 * [backup-simplify]: Simplify (- 0) into 0 1553939321.708 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.709 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.710 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.711 * [backup-simplify]: Simplify (+ (* 2 2) (* 2 2)) into 8 1553939321.711 * [backup-simplify]: Simplify (+ 8 0) into 8 1553939321.711 * [backup-simplify]: Simplify 8 into 8 1553939321.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.713 * [backup-simplify]: Simplify (- 0) into 0 1553939321.713 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.715 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.717 * [backup-simplify]: Simplify (- 0) into 0 1553939321.717 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.718 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.720 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.720 * [backup-simplify]: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1553939321.720 * [backup-simplify]: Simplify (+ 12 0) into 12 1553939321.721 * [backup-simplify]: Simplify 12 into 12 1553939321.721 * [backup-simplify]: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1553939321.721 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1553939321.721 * [backup-simplify]: Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1))) 1553939321.721 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0 1553939321.721 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.721 * [taylor]: Taking taylor expansion of 2 in t 1553939321.721 * [backup-simplify]: Simplify 2 into 2 1553939321.721 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.721 * [taylor]: Taking taylor expansion of t in t 1553939321.721 * [backup-simplify]: Simplify 0 into 0 1553939321.721 * [backup-simplify]: Simplify 1 into 1 1553939321.721 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.721 * [taylor]: Taking taylor expansion of t in t 1553939321.721 * [backup-simplify]: Simplify 0 into 0 1553939321.721 * [backup-simplify]: Simplify 1 into 1 1553939321.721 * [taylor]: Taking taylor expansion of 1 in t 1553939321.721 * [backup-simplify]: Simplify 1 into 1 1553939321.722 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.722 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.722 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.722 * [taylor]: Taking taylor expansion of 2 in t 1553939321.722 * [backup-simplify]: Simplify 2 into 2 1553939321.722 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.722 * [taylor]: Taking taylor expansion of t in t 1553939321.722 * [backup-simplify]: Simplify 0 into 0 1553939321.722 * [backup-simplify]: Simplify 1 into 1 1553939321.722 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.722 * [taylor]: Taking taylor expansion of t in t 1553939321.722 * [backup-simplify]: Simplify 0 into 0 1553939321.723 * [backup-simplify]: Simplify 1 into 1 1553939321.723 * [taylor]: Taking taylor expansion of 1 in t 1553939321.723 * [backup-simplify]: Simplify 1 into 1 1553939321.723 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.724 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.724 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.724 * [backup-simplify]: Simplify 2 into 2 1553939321.725 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.726 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.726 * [backup-simplify]: Simplify -2 into -2 1553939321.727 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1553939321.729 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1553939321.729 * [backup-simplify]: Simplify 2 into 2 1553939321.730 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1553939321.730 * [backup-simplify]: Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1))) 1553939321.730 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0 1553939321.730 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.730 * [taylor]: Taking taylor expansion of 2 in t 1553939321.730 * [backup-simplify]: Simplify 2 into 2 1553939321.730 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.730 * [taylor]: Taking taylor expansion of t in t 1553939321.730 * [backup-simplify]: Simplify 0 into 0 1553939321.730 * [backup-simplify]: Simplify 1 into 1 1553939321.730 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.730 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.730 * [taylor]: Taking taylor expansion of t in t 1553939321.730 * [backup-simplify]: Simplify 0 into 0 1553939321.730 * [backup-simplify]: Simplify 1 into 1 1553939321.731 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.731 * [taylor]: Taking taylor expansion of 1 in t 1553939321.731 * [backup-simplify]: Simplify 1 into 1 1553939321.731 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.731 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.733 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.733 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.734 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.734 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.734 * [taylor]: Taking taylor expansion of 2 in t 1553939321.734 * [backup-simplify]: Simplify 2 into 2 1553939321.734 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.734 * [taylor]: Taking taylor expansion of t in t 1553939321.734 * [backup-simplify]: Simplify 0 into 0 1553939321.734 * [backup-simplify]: Simplify 1 into 1 1553939321.734 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.734 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.734 * [taylor]: Taking taylor expansion of t in t 1553939321.734 * [backup-simplify]: Simplify 0 into 0 1553939321.734 * [backup-simplify]: Simplify 1 into 1 1553939321.734 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.734 * [taylor]: Taking taylor expansion of 1 in t 1553939321.734 * [backup-simplify]: Simplify 1 into 1 1553939321.735 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.735 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.736 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.737 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.737 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.738 * [backup-simplify]: Simplify 2 into 2 1553939321.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.740 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.741 * [backup-simplify]: Simplify -2 into -2 1553939321.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.741 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.743 * [backup-simplify]: Simplify 2 into 2 1553939321.743 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939321.743 * [backup-simplify]: Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t)))) 1553939321.743 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0 1553939321.743 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.743 * [taylor]: Taking taylor expansion of -2 in t 1553939321.743 * [backup-simplify]: Simplify -2 into -2 1553939321.743 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.743 * [taylor]: Taking taylor expansion of t in t 1553939321.743 * [backup-simplify]: Simplify 0 into 0 1553939321.743 * [backup-simplify]: Simplify 1 into 1 1553939321.743 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.743 * [taylor]: Taking taylor expansion of 1 in t 1553939321.743 * [backup-simplify]: Simplify 1 into 1 1553939321.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.743 * [taylor]: Taking taylor expansion of t in t 1553939321.743 * [backup-simplify]: Simplify 0 into 0 1553939321.743 * [backup-simplify]: Simplify 1 into 1 1553939321.743 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.744 * [backup-simplify]: Simplify (- 1) into -1 1553939321.744 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.744 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.745 * [backup-simplify]: Simplify (- 0) into 0 1553939321.745 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.745 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.746 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.746 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.746 * [taylor]: Taking taylor expansion of -2 in t 1553939321.746 * [backup-simplify]: Simplify -2 into -2 1553939321.746 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.746 * [taylor]: Taking taylor expansion of t in t 1553939321.746 * [backup-simplify]: Simplify 0 into 0 1553939321.746 * [backup-simplify]: Simplify 1 into 1 1553939321.746 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.746 * [taylor]: Taking taylor expansion of 1 in t 1553939321.746 * [backup-simplify]: Simplify 1 into 1 1553939321.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.746 * [taylor]: Taking taylor expansion of t in t 1553939321.746 * [backup-simplify]: Simplify 0 into 0 1553939321.746 * [backup-simplify]: Simplify 1 into 1 1553939321.746 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.746 * [backup-simplify]: Simplify (- 1) into -1 1553939321.747 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.747 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.748 * [backup-simplify]: Simplify (- 0) into 0 1553939321.748 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.748 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.749 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.749 * [backup-simplify]: Simplify 2 into 2 1553939321.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.750 * [backup-simplify]: Simplify (- 0) into 0 1553939321.750 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.750 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.751 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.751 * [backup-simplify]: Simplify 2 into 2 1553939321.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.752 * [backup-simplify]: Simplify (- 0) into 0 1553939321.752 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.753 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.753 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.753 * [backup-simplify]: Simplify 2 into 2 1553939321.754 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939321.754 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1553939321.754 * [backup-simplify]: Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1))) 1553939321.754 * [approximate]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0 1553939321.754 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.754 * [taylor]: Taking taylor expansion of 2 in t 1553939321.754 * [backup-simplify]: Simplify 2 into 2 1553939321.754 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.754 * [taylor]: Taking taylor expansion of t in t 1553939321.754 * [backup-simplify]: Simplify 0 into 0 1553939321.754 * [backup-simplify]: Simplify 1 into 1 1553939321.754 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.754 * [taylor]: Taking taylor expansion of t in t 1553939321.754 * [backup-simplify]: Simplify 0 into 0 1553939321.754 * [backup-simplify]: Simplify 1 into 1 1553939321.754 * [taylor]: Taking taylor expansion of 1 in t 1553939321.754 * [backup-simplify]: Simplify 1 into 1 1553939321.754 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.754 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.754 * [taylor]: Taking taylor expansion of (* 2 (/ t (+ t 1))) in t 1553939321.754 * [taylor]: Taking taylor expansion of 2 in t 1553939321.754 * [backup-simplify]: Simplify 2 into 2 1553939321.754 * [taylor]: Taking taylor expansion of (/ t (+ t 1)) in t 1553939321.754 * [taylor]: Taking taylor expansion of t in t 1553939321.754 * [backup-simplify]: Simplify 0 into 0 1553939321.754 * [backup-simplify]: Simplify 1 into 1 1553939321.755 * [taylor]: Taking taylor expansion of (+ t 1) in t 1553939321.755 * [taylor]: Taking taylor expansion of t in t 1553939321.755 * [backup-simplify]: Simplify 0 into 0 1553939321.755 * [backup-simplify]: Simplify 1 into 1 1553939321.755 * [taylor]: Taking taylor expansion of 1 in t 1553939321.755 * [backup-simplify]: Simplify 1 into 1 1553939321.755 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.755 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.755 * [backup-simplify]: Simplify (* 2 1) into 2 1553939321.755 * [backup-simplify]: Simplify 2 into 2 1553939321.756 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1553939321.757 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2 1553939321.757 * [backup-simplify]: Simplify -2 into -2 1553939321.757 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1553939321.758 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1553939321.758 * [backup-simplify]: Simplify 2 into 2 1553939321.758 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1553939321.758 * [backup-simplify]: Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1))) 1553939321.758 * [approximate]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0 1553939321.758 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.758 * [taylor]: Taking taylor expansion of 2 in t 1553939321.758 * [backup-simplify]: Simplify 2 into 2 1553939321.758 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.758 * [taylor]: Taking taylor expansion of t in t 1553939321.758 * [backup-simplify]: Simplify 0 into 0 1553939321.759 * [backup-simplify]: Simplify 1 into 1 1553939321.759 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.759 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.759 * [taylor]: Taking taylor expansion of t in t 1553939321.759 * [backup-simplify]: Simplify 0 into 0 1553939321.759 * [backup-simplify]: Simplify 1 into 1 1553939321.759 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.759 * [taylor]: Taking taylor expansion of 1 in t 1553939321.759 * [backup-simplify]: Simplify 1 into 1 1553939321.759 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.759 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.760 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.760 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.761 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.761 * [taylor]: Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t 1553939321.761 * [taylor]: Taking taylor expansion of 2 in t 1553939321.761 * [backup-simplify]: Simplify 2 into 2 1553939321.761 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t 1553939321.761 * [taylor]: Taking taylor expansion of t in t 1553939321.761 * [backup-simplify]: Simplify 0 into 0 1553939321.761 * [backup-simplify]: Simplify 1 into 1 1553939321.761 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1553939321.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.761 * [taylor]: Taking taylor expansion of t in t 1553939321.761 * [backup-simplify]: Simplify 0 into 0 1553939321.761 * [backup-simplify]: Simplify 1 into 1 1553939321.761 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.761 * [taylor]: Taking taylor expansion of 1 in t 1553939321.761 * [backup-simplify]: Simplify 1 into 1 1553939321.761 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.762 * [backup-simplify]: Simplify (* 0 1) into 0 1553939321.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.762 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939321.763 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553939321.763 * [backup-simplify]: Simplify (/ 2 1) into 2 1553939321.763 * [backup-simplify]: Simplify 2 into 2 1553939321.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.764 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1553939321.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1553939321.765 * [backup-simplify]: Simplify -2 into -2 1553939321.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.766 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1553939321.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939321.767 * [backup-simplify]: Simplify 2 into 2 1553939321.767 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939321.767 * [backup-simplify]: Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t)))) 1553939321.767 * [approximate]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0 1553939321.767 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.767 * [taylor]: Taking taylor expansion of -2 in t 1553939321.767 * [backup-simplify]: Simplify -2 into -2 1553939321.767 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.767 * [taylor]: Taking taylor expansion of t in t 1553939321.767 * [backup-simplify]: Simplify 0 into 0 1553939321.767 * [backup-simplify]: Simplify 1 into 1 1553939321.768 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.768 * [taylor]: Taking taylor expansion of 1 in t 1553939321.768 * [backup-simplify]: Simplify 1 into 1 1553939321.768 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.768 * [taylor]: Taking taylor expansion of t in t 1553939321.768 * [backup-simplify]: Simplify 0 into 0 1553939321.768 * [backup-simplify]: Simplify 1 into 1 1553939321.769 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.770 * [backup-simplify]: Simplify (- 1) into -1 1553939321.770 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.770 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.771 * [backup-simplify]: Simplify (- 0) into 0 1553939321.771 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.772 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.772 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.772 * [taylor]: Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t 1553939321.772 * [taylor]: Taking taylor expansion of -2 in t 1553939321.772 * [backup-simplify]: Simplify -2 into -2 1553939321.772 * [taylor]: Taking taylor expansion of (* t (- 1 (/ 1 t))) in t 1553939321.772 * [taylor]: Taking taylor expansion of t in t 1553939321.772 * [backup-simplify]: Simplify 0 into 0 1553939321.772 * [backup-simplify]: Simplify 1 into 1 1553939321.772 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1553939321.772 * [taylor]: Taking taylor expansion of 1 in t 1553939321.772 * [backup-simplify]: Simplify 1 into 1 1553939321.772 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1553939321.772 * [taylor]: Taking taylor expansion of t in t 1553939321.772 * [backup-simplify]: Simplify 0 into 0 1553939321.772 * [backup-simplify]: Simplify 1 into 1 1553939321.772 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939321.773 * [backup-simplify]: Simplify (- 1) into -1 1553939321.773 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939321.773 * [backup-simplify]: Simplify (* 0 -1) into 0 1553939321.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939321.774 * [backup-simplify]: Simplify (- 0) into 0 1553939321.774 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939321.775 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553939321.775 * [backup-simplify]: Simplify (/ -2 -1) into 2 1553939321.775 * [backup-simplify]: Simplify 2 into 2 1553939321.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.776 * [backup-simplify]: Simplify (- 0) into 0 1553939321.776 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553939321.777 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2 1553939321.777 * [backup-simplify]: Simplify 2 into 2 1553939321.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939321.779 * [backup-simplify]: Simplify (- 0) into 0 1553939321.779 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939321.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553939321.782 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2 1553939321.782 * [backup-simplify]: Simplify 2 into 2 1553939321.782 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939321.782 * * * [progress]: simplifying candidates 1553939321.782 * * * * [progress]: [ 1 / 90 ] simplifiying candidate # 1553939321.782 * * * * [progress]: [ 2 / 90 ] simplifiying candidate # 1553939321.782 * * * * [progress]: [ 3 / 90 ] simplifiying candidate # 1553939321.782 * * * * [progress]: [ 4 / 90 ] simplifiying candidate # 1553939321.782 * * * * [progress]: [ 5 / 90 ] simplifiying candidate # 1553939321.782 * * * * [progress]: [ 6 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 7 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 8 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 9 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 10 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 11 / 90 ] simplifiying candidate #real (real->posit16 (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1))) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))> 1553939321.783 * * * * [progress]: [ 12 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 13 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 14 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 15 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 16 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 17 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 18 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 19 / 90 ] simplifiying candidate # 1553939321.783 * * * * [progress]: [ 20 / 90 ] simplifiying candidate # 1553939321.784 * * * * [progress]: [ 21 / 90 ] simplifiying candidate # 1553939321.784 * * * * [progress]: [ 22 / 90 ] simplifiying candidate #real (real->posit16 (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))))> 1553939321.784 * * * * [progress]: [ 23 / 90 ] simplifiying candidate # 1553939321.784 * * * * [progress]: [ 24 / 90 ] simplifiying candidate # 1553939321.784 * * * * [progress]: [ 25 / 90 ] simplifiying candidate # 1553939321.784 * * * * [progress]: [ 26 / 90 ] simplifiying candidate # 1553939321.784 * [simplify]: Simplifying (- (+ (log t) (log 2)) (log (+ 1 t))) 1553939321.784 * * [simplify]: iters left: 5 (9 enodes) 1553939321.790 * * [simplify]: iters left: 4 (36 enodes) 1553939321.798 * * [simplify]: iters left: 3 (50 enodes) 1553939321.806 * * [simplify]: iters left: 2 (59 enodes) 1553939321.814 * * [simplify]: iters left: 1 (63 enodes) 1553939321.824 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939321.824 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939321.824 * * [simplify]: Extracting #2: cost 23 inf + 0 1553939321.824 * * [simplify]: Extracting #3: cost 21 inf + 144 1553939321.825 * * [simplify]: Extracting #4: cost 15 inf + 802 1553939321.825 * * [simplify]: Extracting #5: cost 5 inf + 2296 1553939321.826 * * [simplify]: Extracting #6: cost 0 inf + 3233 1553939321.827 * [simplify]: Simplified to (+ (- (log 2) (log1p t)) (log t)) 1553939321.827 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (exp (+ (- (log 2) (log1p t)) (log t))) 2))) 1553939321.828 * * * * [progress]: [ 27 / 90 ] simplifiying candidate # 1553939321.828 * [simplify]: Simplifying (- (log (* t 2)) (log (+ 1 t))) 1553939321.828 * * [simplify]: iters left: 5 (8 enodes) 1553939321.833 * * [simplify]: iters left: 4 (34 enodes) 1553939321.844 * * [simplify]: iters left: 3 (48 enodes) 1553939321.859 * * [simplify]: iters left: 2 (58 enodes) 1553939321.876 * * [simplify]: iters left: 1 (66 enodes) 1553939321.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939321.898 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939321.898 * * [simplify]: Extracting #2: cost 24 inf + 0 1553939321.898 * * [simplify]: Extracting #3: cost 24 inf + 73 1553939321.899 * * [simplify]: Extracting #4: cost 2 inf + 2725 1553939321.900 * * [simplify]: Extracting #5: cost 0 inf + 3167 1553939321.900 * [simplify]: Simplified to (- (log (* t 2)) (log1p t)) 1553939321.900 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (exp (- (log (* t 2)) (log1p t))) 2))) 1553939321.901 * * * * [progress]: [ 28 / 90 ] simplifiying candidate # 1553939321.901 * * * * [progress]: [ 29 / 90 ] simplifiying candidate # 1553939321.901 * * * * [progress]: [ 30 / 90 ] simplifiying candidate # 1553939321.901 * [simplify]: Simplifying (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) 1553939321.901 * * [simplify]: iters left: 6 (12 enodes) 1553939321.910 * * [simplify]: iters left: 5 (68 enodes) 1553939321.944 * * [simplify]: iters left: 4 (219 enodes) 1553939322.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.184 * * [simplify]: Extracting #1: cost 92 inf + 0 1553939322.185 * * [simplify]: Extracting #2: cost 207 inf + 418 1553939322.188 * * [simplify]: Extracting #3: cost 85 inf + 17016 1553939322.196 * * [simplify]: Extracting #4: cost 2 inf + 31271 1553939322.205 * * [simplify]: Extracting #5: cost 0 inf + 31489 1553939322.218 * [simplify]: Simplified to (* (* (/ t (+ t 1)) (* (/ t (+ t 1)) (/ t (+ t 1)))) 8) 1553939322.218 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (cbrt (* (* (/ t (+ t 1)) (* (/ t (+ t 1)) (/ t (+ t 1)))) 8)) 2))) 1553939322.218 * * * * [progress]: [ 31 / 90 ] simplifiying candidate # 1553939322.218 * [simplify]: Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) 1553939322.218 * * [simplify]: iters left: 6 (10 enodes) 1553939322.226 * * [simplify]: iters left: 5 (65 enodes) 1553939322.261 * * [simplify]: iters left: 4 (215 enodes) 1553939322.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.451 * * [simplify]: Extracting #1: cost 101 inf + 0 1553939322.453 * * [simplify]: Extracting #2: cost 224 inf + 1676 1553939322.464 * * [simplify]: Extracting #3: cost 97 inf + 22317 1553939322.491 * * [simplify]: Extracting #4: cost 4 inf + 38546 1553939322.506 * * [simplify]: Extracting #5: cost 0 inf + 38709 1553939322.519 * * [simplify]: Extracting #6: cost 0 inf + 38668 1553939322.530 * [simplify]: Simplified to (* (/ 2 (/ (+ 1 t) t)) (* (/ 2 (/ (+ 1 t) t)) (/ 2 (/ (+ 1 t) t)))) 1553939322.531 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (cbrt (* (/ 2 (/ (+ 1 t) t)) (* (/ 2 (/ (+ 1 t) t)) (/ 2 (/ (+ 1 t) t))))) 2))) 1553939322.531 * * * * [progress]: [ 32 / 90 ] simplifiying candidate # 1553939322.531 * * * * [progress]: [ 33 / 90 ] simplifiying candidate # 1553939322.531 * * * * [progress]: [ 34 / 90 ] simplifiying candidate # 1553939322.531 * * * * [progress]: [ 35 / 90 ] simplifiying candidate # 1553939322.531 * * * * [progress]: [ 36 / 90 ] simplifiying candidate # 1553939322.531 * [simplify]: Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) 1553939322.531 * * [simplify]: iters left: 6 (6 enodes) 1553939322.533 * * [simplify]: iters left: 5 (23 enodes) 1553939322.537 * * [simplify]: iters left: 4 (27 enodes) 1553939322.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.542 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939322.542 * * [simplify]: Extracting #2: cost 9 inf + 1 1553939322.542 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939322.542 * * [simplify]: Extracting #4: cost 8 inf + 86 1553939322.542 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553939322.543 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553939322.543 * [simplify]: Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) 1553939322.543 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 2))) 1553939322.544 * [simplify]: Simplifying (/ 2 (cbrt (+ 1 t))) 1553939322.544 * * [simplify]: iters left: 5 (6 enodes) 1553939322.547 * * [simplify]: iters left: 4 (21 enodes) 1553939322.554 * * [simplify]: iters left: 3 (23 enodes) 1553939322.561 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.561 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.561 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939322.561 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939322.561 * * [simplify]: Extracting #4: cost 6 inf + 3 1553939322.562 * * [simplify]: Extracting #5: cost 1 inf + 494 1553939322.562 * * [simplify]: Extracting #6: cost 0 inf + 657 1553939322.562 * [simplify]: Simplified to (/ 2 (cbrt (+ 1 t))) 1553939322.562 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 2))) 1553939322.562 * * * * [progress]: [ 37 / 90 ] simplifiying candidate # 1553939322.563 * [simplify]: Simplifying (/ t (sqrt (+ 1 t))) 1553939322.563 * * [simplify]: iters left: 5 (5 enodes) 1553939322.565 * * [simplify]: iters left: 4 (18 enodes) 1553939322.571 * * [simplify]: iters left: 3 (20 enodes) 1553939322.577 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.577 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.577 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939322.577 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939322.577 * * [simplify]: Extracting #4: cost 0 inf + 494 1553939322.577 * [simplify]: Simplified to (/ t (sqrt (+ 1 t))) 1553939322.577 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 2))) 1553939322.578 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t))) 1553939322.578 * * [simplify]: iters left: 5 (6 enodes) 1553939322.582 * * [simplify]: iters left: 4 (21 enodes) 1553939322.591 * * [simplify]: iters left: 3 (23 enodes) 1553939322.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.598 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.598 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939322.598 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939322.598 * * [simplify]: Extracting #4: cost 6 inf + 3 1553939322.598 * * [simplify]: Extracting #5: cost 1 inf + 374 1553939322.598 * * [simplify]: Extracting #6: cost 0 inf + 497 1553939322.599 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t))) 1553939322.599 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 2))) 1553939322.599 * * * * [progress]: [ 38 / 90 ] simplifiying candidate # 1553939322.599 * [simplify]: Simplifying (/ t 1) 1553939322.599 * * [simplify]: iters left: 2 (3 enodes) 1553939322.601 * * [simplify]: iters left: 1 (9 enodes) 1553939322.604 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.604 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939322.604 * [simplify]: Simplified to t 1553939322.604 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2))) 1553939322.605 * [simplify]: Simplifying (/ 2 (+ 1 t)) 1553939322.605 * * [simplify]: iters left: 4 (5 enodes) 1553939322.608 * * [simplify]: iters left: 3 (18 enodes) 1553939322.614 * * [simplify]: iters left: 2 (20 enodes) 1553939322.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.621 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.621 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939322.621 * * [simplify]: Extracting #3: cost 0 inf + 253 1553939322.621 * [simplify]: Simplified to (/ 2 (+ 1 t)) 1553939322.621 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2))) 1553939322.621 * * * * [progress]: [ 39 / 90 ] simplifiying candidate # 1553939322.622 * [simplify]: Simplifying (/ t 1) 1553939322.622 * * [simplify]: iters left: 2 (3 enodes) 1553939322.624 * * [simplify]: iters left: 1 (9 enodes) 1553939322.626 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.627 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939322.627 * [simplify]: Simplified to t 1553939322.627 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2))) 1553939322.627 * [simplify]: Simplifying (/ 2 (+ 1 t)) 1553939322.627 * * [simplify]: iters left: 4 (5 enodes) 1553939322.630 * * [simplify]: iters left: 3 (18 enodes) 1553939322.636 * * [simplify]: iters left: 2 (20 enodes) 1553939322.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.643 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.643 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939322.643 * * [simplify]: Extracting #3: cost 0 inf + 253 1553939322.643 * [simplify]: Simplified to (/ 2 (+ 1 t)) 1553939322.643 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2))) 1553939322.643 * * * * [progress]: [ 40 / 90 ] simplifiying candidate # 1553939322.644 * * * * [progress]: [ 41 / 90 ] simplifiying candidate # 1553939322.644 * * * * [progress]: [ 42 / 90 ] simplifiying candidate # 1553939322.644 * * * * [progress]: [ 43 / 90 ] simplifiying candidate # 1553939322.644 * [simplify]: Simplifying (cbrt (+ 1 t)) 1553939322.644 * * [simplify]: iters left: 3 (4 enodes) 1553939322.646 * * [simplify]: iters left: 2 (15 enodes) 1553939322.651 * * [simplify]: iters left: 1 (17 enodes) 1553939322.656 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.656 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939322.656 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939322.656 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939322.656 * * [simplify]: Extracting #4: cost 1 inf + 208 1553939322.657 * * [simplify]: Extracting #5: cost 0 inf + 330 1553939322.657 * [simplify]: Simplified to (cbrt (+ t 1)) 1553939322.657 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) 2))) 1553939322.657 * * * * [progress]: [ 44 / 90 ] simplifiying candidate # 1553939322.657 * [simplify]: Simplifying (sqrt (+ 1 t)) 1553939322.657 * * [simplify]: iters left: 3 (4 enodes) 1553939322.660 * * [simplify]: iters left: 2 (15 enodes) 1553939322.665 * * [simplify]: iters left: 1 (17 enodes) 1553939322.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.670 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939322.670 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939322.670 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939322.670 * * [simplify]: Extracting #4: cost 1 inf + 168 1553939322.670 * * [simplify]: Extracting #5: cost 0 inf + 250 1553939322.670 * [simplify]: Simplified to (sqrt (+ t 1)) 1553939322.670 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) 2))) 1553939322.670 * * * * [progress]: [ 45 / 90 ] simplifiying candidate # 1553939322.671 * [simplify]: Simplifying (+ 1 t) 1553939322.671 * * [simplify]: iters left: 2 (3 enodes) 1553939322.673 * * [simplify]: iters left: 1 (12 enodes) 1553939322.677 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.677 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.677 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939322.677 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939322.677 * [simplify]: Simplified to (+ t 1) 1553939322.677 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ t 1)) 2))) 1553939322.677 * * * * [progress]: [ 46 / 90 ] simplifiying candidate # 1553939322.678 * [simplify]: Simplifying (+ 1 t) 1553939322.678 * * [simplify]: iters left: 2 (3 enodes) 1553939322.680 * * [simplify]: iters left: 1 (12 enodes) 1553939322.684 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.684 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939322.684 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939322.684 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939322.684 * [simplify]: Simplified to (+ t 1) 1553939322.684 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ t 1)) 2))) 1553939322.684 * * * * [progress]: [ 47 / 90 ] simplifiying candidate # 1553939322.684 * * * * [progress]: [ 48 / 90 ] simplifiying candidate # 1553939322.685 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t))) 1553939322.685 * * [simplify]: iters left: 6 (7 enodes) 1553939322.689 * * [simplify]: iters left: 5 (27 enodes) 1553939322.698 * * [simplify]: iters left: 4 (48 enodes) 1553939322.713 * * [simplify]: iters left: 3 (82 enodes) 1553939322.740 * * [simplify]: iters left: 2 (109 enodes) 1553939322.771 * * [simplify]: iters left: 1 (115 enodes) 1553939322.798 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.798 * * [simplify]: Extracting #1: cost 21 inf + 0 1553939322.798 * * [simplify]: Extracting #2: cost 17 inf + 676 1553939322.799 * * [simplify]: Extracting #3: cost 2 inf + 1623 1553939322.801 * * [simplify]: Extracting #4: cost 0 inf + 1825 1553939322.802 * [simplify]: Simplified to (fma t t (- 1 t)) 1553939322.802 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) 2))) 1553939322.802 * * * * [progress]: [ 49 / 90 ] simplifiying candidate # 1553939322.802 * [simplify]: Simplifying (- 1 t) 1553939322.802 * * [simplify]: iters left: 2 (3 enodes) 1553939322.804 * * [simplify]: iters left: 1 (13 enodes) 1553939322.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.809 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939322.809 * * [simplify]: Extracting #2: cost 3 inf + 43 1553939322.809 * * [simplify]: Extracting #3: cost 0 inf + 168 1553939322.809 * [simplify]: Simplified to (- 1 t) 1553939322.809 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) 2))) 1553939322.809 * * * * [progress]: [ 50 / 90 ] simplifiying candidate #real (real->posit16 (/ (* t 2) (+ 1 t)))) 2)))> 1553939322.809 * * * * [progress]: [ 51 / 90 ] simplifiying candidate # 1553939322.809 * * * * [progress]: [ 52 / 90 ] simplifiying candidate # 1553939322.810 * * * * [progress]: [ 53 / 90 ] simplifiying candidate # 1553939322.810 * * * * [progress]: [ 54 / 90 ] simplifiying candidate # 1553939322.810 * [simplify]: Simplifying (- (+ (log t) (log 2)) (log (+ 1 t))) 1553939322.810 * * [simplify]: iters left: 5 (9 enodes) 1553939322.815 * * [simplify]: iters left: 4 (36 enodes) 1553939322.827 * * [simplify]: iters left: 3 (50 enodes) 1553939322.842 * * [simplify]: iters left: 2 (59 enodes) 1553939322.859 * * [simplify]: iters left: 1 (63 enodes) 1553939322.874 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.874 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939322.874 * * [simplify]: Extracting #2: cost 23 inf + 0 1553939322.874 * * [simplify]: Extracting #3: cost 21 inf + 144 1553939322.874 * * [simplify]: Extracting #4: cost 15 inf + 802 1553939322.875 * * [simplify]: Extracting #5: cost 5 inf + 2296 1553939322.875 * * [simplify]: Extracting #6: cost 0 inf + 3233 1553939322.876 * [simplify]: Simplified to (+ (- (log 2) (log1p t)) (log t)) 1553939322.876 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (exp (+ (- (log 2) (log1p t)) (log t))) (/ (* t 2) (+ 1 t)) 2))) 1553939322.876 * * * * [progress]: [ 55 / 90 ] simplifiying candidate # 1553939322.876 * [simplify]: Simplifying (- (log (* t 2)) (log (+ 1 t))) 1553939322.876 * * [simplify]: iters left: 5 (8 enodes) 1553939322.881 * * [simplify]: iters left: 4 (34 enodes) 1553939322.887 * * [simplify]: iters left: 3 (48 enodes) 1553939322.895 * * [simplify]: iters left: 2 (58 enodes) 1553939322.903 * * [simplify]: iters left: 1 (66 enodes) 1553939322.912 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939322.912 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939322.913 * * [simplify]: Extracting #2: cost 24 inf + 0 1553939322.913 * * [simplify]: Extracting #3: cost 24 inf + 73 1553939322.913 * * [simplify]: Extracting #4: cost 2 inf + 2725 1553939322.913 * * [simplify]: Extracting #5: cost 0 inf + 3167 1553939322.914 * [simplify]: Simplified to (- (log (* t 2)) (log1p t)) 1553939322.914 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (exp (- (log (* t 2)) (log1p t))) (/ (* t 2) (+ 1 t)) 2))) 1553939322.914 * * * * [progress]: [ 56 / 90 ] simplifiying candidate # 1553939322.914 * * * * [progress]: [ 57 / 90 ] simplifiying candidate # 1553939322.914 * * * * [progress]: [ 58 / 90 ] simplifiying candidate # 1553939322.914 * [simplify]: Simplifying (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) 1553939322.914 * * [simplify]: iters left: 6 (12 enodes) 1553939322.919 * * [simplify]: iters left: 5 (68 enodes) 1553939322.952 * * [simplify]: iters left: 4 (219 enodes) 1553939323.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.151 * * [simplify]: Extracting #1: cost 92 inf + 0 1553939323.152 * * [simplify]: Extracting #2: cost 207 inf + 418 1553939323.155 * * [simplify]: Extracting #3: cost 85 inf + 17016 1553939323.171 * * [simplify]: Extracting #4: cost 2 inf + 31271 1553939323.188 * * [simplify]: Extracting #5: cost 0 inf + 31489 1553939323.204 * [simplify]: Simplified to (* (* (/ t (+ t 1)) (* (/ t (+ t 1)) (/ t (+ t 1)))) 8) 1553939323.204 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (cbrt (* (* (/ t (+ t 1)) (* (/ t (+ t 1)) (/ t (+ t 1)))) 8)) (/ (* t 2) (+ 1 t)) 2))) 1553939323.204 * * * * [progress]: [ 59 / 90 ] simplifiying candidate # 1553939323.205 * [simplify]: Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) 1553939323.205 * * [simplify]: iters left: 6 (10 enodes) 1553939323.212 * * [simplify]: iters left: 5 (65 enodes) 1553939323.244 * * [simplify]: iters left: 4 (215 enodes) 1553939323.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.414 * * [simplify]: Extracting #1: cost 101 inf + 0 1553939323.416 * * [simplify]: Extracting #2: cost 224 inf + 1676 1553939323.427 * * [simplify]: Extracting #3: cost 97 inf + 22317 1553939323.450 * * [simplify]: Extracting #4: cost 4 inf + 38546 1553939323.463 * * [simplify]: Extracting #5: cost 0 inf + 38709 1553939323.476 * * [simplify]: Extracting #6: cost 0 inf + 38668 1553939323.494 * [simplify]: Simplified to (* (/ 2 (/ (+ 1 t) t)) (* (/ 2 (/ (+ 1 t) t)) (/ 2 (/ (+ 1 t) t)))) 1553939323.494 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (cbrt (* (/ 2 (/ (+ 1 t) t)) (* (/ 2 (/ (+ 1 t) t)) (/ 2 (/ (+ 1 t) t))))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.495 * * * * [progress]: [ 60 / 90 ] simplifiying candidate # 1553939323.495 * * * * [progress]: [ 61 / 90 ] simplifiying candidate # 1553939323.495 * * * * [progress]: [ 62 / 90 ] simplifiying candidate # 1553939323.495 * * * * [progress]: [ 63 / 90 ] simplifiying candidate # 1553939323.495 * * * * [progress]: [ 64 / 90 ] simplifiying candidate # 1553939323.495 * [simplify]: Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) 1553939323.496 * * [simplify]: iters left: 6 (6 enodes) 1553939323.498 * * [simplify]: iters left: 5 (23 enodes) 1553939323.502 * * [simplify]: iters left: 4 (27 enodes) 1553939323.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.506 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939323.506 * * [simplify]: Extracting #2: cost 9 inf + 1 1553939323.506 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939323.506 * * [simplify]: Extracting #4: cost 8 inf + 86 1553939323.506 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553939323.507 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553939323.507 * [simplify]: Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) 1553939323.507 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.507 * [simplify]: Simplifying (/ 2 (cbrt (+ 1 t))) 1553939323.507 * * [simplify]: iters left: 5 (6 enodes) 1553939323.509 * * [simplify]: iters left: 4 (21 enodes) 1553939323.512 * * [simplify]: iters left: 3 (23 enodes) 1553939323.516 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.516 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.516 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939323.516 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939323.516 * * [simplify]: Extracting #4: cost 6 inf + 3 1553939323.516 * * [simplify]: Extracting #5: cost 1 inf + 494 1553939323.516 * * [simplify]: Extracting #6: cost 0 inf + 657 1553939323.516 * [simplify]: Simplified to (/ 2 (cbrt (+ 1 t))) 1553939323.516 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.517 * * * * [progress]: [ 65 / 90 ] simplifiying candidate # 1553939323.517 * [simplify]: Simplifying (/ t (sqrt (+ 1 t))) 1553939323.517 * * [simplify]: iters left: 5 (5 enodes) 1553939323.518 * * [simplify]: iters left: 4 (18 enodes) 1553939323.521 * * [simplify]: iters left: 3 (20 enodes) 1553939323.524 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.524 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.524 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939323.524 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939323.524 * * [simplify]: Extracting #4: cost 0 inf + 494 1553939323.524 * [simplify]: Simplified to (/ t (sqrt (+ 1 t))) 1553939323.524 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.525 * [simplify]: Simplifying (/ 2 (sqrt (+ 1 t))) 1553939323.525 * * [simplify]: iters left: 5 (6 enodes) 1553939323.528 * * [simplify]: iters left: 4 (21 enodes) 1553939323.535 * * [simplify]: iters left: 3 (23 enodes) 1553939323.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.542 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.542 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939323.542 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939323.542 * * [simplify]: Extracting #4: cost 6 inf + 3 1553939323.542 * * [simplify]: Extracting #5: cost 1 inf + 374 1553939323.543 * * [simplify]: Extracting #6: cost 0 inf + 497 1553939323.543 * [simplify]: Simplified to (/ 2 (sqrt (+ 1 t))) 1553939323.543 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.543 * * * * [progress]: [ 66 / 90 ] simplifiying candidate # 1553939323.543 * [simplify]: Simplifying (/ t 1) 1553939323.543 * * [simplify]: iters left: 2 (3 enodes) 1553939323.545 * * [simplify]: iters left: 1 (9 enodes) 1553939323.548 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.548 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939323.548 * [simplify]: Simplified to t 1553939323.548 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.548 * [simplify]: Simplifying (/ 2 (+ 1 t)) 1553939323.548 * * [simplify]: iters left: 4 (5 enodes) 1553939323.551 * * [simplify]: iters left: 3 (18 enodes) 1553939323.558 * * [simplify]: iters left: 2 (20 enodes) 1553939323.564 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.564 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.564 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939323.564 * * [simplify]: Extracting #3: cost 0 inf + 253 1553939323.564 * [simplify]: Simplified to (/ 2 (+ 1 t)) 1553939323.564 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.564 * * * * [progress]: [ 67 / 90 ] simplifiying candidate # 1553939323.564 * [simplify]: Simplifying (/ t 1) 1553939323.565 * * [simplify]: iters left: 2 (3 enodes) 1553939323.566 * * [simplify]: iters left: 1 (9 enodes) 1553939323.569 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.569 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939323.569 * [simplify]: Simplified to t 1553939323.569 * [simplify]: Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.569 * [simplify]: Simplifying (/ 2 (+ 1 t)) 1553939323.569 * * [simplify]: iters left: 4 (5 enodes) 1553939323.572 * * [simplify]: iters left: 3 (18 enodes) 1553939323.578 * * [simplify]: iters left: 2 (20 enodes) 1553939323.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.584 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.585 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939323.585 * * [simplify]: Extracting #3: cost 0 inf + 253 1553939323.585 * [simplify]: Simplified to (/ 2 (+ 1 t)) 1553939323.585 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.585 * * * * [progress]: [ 68 / 90 ] simplifiying candidate # 1553939323.585 * * * * [progress]: [ 69 / 90 ] simplifiying candidate # 1553939323.585 * * * * [progress]: [ 70 / 90 ] simplifiying candidate # 1553939323.585 * * * * [progress]: [ 71 / 90 ] simplifiying candidate # 1553939323.585 * [simplify]: Simplifying (cbrt (+ 1 t)) 1553939323.585 * * [simplify]: iters left: 3 (4 enodes) 1553939323.586 * * [simplify]: iters left: 2 (15 enodes) 1553939323.589 * * [simplify]: iters left: 1 (17 enodes) 1553939323.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.591 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939323.591 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939323.591 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939323.591 * * [simplify]: Extracting #4: cost 1 inf + 208 1553939323.592 * * [simplify]: Extracting #5: cost 0 inf + 330 1553939323.592 * [simplify]: Simplified to (cbrt (+ t 1)) 1553939323.592 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.592 * * * * [progress]: [ 72 / 90 ] simplifiying candidate # 1553939323.592 * [simplify]: Simplifying (sqrt (+ 1 t)) 1553939323.592 * * [simplify]: iters left: 3 (4 enodes) 1553939323.593 * * [simplify]: iters left: 2 (15 enodes) 1553939323.596 * * [simplify]: iters left: 1 (17 enodes) 1553939323.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.598 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939323.598 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939323.599 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939323.599 * * [simplify]: Extracting #4: cost 1 inf + 168 1553939323.599 * * [simplify]: Extracting #5: cost 0 inf + 250 1553939323.599 * [simplify]: Simplified to (sqrt (+ t 1)) 1553939323.599 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.599 * * * * [progress]: [ 73 / 90 ] simplifiying candidate # 1553939323.599 * [simplify]: Simplifying (+ 1 t) 1553939323.599 * * [simplify]: iters left: 2 (3 enodes) 1553939323.600 * * [simplify]: iters left: 1 (12 enodes) 1553939323.602 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.602 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.602 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939323.602 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939323.602 * [simplify]: Simplified to (+ t 1) 1553939323.602 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) 1) (+ t 1)) (/ (* t 2) (+ 1 t)) 2))) 1553939323.602 * * * * [progress]: [ 74 / 90 ] simplifiying candidate # 1553939323.602 * [simplify]: Simplifying (+ 1 t) 1553939323.603 * * [simplify]: iters left: 2 (3 enodes) 1553939323.604 * * [simplify]: iters left: 1 (12 enodes) 1553939323.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.606 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939323.606 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939323.606 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939323.606 * [simplify]: Simplified to (+ t 1) 1553939323.606 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) 1) (+ t 1)) (/ (* t 2) (+ 1 t)) 2))) 1553939323.606 * * * * [progress]: [ 75 / 90 ] simplifiying candidate # 1553939323.607 * * * * [progress]: [ 76 / 90 ] simplifiying candidate # 1553939323.608 * [simplify]: Simplifying (+ (* 1 1) (- (* t t) (* 1 t))) 1553939323.608 * * [simplify]: iters left: 6 (7 enodes) 1553939323.610 * * [simplify]: iters left: 5 (27 enodes) 1553939323.614 * * [simplify]: iters left: 4 (48 enodes) 1553939323.627 * * [simplify]: iters left: 3 (82 enodes) 1553939323.642 * * [simplify]: iters left: 2 (109 enodes) 1553939323.657 * * [simplify]: iters left: 1 (115 enodes) 1553939323.680 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.680 * * [simplify]: Extracting #1: cost 21 inf + 0 1553939323.681 * * [simplify]: Extracting #2: cost 17 inf + 676 1553939323.682 * * [simplify]: Extracting #3: cost 2 inf + 1623 1553939323.683 * * [simplify]: Extracting #4: cost 0 inf + 1825 1553939323.684 * [simplify]: Simplified to (fma t t (- 1 t)) 1553939323.684 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) (/ (* t 2) (+ 1 t)) 2))) 1553939323.684 * * * * [progress]: [ 77 / 90 ] simplifiying candidate # 1553939323.684 * [simplify]: Simplifying (- 1 t) 1553939323.685 * * [simplify]: iters left: 2 (3 enodes) 1553939323.686 * * [simplify]: iters left: 1 (13 enodes) 1553939323.691 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.691 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939323.691 * * [simplify]: Extracting #2: cost 3 inf + 43 1553939323.691 * * [simplify]: Extracting #3: cost 0 inf + 168 1553939323.691 * [simplify]: Simplified to (- 1 t) 1553939323.691 * [simplify]: Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939323.692 * * * * [progress]: [ 78 / 90 ] simplifiying candidate #real (real->posit16 (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))> 1553939323.692 * * * * [progress]: [ 79 / 90 ] simplifiying candidate # 1553939323.692 * [simplify]: Simplifying (- (+ (* 4 (pow t 2)) 1) (* 8 (pow t 3))) 1553939323.692 * * [simplify]: iters left: 6 (12 enodes) 1553939323.701 * * [simplify]: iters left: 5 (56 enodes) 1553939323.726 * * [simplify]: iters left: 4 (110 enodes) 1553939323.770 * * [simplify]: iters left: 3 (226 enodes) 1553939323.819 * * [simplify]: iters left: 2 (434 enodes) 1553939323.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939323.964 * * [simplify]: Extracting #1: cost 33 inf + 0 1553939323.965 * * [simplify]: Extracting #2: cost 120 inf + 5 1553939323.967 * * [simplify]: Extracting #3: cost 142 inf + 1753 1553939323.970 * * [simplify]: Extracting #4: cost 95 inf + 9012 1553939323.975 * * [simplify]: Extracting #5: cost 21 inf + 43589 1553939323.981 * * [simplify]: Extracting #6: cost 0 inf + 52670 1553939323.990 * * [simplify]: Extracting #7: cost 0 inf + 52579 1553939323.996 * [simplify]: Simplified to (fma t (* (fma -8 t 4) t) 1) 1553939323.996 * [simplify]: Simplified (2 1) to (λ (t) (/ (fma t (* (fma -8 t 4) t) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939323.996 * * * * [progress]: [ 80 / 90 ] simplifiying candidate # 1553939323.996 * [simplify]: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) 1553939323.996 * * [simplify]: iters left: 6 (13 enodes) 1553939324.005 * * [simplify]: iters left: 5 (57 enodes) 1553939324.026 * * [simplify]: iters left: 4 (88 enodes) 1553939324.051 * * [simplify]: iters left: 3 (112 enodes) 1553939324.070 * * [simplify]: iters left: 2 (135 enodes) 1553939324.086 * * [simplify]: iters left: 1 (155 enodes) 1553939324.116 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939324.116 * * [simplify]: Extracting #1: cost 23 inf + 0 1553939324.116 * * [simplify]: Extracting #2: cost 45 inf + 4 1553939324.117 * * [simplify]: Extracting #3: cost 28 inf + 1287 1553939324.119 * * [simplify]: Extracting #4: cost 2 inf + 3832 1553939324.121 * * [simplify]: Extracting #5: cost 0 inf + 3956 1553939324.124 * [simplify]: Simplified to (+ (+ 5 (/ -8 t)) (/ 12 (* t t))) 1553939324.124 * [simplify]: Simplified (2 1) to (λ (t) (/ (+ (+ 5 (/ -8 t)) (/ 12 (* t t))) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939324.124 * * * * [progress]: [ 81 / 90 ] simplifiying candidate # 1553939324.124 * [simplify]: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) 1553939324.124 * * [simplify]: iters left: 6 (13 enodes) 1553939324.134 * * [simplify]: iters left: 5 (57 enodes) 1553939324.154 * * [simplify]: iters left: 4 (88 enodes) 1553939324.171 * * [simplify]: iters left: 3 (112 enodes) 1553939324.187 * * [simplify]: iters left: 2 (135 enodes) 1553939324.215 * * [simplify]: iters left: 1 (155 enodes) 1553939324.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939324.258 * * [simplify]: Extracting #1: cost 23 inf + 0 1553939324.258 * * [simplify]: Extracting #2: cost 45 inf + 4 1553939324.259 * * [simplify]: Extracting #3: cost 28 inf + 1287 1553939324.261 * * [simplify]: Extracting #4: cost 2 inf + 3832 1553939324.263 * * [simplify]: Extracting #5: cost 0 inf + 3956 1553939324.266 * [simplify]: Simplified to (+ (+ 5 (/ -8 t)) (/ 12 (* t t))) 1553939324.266 * [simplify]: Simplified (2 1) to (λ (t) (/ (+ (+ 5 (/ -8 t)) (/ 12 (* t t))) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939324.266 * * * * [progress]: [ 82 / 90 ] simplifiying candidate # 1553939324.267 * [simplify]: Simplifying (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3))) 1553939324.267 * * [simplify]: iters left: 6 (11 enodes) 1553939324.275 * * [simplify]: iters left: 5 (52 enodes) 1553939324.296 * * [simplify]: iters left: 4 (108 enodes) 1553939324.339 * * [simplify]: iters left: 3 (222 enodes) 1553939324.424 * * [simplify]: iters left: 2 (425 enodes) 1553939324.557 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939324.557 * * [simplify]: Extracting #1: cost 33 inf + 0 1553939324.558 * * [simplify]: Extracting #2: cost 114 inf + 46 1553939324.561 * * [simplify]: Extracting #3: cost 124 inf + 3806 1553939324.567 * * [simplify]: Extracting #4: cost 87 inf + 11436 1553939324.573 * * [simplify]: Extracting #5: cost 30 inf + 35847 1553939324.578 * * [simplify]: Extracting #6: cost 0 inf + 52163 1553939324.584 * [simplify]: Simplified to (fma (* t t) (fma t -8 4) 2) 1553939324.584 * [simplify]: Simplified (2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t t) (fma t -8 4) 2))) 1553939324.584 * * * * [progress]: [ 83 / 90 ] simplifiying candidate # 1553939324.585 * [simplify]: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1553939324.585 * * [simplify]: iters left: 6 (13 enodes) 1553939324.590 * * [simplify]: iters left: 5 (57 enodes) 1553939324.604 * * [simplify]: iters left: 4 (88 enodes) 1553939324.622 * * [simplify]: iters left: 3 (112 enodes) 1553939324.639 * * [simplify]: iters left: 2 (135 enodes) 1553939324.668 * * [simplify]: iters left: 1 (155 enodes) 1553939324.709 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939324.709 * * [simplify]: Extracting #1: cost 23 inf + 0 1553939324.710 * * [simplify]: Extracting #2: cost 45 inf + 4 1553939324.710 * * [simplify]: Extracting #3: cost 28 inf + 1287 1553939324.713 * * [simplify]: Extracting #4: cost 2 inf + 3832 1553939324.715 * * [simplify]: Extracting #5: cost 0 inf + 3956 1553939324.717 * [simplify]: Simplified to (+ (+ 6 (/ -8 t)) (/ 12 (* t t))) 1553939324.717 * [simplify]: Simplified (2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (+ (+ 6 (/ -8 t)) (/ 12 (* t t))))) 1553939324.717 * * * * [progress]: [ 84 / 90 ] simplifiying candidate # 1553939324.717 * [simplify]: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t))) 1553939324.718 * * [simplify]: iters left: 6 (13 enodes) 1553939324.723 * * [simplify]: iters left: 5 (57 enodes) 1553939324.733 * * [simplify]: iters left: 4 (88 enodes) 1553939324.752 * * [simplify]: iters left: 3 (112 enodes) 1553939324.782 * * [simplify]: iters left: 2 (135 enodes) 1553939324.812 * * [simplify]: iters left: 1 (155 enodes) 1553939324.855 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939324.855 * * [simplify]: Extracting #1: cost 23 inf + 0 1553939324.855 * * [simplify]: Extracting #2: cost 45 inf + 4 1553939324.856 * * [simplify]: Extracting #3: cost 28 inf + 1287 1553939324.858 * * [simplify]: Extracting #4: cost 2 inf + 3832 1553939324.861 * * [simplify]: Extracting #5: cost 0 inf + 3956 1553939324.863 * [simplify]: Simplified to (+ (+ 6 (/ -8 t)) (/ 12 (* t t))) 1553939324.863 * [simplify]: Simplified (2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (+ (+ 6 (/ -8 t)) (/ 12 (* t t))))) 1553939324.863 * * * * [progress]: [ 85 / 90 ] simplifiying candidate # 1553939324.864 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1553939324.864 * * [simplify]: iters left: 6 (10 enodes) 1553939324.871 * * [simplify]: iters left: 5 (52 enodes) 1553939324.897 * * [simplify]: iters left: 4 (118 enodes) 1553939324.953 * * [simplify]: iters left: 3 (268 enodes) 1553939325.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.058 * * [simplify]: Extracting #1: cost 43 inf + 0 1553939325.058 * * [simplify]: Extracting #2: cost 92 inf + 102 1553939325.059 * * [simplify]: Extracting #3: cost 66 inf + 3352 1553939325.062 * * [simplify]: Extracting #4: cost 9 inf + 14245 1553939325.066 * * [simplify]: Extracting #5: cost 0 inf + 16644 1553939325.069 * [simplify]: Simplified to (fma (* 2 t) (- (* t t) t) (* 2 t)) 1553939325.069 * [simplify]: Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (fma (* 2 t) (- (* t t) t) (* 2 t)) 2))) 1553939325.070 * * * * [progress]: [ 86 / 90 ] simplifiying candidate # 1553939325.070 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939325.070 * * [simplify]: iters left: 6 (10 enodes) 1553939325.074 * * [simplify]: iters left: 5 (47 enodes) 1553939325.085 * * [simplify]: iters left: 4 (79 enodes) 1553939325.099 * * [simplify]: iters left: 3 (119 enodes) 1553939325.119 * * [simplify]: iters left: 2 (169 enodes) 1553939325.145 * * [simplify]: iters left: 1 (205 enodes) 1553939325.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.205 * * [simplify]: Extracting #1: cost 26 inf + 0 1553939325.205 * * [simplify]: Extracting #2: cost 55 inf + 2 1553939325.206 * * [simplify]: Extracting #3: cost 43 inf + 1315 1553939325.208 * * [simplify]: Extracting #4: cost 14 inf + 4333 1553939325.212 * * [simplify]: Extracting #5: cost 2 inf + 5638 1553939325.215 * * [simplify]: Extracting #6: cost 0 inf + 5922 1553939325.219 * [simplify]: Simplified to (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 1553939325.219 * [simplify]: Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 2))) 1553939325.220 * * * * [progress]: [ 87 / 90 ] simplifiying candidate # 1553939325.220 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939325.220 * * [simplify]: iters left: 6 (10 enodes) 1553939325.228 * * [simplify]: iters left: 5 (47 enodes) 1553939325.245 * * [simplify]: iters left: 4 (79 enodes) 1553939325.269 * * [simplify]: iters left: 3 (119 enodes) 1553939325.310 * * [simplify]: iters left: 2 (169 enodes) 1553939325.359 * * [simplify]: iters left: 1 (205 enodes) 1553939325.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.424 * * [simplify]: Extracting #1: cost 26 inf + 0 1553939325.425 * * [simplify]: Extracting #2: cost 55 inf + 2 1553939325.426 * * [simplify]: Extracting #3: cost 43 inf + 1315 1553939325.428 * * [simplify]: Extracting #4: cost 14 inf + 4333 1553939325.432 * * [simplify]: Extracting #5: cost 2 inf + 5638 1553939325.435 * * [simplify]: Extracting #6: cost 0 inf + 5922 1553939325.439 * [simplify]: Simplified to (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 1553939325.439 * [simplify]: Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 2))) 1553939325.439 * * * * [progress]: [ 88 / 90 ] simplifiying candidate # 1553939325.439 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1553939325.440 * * [simplify]: iters left: 6 (10 enodes) 1553939325.447 * * [simplify]: iters left: 5 (52 enodes) 1553939325.465 * * [simplify]: iters left: 4 (118 enodes) 1553939325.495 * * [simplify]: iters left: 3 (268 enodes) 1553939325.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.624 * * [simplify]: Extracting #1: cost 43 inf + 0 1553939325.625 * * [simplify]: Extracting #2: cost 92 inf + 102 1553939325.626 * * [simplify]: Extracting #3: cost 66 inf + 3352 1553939325.629 * * [simplify]: Extracting #4: cost 9 inf + 14245 1553939325.633 * * [simplify]: Extracting #5: cost 0 inf + 16644 1553939325.636 * [simplify]: Simplified to (fma (* 2 t) (- (* t t) t) (* 2 t)) 1553939325.636 * [simplify]: Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (fma (* 2 t) (- (* t t) t) (* 2 t)) (/ (* t 2) (+ 1 t)) 2))) 1553939325.636 * * * * [progress]: [ 89 / 90 ] simplifiying candidate # 1553939325.636 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939325.636 * * [simplify]: iters left: 6 (10 enodes) 1553939325.640 * * [simplify]: iters left: 5 (47 enodes) 1553939325.649 * * [simplify]: iters left: 4 (79 enodes) 1553939325.662 * * [simplify]: iters left: 3 (119 enodes) 1553939325.691 * * [simplify]: iters left: 2 (169 enodes) 1553939325.741 * * [simplify]: iters left: 1 (205 enodes) 1553939325.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.773 * * [simplify]: Extracting #1: cost 26 inf + 0 1553939325.773 * * [simplify]: Extracting #2: cost 55 inf + 2 1553939325.774 * * [simplify]: Extracting #3: cost 43 inf + 1315 1553939325.776 * * [simplify]: Extracting #4: cost 14 inf + 4333 1553939325.780 * * [simplify]: Extracting #5: cost 2 inf + 5638 1553939325.784 * * [simplify]: Extracting #6: cost 0 inf + 5922 1553939325.788 * [simplify]: Simplified to (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 1553939325.788 * [simplify]: Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) (/ (* t 2) (+ 1 t)) 2))) 1553939325.788 * * * * [progress]: [ 90 / 90 ] simplifiying candidate # 1553939325.788 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1553939325.788 * * [simplify]: iters left: 6 (10 enodes) 1553939325.795 * * [simplify]: iters left: 5 (47 enodes) 1553939325.813 * * [simplify]: iters left: 4 (79 enodes) 1553939325.840 * * [simplify]: iters left: 3 (119 enodes) 1553939325.878 * * [simplify]: iters left: 2 (169 enodes) 1553939325.927 * * [simplify]: iters left: 1 (205 enodes) 1553939325.989 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939325.989 * * [simplify]: Extracting #1: cost 26 inf + 0 1553939325.989 * * [simplify]: Extracting #2: cost 55 inf + 2 1553939325.989 * * [simplify]: Extracting #3: cost 43 inf + 1315 1553939325.991 * * [simplify]: Extracting #4: cost 14 inf + 4333 1553939325.992 * * [simplify]: Extracting #5: cost 2 inf + 5638 1553939325.994 * * [simplify]: Extracting #6: cost 0 inf + 5922 1553939325.996 * [simplify]: Simplified to (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) 1553939325.996 * [simplify]: Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (+ (/ -2 t) (- 2 (/ (/ -2 t) t))) (/ (* t 2) (+ 1 t)) 2))) 1553939325.996 * * * [progress]: adding candidates to table 1553939326.854 * [progress]: [Phase 3 of 3] Extracting. 1553939326.856 * [simplify]: Simplifying (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)) 1553939326.856 * * [simplify]: iters left: 6 (9 enodes) 1553939326.857 * * [simplify]: iters left: 5 (13 enodes) 1553939326.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939326.857 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939326.857 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939326.857 * * [simplify]: Extracting #3: cost 6 inf + 2 1553939326.857 * * [simplify]: Extracting #4: cost 7 inf + 2 1553939326.857 * * [simplify]: Extracting #5: cost 6 inf + 3 1553939326.858 * * [simplify]: Extracting #6: cost 0 inf + 839 1553939326.858 * [simplify]: Simplified to (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)) 1553939328.168 * [regime-testing]: Baseline error score: 0.021753012524255363 1553939328.169 * [regime-testing]: Oracle error score: 0.021753012524255363 1553939328.169 * [regime-testing]: End program error score: 0.021753012524255363