1554041990.760 * [progress]: [Phase 1 of 3] Setting up. 1554041990.760 * * * [progress]: [1/2] Preparing points 1554041990.804 * * * [progress]: [2/2] Setting up program. 1554041990.808 * [progress]: [Phase 2 of 3] Improving. 1554041990.808 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554041990.808 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1554041990.808 * * [simplify]: iters left: 6 (11 enodes) 1554041990.827 * * [simplify]: iters left: 5 (51 enodes) 1554041990.839 * * [simplify]: iters left: 4 (112 enodes) 1554041990.878 * * [simplify]: iters left: 3 (254 enodes) 1554041990.978 * * [simplify]: iters left: 2 (499 enodes) 1554041991.665 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.665 * * [simplify]: Extracting #1: cost 68 inf + 0 1554041991.667 * * [simplify]: Extracting #2: cost 304 inf + 128 1554041991.671 * * [simplify]: Extracting #3: cost 306 inf + 3757 1554041991.690 * * [simplify]: Extracting #4: cost 110 inf + 35431 1554041991.721 * * [simplify]: Extracting #5: cost 6 inf + 50420 1554041991.753 * * [simplify]: Extracting #6: cost 0 inf + 50764 1554041991.774 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041991.774 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1554041991.779 * * [progress]: iteration 1 / 4 1554041991.779 * * * [progress]: picking best candidate 1554041991.780 * * * * [pick]: Picked # 1554041991.780 * * * [progress]: localizing error 1554041991.787 * * * [progress]: generating rewritten candidates 1554041991.787 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554041991.830 * * * [progress]: generating series expansions 1554041991.830 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554041991.830 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041991.831 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041991.831 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041991.831 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.831 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.831 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.831 * [taylor]: Taking taylor expansion of t in t 1554041991.831 * [backup-simplify]: Simplify 0 into 0 1554041991.831 * [backup-simplify]: Simplify 1 into 1 1554041991.831 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041991.831 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.831 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.831 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.831 * [taylor]: Taking taylor expansion of t in t 1554041991.831 * [backup-simplify]: Simplify 0 into 0 1554041991.831 * [backup-simplify]: Simplify 1 into 1 1554041991.832 * [backup-simplify]: Simplify (* 1 1) into 1 1554041991.832 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041991.832 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.833 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041991.834 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554041991.834 * [backup-simplify]: Simplify 0 into 0 1554041991.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041991.836 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554041991.836 * [backup-simplify]: Simplify 0 into 0 1554041991.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041991.838 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041991.838 * [backup-simplify]: Simplify 0 into 0 1554041991.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041991.839 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041991.839 * [backup-simplify]: Simplify 0 into 0 1554041991.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041991.841 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041991.841 * [backup-simplify]: Simplify 0 into 0 1554041991.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041991.843 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041991.843 * [backup-simplify]: Simplify 0 into 0 1554041991.843 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041991.843 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041991.843 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041991.843 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041991.843 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.843 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.843 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.843 * [taylor]: Taking taylor expansion of t in t 1554041991.843 * [backup-simplify]: Simplify 0 into 0 1554041991.843 * [backup-simplify]: Simplify 1 into 1 1554041991.843 * [backup-simplify]: Simplify (* 1 1) into 1 1554041991.843 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041991.843 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041991.844 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.844 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.844 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.844 * [taylor]: Taking taylor expansion of t in t 1554041991.844 * [backup-simplify]: Simplify 0 into 0 1554041991.844 * [backup-simplify]: Simplify 1 into 1 1554041991.844 * [backup-simplify]: Simplify (* 1 1) into 1 1554041991.844 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041991.844 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.845 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041991.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041991.845 * [backup-simplify]: Simplify 0 into 0 1554041991.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041991.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.846 * [backup-simplify]: Simplify 0 into 0 1554041991.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041991.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.848 * [backup-simplify]: Simplify 0 into 0 1554041991.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041991.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.849 * [backup-simplify]: Simplify 0 into 0 1554041991.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041991.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.850 * [backup-simplify]: Simplify 0 into 0 1554041991.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041991.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.852 * [backup-simplify]: Simplify 0 into 0 1554041991.852 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041991.852 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041991.852 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041991.852 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041991.852 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.852 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.852 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.852 * [taylor]: Taking taylor expansion of t in t 1554041991.852 * [backup-simplify]: Simplify 0 into 0 1554041991.852 * [backup-simplify]: Simplify 1 into 1 1554041991.852 * [backup-simplify]: Simplify (* 1 1) into 1 1554041991.853 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041991.853 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041991.853 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041991.853 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.853 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041991.853 * [taylor]: Taking taylor expansion of t in t 1554041991.853 * [backup-simplify]: Simplify 0 into 0 1554041991.853 * [backup-simplify]: Simplify 1 into 1 1554041991.853 * [backup-simplify]: Simplify (* 1 1) into 1 1554041991.853 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041991.853 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041991.854 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041991.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041991.854 * [backup-simplify]: Simplify 0 into 0 1554041991.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041991.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.856 * [backup-simplify]: Simplify 0 into 0 1554041991.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041991.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.857 * [backup-simplify]: Simplify 0 into 0 1554041991.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041991.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.858 * [backup-simplify]: Simplify 0 into 0 1554041991.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041991.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.860 * [backup-simplify]: Simplify 0 into 0 1554041991.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041991.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041991.861 * [backup-simplify]: Simplify 0 into 0 1554041991.861 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041991.861 * * * [progress]: simplifying candidates 1554041991.861 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1554041991.862 * [simplify]: Simplifying (* 2e-16 t) 1554041991.862 * * [simplify]: iters left: 2 (3 enodes) 1554041991.863 * * [simplify]: iters left: 1 (10 enodes) 1554041991.865 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.865 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041991.865 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041991.865 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041991.865 * [simplify]: Simplified to (* 2e-16 t) 1554041991.865 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041991.865 * [simplify]: Simplifying (+ 1 1) 1554041991.865 * * [simplify]: iters left: 2 (2 enodes) 1554041991.867 * * [simplify]: iters left: 1 (9 enodes) 1554041991.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.870 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041991.870 * [simplify]: Simplified to 2 1554041991.870 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041991.870 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1554041991.870 * [simplify]: Simplifying (* 2e-16 t) 1554041991.870 * * [simplify]: iters left: 2 (3 enodes) 1554041991.871 * * [simplify]: iters left: 1 (10 enodes) 1554041991.876 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.876 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041991.876 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041991.876 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041991.876 * [simplify]: Simplified to (* 2e-16 t) 1554041991.876 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041991.876 * [simplify]: Simplifying (+ 1 1) 1554041991.876 * * [simplify]: iters left: 2 (2 enodes) 1554041991.878 * * [simplify]: iters left: 1 (9 enodes) 1554041991.879 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.879 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041991.879 * [simplify]: Simplified to 2 1554041991.879 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041991.880 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1554041991.880 * [simplify]: Simplifying (* 2e-16 t) 1554041991.880 * * [simplify]: iters left: 2 (3 enodes) 1554041991.881 * * [simplify]: iters left: 1 (10 enodes) 1554041991.882 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.882 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041991.882 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041991.882 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041991.882 * [simplify]: Simplified to (* 2e-16 t) 1554041991.883 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041991.883 * [simplify]: Simplifying (+ 1 1) 1554041991.883 * * [simplify]: iters left: 2 (2 enodes) 1554041991.884 * * [simplify]: iters left: 1 (9 enodes) 1554041991.886 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.886 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041991.886 * [simplify]: Simplified to 2 1554041991.886 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041991.886 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1554041991.886 * [simplify]: Simplifying (* 2e-16 t) 1554041991.886 * * [simplify]: iters left: 2 (3 enodes) 1554041991.887 * * [simplify]: iters left: 1 (10 enodes) 1554041991.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.889 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041991.889 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041991.889 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041991.889 * [simplify]: Simplified to (* 2e-16 t) 1554041991.889 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041991.889 * [simplify]: Simplifying (+ 1 1) 1554041991.889 * * [simplify]: iters left: 2 (2 enodes) 1554041991.890 * * [simplify]: iters left: 1 (9 enodes) 1554041991.892 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.892 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041991.892 * [simplify]: Simplified to 2 1554041991.892 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041991.892 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1554041991.892 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1554041991.892 * * [simplify]: iters left: 4 (4 enodes) 1554041991.894 * * [simplify]: iters left: 3 (20 enodes) 1554041991.898 * * [simplify]: iters left: 2 (39 enodes) 1554041991.909 * * [simplify]: iters left: 1 (40 enodes) 1554041991.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.920 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041991.920 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041991.920 * * [simplify]: Extracting #3: cost 1 inf + 660 1554041991.921 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041991.921 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041991.921 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041991.921 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1554041991.921 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1554041991.922 * * [simplify]: iters left: 4 (4 enodes) 1554041991.924 * * [simplify]: iters left: 3 (20 enodes) 1554041991.932 * * [simplify]: iters left: 2 (39 enodes) 1554041991.945 * * [simplify]: iters left: 1 (40 enodes) 1554041991.956 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.956 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041991.956 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041991.956 * * [simplify]: Extracting #3: cost 1 inf + 660 1554041991.957 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041991.957 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041991.957 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041991.957 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1554041991.958 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1554041991.958 * * [simplify]: iters left: 4 (4 enodes) 1554041991.961 * * [simplify]: iters left: 3 (20 enodes) 1554041991.969 * * [simplify]: iters left: 2 (39 enodes) 1554041991.982 * * [simplify]: iters left: 1 (40 enodes) 1554041991.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041991.993 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041991.993 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041991.994 * * [simplify]: Extracting #3: cost 1 inf + 660 1554041991.994 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041991.995 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041991.995 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041991.995 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1554041991.995 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1554041991.995 * * [simplify]: iters left: 4 (4 enodes) 1554041991.998 * * [simplify]: iters left: 3 (20 enodes) 1554041992.008 * * [simplify]: iters left: 2 (39 enodes) 1554041992.022 * * [simplify]: iters left: 1 (40 enodes) 1554041992.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.033 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041992.033 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041992.033 * * [simplify]: Extracting #3: cost 1 inf + 660 1554041992.034 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041992.034 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041992.034 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041992.035 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1554041992.035 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1554041992.035 * [simplify]: Simplifying (* 2e-16 t) 1554041992.035 * * [simplify]: iters left: 2 (3 enodes) 1554041992.037 * * [simplify]: iters left: 1 (10 enodes) 1554041992.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.040 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041992.040 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041992.040 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041992.040 * [simplify]: Simplified to (* 2e-16 t) 1554041992.040 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041992.040 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1554041992.041 * [simplify]: Simplifying (* 2e-16 t) 1554041992.041 * * [simplify]: iters left: 2 (3 enodes) 1554041992.043 * * [simplify]: iters left: 1 (10 enodes) 1554041992.046 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.046 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041992.046 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041992.046 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041992.046 * [simplify]: Simplified to (* 2e-16 t) 1554041992.046 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554041992.046 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1554041992.046 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1554041992.046 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1554041992.046 * * [simplify]: iters left: 5 (6 enodes) 1554041992.050 * * [simplify]: iters left: 4 (23 enodes) 1554041992.058 * * [simplify]: iters left: 3 (35 enodes) 1554041992.069 * * [simplify]: iters left: 2 (43 enodes) 1554041992.077 * * [simplify]: iters left: 1 (44 enodes) 1554041992.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.083 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041992.083 * * [simplify]: Extracting #2: cost 18 inf + 0 1554041992.084 * * [simplify]: Extracting #3: cost 13 inf + 295 1554041992.084 * * [simplify]: Extracting #4: cost 11 inf + 437 1554041992.084 * * [simplify]: Extracting #5: cost 1 inf + 2204 1554041992.085 * * [simplify]: Extracting #6: cost 0 inf + 2426 1554041992.085 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1554041992.085 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1554041992.085 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1554041992.085 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))) 1554041992.085 * * [simplify]: iters left: 5 (8 enodes) 1554041992.088 * * [simplify]: iters left: 4 (27 enodes) 1554041992.093 * * [simplify]: iters left: 3 (37 enodes) 1554041992.099 * * [simplify]: iters left: 2 (46 enodes) 1554041992.109 * * [simplify]: iters left: 1 (50 enodes) 1554041992.123 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.123 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041992.123 * * [simplify]: Extracting #2: cost 19 inf + 0 1554041992.123 * * [simplify]: Extracting #3: cost 17 inf + 73 1554041992.124 * * [simplify]: Extracting #4: cost 11 inf + 741 1554041992.124 * * [simplify]: Extracting #5: cost 2 inf + 2006 1554041992.125 * * [simplify]: Extracting #6: cost 0 inf + 2230 1554041992.126 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041992.126 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554041992.126 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1554041992.127 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))) 1554041992.127 * * [simplify]: iters left: 5 (8 enodes) 1554041992.131 * * [simplify]: iters left: 4 (27 enodes) 1554041992.142 * * [simplify]: iters left: 3 (37 enodes) 1554041992.154 * * [simplify]: iters left: 2 (46 enodes) 1554041992.166 * * [simplify]: iters left: 1 (49 enodes) 1554041992.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.174 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041992.174 * * [simplify]: Extracting #2: cost 19 inf + 0 1554041992.175 * * [simplify]: Extracting #3: cost 17 inf + 73 1554041992.175 * * [simplify]: Extracting #4: cost 7 inf + 967 1554041992.175 * * [simplify]: Extracting #5: cost 1 inf + 2008 1554041992.175 * * [simplify]: Extracting #6: cost 0 inf + 2230 1554041992.176 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041992.176 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554041992.176 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1554041992.176 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041992.176 * * [simplify]: iters left: 5 (5 enodes) 1554041992.178 * * [simplify]: iters left: 4 (19 enodes) 1554041992.182 * * [simplify]: iters left: 3 (28 enodes) 1554041992.186 * * [simplify]: iters left: 2 (40 enodes) 1554041992.193 * * [simplify]: iters left: 1 (48 enodes) 1554041992.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.202 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041992.202 * * [simplify]: Extracting #2: cost 19 inf + 0 1554041992.203 * * [simplify]: Extracting #3: cost 18 inf + 2 1554041992.203 * * [simplify]: Extracting #4: cost 8 inf + 1077 1554041992.203 * * [simplify]: Extracting #5: cost 0 inf + 2230 1554041992.204 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041992.204 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554041992.204 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1554041992.204 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1554041992.204 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1554041992.205 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1554041992.205 * * [simplify]: iters left: 6 (8 enodes) 1554041992.210 * * [simplify]: iters left: 5 (38 enodes) 1554041992.227 * * [simplify]: iters left: 4 (140 enodes) 1554041992.307 * * [simplify]: iters left: 3 (482 enodes) 1554041992.883 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041992.883 * * [simplify]: Extracting #1: cost 74 inf + 0 1554041992.886 * * [simplify]: Extracting #2: cost 255 inf + 1300 1554041992.900 * * [simplify]: Extracting #3: cost 112 inf + 28035 1554041992.921 * * [simplify]: Extracting #4: cost 0 inf + 55188 1554041992.946 * * [simplify]: Extracting #5: cost 0 inf + 54508 1554041992.962 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 1554041992.962 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))) 1554041992.962 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 1554041992.962 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1554041992.962 * * [simplify]: iters left: 6 (11 enodes) 1554041992.966 * * [simplify]: iters left: 5 (54 enodes) 1554041992.985 * * [simplify]: iters left: 4 (171 enodes) 1554041993.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041993.094 * * [simplify]: Extracting #1: cost 53 inf + 0 1554041993.095 * * [simplify]: Extracting #2: cost 151 inf + 450 1554041993.097 * * [simplify]: Extracting #3: cost 107 inf + 8458 1554041993.105 * * [simplify]: Extracting #4: cost 1 inf + 30046 1554041993.123 * * [simplify]: Extracting #5: cost 0 inf + 27018 1554041993.139 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 1554041993.139 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))))) 1554041993.140 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 1554041993.140 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1554041993.140 * * [simplify]: iters left: 6 (11 enodes) 1554041993.146 * * [simplify]: iters left: 5 (54 enodes) 1554041993.160 * * [simplify]: iters left: 4 (170 enodes) 1554041993.302 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041993.303 * * [simplify]: Extracting #1: cost 51 inf + 0 1554041993.304 * * [simplify]: Extracting #2: cost 150 inf + 3 1554041993.306 * * [simplify]: Extracting #3: cost 139 inf + 1749 1554041993.315 * * [simplify]: Extracting #4: cost 24 inf + 21795 1554041993.323 * * [simplify]: Extracting #5: cost 0 inf + 26323 1554041993.331 * * [simplify]: Extracting #6: cost 0 inf + 26283 1554041993.339 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 1554041993.339 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 1554041993.339 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 1554041993.340 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1554041993.340 * * [simplify]: iters left: 6 (6 enodes) 1554041993.342 * * [simplify]: iters left: 5 (35 enodes) 1554041993.358 * * [simplify]: iters left: 4 (130 enodes) 1554041993.475 * * [simplify]: iters left: 3 (462 enodes) 1554041993.942 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041993.943 * * [simplify]: Extracting #1: cost 59 inf + 0 1554041993.944 * * [simplify]: Extracting #2: cost 197 inf + 4 1554041993.950 * * [simplify]: Extracting #3: cost 126 inf + 12107 1554041993.969 * * [simplify]: Extracting #4: cost 16 inf + 32525 1554041993.995 * * [simplify]: Extracting #5: cost 0 inf + 36365 1554041994.008 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 1554041994.008 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 1554041994.008 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 1554041994.008 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 1554041994.008 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 1554041994.008 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 1554041994.008 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 1554041994.008 * [simplify]: Simplifying (* 2e-16 2e-16) 1554041994.008 * * [simplify]: iters left: 2 (2 enodes) 1554041994.010 * * [simplify]: iters left: 1 (6 enodes) 1554041994.011 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.011 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041994.011 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041994.011 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041994.011 * [simplify]: Simplified to (* 2e-16 2e-16) 1554041994.011 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 1554041994.011 * [simplify]: Simplifying (* t t) 1554041994.011 * * [simplify]: iters left: 2 (2 enodes) 1554041994.012 * * [simplify]: iters left: 1 (6 enodes) 1554041994.013 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.013 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041994.013 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041994.013 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041994.013 * [simplify]: Simplified to (* t t) 1554041994.013 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 1554041994.013 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 1554041994.013 * [simplify]: Simplifying (* 2e-16 t) 1554041994.013 * * [simplify]: iters left: 2 (3 enodes) 1554041994.014 * * [simplify]: iters left: 1 (10 enodes) 1554041994.016 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.016 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.016 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041994.016 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041994.016 * [simplify]: Simplified to (* 2e-16 t) 1554041994.016 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 1554041994.016 * [simplify]: Simplifying (* 2 1) 1554041994.016 * * [simplify]: iters left: 2 (3 enodes) 1554041994.018 * * [simplify]: iters left: 1 (9 enodes) 1554041994.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.020 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041994.020 * [simplify]: Simplified to 2 1554041994.020 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041994.020 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 1554041994.020 * [simplify]: Simplifying (* 2e-16 t) 1554041994.020 * * [simplify]: iters left: 2 (3 enodes) 1554041994.021 * * [simplify]: iters left: 1 (10 enodes) 1554041994.023 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.023 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.023 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041994.023 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041994.023 * [simplify]: Simplified to (* 2e-16 t) 1554041994.023 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 1554041994.023 * [simplify]: Simplifying (* 2 1) 1554041994.023 * * [simplify]: iters left: 2 (3 enodes) 1554041994.025 * * [simplify]: iters left: 1 (9 enodes) 1554041994.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.026 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041994.027 * [simplify]: Simplified to 2 1554041994.027 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041994.027 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 1554041994.027 * [simplify]: Simplifying (* 2e-16 t) 1554041994.027 * * [simplify]: iters left: 2 (3 enodes) 1554041994.028 * * [simplify]: iters left: 1 (10 enodes) 1554041994.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.029 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.030 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041994.030 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041994.030 * [simplify]: Simplified to (* 2e-16 t) 1554041994.030 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 1554041994.030 * [simplify]: Simplifying (* 2 1) 1554041994.030 * * [simplify]: iters left: 2 (3 enodes) 1554041994.031 * * [simplify]: iters left: 1 (9 enodes) 1554041994.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.033 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041994.033 * [simplify]: Simplified to 2 1554041994.033 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041994.033 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 1554041994.033 * [simplify]: Simplifying (* 2e-16 t) 1554041994.033 * * [simplify]: iters left: 2 (3 enodes) 1554041994.034 * * [simplify]: iters left: 1 (10 enodes) 1554041994.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.036 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.036 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041994.036 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041994.036 * [simplify]: Simplified to (* 2e-16 t) 1554041994.036 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 1554041994.036 * [simplify]: Simplifying (* 2 1) 1554041994.036 * * [simplify]: iters left: 2 (3 enodes) 1554041994.038 * * [simplify]: iters left: 1 (9 enodes) 1554041994.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.039 * * [simplify]: Extracting #1: cost 0 inf + 1 1554041994.039 * [simplify]: Simplified to 2 1554041994.039 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554041994.040 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 1554041994.040 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 1554041994.040 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1554041994.040 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 1554041994.040 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 1554041994.040 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.040 * * [simplify]: iters left: 3 (5 enodes) 1554041994.042 * * [simplify]: iters left: 2 (21 enodes) 1554041994.046 * * [simplify]: iters left: 1 (29 enodes) 1554041994.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.051 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.051 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.051 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.051 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.051 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.051 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 1554041994.051 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.051 * * [simplify]: iters left: 3 (5 enodes) 1554041994.053 * * [simplify]: iters left: 2 (21 enodes) 1554041994.057 * * [simplify]: iters left: 1 (29 enodes) 1554041994.062 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.063 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.063 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.063 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.063 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.063 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.063 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 1554041994.063 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.063 * * [simplify]: iters left: 3 (5 enodes) 1554041994.067 * * [simplify]: iters left: 2 (21 enodes) 1554041994.073 * * [simplify]: iters left: 1 (29 enodes) 1554041994.082 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.082 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.082 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.082 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.083 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.083 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.083 * * * [progress]: adding candidates to table 1554041994.321 * * [progress]: iteration 2 / 4 1554041994.321 * * * [progress]: picking best candidate 1554041994.334 * * * * [pick]: Picked # 1554041994.334 * * * [progress]: localizing error 1554041994.341 * * * [progress]: generating rewritten candidates 1554041994.341 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554041994.359 * * * [progress]: generating series expansions 1554041994.359 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554041994.359 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 1554041994.359 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041994.359 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041994.359 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.359 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.359 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.359 * [taylor]: Taking taylor expansion of t in t 1554041994.359 * [backup-simplify]: Simplify 0 into 0 1554041994.359 * [backup-simplify]: Simplify 1 into 1 1554041994.359 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041994.359 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.359 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.359 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.359 * [taylor]: Taking taylor expansion of t in t 1554041994.359 * [backup-simplify]: Simplify 0 into 0 1554041994.360 * [backup-simplify]: Simplify 1 into 1 1554041994.360 * [backup-simplify]: Simplify (* 1 1) into 1 1554041994.361 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041994.361 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041994.362 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554041994.362 * [backup-simplify]: Simplify 0 into 0 1554041994.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041994.364 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554041994.364 * [backup-simplify]: Simplify 0 into 0 1554041994.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041994.367 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041994.367 * [backup-simplify]: Simplify 0 into 0 1554041994.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041994.369 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041994.369 * [backup-simplify]: Simplify 0 into 0 1554041994.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041994.372 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041994.372 * [backup-simplify]: Simplify 0 into 0 1554041994.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041994.376 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041994.376 * [backup-simplify]: Simplify 0 into 0 1554041994.376 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041994.376 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041994.376 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041994.376 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041994.376 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.376 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.376 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.376 * [taylor]: Taking taylor expansion of t in t 1554041994.376 * [backup-simplify]: Simplify 0 into 0 1554041994.376 * [backup-simplify]: Simplify 1 into 1 1554041994.377 * [backup-simplify]: Simplify (* 1 1) into 1 1554041994.377 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041994.377 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041994.377 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.377 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.377 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.377 * [taylor]: Taking taylor expansion of t in t 1554041994.377 * [backup-simplify]: Simplify 0 into 0 1554041994.377 * [backup-simplify]: Simplify 1 into 1 1554041994.377 * [backup-simplify]: Simplify (* 1 1) into 1 1554041994.378 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041994.378 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041994.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041994.379 * [backup-simplify]: Simplify 0 into 0 1554041994.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041994.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.380 * [backup-simplify]: Simplify 0 into 0 1554041994.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041994.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.381 * [backup-simplify]: Simplify 0 into 0 1554041994.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041994.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.383 * [backup-simplify]: Simplify 0 into 0 1554041994.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041994.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.384 * [backup-simplify]: Simplify 0 into 0 1554041994.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041994.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.386 * [backup-simplify]: Simplify 0 into 0 1554041994.386 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041994.386 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041994.386 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041994.386 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041994.386 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.386 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.386 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.386 * [taylor]: Taking taylor expansion of t in t 1554041994.386 * [backup-simplify]: Simplify 0 into 0 1554041994.386 * [backup-simplify]: Simplify 1 into 1 1554041994.386 * [backup-simplify]: Simplify (* 1 1) into 1 1554041994.386 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041994.386 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041994.387 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041994.387 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.387 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041994.387 * [taylor]: Taking taylor expansion of t in t 1554041994.387 * [backup-simplify]: Simplify 0 into 0 1554041994.387 * [backup-simplify]: Simplify 1 into 1 1554041994.387 * [backup-simplify]: Simplify (* 1 1) into 1 1554041994.387 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041994.387 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041994.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041994.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041994.388 * [backup-simplify]: Simplify 0 into 0 1554041994.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041994.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.389 * [backup-simplify]: Simplify 0 into 0 1554041994.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041994.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.390 * [backup-simplify]: Simplify 0 into 0 1554041994.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041994.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.392 * [backup-simplify]: Simplify 0 into 0 1554041994.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041994.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.393 * [backup-simplify]: Simplify 0 into 0 1554041994.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041994.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041994.395 * [backup-simplify]: Simplify 0 into 0 1554041994.395 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041994.395 * * * [progress]: simplifying candidates 1554041994.395 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 1554041994.395 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 1554041994.395 * * [simplify]: iters left: 4 (4 enodes) 1554041994.396 * * [simplify]: iters left: 3 (15 enodes) 1554041994.399 * * [simplify]: iters left: 2 (19 enodes) 1554041994.402 * * [simplify]: iters left: 1 (20 enodes) 1554041994.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.405 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.405 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041994.405 * * [simplify]: Extracting #3: cost 0 inf + 332 1554041994.405 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 1554041994.405 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 1554041994.405 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 1554041994.405 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 1554041994.405 * * [simplify]: iters left: 4 (4 enodes) 1554041994.407 * * [simplify]: iters left: 3 (15 enodes) 1554041994.410 * * [simplify]: iters left: 2 (19 enodes) 1554041994.415 * * [simplify]: iters left: 1 (20 enodes) 1554041994.421 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.421 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.421 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041994.421 * * [simplify]: Extracting #3: cost 0 inf + 332 1554041994.421 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 1554041994.421 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 1554041994.421 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 1554041994.421 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 1554041994.422 * [simplify]: Simplifying (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 1554041994.422 * * [simplify]: iters left: 5 (6 enodes) 1554041994.425 * * [simplify]: iters left: 4 (21 enodes) 1554041994.432 * * [simplify]: iters left: 3 (25 enodes) 1554041994.440 * * [simplify]: iters left: 2 (26 enodes) 1554041994.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.447 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.447 * * [simplify]: Extracting #2: cost 12 inf + 0 1554041994.447 * * [simplify]: Extracting #3: cost 10 inf + 2 1554041994.448 * * [simplify]: Extracting #4: cost 0 inf + 1316 1554041994.448 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 1554041994.448 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 1554041994.448 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 1554041994.448 * [simplify]: Simplifying (+ (log (* t t)) (log 3.9999999999999997e-32)) 1554041994.449 * * [simplify]: iters left: 5 (6 enodes) 1554041994.454 * * [simplify]: iters left: 4 (21 enodes) 1554041994.461 * * [simplify]: iters left: 3 (27 enodes) 1554041994.470 * * [simplify]: iters left: 2 (32 enodes) 1554041994.476 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.476 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.476 * * [simplify]: Extracting #2: cost 13 inf + 0 1554041994.476 * * [simplify]: Extracting #3: cost 12 inf + 2 1554041994.476 * * [simplify]: Extracting #4: cost 4 inf + 913 1554041994.476 * * [simplify]: Extracting #5: cost 0 inf + 1398 1554041994.476 * [simplify]: Simplified to (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) 1554041994.476 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)))) 1554041994.476 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 1554041994.476 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 1554041994.476 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 1554041994.477 * [simplify]: Simplifying (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 1554041994.477 * * [simplify]: iters left: 6 (8 enodes) 1554041994.480 * * [simplify]: iters left: 5 (37 enodes) 1554041994.488 * * [simplify]: iters left: 4 (93 enodes) 1554041994.512 * * [simplify]: iters left: 3 (255 enodes) 1554041994.641 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.641 * * [simplify]: Extracting #1: cost 36 inf + 0 1554041994.642 * * [simplify]: Extracting #2: cost 100 inf + 166 1554041994.644 * * [simplify]: Extracting #3: cost 59 inf + 4959 1554041994.647 * * [simplify]: Extracting #4: cost 15 inf + 15008 1554041994.652 * * [simplify]: Extracting #5: cost 0 inf + 19600 1554041994.656 * [simplify]: Simplified to (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) 1554041994.656 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)))) 1554041994.656 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 1554041994.656 * [simplify]: Simplifying (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 1554041994.657 * * [simplify]: iters left: 6 (8 enodes) 1554041994.660 * * [simplify]: iters left: 5 (38 enodes) 1554041994.669 * * [simplify]: iters left: 4 (94 enodes) 1554041994.720 * * [simplify]: iters left: 3 (259 enodes) 1554041994.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.892 * * [simplify]: Extracting #1: cost 52 inf + 0 1554041994.893 * * [simplify]: Extracting #2: cost 133 inf + 166 1554041994.899 * * [simplify]: Extracting #3: cost 82 inf + 6191 1554041994.906 * * [simplify]: Extracting #4: cost 5 inf + 26339 1554041994.912 * * [simplify]: Extracting #5: cost 0 inf + 27550 1554041994.917 * [simplify]: Simplified to (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) 1554041994.917 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))))) 1554041994.917 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 1554041994.918 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 1554041994.918 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 1554041994.918 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 1554041994.918 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 1554041994.918 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 1554041994.918 * * [simplify]: iters left: 3 (4 enodes) 1554041994.920 * * [simplify]: iters left: 2 (13 enodes) 1554041994.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.922 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.922 * * [simplify]: Extracting #2: cost 5 inf + 1 1554041994.922 * * [simplify]: Extracting #3: cost 4 inf + 2 1554041994.922 * * [simplify]: Extracting #4: cost 0 inf + 248 1554041994.922 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 1554041994.922 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 1554041994.922 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 1554041994.922 * * [simplify]: iters left: 3 (4 enodes) 1554041994.924 * * [simplify]: iters left: 2 (13 enodes) 1554041994.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.926 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041994.926 * * [simplify]: Extracting #2: cost 5 inf + 1 1554041994.926 * * [simplify]: Extracting #3: cost 4 inf + 2 1554041994.926 * * [simplify]: Extracting #4: cost 0 inf + 248 1554041994.926 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 1554041994.926 * [simplify]: Simplified (2 2) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 1554041994.926 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 1554041994.927 * [simplify]: Simplifying (cbrt 3.9999999999999997e-32) 1554041994.927 * * [simplify]: iters left: 1 (2 enodes) 1554041994.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.928 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041994.928 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041994.928 * * [simplify]: Extracting #3: cost 0 inf + 163 1554041994.928 * [simplify]: Simplified to (cbrt 3.9999999999999997e-32) 1554041994.928 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (cbrt 3.9999999999999997e-32))) 1554041994.928 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 1554041994.928 * [simplify]: Simplifying (sqrt 3.9999999999999997e-32) 1554041994.928 * * [simplify]: iters left: 1 (2 enodes) 1554041994.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.929 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041994.929 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041994.929 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041994.929 * [simplify]: Simplified to (sqrt 3.9999999999999997e-32) 1554041994.929 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) 1554041994.929 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 1554041994.929 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 1554041994.930 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #real (real->posit16 (* (* t t) 3.9999999999999997e-32))))> 1554041994.930 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 1554041994.930 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 1554041994.930 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.930 * * [simplify]: iters left: 3 (5 enodes) 1554041994.932 * * [simplify]: iters left: 2 (21 enodes) 1554041994.935 * * [simplify]: iters left: 1 (29 enodes) 1554041994.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.940 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.941 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.941 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.941 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.941 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.941 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 1554041994.941 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.941 * * [simplify]: iters left: 3 (5 enodes) 1554041994.943 * * [simplify]: iters left: 2 (21 enodes) 1554041994.949 * * [simplify]: iters left: 1 (29 enodes) 1554041994.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.958 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.958 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.958 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.958 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.958 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.958 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 1554041994.958 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041994.959 * * [simplify]: iters left: 3 (5 enodes) 1554041994.962 * * [simplify]: iters left: 2 (21 enodes) 1554041994.969 * * [simplify]: iters left: 1 (29 enodes) 1554041994.978 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041994.978 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041994.978 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041994.978 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041994.978 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041994.978 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041994.979 * * * [progress]: adding candidates to table 1554041995.089 * * [progress]: iteration 3 / 4 1554041995.089 * * * [progress]: picking best candidate 1554041995.104 * * * * [pick]: Picked # 1554041995.104 * * * [progress]: localizing error 1554041995.116 * * * [progress]: generating rewritten candidates 1554041995.116 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554041995.142 * * * [progress]: generating series expansions 1554041995.142 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554041995.142 * [backup-simplify]: Simplify (* t (* t 3.9999999999999997e-32)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041995.142 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041995.142 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041995.142 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.143 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.143 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.143 * [taylor]: Taking taylor expansion of t in t 1554041995.143 * [backup-simplify]: Simplify 0 into 0 1554041995.143 * [backup-simplify]: Simplify 1 into 1 1554041995.143 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041995.143 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.143 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.143 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.143 * [taylor]: Taking taylor expansion of t in t 1554041995.143 * [backup-simplify]: Simplify 0 into 0 1554041995.143 * [backup-simplify]: Simplify 1 into 1 1554041995.144 * [backup-simplify]: Simplify (* 1 1) into 1 1554041995.144 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041995.144 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041995.145 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554041995.145 * [backup-simplify]: Simplify 0 into 0 1554041995.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041995.147 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554041995.147 * [backup-simplify]: Simplify 0 into 0 1554041995.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041995.148 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041995.148 * [backup-simplify]: Simplify 0 into 0 1554041995.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041995.150 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041995.150 * [backup-simplify]: Simplify 0 into 0 1554041995.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041995.151 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041995.151 * [backup-simplify]: Simplify 0 into 0 1554041995.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041995.153 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041995.153 * [backup-simplify]: Simplify 0 into 0 1554041995.153 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041995.153 * [backup-simplify]: Simplify (* (/ 1 t) (* (/ 1 t) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041995.154 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041995.154 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041995.154 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.154 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.154 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.154 * [taylor]: Taking taylor expansion of t in t 1554041995.154 * [backup-simplify]: Simplify 0 into 0 1554041995.154 * [backup-simplify]: Simplify 1 into 1 1554041995.154 * [backup-simplify]: Simplify (* 1 1) into 1 1554041995.154 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041995.154 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041995.154 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.154 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.154 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.154 * [taylor]: Taking taylor expansion of t in t 1554041995.154 * [backup-simplify]: Simplify 0 into 0 1554041995.154 * [backup-simplify]: Simplify 1 into 1 1554041995.155 * [backup-simplify]: Simplify (* 1 1) into 1 1554041995.155 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041995.155 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.155 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041995.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041995.156 * [backup-simplify]: Simplify 0 into 0 1554041995.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041995.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.157 * [backup-simplify]: Simplify 0 into 0 1554041995.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041995.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.158 * [backup-simplify]: Simplify 0 into 0 1554041995.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041995.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.160 * [backup-simplify]: Simplify 0 into 0 1554041995.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041995.161 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.161 * [backup-simplify]: Simplify 0 into 0 1554041995.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041995.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.163 * [backup-simplify]: Simplify 0 into 0 1554041995.163 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041995.163 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (/ 1 (- t)) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041995.163 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041995.163 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041995.163 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.163 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.163 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.163 * [taylor]: Taking taylor expansion of t in t 1554041995.163 * [backup-simplify]: Simplify 0 into 0 1554041995.163 * [backup-simplify]: Simplify 1 into 1 1554041995.163 * [backup-simplify]: Simplify (* 1 1) into 1 1554041995.164 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041995.164 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041995.164 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041995.164 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.164 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041995.164 * [taylor]: Taking taylor expansion of t in t 1554041995.164 * [backup-simplify]: Simplify 0 into 0 1554041995.164 * [backup-simplify]: Simplify 1 into 1 1554041995.164 * [backup-simplify]: Simplify (* 1 1) into 1 1554041995.164 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041995.164 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041995.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041995.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041995.165 * [backup-simplify]: Simplify 0 into 0 1554041995.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041995.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.167 * [backup-simplify]: Simplify 0 into 0 1554041995.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041995.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.168 * [backup-simplify]: Simplify 0 into 0 1554041995.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041995.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.169 * [backup-simplify]: Simplify 0 into 0 1554041995.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041995.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.174 * [backup-simplify]: Simplify 0 into 0 1554041995.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041995.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041995.177 * [backup-simplify]: Simplify 0 into 0 1554041995.177 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041995.177 * * * [progress]: simplifying candidates 1554041995.177 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 1554041995.178 * [simplify]: Simplifying (* t (* t 3.9999999999999997e-32)) 1554041995.178 * * [simplify]: iters left: 4 (4 enodes) 1554041995.180 * * [simplify]: iters left: 3 (16 enodes) 1554041995.186 * * [simplify]: iters left: 2 (19 enodes) 1554041995.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041995.192 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041995.192 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041995.192 * * [simplify]: Extracting #3: cost 0 inf + 332 1554041995.192 * [simplify]: Simplified to (* t (* t 3.9999999999999997e-32)) 1554041995.192 * [simplify]: Simplified (2 1) to (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1)) 1554041995.193 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 1554041995.193 * [simplify]: Simplifying (* t (* t 3.9999999999999997e-32)) 1554041995.193 * * [simplify]: iters left: 4 (4 enodes) 1554041995.196 * * [simplify]: iters left: 3 (16 enodes) 1554041995.201 * * [simplify]: iters left: 2 (19 enodes) 1554041995.207 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041995.207 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041995.207 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041995.207 * * [simplify]: Extracting #3: cost 0 inf + 332 1554041995.207 * [simplify]: Simplified to (* t (* t 3.9999999999999997e-32)) 1554041995.207 * [simplify]: Simplified (2 1) to (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1)) 1554041995.207 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 1554041995.207 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 1554041995.208 * [simplify]: Simplifying (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) 1554041995.208 * * [simplify]: iters left: 5 (6 enodes) 1554041995.211 * * [simplify]: iters left: 4 (22 enodes) 1554041995.218 * * [simplify]: iters left: 3 (25 enodes) 1554041995.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041995.226 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041995.226 * * [simplify]: Extracting #2: cost 12 inf + 0 1554041995.226 * * [simplify]: Extracting #3: cost 10 inf + 2 1554041995.226 * * [simplify]: Extracting #4: cost 0 inf + 1316 1554041995.226 * [simplify]: Simplified to (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) 1554041995.226 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log t) (+ (log t) (log 3.9999999999999997e-32))))) 1554041995.227 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 1554041995.227 * [simplify]: Simplifying (+ (log t) (log (* t 3.9999999999999997e-32))) 1554041995.227 * * [simplify]: iters left: 5 (6 enodes) 1554041995.231 * * [simplify]: iters left: 4 (22 enodes) 1554041995.238 * * [simplify]: iters left: 3 (27 enodes) 1554041995.246 * * [simplify]: iters left: 2 (30 enodes) 1554041995.254 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041995.255 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041995.255 * * [simplify]: Extracting #2: cost 13 inf + 0 1554041995.255 * * [simplify]: Extracting #3: cost 10 inf + 144 1554041995.255 * * [simplify]: Extracting #4: cost 8 inf + 257 1554041995.255 * * [simplify]: Extracting #5: cost 1 inf + 1038 1554041995.256 * * [simplify]: Extracting #6: cost 0 inf + 1260 1554041995.256 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 1554041995.256 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 1554041995.257 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 1554041995.257 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 1554041995.257 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 1554041995.257 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))) 1554041995.257 * * [simplify]: iters left: 6 (8 enodes) 1554041995.263 * * [simplify]: iters left: 5 (36 enodes) 1554041995.272 * * [simplify]: iters left: 4 (102 enodes) 1554041995.306 * * [simplify]: iters left: 3 (250 enodes) 1554041995.437 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041995.437 * * [simplify]: Extracting #1: cost 38 inf + 0 1554041995.438 * * [simplify]: Extracting #2: cost 101 inf + 289 1554041995.439 * * [simplify]: Extracting #3: cost 52 inf + 7138 1554041995.443 * * [simplify]: Extracting #4: cost 3 inf + 19860 1554041995.450 * * [simplify]: Extracting #5: cost 0 inf + 20618 1554041995.454 * [simplify]: Simplified to (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))) 1554041995.454 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))))) 1554041995.455 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 1554041995.455 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32))) 1554041995.455 * * [simplify]: iters left: 6 (8 enodes) 1554041995.458 * * [simplify]: iters left: 5 (40 enodes) 1554041995.472 * * [simplify]: iters left: 4 (119 enodes) 1554041995.518 * * [simplify]: iters left: 3 (322 enodes) 1554041996.118 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.118 * * [simplify]: Extracting #1: cost 33 inf + 0 1554041996.118 * * [simplify]: Extracting #2: cost 91 inf + 411 1554041996.120 * * [simplify]: Extracting #3: cost 53 inf + 5244 1554041996.124 * * [simplify]: Extracting #4: cost 0 inf + 18599 1554041996.132 * * [simplify]: Extracting #5: cost 0 inf + 18559 1554041996.141 * [simplify]: Simplified to (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) 1554041996.141 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)))) 1554041996.141 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 1554041996.141 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 1554041996.142 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 1554041996.142 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 1554041996.142 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 1554041996.142 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 1554041996.142 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 1554041996.142 * * [simplify]: iters left: 3 (3 enodes) 1554041996.144 * * [simplify]: iters left: 2 (9 enodes) 1554041996.146 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.146 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041996.146 * * [simplify]: Extracting #2: cost 5 inf + 0 1554041996.146 * * [simplify]: Extracting #3: cost 4 inf + 1 1554041996.146 * * [simplify]: Extracting #4: cost 0 inf + 405 1554041996.147 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 1554041996.147 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* t 3.9999999999999997e-32)))) 1554041996.147 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 1554041996.147 * [simplify]: Simplifying (sqrt t) 1554041996.147 * * [simplify]: iters left: 1 (2 enodes) 1554041996.148 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.148 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041996.148 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041996.148 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041996.148 * [simplify]: Simplified to (sqrt t) 1554041996.148 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt t) (* (sqrt t) (* t 3.9999999999999997e-32)))) 1554041996.148 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 1554041996.148 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* t (* t 3.9999999999999997e-32)))))> 1554041996.148 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 1554041996.148 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 1554041996.149 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041996.149 * * [simplify]: iters left: 3 (5 enodes) 1554041996.151 * * [simplify]: iters left: 2 (21 enodes) 1554041996.155 * * [simplify]: iters left: 1 (29 enodes) 1554041996.164 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.164 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041996.164 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041996.164 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041996.164 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041996.164 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041996.164 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 1554041996.164 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041996.164 * * [simplify]: iters left: 3 (5 enodes) 1554041996.167 * * [simplify]: iters left: 2 (21 enodes) 1554041996.170 * * [simplify]: iters left: 1 (29 enodes) 1554041996.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.175 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041996.176 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041996.176 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041996.176 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041996.176 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041996.176 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 1554041996.176 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041996.176 * * [simplify]: iters left: 3 (5 enodes) 1554041996.180 * * [simplify]: iters left: 2 (21 enodes) 1554041996.187 * * [simplify]: iters left: 1 (29 enodes) 1554041996.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.194 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041996.195 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041996.195 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041996.195 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041996.195 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041996.195 * * * [progress]: adding candidates to table 1554041996.301 * * [progress]: iteration 4 / 4 1554041996.301 * * * [progress]: picking best candidate 1554041996.313 * * * * [pick]: Picked # 1554041996.313 * * * [progress]: localizing error 1554041996.328 * * * [progress]: generating rewritten candidates 1554041996.328 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554041996.366 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1554041996.381 * * * [progress]: generating series expansions 1554041996.381 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554041996.381 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1554041996.381 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041996.381 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041996.381 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.381 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.381 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.381 * [taylor]: Taking taylor expansion of t in t 1554041996.381 * [backup-simplify]: Simplify 0 into 0 1554041996.381 * [backup-simplify]: Simplify 1 into 1 1554041996.381 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554041996.381 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.381 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.381 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.381 * [taylor]: Taking taylor expansion of t in t 1554041996.381 * [backup-simplify]: Simplify 0 into 0 1554041996.381 * [backup-simplify]: Simplify 1 into 1 1554041996.382 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.383 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041996.383 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.383 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.384 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554041996.384 * [backup-simplify]: Simplify 0 into 0 1554041996.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.385 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.385 * [backup-simplify]: Simplify 0 into 0 1554041996.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.387 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.387 * [backup-simplify]: Simplify 0 into 0 1554041996.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.388 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.388 * [backup-simplify]: Simplify 0 into 0 1554041996.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.391 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.391 * [backup-simplify]: Simplify 0 into 0 1554041996.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.394 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.394 * [backup-simplify]: Simplify 0 into 0 1554041996.394 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041996.395 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041996.395 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041996.395 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041996.395 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.395 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.395 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.395 * [taylor]: Taking taylor expansion of t in t 1554041996.395 * [backup-simplify]: Simplify 0 into 0 1554041996.395 * [backup-simplify]: Simplify 1 into 1 1554041996.395 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.396 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041996.396 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041996.396 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.396 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.396 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.396 * [taylor]: Taking taylor expansion of t in t 1554041996.396 * [backup-simplify]: Simplify 0 into 0 1554041996.396 * [backup-simplify]: Simplify 1 into 1 1554041996.396 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.397 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041996.397 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041996.398 * [backup-simplify]: Simplify 0 into 0 1554041996.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.400 * [backup-simplify]: Simplify 0 into 0 1554041996.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.402 * [backup-simplify]: Simplify 0 into 0 1554041996.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.405 * [backup-simplify]: Simplify 0 into 0 1554041996.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.407 * [backup-simplify]: Simplify 0 into 0 1554041996.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.410 * [backup-simplify]: Simplify 0 into 0 1554041996.410 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041996.410 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554041996.410 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554041996.410 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041996.410 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.410 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.410 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.410 * [taylor]: Taking taylor expansion of t in t 1554041996.410 * [backup-simplify]: Simplify 0 into 0 1554041996.411 * [backup-simplify]: Simplify 1 into 1 1554041996.411 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.411 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041996.411 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554041996.411 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1554041996.411 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.412 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.412 * [taylor]: Taking taylor expansion of t in t 1554041996.412 * [backup-simplify]: Simplify 0 into 0 1554041996.412 * [backup-simplify]: Simplify 1 into 1 1554041996.412 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.414 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554041996.415 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554041996.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554041996.416 * [backup-simplify]: Simplify 0 into 0 1554041996.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.419 * [backup-simplify]: Simplify 0 into 0 1554041996.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.421 * [backup-simplify]: Simplify 0 into 0 1554041996.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.424 * [backup-simplify]: Simplify 0 into 0 1554041996.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.426 * [backup-simplify]: Simplify 0 into 0 1554041996.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.429 * [backup-simplify]: Simplify 0 into 0 1554041996.429 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554041996.429 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1554041996.429 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1554041996.429 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1554041996.429 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554041996.429 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.429 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.429 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.429 * [taylor]: Taking taylor expansion of t in t 1554041996.429 * [backup-simplify]: Simplify 0 into 0 1554041996.429 * [backup-simplify]: Simplify 1 into 1 1554041996.429 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554041996.429 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.429 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.429 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.429 * [taylor]: Taking taylor expansion of t in t 1554041996.429 * [backup-simplify]: Simplify 0 into 0 1554041996.429 * [backup-simplify]: Simplify 1 into 1 1554041996.430 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.430 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 1554041996.430 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.431 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1554041996.431 * [backup-simplify]: Simplify 0 into 0 1554041996.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.432 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.432 * [backup-simplify]: Simplify 0 into 0 1554041996.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.433 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.433 * [backup-simplify]: Simplify 0 into 0 1554041996.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.435 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.435 * [backup-simplify]: Simplify 0 into 0 1554041996.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.436 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.436 * [backup-simplify]: Simplify 0 into 0 1554041996.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.438 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.438 * [backup-simplify]: Simplify 0 into 0 1554041996.438 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1554041996.438 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1554041996.438 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554041996.438 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554041996.439 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.439 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.439 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.439 * [taylor]: Taking taylor expansion of t in t 1554041996.439 * [backup-simplify]: Simplify 0 into 0 1554041996.439 * [backup-simplify]: Simplify 1 into 1 1554041996.439 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.439 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1554041996.439 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554041996.439 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.439 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.439 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.439 * [taylor]: Taking taylor expansion of t in t 1554041996.439 * [backup-simplify]: Simplify 0 into 0 1554041996.439 * [backup-simplify]: Simplify 1 into 1 1554041996.440 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.440 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1554041996.440 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554041996.441 * [backup-simplify]: Simplify 0 into 0 1554041996.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.442 * [backup-simplify]: Simplify 0 into 0 1554041996.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.443 * [backup-simplify]: Simplify 0 into 0 1554041996.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.444 * [backup-simplify]: Simplify 0 into 0 1554041996.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.446 * [backup-simplify]: Simplify 0 into 0 1554041996.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.447 * [backup-simplify]: Simplify 0 into 0 1554041996.447 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1554041996.447 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1554041996.448 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554041996.448 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554041996.448 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.448 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.448 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.448 * [taylor]: Taking taylor expansion of t in t 1554041996.448 * [backup-simplify]: Simplify 0 into 0 1554041996.448 * [backup-simplify]: Simplify 1 into 1 1554041996.448 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.448 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1554041996.448 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554041996.448 * [taylor]: Taking taylor expansion of 2e-16 in t 1554041996.448 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.448 * [taylor]: Taking taylor expansion of (pow t 2) in t 1554041996.448 * [taylor]: Taking taylor expansion of t in t 1554041996.448 * [backup-simplify]: Simplify 0 into 0 1554041996.448 * [backup-simplify]: Simplify 1 into 1 1554041996.449 * [backup-simplify]: Simplify (* 1 1) into 1 1554041996.449 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1554041996.449 * [backup-simplify]: Simplify 2e-16 into 2e-16 1554041996.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554041996.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554041996.450 * [backup-simplify]: Simplify 0 into 0 1554041996.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554041996.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.451 * [backup-simplify]: Simplify 0 into 0 1554041996.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554041996.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.452 * [backup-simplify]: Simplify 0 into 0 1554041996.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554041996.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.453 * [backup-simplify]: Simplify 0 into 0 1554041996.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554041996.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.455 * [backup-simplify]: Simplify 0 into 0 1554041996.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554041996.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554041996.456 * [backup-simplify]: Simplify 0 into 0 1554041996.456 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1554041996.456 * * * [progress]: simplifying candidates 1554041996.456 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 1554041996.457 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 1554041996.457 * * [simplify]: iters left: 6 (5 enodes) 1554041996.458 * * [simplify]: iters left: 5 (19 enodes) 1554041996.464 * * [simplify]: iters left: 4 (31 enodes) 1554041996.474 * * [simplify]: iters left: 3 (40 enodes) 1554041996.480 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.480 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.480 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041996.480 * * [simplify]: Extracting #3: cost 2 inf + 619 1554041996.480 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041996.481 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041996.481 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041996.481 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 1554041996.481 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 1554041996.481 * * [simplify]: iters left: 6 (5 enodes) 1554041996.483 * * [simplify]: iters left: 5 (19 enodes) 1554041996.486 * * [simplify]: iters left: 4 (31 enodes) 1554041996.492 * * [simplify]: iters left: 3 (40 enodes) 1554041996.498 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.498 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.499 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041996.499 * * [simplify]: Extracting #3: cost 2 inf + 619 1554041996.499 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041996.499 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041996.499 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041996.499 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 1554041996.499 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 1554041996.499 * * [simplify]: iters left: 6 (5 enodes) 1554041996.501 * * [simplify]: iters left: 5 (19 enodes) 1554041996.505 * * [simplify]: iters left: 4 (31 enodes) 1554041996.517 * * [simplify]: iters left: 3 (40 enodes) 1554041996.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.527 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.527 * * [simplify]: Extracting #2: cost 11 inf + 43 1554041996.528 * * [simplify]: Extracting #3: cost 2 inf + 619 1554041996.528 * * [simplify]: Extracting #4: cost 0 inf + 742 1554041996.528 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554041996.528 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554041996.528 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 1554041996.529 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 1554041996.529 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))) 1554041996.529 * * [simplify]: iters left: 6 (7 enodes) 1554041996.533 * * [simplify]: iters left: 5 (25 enodes) 1554041996.540 * * [simplify]: iters left: 4 (34 enodes) 1554041996.550 * * [simplify]: iters left: 3 (42 enodes) 1554041996.560 * * [simplify]: iters left: 2 (45 enodes) 1554041996.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.570 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.571 * * [simplify]: Extracting #2: cost 18 inf + 0 1554041996.571 * * [simplify]: Extracting #3: cost 15 inf + 73 1554041996.571 * * [simplify]: Extracting #4: cost 11 inf + 548 1554041996.571 * * [simplify]: Extracting #5: cost 1 inf + 2204 1554041996.572 * * [simplify]: Extracting #6: cost 0 inf + 2426 1554041996.573 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1554041996.573 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1554041996.573 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 1554041996.573 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))) 1554041996.573 * * [simplify]: iters left: 6 (8 enodes) 1554041996.577 * * [simplify]: iters left: 5 (29 enodes) 1554041996.586 * * [simplify]: iters left: 4 (37 enodes) 1554041996.597 * * [simplify]: iters left: 3 (46 enodes) 1554041996.609 * * [simplify]: iters left: 2 (49 enodes) 1554041996.622 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.622 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.623 * * [simplify]: Extracting #2: cost 19 inf + 0 1554041996.623 * * [simplify]: Extracting #3: cost 17 inf + 73 1554041996.623 * * [simplify]: Extracting #4: cost 9 inf + 785 1554041996.624 * * [simplify]: Extracting #5: cost 0 inf + 2230 1554041996.624 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041996.625 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554041996.625 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 1554041996.625 * [simplify]: Simplifying (+ (log 2e-16) (log (* t (* 2e-16 t)))) 1554041996.625 * * [simplify]: iters left: 6 (7 enodes) 1554041996.629 * * [simplify]: iters left: 5 (27 enodes) 1554041996.637 * * [simplify]: iters left: 4 (40 enodes) 1554041996.648 * * [simplify]: iters left: 3 (52 enodes) 1554041996.661 * * [simplify]: iters left: 2 (61 enodes) 1554041996.670 * * [simplify]: iters left: 1 (62 enodes) 1554041996.678 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.678 * * [simplify]: Extracting #1: cost 9 inf + 0 1554041996.678 * * [simplify]: Extracting #2: cost 21 inf + 0 1554041996.678 * * [simplify]: Extracting #3: cost 19 inf + 225 1554041996.678 * * [simplify]: Extracting #4: cost 10 inf + 949 1554041996.679 * * [simplify]: Extracting #5: cost 1 inf + 2225 1554041996.679 * * [simplify]: Extracting #6: cost 0 inf + 2336 1554041996.680 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554041996.680 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554041996.680 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 1554041996.680 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 1554041996.680 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 1554041996.680 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))) 1554041996.680 * * [simplify]: iters left: 6 (9 enodes) 1554041996.684 * * [simplify]: iters left: 5 (41 enodes) 1554041996.693 * * [simplify]: iters left: 4 (131 enodes) 1554041996.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.773 * * [simplify]: Extracting #1: cost 36 inf + 0 1554041996.774 * * [simplify]: Extracting #2: cost 108 inf + 529 1554041996.776 * * [simplify]: Extracting #3: cost 55 inf + 9829 1554041996.783 * * [simplify]: Extracting #4: cost 4 inf + 18768 1554041996.795 * * [simplify]: Extracting #5: cost 0 inf + 18236 1554041996.806 * * [simplify]: Extracting #6: cost 0 inf + 18036 1554041996.818 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 1554041996.818 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))))) 1554041996.818 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 1554041996.819 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))) 1554041996.819 * * [simplify]: iters left: 6 (11 enodes) 1554041996.826 * * [simplify]: iters left: 5 (54 enodes) 1554041996.853 * * [simplify]: iters left: 4 (176 enodes) 1554041996.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041996.940 * * [simplify]: Extracting #1: cost 52 inf + 0 1554041996.941 * * [simplify]: Extracting #2: cost 131 inf + 287 1554041996.946 * * [simplify]: Extracting #3: cost 88 inf + 7729 1554041996.958 * * [simplify]: Extracting #4: cost 5 inf + 23303 1554041996.973 * * [simplify]: Extracting #5: cost 0 inf + 23654 1554041996.988 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 1554041996.988 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))) 1554041996.988 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 1554041996.988 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))) 1554041996.989 * * [simplify]: iters left: 6 (9 enodes) 1554041996.995 * * [simplify]: iters left: 5 (45 enodes) 1554041997.016 * * [simplify]: iters left: 4 (146 enodes) 1554041997.100 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.101 * * [simplify]: Extracting #1: cost 36 inf + 0 1554041997.102 * * [simplify]: Extracting #2: cost 111 inf + 208 1554041997.108 * * [simplify]: Extracting #3: cost 50 inf + 10858 1554041997.120 * * [simplify]: Extracting #4: cost 2 inf + 19062 1554041997.135 * * [simplify]: Extracting #5: cost 0 inf + 19527 1554041997.147 * [simplify]: Simplified to (* (* (* t 2e-16) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) 1554041997.147 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))))) 1554041997.148 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 1554041997.148 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 1554041997.148 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 1554041997.148 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 1554041997.148 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 1554041997.148 * [simplify]: Simplifying (* 2e-16 t) 1554041997.148 * * [simplify]: iters left: 2 (3 enodes) 1554041997.151 * * [simplify]: iters left: 1 (10 enodes) 1554041997.154 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.154 * * [simplify]: Extracting #1: cost 4 inf + 0 1554041997.154 * * [simplify]: Extracting #2: cost 2 inf + 2 1554041997.154 * * [simplify]: Extracting #3: cost 0 inf + 86 1554041997.154 * [simplify]: Simplified to (* 2e-16 t) 1554041997.154 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1554041997.155 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 1554041997.155 * [simplify]: Simplifying (* (cbrt 2e-16) (cbrt 2e-16)) 1554041997.155 * * [simplify]: iters left: 3 (3 enodes) 1554041997.158 * * [simplify]: iters left: 2 (9 enodes) 1554041997.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.161 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041997.161 * * [simplify]: Extracting #2: cost 5 inf + 0 1554041997.161 * * [simplify]: Extracting #3: cost 4 inf + 1 1554041997.161 * * [simplify]: Extracting #4: cost 0 inf + 405 1554041997.161 * [simplify]: Simplified to (* (cbrt 2e-16) (cbrt 2e-16)) 1554041997.161 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t))))) 1554041997.162 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 1554041997.162 * [simplify]: Simplifying (sqrt 2e-16) 1554041997.162 * * [simplify]: iters left: 1 (2 enodes) 1554041997.164 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.164 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041997.164 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041997.164 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041997.164 * [simplify]: Simplified to (sqrt 2e-16) 1554041997.164 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 1554041997.164 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 1554041997.164 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 1554041997.164 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 1554041997.164 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 1554041997.164 * [simplify]: Simplifying (* t (* 2e-16 t)) 1554041997.165 * * [simplify]: iters left: 4 (4 enodes) 1554041997.167 * * [simplify]: iters left: 3 (14 enodes) 1554041997.172 * * [simplify]: iters left: 2 (17 enodes) 1554041997.177 * * [simplify]: iters left: 1 (19 enodes) 1554041997.182 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.183 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.183 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041997.183 * * [simplify]: Extracting #3: cost 1 inf + 291 1554041997.183 * * [simplify]: Extracting #4: cost 0 inf + 332 1554041997.183 * [simplify]: Simplified to (* t (* t 2e-16)) 1554041997.183 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 1554041997.183 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 1554041997.184 * [simplify]: Simplifying (* t (* 2e-16 t)) 1554041997.184 * * [simplify]: iters left: 4 (4 enodes) 1554041997.186 * * [simplify]: iters left: 3 (14 enodes) 1554041997.191 * * [simplify]: iters left: 2 (17 enodes) 1554041997.196 * * [simplify]: iters left: 1 (19 enodes) 1554041997.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.202 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.202 * * [simplify]: Extracting #2: cost 6 inf + 2 1554041997.202 * * [simplify]: Extracting #3: cost 1 inf + 291 1554041997.202 * * [simplify]: Extracting #4: cost 0 inf + 332 1554041997.202 * [simplify]: Simplified to (* t (* t 2e-16)) 1554041997.202 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 1554041997.202 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 1554041997.202 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 1554041997.203 * [simplify]: Simplifying (+ (log t) (+ (log 2e-16) (log t))) 1554041997.203 * * [simplify]: iters left: 5 (6 enodes) 1554041997.205 * * [simplify]: iters left: 4 (20 enodes) 1554041997.208 * * [simplify]: iters left: 3 (23 enodes) 1554041997.212 * * [simplify]: iters left: 2 (25 enodes) 1554041997.216 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.216 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.216 * * [simplify]: Extracting #2: cost 12 inf + 0 1554041997.216 * * [simplify]: Extracting #3: cost 10 inf + 2 1554041997.216 * * [simplify]: Extracting #4: cost 0 inf + 1316 1554041997.216 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 1554041997.216 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 1554041997.216 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 1554041997.217 * [simplify]: Simplifying (+ (log t) (log (* 2e-16 t))) 1554041997.217 * * [simplify]: iters left: 5 (6 enodes) 1554041997.219 * * [simplify]: iters left: 4 (22 enodes) 1554041997.222 * * [simplify]: iters left: 3 (27 enodes) 1554041997.227 * * [simplify]: iters left: 2 (30 enodes) 1554041997.233 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.233 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.233 * * [simplify]: Extracting #2: cost 13 inf + 0 1554041997.234 * * [simplify]: Extracting #3: cost 10 inf + 144 1554041997.234 * * [simplify]: Extracting #4: cost 8 inf + 257 1554041997.234 * * [simplify]: Extracting #5: cost 1 inf + 1038 1554041997.234 * * [simplify]: Extracting #6: cost 0 inf + 1260 1554041997.235 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 1554041997.235 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 1554041997.235 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 1554041997.235 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 1554041997.235 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 1554041997.235 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1554041997.236 * * [simplify]: iters left: 6 (8 enodes) 1554041997.241 * * [simplify]: iters left: 5 (34 enodes) 1554041997.255 * * [simplify]: iters left: 4 (89 enodes) 1554041997.310 * * [simplify]: iters left: 3 (242 enodes) 1554041997.489 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.490 * * [simplify]: Extracting #1: cost 43 inf + 0 1554041997.491 * * [simplify]: Extracting #2: cost 108 inf + 573 1554041997.495 * * [simplify]: Extracting #3: cost 51 inf + 8519 1554041997.504 * * [simplify]: Extracting #4: cost 1 inf + 21439 1554041997.513 * * [simplify]: Extracting #5: cost 0 inf + 21611 1554041997.522 * [simplify]: Simplified to (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t)))) 1554041997.522 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))))) 1554041997.522 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 1554041997.523 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1554041997.523 * * [simplify]: iters left: 6 (8 enodes) 1554041997.528 * * [simplify]: iters left: 5 (40 enodes) 1554041997.538 * * [simplify]: iters left: 4 (119 enodes) 1554041997.595 * * [simplify]: iters left: 3 (302 enodes) 1554041997.794 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.794 * * [simplify]: Extracting #1: cost 38 inf + 0 1554041997.795 * * [simplify]: Extracting #2: cost 89 inf + 543 1554041997.799 * * [simplify]: Extracting #3: cost 56 inf + 4742 1554041997.803 * * [simplify]: Extracting #4: cost 4 inf + 18109 1554041997.808 * * [simplify]: Extracting #5: cost 0 inf + 18828 1554041997.812 * [simplify]: Simplified to (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)) 1554041997.812 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 1554041997.812 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 1554041997.812 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 1554041997.812 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 1554041997.812 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 1554041997.812 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 1554041997.812 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 1554041997.812 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 1554041997.812 * * [simplify]: iters left: 3 (3 enodes) 1554041997.813 * * [simplify]: iters left: 2 (9 enodes) 1554041997.814 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.814 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041997.814 * * [simplify]: Extracting #2: cost 5 inf + 0 1554041997.814 * * [simplify]: Extracting #3: cost 4 inf + 1 1554041997.815 * * [simplify]: Extracting #4: cost 0 inf + 405 1554041997.815 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 1554041997.815 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))) 1554041997.815 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 1554041997.815 * [simplify]: Simplifying (sqrt t) 1554041997.815 * * [simplify]: iters left: 1 (2 enodes) 1554041997.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.815 * * [simplify]: Extracting #1: cost 3 inf + 0 1554041997.815 * * [simplify]: Extracting #2: cost 2 inf + 1 1554041997.815 * * [simplify]: Extracting #3: cost 0 inf + 83 1554041997.815 * [simplify]: Simplified to (sqrt t) 1554041997.815 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t))))) 1554041997.816 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 1554041997.816 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 1554041997.816 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 1554041997.816 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 1554041997.816 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041997.816 * * [simplify]: iters left: 3 (5 enodes) 1554041997.818 * * [simplify]: iters left: 2 (21 enodes) 1554041997.824 * * [simplify]: iters left: 1 (29 enodes) 1554041997.829 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.829 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.829 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.829 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.829 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041997.829 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041997.829 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 1554041997.830 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041997.830 * * [simplify]: iters left: 3 (5 enodes) 1554041997.832 * * [simplify]: iters left: 2 (21 enodes) 1554041997.836 * * [simplify]: iters left: 1 (29 enodes) 1554041997.841 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.841 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.841 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.841 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.841 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041997.841 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041997.841 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 1554041997.841 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554041997.841 * * [simplify]: iters left: 3 (5 enodes) 1554041997.843 * * [simplify]: iters left: 2 (21 enodes) 1554041997.849 * * [simplify]: iters left: 1 (29 enodes) 1554041997.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.858 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.858 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.858 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.858 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1554041997.858 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554041997.858 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 1554041997.858 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1554041997.859 * * [simplify]: iters left: 3 (5 enodes) 1554041997.862 * * [simplify]: iters left: 2 (21 enodes) 1554041997.869 * * [simplify]: iters left: 1 (29 enodes) 1554041997.879 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.879 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.879 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.879 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.879 * [simplify]: Simplified to (* (* t t) 2e-16) 1554041997.879 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554041997.879 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 1554041997.880 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1554041997.880 * * [simplify]: iters left: 3 (5 enodes) 1554041997.883 * * [simplify]: iters left: 2 (21 enodes) 1554041997.890 * * [simplify]: iters left: 1 (29 enodes) 1554041997.899 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.899 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.900 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.900 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.900 * [simplify]: Simplified to (* (* t t) 2e-16) 1554041997.900 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554041997.900 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 1554041997.900 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1554041997.901 * * [simplify]: iters left: 3 (5 enodes) 1554041997.904 * * [simplify]: iters left: 2 (21 enodes) 1554041997.908 * * [simplify]: iters left: 1 (29 enodes) 1554041997.913 * * [simplify]: Extracting #0: cost 1 inf + 0 1554041997.913 * * [simplify]: Extracting #1: cost 6 inf + 0 1554041997.913 * * [simplify]: Extracting #2: cost 6 inf + 43 1554041997.914 * * [simplify]: Extracting #3: cost 0 inf + 333 1554041997.914 * [simplify]: Simplified to (* (* t t) 2e-16) 1554041997.914 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554041997.914 * * * [progress]: adding candidates to table 1554041998.149 * [progress]: [Phase 3 of 3] Extracting. 1554041998.149 * * [regime]: Finding splitpoints for: (# # # # # #) 1554041998.150 * * * [regime-changes]: Trying 1 branch expressions: (t) 1554041998.150 * * * * [regimes]: Trying to branch on t from (# # # # # #) 1554041998.174 * * * [regime]: Found split indices: #