1553944219.770 * [progress]: [Phase 1 of 3] Setting up. 1553944219.770 * * * [progress]: [1/2] Preparing points 1553944219.883 * * * [progress]: [2/2] Setting up program. 1553944219.886 * [progress]: [Phase 2 of 3] Improving. 1553944219.886 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553944219.886 * [simplify]: Simplifying (log (+ 1 x)) 1553944219.886 * * [simplify]: iters left: 3 (4 enodes) 1553944219.888 * * [simplify]: iters left: 2 (15 enodes) 1553944219.890 * * [simplify]: iters left: 1 (17 enodes) 1553944219.893 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944219.893 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944219.893 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944219.893 * * [simplify]: Extracting #3: cost 4 inf + 2 1553944219.893 * * [simplify]: Extracting #4: cost 0 inf + 310 1553944219.893 * [simplify]: Simplified to (log (+ x 1)) 1553944219.893 * [simplify]: Simplified (2) to (λ (x) (log (+ x 1))) 1553944219.895 * * [progress]: iteration 1 / 4 1553944219.895 * * * [progress]: picking best candidate 1553944219.897 * * * * [pick]: Picked # 1553944219.897 * * * [progress]: localizing error 1553944219.902 * * * [progress]: generating rewritten candidates 1553944219.902 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553944219.904 * * * [progress]: generating series expansions 1553944219.904 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553944219.904 * [backup-simplify]: Simplify (log (+ 1 x)) into (log (+ x 1)) 1553944219.904 * [approximate]: Taking taylor expansion of (log (+ x 1)) in (x) around 0 1553944219.904 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553944219.904 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944219.904 * [taylor]: Taking taylor expansion of x in x 1553944219.904 * [backup-simplify]: Simplify 0 into 0 1553944219.904 * [backup-simplify]: Simplify 1 into 1 1553944219.904 * [taylor]: Taking taylor expansion of 1 in x 1553944219.904 * [backup-simplify]: Simplify 1 into 1 1553944219.905 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944219.905 * [backup-simplify]: Simplify (log 1) into 0 1553944219.905 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553944219.906 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944219.906 * [taylor]: Taking taylor expansion of x in x 1553944219.906 * [backup-simplify]: Simplify 0 into 0 1553944219.906 * [backup-simplify]: Simplify 1 into 1 1553944219.906 * [taylor]: Taking taylor expansion of 1 in x 1553944219.906 * [backup-simplify]: Simplify 1 into 1 1553944219.906 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944219.907 * [backup-simplify]: Simplify (log 1) into 0 1553944219.907 * [backup-simplify]: Simplify 0 into 0 1553944219.907 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944219.909 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553944219.909 * [backup-simplify]: Simplify 1 into 1 1553944219.910 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944219.913 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553944219.913 * [backup-simplify]: Simplify -1/2 into -1/2 1553944219.913 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944219.918 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553944219.919 * [backup-simplify]: Simplify 1/3 into 1/3 1553944219.919 * [backup-simplify]: Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553944219.919 * [backup-simplify]: Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1)) 1553944219.919 * [approximate]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0 1553944219.919 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553944219.919 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944219.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944219.919 * [taylor]: Taking taylor expansion of x in x 1553944219.919 * [backup-simplify]: Simplify 0 into 0 1553944219.919 * [backup-simplify]: Simplify 1 into 1 1553944219.920 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944219.920 * [taylor]: Taking taylor expansion of 1 in x 1553944219.920 * [backup-simplify]: Simplify 1 into 1 1553944219.920 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944219.921 * [backup-simplify]: Simplify (log 1) into 0 1553944219.921 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553944219.921 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944219.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944219.921 * [taylor]: Taking taylor expansion of x in x 1553944219.921 * [backup-simplify]: Simplify 0 into 0 1553944219.921 * [backup-simplify]: Simplify 1 into 1 1553944219.921 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944219.921 * [taylor]: Taking taylor expansion of 1 in x 1553944219.921 * [backup-simplify]: Simplify 1 into 1 1553944219.921 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944219.922 * [backup-simplify]: Simplify (log 1) into 0 1553944219.922 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1553944219.922 * [backup-simplify]: Simplify (- (log x)) into (- (log x)) 1553944219.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944219.923 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944219.924 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553944219.924 * [backup-simplify]: Simplify 1 into 1 1553944219.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944219.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944219.926 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553944219.926 * [backup-simplify]: Simplify -1/2 into -1/2 1553944219.926 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944219.926 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x))) 1553944219.926 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0 1553944219.926 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553944219.926 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944219.926 * [taylor]: Taking taylor expansion of 1 in x 1553944219.926 * [backup-simplify]: Simplify 1 into 1 1553944219.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944219.926 * [taylor]: Taking taylor expansion of x in x 1553944219.926 * [backup-simplify]: Simplify 0 into 0 1553944219.926 * [backup-simplify]: Simplify 1 into 1 1553944219.927 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944219.927 * [backup-simplify]: Simplify (- 1) into -1 1553944219.927 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944219.928 * [backup-simplify]: Simplify (log -1) into (log -1) 1553944219.928 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553944219.928 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944219.928 * [taylor]: Taking taylor expansion of 1 in x 1553944219.928 * [backup-simplify]: Simplify 1 into 1 1553944219.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944219.928 * [taylor]: Taking taylor expansion of x in x 1553944219.928 * [backup-simplify]: Simplify 0 into 0 1553944219.928 * [backup-simplify]: Simplify 1 into 1 1553944219.928 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944219.928 * [backup-simplify]: Simplify (- 1) into -1 1553944219.929 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944219.929 * [backup-simplify]: Simplify (log -1) into (log -1) 1553944219.929 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1553944219.930 * [backup-simplify]: Simplify (- (log -1) (log x)) into (- (log -1) (log x)) 1553944219.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944219.930 * [backup-simplify]: Simplify (- 0) into 0 1553944219.931 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944219.931 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553944219.931 * [backup-simplify]: Simplify -1 into -1 1553944219.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944219.932 * [backup-simplify]: Simplify (- 0) into 0 1553944219.932 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944219.934 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553944219.934 * [backup-simplify]: Simplify -1/2 into -1/2 1553944219.934 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944219.935 * * * [progress]: simplifying candidates 1553944219.935 * * * * [progress]: [ 1 / 18 ] simplifiying candidate # 1553944219.935 * [simplify]: Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553944219.935 * * [simplify]: iters left: 6 (6 enodes) 1553944219.936 * * [simplify]: iters left: 5 (23 enodes) 1553944219.940 * * [simplify]: iters left: 4 (27 enodes) 1553944219.944 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944219.944 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944219.944 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944219.944 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944219.944 * * [simplify]: Extracting #4: cost 12 inf + 0 1553944219.944 * * [simplify]: Extracting #5: cost 10 inf + 2 1553944219.944 * * [simplify]: Extracting #6: cost 8 inf + 86 1553944219.945 * * [simplify]: Extracting #7: cost 1 inf + 1270 1553944219.945 * * [simplify]: Extracting #8: cost 0 inf + 1502 1553944219.945 * [simplify]: Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553944219.945 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x))))) 1553944219.945 * * * * [progress]: [ 2 / 18 ] simplifiying candidate # 1553944219.945 * [simplify]: Simplifying (log (sqrt (+ 1 x))) 1553944219.945 * * [simplify]: iters left: 4 (5 enodes) 1553944219.947 * * [simplify]: iters left: 3 (18 enodes) 1553944219.950 * * [simplify]: iters left: 2 (20 enodes) 1553944219.955 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944219.955 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944219.955 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944219.955 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944219.955 * * [simplify]: Extracting #4: cost 6 inf + 2 1553944219.956 * * [simplify]: Extracting #5: cost 0 inf + 554 1553944219.956 * [simplify]: Simplified to (log (sqrt (+ x 1))) 1553944219.956 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))) 1553944219.956 * * * * [progress]: [ 3 / 18 ] simplifiying candidate # 1553944219.956 * [simplify]: Simplifying (log 1) 1553944219.956 * * [simplify]: iters left: 1 (2 enodes) 1553944219.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944219.958 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944219.958 * [simplify]: Simplified to 0 1553944219.958 * [simplify]: Simplified (2 1) to (λ (x) (+ 0 (log (+ 1 x)))) 1553944219.958 * * * * [progress]: [ 4 / 18 ] simplifiying candidate # 1553944219.959 * [simplify]: Simplifying (log (+ (pow 1 3) (pow x 3))) 1553944219.959 * * [simplify]: iters left: 4 (7 enodes) 1553944219.963 * * [simplify]: iters left: 3 (27 enodes) 1553944219.983 * * [simplify]: iters left: 2 (31 enodes) 1553944219.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944219.991 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944219.991 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944219.991 * * [simplify]: Extracting #3: cost 9 inf + 1 1553944219.991 * * [simplify]: Extracting #4: cost 7 inf + 215 1553944219.991 * * [simplify]: Extracting #5: cost 2 inf + 954 1553944219.992 * * [simplify]: Extracting #6: cost 0 inf + 1137 1553944219.992 * * [simplify]: Extracting #7: cost 0 inf + 875 1553944219.993 * [simplify]: Simplified to (log (+ 1 (* x (* x x)))) 1553944219.993 * [simplify]: Simplified (2 1) to (λ (x) (- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) 1553944219.993 * * * * [progress]: [ 5 / 18 ] simplifiying candidate # 1553944219.993 * [simplify]: Simplifying (log (- (* 1 1) (* x x))) 1553944219.993 * * [simplify]: iters left: 5 (6 enodes) 1553944219.997 * * [simplify]: iters left: 4 (20 enodes) 1553944220.003 * * [simplify]: iters left: 3 (29 enodes) 1553944220.012 * * [simplify]: iters left: 2 (31 enodes) 1553944220.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944220.020 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944220.020 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944220.020 * * [simplify]: Extracting #3: cost 10 inf + 1 1553944220.021 * * [simplify]: Extracting #4: cost 2 inf + 603 1553944220.021 * * [simplify]: Extracting #5: cost 0 inf + 796 1553944220.021 * [simplify]: Simplified to (log (- 1 (* x x))) 1553944220.021 * [simplify]: Simplified (2 1) to (λ (x) (- (log (- 1 (* x x))) (log (- 1 x)))) 1553944220.021 * * * * [progress]: [ 6 / 18 ] simplifiying candidate # 1553944220.022 * * * * [progress]: [ 7 / 18 ] simplifiying candidate # 1553944220.022 * * * * [progress]: [ 8 / 18 ] simplifiying candidate # 1553944220.022 * [simplify]: Simplifying (+ 1 x) 1553944220.022 * * [simplify]: iters left: 2 (3 enodes) 1553944220.024 * * [simplify]: iters left: 1 (12 enodes) 1553944220.028 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944220.028 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944220.028 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944220.028 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944220.028 * [simplify]: Simplified to (+ x 1) 1553944220.028 * [simplify]: Simplified (2 1) to (λ (x) (log (+ x 1))) 1553944220.028 * * * * [progress]: [ 9 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 10 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 11 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 12 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 13 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 14 / 18 ] simplifiying candidate # 1553944220.028 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #real (real->posit16 (log (+ 1 x)))))> 1553944220.028 * * * * [progress]: [ 16 / 18 ] simplifiying candidate # 1553944220.029 * [simplify]: Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553944220.029 * * [simplify]: iters left: 6 (11 enodes) 1553944220.035 * * [simplify]: iters left: 5 (43 enodes) 1553944220.050 * * [simplify]: iters left: 4 (77 enodes) 1553944220.076 * * [simplify]: iters left: 3 (132 enodes) 1553944220.112 * * [simplify]: iters left: 2 (173 enodes) 1553944220.161 * * [simplify]: iters left: 1 (217 enodes) 1553944220.221 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944220.221 * * [simplify]: Extracting #1: cost 18 inf + 0 1553944220.221 * * [simplify]: Extracting #2: cost 47 inf + 1 1553944220.221 * * [simplify]: Extracting #3: cost 51 inf + 332 1553944220.222 * * [simplify]: Extracting #4: cost 16 inf + 4204 1553944220.223 * * [simplify]: Extracting #5: cost 1 inf + 6165 1553944220.225 * * [simplify]: Extracting #6: cost 0 inf + 5968 1553944220.226 * [simplify]: Simplified to (- x (* (* x x) (- 1/2 (* x 1/3)))) 1553944220.226 * [simplify]: Simplified (2) to (λ (x) (- x (* (* x x) (- 1/2 (* x 1/3))))) 1553944220.226 * * * * [progress]: [ 17 / 18 ] simplifiying candidate # 1553944220.226 * [simplify]: Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944220.227 * * [simplify]: iters left: 6 (11 enodes) 1553944220.230 * * [simplify]: iters left: 5 (48 enodes) 1553944220.241 * * [simplify]: iters left: 4 (69 enodes) 1553944220.256 * * [simplify]: iters left: 3 (100 enodes) 1553944220.274 * * [simplify]: iters left: 2 (137 enodes) 1553944220.302 * * [simplify]: iters left: 1 (208 enodes) 1553944220.362 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944220.362 * * [simplify]: Extracting #1: cost 26 inf + 0 1553944220.362 * * [simplify]: Extracting #2: cost 60 inf + 1 1553944220.363 * * [simplify]: Extracting #3: cost 61 inf + 48 1553944220.364 * * [simplify]: Extracting #4: cost 27 inf + 3090 1553944220.367 * * [simplify]: Extracting #5: cost 4 inf + 6652 1553944220.370 * * [simplify]: Extracting #6: cost 0 inf + 7432 1553944220.372 * [simplify]: Simplified to (+ (- (/ 1 x) (log (/ 1 x))) (/ (/ -1/2 x) x)) 1553944220.372 * [simplify]: Simplified (2) to (λ (x) (+ (- (/ 1 x) (log (/ 1 x))) (/ (/ -1/2 x) x))) 1553944220.372 * * * * [progress]: [ 18 / 18 ] simplifiying candidate # 1553944220.372 * [simplify]: Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944220.372 * * [simplify]: iters left: 6 (15 enodes) 1553944220.377 * * [simplify]: iters left: 5 (61 enodes) 1553944220.387 * * [simplify]: iters left: 4 (105 enodes) 1553944220.415 * * [simplify]: iters left: 3 (220 enodes) 1553944220.481 * * [simplify]: iters left: 2 (455 enodes) 1553944220.657 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944220.658 * * [simplify]: Extracting #1: cost 113 inf + 0 1553944220.659 * * [simplify]: Extracting #2: cost 269 inf + 1 1553944220.662 * * [simplify]: Extracting #3: cost 226 inf + 7966 1553944220.673 * * [simplify]: Extracting #4: cost 46 inf + 45794 1553944220.685 * * [simplify]: Extracting #5: cost 0 inf + 58753 1553944220.706 * * [simplify]: Extracting #6: cost 0 inf + 58643 1553944220.727 * [simplify]: Simplified to (- (- (log x) (/ 1/2 (* x x))) (/ -1 x)) 1553944220.727 * [simplify]: Simplified (2) to (λ (x) (- (- (log x) (/ 1/2 (* x x))) (/ -1 x))) 1553944220.728 * * * [progress]: adding candidates to table 1553944220.863 * * [progress]: iteration 2 / 4 1553944220.863 * * * [progress]: picking best candidate 1553944220.878 * * * * [pick]: Picked # 1553944220.878 * * * [progress]: localizing error 1553944220.902 * * * [progress]: generating rewritten candidates 1553944220.902 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 2) 1553944220.903 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1553944220.911 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1553944220.911 * * * [progress]: generating series expansions 1553944220.911 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 2) 1553944220.912 * [backup-simplify]: Simplify (* x 1/3) into (* 1/3 x) 1553944220.912 * [approximate]: Taking taylor expansion of (* 1/3 x) in (x) around 0 1553944220.912 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944220.912 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.912 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.912 * [taylor]: Taking taylor expansion of x in x 1553944220.912 * [backup-simplify]: Simplify 0 into 0 1553944220.912 * [backup-simplify]: Simplify 1 into 1 1553944220.912 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944220.912 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.912 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.912 * [taylor]: Taking taylor expansion of x in x 1553944220.912 * [backup-simplify]: Simplify 0 into 0 1553944220.912 * [backup-simplify]: Simplify 1 into 1 1553944220.912 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553944220.912 * [backup-simplify]: Simplify 0 into 0 1553944220.913 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553944220.913 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.913 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553944220.913 * [backup-simplify]: Simplify 0 into 0 1553944220.914 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553944220.914 * [backup-simplify]: Simplify 0 into 0 1553944220.915 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553944220.915 * [backup-simplify]: Simplify 0 into 0 1553944220.916 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553944220.916 * [backup-simplify]: Simplify 0 into 0 1553944220.917 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553944220.917 * [backup-simplify]: Simplify 0 into 0 1553944220.918 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553944220.918 * [backup-simplify]: Simplify 0 into 0 1553944220.918 * [backup-simplify]: Simplify (* 1/3 x) into (* 1/3 x) 1553944220.918 * [backup-simplify]: Simplify (* (/ 1 x) 1/3) into (/ 1/3 x) 1553944220.918 * [approximate]: Taking taylor expansion of (/ 1/3 x) in (x) around 0 1553944220.918 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 1553944220.918 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.918 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.918 * [taylor]: Taking taylor expansion of x in x 1553944220.918 * [backup-simplify]: Simplify 0 into 0 1553944220.918 * [backup-simplify]: Simplify 1 into 1 1553944220.918 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553944220.918 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 1553944220.918 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.918 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.918 * [taylor]: Taking taylor expansion of x in x 1553944220.918 * [backup-simplify]: Simplify 0 into 0 1553944220.918 * [backup-simplify]: Simplify 1 into 1 1553944220.919 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553944220.919 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 1553944220.919 * [backup-simplify]: Simplify 0 into 0 1553944220.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.920 * [backup-simplify]: Simplify 0 into 0 1553944220.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.921 * [backup-simplify]: Simplify 0 into 0 1553944220.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.921 * [backup-simplify]: Simplify 0 into 0 1553944220.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.922 * [backup-simplify]: Simplify 0 into 0 1553944220.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.922 * [backup-simplify]: Simplify 0 into 0 1553944220.923 * [backup-simplify]: Simplify (* 1/3 (/ 1 (/ 1 x))) into (* 1/3 x) 1553944220.923 * [backup-simplify]: Simplify (* (/ 1 (- x)) 1/3) into (/ -1/3 x) 1553944220.923 * [approximate]: Taking taylor expansion of (/ -1/3 x) in (x) around 0 1553944220.923 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 1553944220.923 * [taylor]: Taking taylor expansion of -1/3 in x 1553944220.923 * [backup-simplify]: Simplify -1/3 into -1/3 1553944220.923 * [taylor]: Taking taylor expansion of x in x 1553944220.923 * [backup-simplify]: Simplify 0 into 0 1553944220.923 * [backup-simplify]: Simplify 1 into 1 1553944220.923 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553944220.923 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 1553944220.923 * [taylor]: Taking taylor expansion of -1/3 in x 1553944220.923 * [backup-simplify]: Simplify -1/3 into -1/3 1553944220.923 * [taylor]: Taking taylor expansion of x in x 1553944220.923 * [backup-simplify]: Simplify 0 into 0 1553944220.923 * [backup-simplify]: Simplify 1 into 1 1553944220.923 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553944220.923 * [backup-simplify]: Simplify -1/3 into -1/3 1553944220.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0 1553944220.924 * [backup-simplify]: Simplify 0 into 0 1553944220.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.925 * [backup-simplify]: Simplify 0 into 0 1553944220.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.925 * [backup-simplify]: Simplify 0 into 0 1553944220.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.926 * [backup-simplify]: Simplify 0 into 0 1553944220.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.927 * [backup-simplify]: Simplify 0 into 0 1553944220.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.927 * [backup-simplify]: Simplify 0 into 0 1553944220.927 * [backup-simplify]: Simplify (* -1/3 (/ 1 (/ 1 (- x)))) into (* 1/3 x) 1553944220.927 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1553944220.928 * [backup-simplify]: Simplify (* (* x x) (- 1/2 (* x 1/3))) into (* (pow x 2) (- 1/2 (* 1/3 x))) 1553944220.928 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1/2 (* 1/3 x))) in (x) around 0 1553944220.928 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1/2 (* 1/3 x))) in x 1553944220.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944220.928 * [taylor]: Taking taylor expansion of x in x 1553944220.928 * [backup-simplify]: Simplify 0 into 0 1553944220.928 * [backup-simplify]: Simplify 1 into 1 1553944220.928 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 x)) in x 1553944220.928 * [taylor]: Taking taylor expansion of 1/2 in x 1553944220.928 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.928 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944220.928 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.928 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.928 * [taylor]: Taking taylor expansion of x in x 1553944220.928 * [backup-simplify]: Simplify 0 into 0 1553944220.928 * [backup-simplify]: Simplify 1 into 1 1553944220.928 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1/2 (* 1/3 x))) in x 1553944220.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944220.928 * [taylor]: Taking taylor expansion of x in x 1553944220.928 * [backup-simplify]: Simplify 0 into 0 1553944220.928 * [backup-simplify]: Simplify 1 into 1 1553944220.928 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 x)) in x 1553944220.928 * [taylor]: Taking taylor expansion of 1/2 in x 1553944220.928 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.928 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944220.928 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.928 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.928 * [taylor]: Taking taylor expansion of x in x 1553944220.928 * [backup-simplify]: Simplify 0 into 0 1553944220.928 * [backup-simplify]: Simplify 1 into 1 1553944220.928 * [backup-simplify]: Simplify (* 1 1) into 1 1553944220.929 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553944220.929 * [backup-simplify]: Simplify (- 0) into 0 1553944220.929 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553944220.929 * [backup-simplify]: Simplify (* 1 1/2) into 1/2 1553944220.929 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.930 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553944220.930 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553944220.930 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 1553944220.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944220.931 * [backup-simplify]: Simplify (+ (* 1 -1/3) (* 0 1/2)) into -1/3 1553944220.931 * [backup-simplify]: Simplify -1/3 into -1/3 1553944220.932 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553944220.932 * [backup-simplify]: Simplify (- 0) into 0 1553944220.932 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944220.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 -1/3) (* 0 1/2))) into 0 1553944220.933 * [backup-simplify]: Simplify 0 into 0 1553944220.934 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553944220.934 * [backup-simplify]: Simplify (- 0) into 0 1553944220.934 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944220.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1/3) (* 0 1/2)))) into 0 1553944220.936 * [backup-simplify]: Simplify 0 into 0 1553944220.937 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553944220.937 * [backup-simplify]: Simplify (- 0) into 0 1553944220.937 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944220.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1/3) (* 0 1/2))))) into 0 1553944220.940 * [backup-simplify]: Simplify 0 into 0 1553944220.942 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553944220.942 * [backup-simplify]: Simplify (- 0) into 0 1553944220.943 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944220.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1/3) (* 0 1/2)))))) into 0 1553944220.946 * [backup-simplify]: Simplify 0 into 0 1553944220.947 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553944220.948 * [backup-simplify]: Simplify (- 0) into 0 1553944220.948 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944220.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1/3) (* 0 1/2))))))) into 0 1553944220.952 * [backup-simplify]: Simplify 0 into 0 1553944220.954 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553944220.954 * [backup-simplify]: Simplify (- 0) into 0 1553944220.954 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944220.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1/3) (* 0 1/2)))))))) into 0 1553944220.958 * [backup-simplify]: Simplify 0 into 0 1553944220.958 * [backup-simplify]: Simplify (+ (* -1/3 (pow x 3)) (* 1/2 (pow x 2))) into (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944220.959 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (- 1/2 (* (/ 1 x) 1/3))) into (/ (- 1/2 (* 1/3 (/ 1 x))) (pow x 2)) 1553944220.959 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 x))) (pow x 2)) in (x) around 0 1553944220.959 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 x))) (pow x 2)) in x 1553944220.959 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 x))) in x 1553944220.959 * [taylor]: Taking taylor expansion of 1/2 in x 1553944220.959 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.959 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944220.959 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.959 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944220.959 * [taylor]: Taking taylor expansion of x in x 1553944220.959 * [backup-simplify]: Simplify 0 into 0 1553944220.959 * [backup-simplify]: Simplify 1 into 1 1553944220.959 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944220.959 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944220.959 * [taylor]: Taking taylor expansion of x in x 1553944220.959 * [backup-simplify]: Simplify 0 into 0 1553944220.959 * [backup-simplify]: Simplify 1 into 1 1553944220.960 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944220.960 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553944220.961 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 1553944220.961 * [backup-simplify]: Simplify (* 1 1) into 1 1553944220.968 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553944220.968 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 x))) (pow x 2)) in x 1553944220.968 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 x))) in x 1553944220.968 * [taylor]: Taking taylor expansion of 1/2 in x 1553944220.968 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.968 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944220.968 * [taylor]: Taking taylor expansion of 1/3 in x 1553944220.968 * [backup-simplify]: Simplify 1/3 into 1/3 1553944220.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944220.968 * [taylor]: Taking taylor expansion of x in x 1553944220.968 * [backup-simplify]: Simplify 0 into 0 1553944220.968 * [backup-simplify]: Simplify 1 into 1 1553944220.969 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944220.969 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944220.969 * [taylor]: Taking taylor expansion of x in x 1553944220.969 * [backup-simplify]: Simplify 0 into 0 1553944220.969 * [backup-simplify]: Simplify 1 into 1 1553944220.969 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944220.970 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553944220.970 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 1553944220.970 * [backup-simplify]: Simplify (* 1 1) into 1 1553944220.971 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553944220.971 * [backup-simplify]: Simplify -1/3 into -1/3 1553944220.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944220.973 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553944220.973 * [backup-simplify]: Simplify (- 0) into 0 1553944220.973 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553944220.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944220.975 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/3 (/ 0 1)))) into 1/2 1553944220.975 * [backup-simplify]: Simplify 1/2 into 1/2 1553944220.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.977 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553944220.978 * [backup-simplify]: Simplify (- 0) into 0 1553944220.978 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944220.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1553944220.980 * [backup-simplify]: Simplify 0 into 0 1553944220.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.982 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944220.982 * [backup-simplify]: Simplify (- 0) into 0 1553944220.983 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944220.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.985 * [backup-simplify]: Simplify 0 into 0 1553944220.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.986 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944220.987 * [backup-simplify]: Simplify (- 0) into 0 1553944220.987 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944220.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.989 * [backup-simplify]: Simplify 0 into 0 1553944220.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.990 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944220.990 * [backup-simplify]: Simplify (- 0) into 0 1553944220.991 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944220.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.992 * [backup-simplify]: Simplify 0 into 0 1553944220.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.994 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944220.994 * [backup-simplify]: Simplify (- 0) into 0 1553944220.994 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944220.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.996 * [backup-simplify]: Simplify 0 into 0 1553944220.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944220.997 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944220.997 * [backup-simplify]: Simplify (- 0) into 0 1553944220.998 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944220.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944221.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.000 * [backup-simplify]: Simplify 0 into 0 1553944221.000 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* -1/3 (pow (/ 1 (/ 1 x)) 3))) into (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944221.000 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (- 1/2 (* (/ 1 (- x)) 1/3))) into (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) 1553944221.000 * [approximate]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 1553944221.000 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553944221.000 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553944221.000 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.000 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.000 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.000 * [taylor]: Taking taylor expansion of x in x 1553944221.000 * [backup-simplify]: Simplify 0 into 0 1553944221.000 * [backup-simplify]: Simplify 1 into 1 1553944221.001 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.001 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.001 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.001 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944221.001 * [taylor]: Taking taylor expansion of x in x 1553944221.001 * [backup-simplify]: Simplify 0 into 0 1553944221.001 * [backup-simplify]: Simplify 1 into 1 1553944221.001 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944221.001 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553944221.001 * [backup-simplify]: Simplify (* 1 1) into 1 1553944221.002 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553944221.002 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553944221.002 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553944221.002 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.002 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.002 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.002 * [taylor]: Taking taylor expansion of x in x 1553944221.002 * [backup-simplify]: Simplify 0 into 0 1553944221.002 * [backup-simplify]: Simplify 1 into 1 1553944221.002 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.002 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.002 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.002 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553944221.002 * [taylor]: Taking taylor expansion of x in x 1553944221.002 * [backup-simplify]: Simplify 0 into 0 1553944221.002 * [backup-simplify]: Simplify 1 into 1 1553944221.002 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944221.003 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553944221.003 * [backup-simplify]: Simplify (* 1 1) into 1 1553944221.003 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553944221.003 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944221.004 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553944221.004 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553944221.005 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944221.005 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/3 (/ 0 1)))) into 1/2 1553944221.006 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.007 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553944221.007 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944221.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1553944221.008 * [backup-simplify]: Simplify 0 into 0 1553944221.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.010 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944221.010 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944221.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.012 * [backup-simplify]: Simplify 0 into 0 1553944221.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.015 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944221.015 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944221.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.018 * [backup-simplify]: Simplify 0 into 0 1553944221.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.020 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944221.020 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944221.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.023 * [backup-simplify]: Simplify 0 into 0 1553944221.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.026 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944221.026 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944221.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.029 * [backup-simplify]: Simplify 0 into 0 1553944221.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.032 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944221.032 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944221.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.034 * [backup-simplify]: Simplify 0 into 0 1553944221.035 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* 1/3 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944221.035 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1553944221.035 * [backup-simplify]: Simplify (- 1/2 (* x 1/3)) into (- 1/2 (* 1/3 x)) 1553944221.035 * [approximate]: Taking taylor expansion of (- 1/2 (* 1/3 x)) in (x) around 0 1553944221.035 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 x)) in x 1553944221.035 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.035 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.035 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944221.035 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.035 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.035 * [taylor]: Taking taylor expansion of x in x 1553944221.035 * [backup-simplify]: Simplify 0 into 0 1553944221.035 * [backup-simplify]: Simplify 1 into 1 1553944221.035 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 x)) in x 1553944221.035 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.035 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.035 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553944221.035 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.035 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.035 * [taylor]: Taking taylor expansion of x in x 1553944221.035 * [backup-simplify]: Simplify 0 into 0 1553944221.035 * [backup-simplify]: Simplify 1 into 1 1553944221.035 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553944221.036 * [backup-simplify]: Simplify (- 0) into 0 1553944221.036 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553944221.036 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.036 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553944221.037 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553944221.037 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 1553944221.037 * [backup-simplify]: Simplify -1/3 into -1/3 1553944221.038 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553944221.038 * [backup-simplify]: Simplify (- 0) into 0 1553944221.038 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.038 * [backup-simplify]: Simplify 0 into 0 1553944221.039 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553944221.039 * [backup-simplify]: Simplify (- 0) into 0 1553944221.039 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.039 * [backup-simplify]: Simplify 0 into 0 1553944221.040 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553944221.040 * [backup-simplify]: Simplify (- 0) into 0 1553944221.040 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.040 * [backup-simplify]: Simplify 0 into 0 1553944221.041 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553944221.041 * [backup-simplify]: Simplify (- 0) into 0 1553944221.042 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.042 * [backup-simplify]: Simplify 0 into 0 1553944221.043 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553944221.043 * [backup-simplify]: Simplify (- 0) into 0 1553944221.043 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.043 * [backup-simplify]: Simplify 0 into 0 1553944221.044 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553944221.044 * [backup-simplify]: Simplify (- 0) into 0 1553944221.045 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.045 * [backup-simplify]: Simplify 0 into 0 1553944221.045 * [backup-simplify]: Simplify (+ (* -1/3 x) 1/2) into (- 1/2 (* 1/3 x)) 1553944221.045 * [backup-simplify]: Simplify (- 1/2 (* (/ 1 x) 1/3)) into (- 1/2 (* 1/3 (/ 1 x))) 1553944221.045 * [approximate]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 x))) in (x) around 0 1553944221.045 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 x))) in x 1553944221.045 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.045 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.045 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.045 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.045 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.045 * [taylor]: Taking taylor expansion of x in x 1553944221.045 * [backup-simplify]: Simplify 0 into 0 1553944221.045 * [backup-simplify]: Simplify 1 into 1 1553944221.045 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.045 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 x))) in x 1553944221.045 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.045 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.045 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.045 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.045 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.045 * [taylor]: Taking taylor expansion of x in x 1553944221.045 * [backup-simplify]: Simplify 0 into 0 1553944221.045 * [backup-simplify]: Simplify 1 into 1 1553944221.046 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.046 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944221.046 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553944221.046 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 1553944221.046 * [backup-simplify]: Simplify -1/3 into -1/3 1553944221.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944221.047 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553944221.048 * [backup-simplify]: Simplify (- 0) into 0 1553944221.048 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553944221.048 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.049 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553944221.049 * [backup-simplify]: Simplify (- 0) into 0 1553944221.049 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.049 * [backup-simplify]: Simplify 0 into 0 1553944221.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.051 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944221.051 * [backup-simplify]: Simplify (- 0) into 0 1553944221.051 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.051 * [backup-simplify]: Simplify 0 into 0 1553944221.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.052 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944221.053 * [backup-simplify]: Simplify (- 0) into 0 1553944221.053 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.053 * [backup-simplify]: Simplify 0 into 0 1553944221.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.054 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944221.054 * [backup-simplify]: Simplify (- 0) into 0 1553944221.055 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.055 * [backup-simplify]: Simplify 0 into 0 1553944221.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.056 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944221.056 * [backup-simplify]: Simplify (- 0) into 0 1553944221.057 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.057 * [backup-simplify]: Simplify 0 into 0 1553944221.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.058 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944221.059 * [backup-simplify]: Simplify (- 0) into 0 1553944221.059 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.059 * [backup-simplify]: Simplify 0 into 0 1553944221.059 * [backup-simplify]: Simplify (+ 1/2 (* -1/3 (/ 1 (/ 1 x)))) into (- 1/2 (* 1/3 x)) 1553944221.059 * [backup-simplify]: Simplify (- 1/2 (* (/ 1 (- x)) 1/3)) into (+ (* 1/3 (/ 1 x)) 1/2) 1553944221.059 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in (x) around 0 1553944221.059 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553944221.059 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.059 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.059 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.059 * [taylor]: Taking taylor expansion of x in x 1553944221.059 * [backup-simplify]: Simplify 0 into 0 1553944221.059 * [backup-simplify]: Simplify 1 into 1 1553944221.060 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.060 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.060 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.060 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553944221.060 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553944221.060 * [taylor]: Taking taylor expansion of 1/3 in x 1553944221.060 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944221.060 * [taylor]: Taking taylor expansion of x in x 1553944221.060 * [backup-simplify]: Simplify 0 into 0 1553944221.060 * [backup-simplify]: Simplify 1 into 1 1553944221.060 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944221.060 * [taylor]: Taking taylor expansion of 1/2 in x 1553944221.060 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.061 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553944221.061 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553944221.061 * [backup-simplify]: Simplify 1/3 into 1/3 1553944221.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944221.062 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553944221.063 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553944221.063 * [backup-simplify]: Simplify 1/2 into 1/2 1553944221.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.065 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553944221.065 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.065 * [backup-simplify]: Simplify 0 into 0 1553944221.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.067 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944221.067 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.067 * [backup-simplify]: Simplify 0 into 0 1553944221.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.070 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944221.070 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.070 * [backup-simplify]: Simplify 0 into 0 1553944221.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.073 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944221.073 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.073 * [backup-simplify]: Simplify 0 into 0 1553944221.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.076 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944221.076 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.076 * [backup-simplify]: Simplify 0 into 0 1553944221.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944221.085 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553944221.086 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944221.086 * [backup-simplify]: Simplify 0 into 0 1553944221.086 * [backup-simplify]: Simplify (+ 1/2 (* 1/3 (/ 1 (/ 1 (- x))))) into (- 1/2 (* 1/3 x)) 1553944221.086 * * * [progress]: simplifying candidates 1553944221.086 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 1553944221.086 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 1553944221.086 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 1553944221.086 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 1553944221.086 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 1553944221.087 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 1553944221.087 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 1553944221.087 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #real (real->posit16 (* x 1/3)))))))> 1553944221.087 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 1553944221.087 * * * * [progress]: [ 10 / 52 ] simplifiying candidate # 1553944221.087 * [simplify]: Simplifying (* (* x x) (- 1/2 (* x 1/3))) 1553944221.087 * * [simplify]: iters left: 6 (7 enodes) 1553944221.092 * * [simplify]: iters left: 5 (27 enodes) 1553944221.097 * * [simplify]: iters left: 4 (53 enodes) 1553944221.108 * * [simplify]: iters left: 3 (111 enodes) 1553944221.125 * * [simplify]: iters left: 2 (154 enodes) 1553944221.158 * * [simplify]: iters left: 1 (163 enodes) 1553944221.179 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.179 * * [simplify]: Extracting #1: cost 9 inf + 0 1553944221.180 * * [simplify]: Extracting #2: cost 26 inf + 1 1553944221.180 * * [simplify]: Extracting #3: cost 25 inf + 458 1553944221.181 * * [simplify]: Extracting #4: cost 1 inf + 2623 1553944221.183 * * [simplify]: Extracting #5: cost 0 inf + 2705 1553944221.184 * [simplify]: Simplified to (* (- 1/2 (* 1/3 x)) (* x x)) 1553944221.185 * [simplify]: Simplified (2 2 1) to (λ (x) (- x (pow (* (- 1/2 (* 1/3 x)) (* x x)) 1))) 1553944221.185 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 1553944221.185 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 1553944221.185 * [simplify]: Simplifying (+ (log (* x x)) (log (- 1/2 (* x 1/3)))) 1553944221.185 * * [simplify]: iters left: 6 (9 enodes) 1553944221.190 * * [simplify]: iters left: 5 (33 enodes) 1553944221.201 * * [simplify]: iters left: 4 (49 enodes) 1553944221.215 * * [simplify]: iters left: 3 (58 enodes) 1553944221.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.230 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944221.230 * * [simplify]: Extracting #2: cost 13 inf + 0 1553944221.230 * * [simplify]: Extracting #3: cost 17 inf + 1 1553944221.230 * * [simplify]: Extracting #4: cost 18 inf + 185 1553944221.230 * * [simplify]: Extracting #5: cost 9 inf + 659 1553944221.231 * * [simplify]: Extracting #6: cost 2 inf + 1738 1553944221.232 * * [simplify]: Extracting #7: cost 0 inf + 2304 1553944221.233 * [simplify]: Simplified to (+ (log (+ 1/2 (* -1/3 x))) (log (* x x))) 1553944221.233 * [simplify]: Simplified (2 2 1) to (λ (x) (- x (exp (+ (log (+ 1/2 (* -1/3 x))) (log (* x x)))))) 1553944221.233 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 1553944221.233 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 1553944221.233 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 1553944221.233 * [simplify]: Simplifying (* (* (* (* x x) (* x x)) (* x x)) (* (* (- 1/2 (* x 1/3)) (- 1/2 (* x 1/3))) (- 1/2 (* x 1/3)))) 1553944221.233 * * [simplify]: iters left: 6 (11 enodes) 1553944221.239 * * [simplify]: iters left: 5 (49 enodes) 1553944221.257 * * [simplify]: iters left: 4 (127 enodes) 1553944221.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.340 * * [simplify]: Extracting #1: cost 28 inf + 0 1553944221.340 * * [simplify]: Extracting #2: cost 137 inf + 42 1553944221.342 * * [simplify]: Extracting #3: cost 148 inf + 2119 1553944221.352 * * [simplify]: Extracting #4: cost 35 inf + 25715 1553944221.367 * * [simplify]: Extracting #5: cost 0 inf + 34858 1553944221.375 * * [simplify]: Extracting #6: cost 0 inf + 34578 1553944221.384 * [simplify]: Simplified to (* (* (* (* x x) (* x x)) (* x x)) (* (- 1/2 (* 1/3 x)) (* (- 1/2 (* 1/3 x)) (- 1/2 (* 1/3 x))))) 1553944221.384 * [simplify]: Simplified (2 2 1) to (λ (x) (- x (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (- 1/2 (* 1/3 x)) (* (- 1/2 (* 1/3 x)) (- 1/2 (* 1/3 x)))))))) 1553944221.384 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 1553944221.385 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 1553944221.385 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 1553944221.385 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 1553944221.385 * * * * [progress]: [ 20 / 52 ] simplifiying candidate # 1553944221.385 * [simplify]: Simplifying (* (* x x) (- (* x 1/3))) 1553944221.385 * * [simplify]: iters left: 6 (6 enodes) 1553944221.387 * * [simplify]: iters left: 5 (29 enodes) 1553944221.392 * * [simplify]: iters left: 4 (58 enodes) 1553944221.412 * * [simplify]: iters left: 3 (94 enodes) 1553944221.442 * * [simplify]: iters left: 2 (97 enodes) 1553944221.461 * * [simplify]: iters left: 1 (99 enodes) 1553944221.480 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.480 * * [simplify]: Extracting #1: cost 15 inf + 0 1553944221.481 * * [simplify]: Extracting #2: cost 23 inf + 3 1553944221.481 * * [simplify]: Extracting #3: cost 9 inf + 903 1553944221.482 * * [simplify]: Extracting #4: cost 1 inf + 1636 1553944221.483 * * [simplify]: Extracting #5: cost 0 inf + 1718 1553944221.484 * [simplify]: Simplified to (* (* (* x -1/3) x) x) 1553944221.484 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (+ (* (* x x) 1/2) (* (* (* x -1/3) x) x)))) 1553944221.484 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 1553944221.485 * [simplify]: Simplifying (* (* x x) (- (* x 1/3))) 1553944221.485 * * [simplify]: iters left: 6 (6 enodes) 1553944221.489 * * [simplify]: iters left: 5 (29 enodes) 1553944221.499 * * [simplify]: iters left: 4 (58 enodes) 1553944221.518 * * [simplify]: iters left: 3 (94 enodes) 1553944221.545 * * [simplify]: iters left: 2 (97 enodes) 1553944221.564 * * [simplify]: iters left: 1 (99 enodes) 1553944221.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.584 * * [simplify]: Extracting #1: cost 15 inf + 0 1553944221.584 * * [simplify]: Extracting #2: cost 23 inf + 3 1553944221.585 * * [simplify]: Extracting #3: cost 9 inf + 903 1553944221.585 * * [simplify]: Extracting #4: cost 1 inf + 1636 1553944221.586 * * [simplify]: Extracting #5: cost 0 inf + 1718 1553944221.586 * [simplify]: Simplified to (* (* (* x -1/3) x) x) 1553944221.586 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (+ (* (* x x) 1/2) (* (* (* x -1/3) x) x)))) 1553944221.586 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 1553944221.586 * [simplify]: Simplifying (* (- (* x 1/3)) (* x x)) 1553944221.587 * * [simplify]: iters left: 6 (6 enodes) 1553944221.589 * * [simplify]: iters left: 5 (29 enodes) 1553944221.594 * * [simplify]: iters left: 4 (56 enodes) 1553944221.604 * * [simplify]: iters left: 3 (94 enodes) 1553944221.624 * * [simplify]: iters left: 2 (97 enodes) 1553944221.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.643 * * [simplify]: Extracting #1: cost 15 inf + 0 1553944221.643 * * [simplify]: Extracting #2: cost 23 inf + 3 1553944221.644 * * [simplify]: Extracting #3: cost 8 inf + 984 1553944221.645 * * [simplify]: Extracting #4: cost 0 inf + 1718 1553944221.646 * [simplify]: Simplified to (* (* -1/3 (* x x)) x) 1553944221.646 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (+ (* 1/2 (* x x)) (* (* -1/3 (* x x)) x)))) 1553944221.646 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 1553944221.646 * [simplify]: Simplifying (* (- (* x 1/3)) (* x x)) 1553944221.646 * * [simplify]: iters left: 6 (6 enodes) 1553944221.650 * * [simplify]: iters left: 5 (29 enodes) 1553944221.660 * * [simplify]: iters left: 4 (56 enodes) 1553944221.679 * * [simplify]: iters left: 3 (94 enodes) 1553944221.708 * * [simplify]: iters left: 2 (97 enodes) 1553944221.727 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.728 * * [simplify]: Extracting #1: cost 15 inf + 0 1553944221.728 * * [simplify]: Extracting #2: cost 23 inf + 3 1553944221.728 * * [simplify]: Extracting #3: cost 8 inf + 984 1553944221.730 * * [simplify]: Extracting #4: cost 0 inf + 1718 1553944221.731 * [simplify]: Simplified to (* (* -1/3 (* x x)) x) 1553944221.731 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (+ (* 1/2 (* x x)) (* (* -1/3 (* x x)) x)))) 1553944221.731 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 1553944221.731 * [simplify]: Simplifying (cbrt (- 1/2 (* x 1/3))) 1553944221.731 * * [simplify]: iters left: 5 (6 enodes) 1553944221.735 * * [simplify]: iters left: 4 (21 enodes) 1553944221.742 * * [simplify]: iters left: 3 (31 enodes) 1553944221.751 * * [simplify]: iters left: 2 (35 enodes) 1553944221.761 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.761 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944221.761 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944221.761 * * [simplify]: Extracting #3: cost 12 inf + 1 1553944221.761 * * [simplify]: Extracting #4: cost 9 inf + 46 1553944221.761 * * [simplify]: Extracting #5: cost 1 inf + 583 1553944221.762 * * [simplify]: Extracting #6: cost 0 inf + 746 1553944221.762 * [simplify]: Simplified to (cbrt (- 1/2 (* 1/3 x))) 1553944221.762 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* (* x x) (* (cbrt (- 1/2 (* x 1/3))) (cbrt (- 1/2 (* x 1/3))))) (cbrt (- 1/2 (* 1/3 x)))))) 1553944221.762 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 1553944221.763 * [simplify]: Simplifying (sqrt (- 1/2 (* x 1/3))) 1553944221.763 * * [simplify]: iters left: 5 (6 enodes) 1553944221.766 * * [simplify]: iters left: 4 (21 enodes) 1553944221.774 * * [simplify]: iters left: 3 (31 enodes) 1553944221.783 * * [simplify]: iters left: 2 (35 enodes) 1553944221.792 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.792 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944221.793 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944221.793 * * [simplify]: Extracting #3: cost 12 inf + 1 1553944221.793 * * [simplify]: Extracting #4: cost 9 inf + 46 1553944221.793 * * [simplify]: Extracting #5: cost 1 inf + 543 1553944221.793 * * [simplify]: Extracting #6: cost 0 inf + 666 1553944221.794 * [simplify]: Simplified to (sqrt (- 1/2 (* 1/3 x))) 1553944221.794 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* (* x x) (sqrt (- 1/2 (* x 1/3)))) (sqrt (- 1/2 (* 1/3 x)))))) 1553944221.794 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 1553944221.794 * [simplify]: Simplifying (- 1/2 (* x 1/3)) 1553944221.794 * * [simplify]: iters left: 4 (5 enodes) 1553944221.797 * * [simplify]: iters left: 3 (18 enodes) 1553944221.804 * * [simplify]: iters left: 2 (28 enodes) 1553944221.812 * * [simplify]: iters left: 1 (32 enodes) 1553944221.821 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.821 * * [simplify]: Extracting #1: cost 5 inf + 0 1553944221.821 * * [simplify]: Extracting #2: cost 10 inf + 1 1553944221.821 * * [simplify]: Extracting #3: cost 1 inf + 459 1553944221.821 * * [simplify]: Extracting #4: cost 0 inf + 420 1553944221.822 * [simplify]: Simplified to (- 1/2 (* 1/3 x)) 1553944221.822 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* (* x x) 1) (- 1/2 (* 1/3 x))))) 1553944221.822 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 1553944221.822 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 1553944221.822 * [simplify]: Simplifying (+ (* 1/2 1/2) (+ (* (* x 1/3) (* x 1/3)) (* 1/2 (* x 1/3)))) 1553944221.822 * * [simplify]: iters left: 6 (9 enodes) 1553944221.828 * * [simplify]: iters left: 5 (42 enodes) 1553944221.845 * * [simplify]: iters left: 4 (89 enodes) 1553944221.876 * * [simplify]: iters left: 3 (132 enodes) 1553944221.912 * * [simplify]: iters left: 2 (141 enodes) 1553944221.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.928 * * [simplify]: Extracting #1: cost 9 inf + 0 1553944221.928 * * [simplify]: Extracting #2: cost 27 inf + 1 1553944221.928 * * [simplify]: Extracting #3: cost 24 inf + 459 1553944221.929 * * [simplify]: Extracting #4: cost 5 inf + 2067 1553944221.929 * * [simplify]: Extracting #5: cost 0 inf + 2562 1553944221.930 * [simplify]: Simplified to (+ (* (* x 1/3) (+ 1/2 (* x 1/3))) 1/4) 1553944221.930 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (/ (* (* x x) (- (pow 1/2 3) (pow (* x 1/3) 3))) (+ (* (* x 1/3) (+ 1/2 (* x 1/3))) 1/4)))) 1553944221.930 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 1553944221.931 * [simplify]: Simplifying (+ 1/2 (* x 1/3)) 1553944221.931 * * [simplify]: iters left: 4 (5 enodes) 1553944221.932 * * [simplify]: iters left: 3 (17 enodes) 1553944221.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.935 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944221.935 * * [simplify]: Extracting #2: cost 6 inf + 1 1553944221.935 * * [simplify]: Extracting #3: cost 0 inf + 253 1553944221.935 * [simplify]: Simplified to (+ (* 1/3 x) 1/2) 1553944221.935 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (/ (* (* x x) (- (* 1/2 1/2) (* (* x 1/3) (* x 1/3)))) (+ (* 1/3 x) 1/2)))) 1553944221.935 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (* (* x x) (- 1/2 (* x 1/3)))))))> 1553944221.935 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 1553944221.935 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 1553944221.935 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 1553944221.935 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 40 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 1553944221.936 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #real (real->posit16 (- 1/2 (* x 1/3)))))))> 1553944221.936 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 1553944221.936 * [simplify]: Simplifying (* 1/3 x) 1553944221.936 * * [simplify]: iters left: 2 (3 enodes) 1553944221.937 * * [simplify]: iters left: 1 (10 enodes) 1553944221.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.940 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944221.940 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944221.940 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944221.941 * [simplify]: Simplified to (* 1/3 x) 1553944221.941 * [simplify]: Simplified (2 2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* 1/3 x))))) 1553944221.941 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 1553944221.941 * [simplify]: Simplifying (* 1/3 x) 1553944221.941 * * [simplify]: iters left: 2 (3 enodes) 1553944221.943 * * [simplify]: iters left: 1 (10 enodes) 1553944221.946 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.946 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944221.946 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944221.946 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944221.946 * [simplify]: Simplified to (* 1/3 x) 1553944221.946 * [simplify]: Simplified (2 2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* 1/3 x))))) 1553944221.946 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 1553944221.947 * [simplify]: Simplifying (* 1/3 x) 1553944221.947 * * [simplify]: iters left: 2 (3 enodes) 1553944221.949 * * [simplify]: iters left: 1 (10 enodes) 1553944221.952 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944221.952 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944221.952 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944221.952 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944221.952 * [simplify]: Simplified to (* 1/3 x) 1553944221.953 * [simplify]: Simplified (2 2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* 1/3 x))))) 1553944221.953 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 1553944221.953 * [simplify]: Simplifying (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944221.953 * * [simplify]: iters left: 5 (10 enodes) 1553944221.959 * * [simplify]: iters left: 4 (37 enodes) 1553944221.975 * * [simplify]: iters left: 3 (62 enodes) 1553944221.996 * * [simplify]: iters left: 2 (114 enodes) 1553944222.028 * * [simplify]: iters left: 1 (155 enodes) 1553944222.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.064 * * [simplify]: Extracting #1: cost 10 inf + 0 1553944222.064 * * [simplify]: Extracting #2: cost 27 inf + 42 1553944222.064 * * [simplify]: Extracting #3: cost 22 inf + 863 1553944222.065 * * [simplify]: Extracting #4: cost 2 inf + 2543 1553944222.065 * * [simplify]: Extracting #5: cost 0 inf + 2829 1553944222.066 * [simplify]: Simplified to (* (* x (+ 1/2 (* -1/3 x))) x) 1553944222.066 * [simplify]: Simplified (2 2) to (λ (x) (- x (* (* x (+ 1/2 (* -1/3 x))) x))) 1553944222.066 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 1553944222.067 * [simplify]: Simplifying (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944222.067 * * [simplify]: iters left: 5 (10 enodes) 1553944222.070 * * [simplify]: iters left: 4 (37 enodes) 1553944222.076 * * [simplify]: iters left: 3 (62 enodes) 1553944222.091 * * [simplify]: iters left: 2 (114 enodes) 1553944222.107 * * [simplify]: iters left: 1 (155 enodes) 1553944222.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.137 * * [simplify]: Extracting #1: cost 10 inf + 0 1553944222.137 * * [simplify]: Extracting #2: cost 27 inf + 42 1553944222.137 * * [simplify]: Extracting #3: cost 22 inf + 863 1553944222.139 * * [simplify]: Extracting #4: cost 2 inf + 2543 1553944222.140 * * [simplify]: Extracting #5: cost 0 inf + 2829 1553944222.142 * [simplify]: Simplified to (* (* x (+ 1/2 (* -1/3 x))) x) 1553944222.142 * [simplify]: Simplified (2 2) to (λ (x) (- x (* (* x (+ 1/2 (* -1/3 x))) x))) 1553944222.142 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 1553944222.143 * [simplify]: Simplifying (- (* 1/2 (pow x 2)) (* 1/3 (pow x 3))) 1553944222.143 * * [simplify]: iters left: 5 (10 enodes) 1553944222.148 * * [simplify]: iters left: 4 (37 enodes) 1553944222.161 * * [simplify]: iters left: 3 (62 enodes) 1553944222.183 * * [simplify]: iters left: 2 (114 enodes) 1553944222.212 * * [simplify]: iters left: 1 (155 enodes) 1553944222.232 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.232 * * [simplify]: Extracting #1: cost 10 inf + 0 1553944222.232 * * [simplify]: Extracting #2: cost 27 inf + 42 1553944222.233 * * [simplify]: Extracting #3: cost 22 inf + 863 1553944222.234 * * [simplify]: Extracting #4: cost 2 inf + 2543 1553944222.234 * * [simplify]: Extracting #5: cost 0 inf + 2829 1553944222.235 * [simplify]: Simplified to (* (* x (+ 1/2 (* -1/3 x))) x) 1553944222.235 * [simplify]: Simplified (2 2) to (λ (x) (- x (* (* x (+ 1/2 (* -1/3 x))) x))) 1553944222.235 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 1553944222.236 * [simplify]: Simplifying (- 1/2 (* 1/3 x)) 1553944222.236 * * [simplify]: iters left: 4 (5 enodes) 1553944222.238 * * [simplify]: iters left: 3 (18 enodes) 1553944222.244 * * [simplify]: iters left: 2 (28 enodes) 1553944222.252 * * [simplify]: iters left: 1 (32 enodes) 1553944222.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.261 * * [simplify]: Extracting #1: cost 5 inf + 0 1553944222.261 * * [simplify]: Extracting #2: cost 10 inf + 1 1553944222.261 * * [simplify]: Extracting #3: cost 1 inf + 459 1553944222.262 * * [simplify]: Extracting #4: cost 0 inf + 420 1553944222.262 * [simplify]: Simplified to (- 1/2 (* x 1/3)) 1553944222.262 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* x 1/3))))) 1553944222.262 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 1553944222.262 * [simplify]: Simplifying (- 1/2 (* 1/3 x)) 1553944222.262 * * [simplify]: iters left: 4 (5 enodes) 1553944222.265 * * [simplify]: iters left: 3 (18 enodes) 1553944222.268 * * [simplify]: iters left: 2 (28 enodes) 1553944222.272 * * [simplify]: iters left: 1 (32 enodes) 1553944222.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.277 * * [simplify]: Extracting #1: cost 5 inf + 0 1553944222.277 * * [simplify]: Extracting #2: cost 10 inf + 1 1553944222.277 * * [simplify]: Extracting #3: cost 1 inf + 459 1553944222.277 * * [simplify]: Extracting #4: cost 0 inf + 420 1553944222.277 * [simplify]: Simplified to (- 1/2 (* x 1/3)) 1553944222.277 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* x 1/3))))) 1553944222.277 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 1553944222.277 * [simplify]: Simplifying (- 1/2 (* 1/3 x)) 1553944222.278 * * [simplify]: iters left: 4 (5 enodes) 1553944222.279 * * [simplify]: iters left: 3 (18 enodes) 1553944222.282 * * [simplify]: iters left: 2 (28 enodes) 1553944222.287 * * [simplify]: iters left: 1 (32 enodes) 1553944222.291 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.291 * * [simplify]: Extracting #1: cost 5 inf + 0 1553944222.291 * * [simplify]: Extracting #2: cost 10 inf + 1 1553944222.291 * * [simplify]: Extracting #3: cost 1 inf + 459 1553944222.293 * * [simplify]: Extracting #4: cost 0 inf + 420 1553944222.294 * [simplify]: Simplified to (- 1/2 (* x 1/3)) 1553944222.294 * [simplify]: Simplified (2 2 2) to (λ (x) (- x (* (* x x) (- 1/2 (* x 1/3))))) 1553944222.294 * * * [progress]: adding candidates to table 1553944222.698 * * [progress]: iteration 3 / 4 1553944222.698 * * * [progress]: picking best candidate 1553944222.707 * * * * [pick]: Picked # 1553944222.707 * * * [progress]: localizing error 1553944222.715 * * * [progress]: generating rewritten candidates 1553944222.715 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553944222.716 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553944222.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1553944222.719 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1553944222.720 * * * [progress]: generating series expansions 1553944222.720 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553944222.720 * [backup-simplify]: Simplify (log (sqrt (+ 1 x))) into (log (sqrt (+ x 1))) 1553944222.720 * [approximate]: Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0 1553944222.720 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944222.720 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.720 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.720 * [taylor]: Taking taylor expansion of x in x 1553944222.720 * [backup-simplify]: Simplify 0 into 0 1553944222.720 * [backup-simplify]: Simplify 1 into 1 1553944222.720 * [taylor]: Taking taylor expansion of 1 in x 1553944222.720 * [backup-simplify]: Simplify 1 into 1 1553944222.721 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.721 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.722 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.722 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.722 * [backup-simplify]: Simplify (log 1) into 0 1553944222.722 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944222.722 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.722 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.722 * [taylor]: Taking taylor expansion of x in x 1553944222.722 * [backup-simplify]: Simplify 0 into 0 1553944222.723 * [backup-simplify]: Simplify 1 into 1 1553944222.723 * [taylor]: Taking taylor expansion of 1 in x 1553944222.723 * [backup-simplify]: Simplify 1 into 1 1553944222.723 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.723 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.723 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.724 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.724 * [backup-simplify]: Simplify (log 1) into 0 1553944222.724 * [backup-simplify]: Simplify 0 into 0 1553944222.725 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 1553944222.725 * [backup-simplify]: Simplify 1/2 into 1/2 1553944222.725 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.726 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944222.728 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4 1553944222.728 * [backup-simplify]: Simplify -1/4 into -1/4 1553944222.728 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.729 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 1553944222.732 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6 1553944222.732 * [backup-simplify]: Simplify 1/6 into 1/6 1553944222.732 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944222.732 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 x)))) into (log (sqrt (+ (/ 1 x) 1))) 1553944222.732 * [approximate]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0 1553944222.732 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944222.732 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.732 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.732 * [taylor]: Taking taylor expansion of x in x 1553944222.732 * [backup-simplify]: Simplify 0 into 0 1553944222.732 * [backup-simplify]: Simplify 1 into 1 1553944222.733 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.733 * [taylor]: Taking taylor expansion of 1 in x 1553944222.733 * [backup-simplify]: Simplify 1 into 1 1553944222.733 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.733 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.734 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.735 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.735 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944222.735 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.735 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.735 * [taylor]: Taking taylor expansion of x in x 1553944222.735 * [backup-simplify]: Simplify 0 into 0 1553944222.735 * [backup-simplify]: Simplify 1 into 1 1553944222.735 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.735 * [taylor]: Taking taylor expansion of 1 in x 1553944222.735 * [backup-simplify]: Simplify 1 into 1 1553944222.736 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.736 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.743 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.744 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.744 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.745 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.749 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.756 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944222.756 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.757 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.772 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944222.772 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.773 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944222.773 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 (- x))))) into (log (sqrt (- 1 (/ 1 x)))) 1553944222.773 * [approximate]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0 1553944222.773 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944222.773 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.773 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.773 * [taylor]: Taking taylor expansion of 1 in x 1553944222.773 * [backup-simplify]: Simplify 1 into 1 1553944222.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.773 * [taylor]: Taking taylor expansion of x in x 1553944222.773 * [backup-simplify]: Simplify 0 into 0 1553944222.773 * [backup-simplify]: Simplify 1 into 1 1553944222.773 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.774 * [backup-simplify]: Simplify (- 1) into -1 1553944222.774 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.774 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.775 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.775 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.775 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944222.775 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.775 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.775 * [taylor]: Taking taylor expansion of 1 in x 1553944222.775 * [backup-simplify]: Simplify 1 into 1 1553944222.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.775 * [taylor]: Taking taylor expansion of x in x 1553944222.775 * [backup-simplify]: Simplify 0 into 0 1553944222.775 * [backup-simplify]: Simplify 1 into 1 1553944222.776 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.776 * [backup-simplify]: Simplify (- 1) into -1 1553944222.776 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.776 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.777 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.777 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.778 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.778 * [backup-simplify]: Simplify (- 0) into 0 1553944222.779 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.780 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.784 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944222.784 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.785 * [backup-simplify]: Simplify (- 0) into 0 1553944222.785 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.787 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.795 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944222.795 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.796 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944222.796 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553944222.796 * [backup-simplify]: Simplify (log (sqrt (+ 1 x))) into (log (sqrt (+ x 1))) 1553944222.796 * [approximate]: Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0 1553944222.796 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944222.796 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.796 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.796 * [taylor]: Taking taylor expansion of x in x 1553944222.796 * [backup-simplify]: Simplify 0 into 0 1553944222.796 * [backup-simplify]: Simplify 1 into 1 1553944222.796 * [taylor]: Taking taylor expansion of 1 in x 1553944222.796 * [backup-simplify]: Simplify 1 into 1 1553944222.796 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.796 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.797 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.797 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.798 * [backup-simplify]: Simplify (log 1) into 0 1553944222.798 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944222.798 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.798 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.798 * [taylor]: Taking taylor expansion of x in x 1553944222.798 * [backup-simplify]: Simplify 0 into 0 1553944222.798 * [backup-simplify]: Simplify 1 into 1 1553944222.798 * [taylor]: Taking taylor expansion of 1 in x 1553944222.798 * [backup-simplify]: Simplify 1 into 1 1553944222.798 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.799 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.799 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.800 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.800 * [backup-simplify]: Simplify (log 1) into 0 1553944222.800 * [backup-simplify]: Simplify 0 into 0 1553944222.802 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 1553944222.802 * [backup-simplify]: Simplify 1/2 into 1/2 1553944222.803 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.804 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944222.807 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4 1553944222.807 * [backup-simplify]: Simplify -1/4 into -1/4 1553944222.808 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.809 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 1553944222.815 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6 1553944222.815 * [backup-simplify]: Simplify 1/6 into 1/6 1553944222.815 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944222.815 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 x)))) into (log (sqrt (+ (/ 1 x) 1))) 1553944222.815 * [approximate]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0 1553944222.815 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944222.815 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.815 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.815 * [taylor]: Taking taylor expansion of x in x 1553944222.815 * [backup-simplify]: Simplify 0 into 0 1553944222.815 * [backup-simplify]: Simplify 1 into 1 1553944222.816 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.816 * [taylor]: Taking taylor expansion of 1 in x 1553944222.816 * [backup-simplify]: Simplify 1 into 1 1553944222.816 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.817 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.818 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.818 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.818 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944222.818 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.818 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.818 * [taylor]: Taking taylor expansion of x in x 1553944222.818 * [backup-simplify]: Simplify 0 into 0 1553944222.818 * [backup-simplify]: Simplify 1 into 1 1553944222.818 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.819 * [taylor]: Taking taylor expansion of 1 in x 1553944222.819 * [backup-simplify]: Simplify 1 into 1 1553944222.819 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.819 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.820 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.820 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.820 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.821 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.823 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.826 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944222.826 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.827 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.829 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.837 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944222.837 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.838 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944222.838 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 (- x))))) into (log (sqrt (- 1 (/ 1 x)))) 1553944222.838 * [approximate]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0 1553944222.838 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944222.838 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.838 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.838 * [taylor]: Taking taylor expansion of 1 in x 1553944222.838 * [backup-simplify]: Simplify 1 into 1 1553944222.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.838 * [taylor]: Taking taylor expansion of x in x 1553944222.838 * [backup-simplify]: Simplify 0 into 0 1553944222.838 * [backup-simplify]: Simplify 1 into 1 1553944222.838 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.838 * [backup-simplify]: Simplify (- 1) into -1 1553944222.839 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.839 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.840 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.840 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.840 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944222.840 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.840 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.840 * [taylor]: Taking taylor expansion of 1 in x 1553944222.840 * [backup-simplify]: Simplify 1 into 1 1553944222.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.840 * [taylor]: Taking taylor expansion of x in x 1553944222.840 * [backup-simplify]: Simplify 0 into 0 1553944222.840 * [backup-simplify]: Simplify 1 into 1 1553944222.840 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.840 * [backup-simplify]: Simplify (- 1) into -1 1553944222.841 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.841 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.842 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.842 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.842 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944222.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.843 * [backup-simplify]: Simplify (- 0) into 0 1553944222.843 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.850 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.857 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944222.857 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.858 * [backup-simplify]: Simplify (- 0) into 0 1553944222.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.863 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.872 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944222.872 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.872 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944222.872 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1553944222.872 * [backup-simplify]: Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1)) 1553944222.872 * [approximate]: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1553944222.872 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.872 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.872 * [taylor]: Taking taylor expansion of x in x 1553944222.872 * [backup-simplify]: Simplify 0 into 0 1553944222.872 * [backup-simplify]: Simplify 1 into 1 1553944222.872 * [taylor]: Taking taylor expansion of 1 in x 1553944222.872 * [backup-simplify]: Simplify 1 into 1 1553944222.873 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.873 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.873 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.873 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.873 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.874 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.874 * [taylor]: Taking taylor expansion of x in x 1553944222.874 * [backup-simplify]: Simplify 0 into 0 1553944222.874 * [backup-simplify]: Simplify 1 into 1 1553944222.874 * [taylor]: Taking taylor expansion of 1 in x 1553944222.874 * [backup-simplify]: Simplify 1 into 1 1553944222.874 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.874 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.874 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.875 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.875 * [backup-simplify]: Simplify 1 into 1 1553944222.875 * [backup-simplify]: Simplify 1/2 into 1/2 1553944222.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.876 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944222.876 * [backup-simplify]: Simplify -1/8 into -1/8 1553944222.876 * [backup-simplify]: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944222.876 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1)) 1553944222.876 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1553944222.876 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.876 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.876 * [taylor]: Taking taylor expansion of x in x 1553944222.876 * [backup-simplify]: Simplify 0 into 0 1553944222.876 * [backup-simplify]: Simplify 1 into 1 1553944222.876 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.876 * [taylor]: Taking taylor expansion of 1 in x 1553944222.876 * [backup-simplify]: Simplify 1 into 1 1553944222.877 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.877 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.878 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.878 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.878 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.878 * [taylor]: Taking taylor expansion of x in x 1553944222.878 * [backup-simplify]: Simplify 0 into 0 1553944222.878 * [backup-simplify]: Simplify 1 into 1 1553944222.878 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.878 * [taylor]: Taking taylor expansion of 1 in x 1553944222.878 * [backup-simplify]: Simplify 1 into 1 1553944222.878 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.879 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.879 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.879 * [backup-simplify]: Simplify 0 into 0 1553944222.879 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.880 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.883 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.883 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.886 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.886 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.886 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944222.886 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x))) 1553944222.886 * [approximate]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1553944222.886 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.886 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.886 * [taylor]: Taking taylor expansion of 1 in x 1553944222.886 * [backup-simplify]: Simplify 1 into 1 1553944222.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.886 * [taylor]: Taking taylor expansion of x in x 1553944222.886 * [backup-simplify]: Simplify 0 into 0 1553944222.886 * [backup-simplify]: Simplify 1 into 1 1553944222.886 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.887 * [backup-simplify]: Simplify (- 1) into -1 1553944222.887 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.887 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.888 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.888 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.888 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.888 * [taylor]: Taking taylor expansion of 1 in x 1553944222.888 * [backup-simplify]: Simplify 1 into 1 1553944222.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.888 * [taylor]: Taking taylor expansion of x in x 1553944222.888 * [backup-simplify]: Simplify 0 into 0 1553944222.888 * [backup-simplify]: Simplify 1 into 1 1553944222.888 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.889 * [backup-simplify]: Simplify (- 1) into -1 1553944222.889 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.889 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.890 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.890 * [backup-simplify]: Simplify 0 into 0 1553944222.890 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.891 * [backup-simplify]: Simplify (- 0) into 0 1553944222.891 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.893 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.893 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.893 * [backup-simplify]: Simplify (- 0) into 0 1553944222.894 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.896 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.896 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.896 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944222.896 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1553944222.896 * [backup-simplify]: Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1)) 1553944222.896 * [approximate]: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1553944222.896 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.896 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.896 * [taylor]: Taking taylor expansion of x in x 1553944222.896 * [backup-simplify]: Simplify 0 into 0 1553944222.896 * [backup-simplify]: Simplify 1 into 1 1553944222.896 * [taylor]: Taking taylor expansion of 1 in x 1553944222.896 * [backup-simplify]: Simplify 1 into 1 1553944222.897 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.897 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.897 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.898 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.898 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944222.898 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944222.898 * [taylor]: Taking taylor expansion of x in x 1553944222.898 * [backup-simplify]: Simplify 0 into 0 1553944222.898 * [backup-simplify]: Simplify 1 into 1 1553944222.898 * [taylor]: Taking taylor expansion of 1 in x 1553944222.898 * [backup-simplify]: Simplify 1 into 1 1553944222.899 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.899 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944222.899 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.900 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944222.900 * [backup-simplify]: Simplify 1 into 1 1553944222.900 * [backup-simplify]: Simplify 1/2 into 1/2 1553944222.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.902 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944222.902 * [backup-simplify]: Simplify -1/8 into -1/8 1553944222.902 * [backup-simplify]: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944222.902 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1)) 1553944222.902 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1553944222.902 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.902 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.902 * [taylor]: Taking taylor expansion of x in x 1553944222.902 * [backup-simplify]: Simplify 0 into 0 1553944222.902 * [backup-simplify]: Simplify 1 into 1 1553944222.903 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.903 * [taylor]: Taking taylor expansion of 1 in x 1553944222.903 * [backup-simplify]: Simplify 1 into 1 1553944222.903 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.904 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.905 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.905 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944222.905 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944222.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.905 * [taylor]: Taking taylor expansion of x in x 1553944222.905 * [backup-simplify]: Simplify 0 into 0 1553944222.905 * [backup-simplify]: Simplify 1 into 1 1553944222.906 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.906 * [taylor]: Taking taylor expansion of 1 in x 1553944222.906 * [backup-simplify]: Simplify 1 into 1 1553944222.906 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.906 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.908 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944222.908 * [backup-simplify]: Simplify 0 into 0 1553944222.908 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.909 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944222.912 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.912 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.913 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.917 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.917 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.917 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944222.917 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x))) 1553944222.918 * [approximate]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1553944222.918 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.918 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.918 * [taylor]: Taking taylor expansion of 1 in x 1553944222.918 * [backup-simplify]: Simplify 1 into 1 1553944222.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.918 * [taylor]: Taking taylor expansion of x in x 1553944222.918 * [backup-simplify]: Simplify 0 into 0 1553944222.918 * [backup-simplify]: Simplify 1 into 1 1553944222.918 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.918 * [backup-simplify]: Simplify (- 1) into -1 1553944222.919 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.919 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.921 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.921 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944222.921 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944222.921 * [taylor]: Taking taylor expansion of 1 in x 1553944222.921 * [backup-simplify]: Simplify 1 into 1 1553944222.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944222.921 * [taylor]: Taking taylor expansion of x in x 1553944222.921 * [backup-simplify]: Simplify 0 into 0 1553944222.921 * [backup-simplify]: Simplify 1 into 1 1553944222.921 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944222.922 * [backup-simplify]: Simplify (- 1) into -1 1553944222.922 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944222.922 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944222.924 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944222.924 * [backup-simplify]: Simplify 0 into 0 1553944222.924 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944222.925 * [backup-simplify]: Simplify (- 0) into 0 1553944222.925 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944222.927 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944222.927 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944222.928 * [backup-simplify]: Simplify (- 0) into 0 1553944222.928 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944222.930 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944222.930 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944222.930 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944222.930 * * * [progress]: simplifying candidates 1553944222.930 * * * * [progress]: [ 1 / 80 ] simplifiying candidate # 1553944222.931 * [simplify]: Simplifying (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1553944222.931 * * [simplify]: iters left: 6 (7 enodes) 1553944222.932 * * [simplify]: iters left: 5 (26 enodes) 1553944222.936 * * [simplify]: iters left: 4 (30 enodes) 1553944222.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.940 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944222.940 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944222.941 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944222.941 * * [simplify]: Extracting #4: cost 11 inf + 0 1553944222.941 * * [simplify]: Extracting #5: cost 14 inf + 0 1553944222.941 * * [simplify]: Extracting #6: cost 12 inf + 2 1553944222.941 * * [simplify]: Extracting #7: cost 8 inf + 250 1553944222.941 * * [simplify]: Extracting #8: cost 4 inf + 1078 1553944222.941 * * [simplify]: Extracting #9: cost 1 inf + 1714 1553944222.941 * * [simplify]: Extracting #10: cost 0 inf + 1986 1553944222.942 * [simplify]: Simplified to (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1553944222.942 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ 1 x))))))) 1553944222.942 * * * * [progress]: [ 2 / 80 ] simplifiying candidate # 1553944222.942 * [simplify]: Simplifying (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553944222.942 * * [simplify]: iters left: 6 (7 enodes) 1553944222.944 * * [simplify]: iters left: 5 (25 enodes) 1553944222.947 * * [simplify]: iters left: 4 (27 enodes) 1553944222.955 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.955 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944222.955 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944222.955 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944222.955 * * [simplify]: Extracting #4: cost 12 inf + 0 1553944222.955 * * [simplify]: Extracting #5: cost 8 inf + 86 1553944222.956 * * [simplify]: Extracting #6: cost 1 inf + 1280 1553944222.956 * * [simplify]: Extracting #7: cost 0 inf + 1442 1553944222.956 * [simplify]: Simplified to (log (fabs (cbrt (+ x 1)))) 1553944222.956 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ (log (fabs (cbrt (+ x 1)))) (log (sqrt (cbrt (+ 1 x))))))) 1553944222.956 * * * * [progress]: [ 3 / 80 ] simplifiying candidate # 1553944222.956 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944222.956 * * [simplify]: iters left: 5 (6 enodes) 1553944222.958 * * [simplify]: iters left: 4 (21 enodes) 1553944222.961 * * [simplify]: iters left: 3 (23 enodes) 1553944222.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.964 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944222.964 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944222.964 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944222.964 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944222.964 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944222.964 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944222.964 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944222.964 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))))) 1553944222.964 * * * * [progress]: [ 4 / 80 ] simplifiying candidate # 1553944222.965 * [simplify]: Simplifying (log (sqrt 1)) 1553944222.965 * * [simplify]: iters left: 2 (3 enodes) 1553944222.967 * * [simplify]: iters left: 1 (11 enodes) 1553944222.969 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.969 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944222.969 * [simplify]: Simplified to 0 1553944222.969 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ 0 (log (sqrt (+ 1 x)))))) 1553944222.969 * * * * [progress]: [ 5 / 80 ] simplifiying candidate # 1553944222.969 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944222.969 * * [simplify]: iters left: 5 (6 enodes) 1553944222.970 * * [simplify]: iters left: 4 (21 enodes) 1553944222.973 * * [simplify]: iters left: 3 (23 enodes) 1553944222.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.977 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944222.977 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944222.977 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944222.977 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944222.977 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944222.977 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944222.977 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944222.977 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))))) 1553944222.977 * * * * [progress]: [ 6 / 80 ] simplifiying candidate # 1553944222.977 * [simplify]: Simplifying (log 1) 1553944222.977 * * [simplify]: iters left: 1 (2 enodes) 1553944222.978 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.979 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944222.979 * [simplify]: Simplified to 0 1553944222.979 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (+ 0 (log (sqrt (+ 1 x)))))) 1553944222.979 * * * * [progress]: [ 7 / 80 ] simplifiying candidate # 1553944222.979 * [simplify]: Simplifying (log (sqrt (+ (pow 1 3) (pow x 3)))) 1553944222.979 * * [simplify]: iters left: 5 (8 enodes) 1553944222.981 * * [simplify]: iters left: 4 (30 enodes) 1553944222.990 * * [simplify]: iters left: 3 (34 enodes) 1553944222.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944222.999 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944222.999 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944222.999 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944222.999 * * [simplify]: Extracting #4: cost 11 inf + 1 1553944222.999 * * [simplify]: Extracting #5: cost 10 inf + 3 1553944222.999 * * [simplify]: Extracting #6: cost 6 inf + 550 1553944222.999 * * [simplify]: Extracting #7: cost 1 inf + 1702 1553944223.000 * * [simplify]: Extracting #8: cost 0 inf + 1410 1553944223.000 * * [simplify]: Extracting #9: cost 0 inf + 1279 1553944223.000 * [simplify]: Simplified to (log (sqrt (+ 1 (* (* x x) x)))) 1553944223.001 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (+ 1 (* (* x x) x)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1553944223.001 * * * * [progress]: [ 8 / 80 ] simplifiying candidate # 1553944223.001 * [simplify]: Simplifying (log (sqrt (- (* 1 1) (* x x)))) 1553944223.001 * * [simplify]: iters left: 6 (7 enodes) 1553944223.005 * * [simplify]: iters left: 5 (23 enodes) 1553944223.008 * * [simplify]: iters left: 4 (32 enodes) 1553944223.013 * * [simplify]: iters left: 3 (34 enodes) 1553944223.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.018 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.018 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.018 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944223.018 * * [simplify]: Extracting #4: cost 12 inf + 1 1553944223.018 * * [simplify]: Extracting #5: cost 8 inf + 206 1553944223.018 * * [simplify]: Extracting #6: cost 3 inf + 614 1553944223.018 * * [simplify]: Extracting #7: cost 1 inf + 928 1553944223.018 * * [simplify]: Extracting #8: cost 0 inf + 1120 1553944223.019 * [simplify]: Simplified to (log (sqrt (- 1 (* x x)))) 1553944223.019 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (- 1 (* x x)))) (log (sqrt (- 1 x)))))) 1553944223.019 * * * * [progress]: [ 9 / 80 ] simplifiying candidate # 1553944223.019 * * * * [progress]: [ 10 / 80 ] simplifiying candidate # 1553944223.019 * * * * [progress]: [ 11 / 80 ] simplifiying candidate # 1553944223.019 * * * * [progress]: [ 12 / 80 ] simplifiying candidate # 1553944223.019 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944223.019 * * [simplify]: iters left: 3 (4 enodes) 1553944223.020 * * [simplify]: iters left: 2 (15 enodes) 1553944223.022 * * [simplify]: iters left: 1 (17 enodes) 1553944223.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.025 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.025 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.025 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944223.025 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944223.025 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944223.025 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944223.025 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))) 1553944223.025 * * * * [progress]: [ 13 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 14 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 15 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 16 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 17 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 18 / 80 ] simplifiying candidate # 1553944223.025 * * * * [progress]: [ 19 / 80 ] simplifiying candidate #real (real->posit16 (log (sqrt (+ 1 x)))))))> 1553944223.025 * * * * [progress]: [ 20 / 80 ] simplifiying candidate # 1553944223.026 * [simplify]: Simplifying (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1553944223.026 * * [simplify]: iters left: 6 (7 enodes) 1553944223.027 * * [simplify]: iters left: 5 (26 enodes) 1553944223.031 * * [simplify]: iters left: 4 (30 enodes) 1553944223.035 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.035 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944223.035 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944223.035 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944223.036 * * [simplify]: Extracting #4: cost 11 inf + 0 1553944223.036 * * [simplify]: Extracting #5: cost 14 inf + 0 1553944223.036 * * [simplify]: Extracting #6: cost 12 inf + 2 1553944223.036 * * [simplify]: Extracting #7: cost 8 inf + 250 1553944223.036 * * [simplify]: Extracting #8: cost 4 inf + 1078 1553944223.036 * * [simplify]: Extracting #9: cost 1 inf + 1714 1553944223.036 * * [simplify]: Extracting #10: cost 0 inf + 1986 1553944223.037 * [simplify]: Simplified to (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1553944223.037 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.037 * * * * [progress]: [ 21 / 80 ] simplifiying candidate # 1553944223.037 * [simplify]: Simplifying (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553944223.037 * * [simplify]: iters left: 6 (7 enodes) 1553944223.039 * * [simplify]: iters left: 5 (25 enodes) 1553944223.042 * * [simplify]: iters left: 4 (27 enodes) 1553944223.046 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.046 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.046 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.046 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944223.046 * * [simplify]: Extracting #4: cost 12 inf + 0 1553944223.046 * * [simplify]: Extracting #5: cost 8 inf + 86 1553944223.046 * * [simplify]: Extracting #6: cost 1 inf + 1280 1553944223.046 * * [simplify]: Extracting #7: cost 0 inf + 1442 1553944223.046 * [simplify]: Simplified to (log (fabs (cbrt (+ x 1)))) 1553944223.047 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (fabs (cbrt (+ x 1)))) (log (sqrt (cbrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.047 * * * * [progress]: [ 22 / 80 ] simplifiying candidate # 1553944223.047 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944223.047 * * [simplify]: iters left: 5 (6 enodes) 1553944223.050 * * [simplify]: iters left: 4 (21 enodes) 1553944223.054 * * [simplify]: iters left: 3 (23 enodes) 1553944223.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.057 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.057 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.057 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944223.057 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944223.057 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944223.057 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944223.057 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944223.057 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.057 * * * * [progress]: [ 23 / 80 ] simplifiying candidate # 1553944223.058 * [simplify]: Simplifying (log (sqrt 1)) 1553944223.058 * * [simplify]: iters left: 2 (3 enodes) 1553944223.060 * * [simplify]: iters left: 1 (11 enodes) 1553944223.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.061 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944223.061 * [simplify]: Simplified to 0 1553944223.061 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x))))) 1553944223.062 * * * * [progress]: [ 24 / 80 ] simplifiying candidate # 1553944223.062 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944223.062 * * [simplify]: iters left: 5 (6 enodes) 1553944223.063 * * [simplify]: iters left: 4 (21 enodes) 1553944223.066 * * [simplify]: iters left: 3 (23 enodes) 1553944223.070 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.070 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.070 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.070 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944223.070 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944223.070 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944223.070 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944223.071 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944223.071 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.071 * * * * [progress]: [ 25 / 80 ] simplifiying candidate # 1553944223.071 * [simplify]: Simplifying (log 1) 1553944223.071 * * [simplify]: iters left: 1 (2 enodes) 1553944223.072 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.072 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944223.072 * [simplify]: Simplified to 0 1553944223.072 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x))))) 1553944223.072 * * * * [progress]: [ 26 / 80 ] simplifiying candidate # 1553944223.072 * [simplify]: Simplifying (log (sqrt (+ (pow 1 3) (pow x 3)))) 1553944223.072 * * [simplify]: iters left: 5 (8 enodes) 1553944223.075 * * [simplify]: iters left: 4 (30 enodes) 1553944223.079 * * [simplify]: iters left: 3 (34 enodes) 1553944223.084 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.084 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.084 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.084 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944223.084 * * [simplify]: Extracting #4: cost 11 inf + 1 1553944223.084 * * [simplify]: Extracting #5: cost 10 inf + 3 1553944223.084 * * [simplify]: Extracting #6: cost 6 inf + 550 1553944223.084 * * [simplify]: Extracting #7: cost 1 inf + 1702 1553944223.084 * * [simplify]: Extracting #8: cost 0 inf + 1410 1553944223.085 * * [simplify]: Extracting #9: cost 0 inf + 1279 1553944223.085 * [simplify]: Simplified to (log (sqrt (+ 1 (* (* x x) x)))) 1553944223.085 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (+ 1 (* (* x x) x)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (sqrt (+ 1 x))))) 1553944223.085 * * * * [progress]: [ 27 / 80 ] simplifiying candidate # 1553944223.085 * [simplify]: Simplifying (log (sqrt (- (* 1 1) (* x x)))) 1553944223.085 * * [simplify]: iters left: 6 (7 enodes) 1553944223.087 * * [simplify]: iters left: 5 (23 enodes) 1553944223.090 * * [simplify]: iters left: 4 (32 enodes) 1553944223.095 * * [simplify]: iters left: 3 (34 enodes) 1553944223.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.099 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.099 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.099 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944223.099 * * [simplify]: Extracting #4: cost 12 inf + 1 1553944223.099 * * [simplify]: Extracting #5: cost 8 inf + 206 1553944223.099 * * [simplify]: Extracting #6: cost 3 inf + 614 1553944223.100 * * [simplify]: Extracting #7: cost 1 inf + 928 1553944223.100 * * [simplify]: Extracting #8: cost 0 inf + 1120 1553944223.100 * [simplify]: Simplified to (log (sqrt (- 1 (* x x)))) 1553944223.100 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (- 1 (* x x)))) (log (sqrt (- 1 x)))) (log (sqrt (+ 1 x))))) 1553944223.100 * * * * [progress]: [ 28 / 80 ] simplifiying candidate # 1553944223.100 * * * * [progress]: [ 29 / 80 ] simplifiying candidate # 1553944223.100 * * * * [progress]: [ 30 / 80 ] simplifiying candidate # 1553944223.100 * * * * [progress]: [ 31 / 80 ] simplifiying candidate # 1553944223.100 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944223.101 * * [simplify]: iters left: 3 (4 enodes) 1553944223.102 * * [simplify]: iters left: 2 (15 enodes) 1553944223.104 * * [simplify]: iters left: 1 (17 enodes) 1553944223.106 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.107 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.107 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.107 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944223.107 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944223.107 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944223.107 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944223.107 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))) 1553944223.107 * * * * [progress]: [ 32 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 33 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 34 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 35 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 36 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 37 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 38 / 80 ] simplifiying candidate #real (real->posit16 (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))> 1553944223.107 * * * * [progress]: [ 39 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 40 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 41 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 42 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 43 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 44 / 80 ] simplifiying candidate # 1553944223.107 * * * * [progress]: [ 45 / 80 ] simplifiying candidate # 1553944223.108 * [simplify]: Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553944223.108 * * [simplify]: iters left: 6 (6 enodes) 1553944223.109 * * [simplify]: iters left: 5 (22 enodes) 1553944223.112 * * [simplify]: iters left: 4 (24 enodes) 1553944223.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.115 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944223.115 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944223.115 * * [simplify]: Extracting #3: cost 10 inf + 0 1553944223.116 * * [simplify]: Extracting #4: cost 8 inf + 2 1553944223.116 * * [simplify]: Extracting #5: cost 1 inf + 816 1553944223.116 * * [simplify]: Extracting #6: cost 0 inf + 978 1553944223.116 * [simplify]: Simplified to (fabs (cbrt (+ x 1))) 1553944223.116 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x))))))) 1553944223.116 * * * * [progress]: [ 46 / 80 ] simplifiying candidate # 1553944223.116 * [simplify]: Simplifying (sqrt (sqrt (+ 1 x))) 1553944223.116 * * [simplify]: iters left: 4 (5 enodes) 1553944223.118 * * [simplify]: iters left: 3 (18 enodes) 1553944223.120 * * [simplify]: iters left: 2 (20 enodes) 1553944223.123 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.123 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.123 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.123 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944223.123 * * [simplify]: Extracting #4: cost 6 inf + 2 1553944223.123 * * [simplify]: Extracting #5: cost 0 inf + 494 1553944223.123 * [simplify]: Simplified to (sqrt (sqrt (+ x 1))) 1553944223.123 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x))))))) 1553944223.123 * * * * [progress]: [ 47 / 80 ] simplifiying candidate # 1553944223.124 * [simplify]: Simplifying (sqrt 1) 1553944223.124 * * [simplify]: iters left: 1 (2 enodes) 1553944223.125 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.125 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944223.125 * [simplify]: Simplified to 1 1553944223.125 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (* 1 (sqrt (+ 1 x)))))) 1553944223.125 * * * * [progress]: [ 48 / 80 ] simplifiying candidate # 1553944223.126 * [simplify]: Simplifying (sqrt (+ (pow 1 3) (pow x 3))) 1553944223.126 * * [simplify]: iters left: 4 (7 enodes) 1553944223.128 * * [simplify]: iters left: 3 (27 enodes) 1553944223.134 * * [simplify]: iters left: 2 (31 enodes) 1553944223.139 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.139 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.139 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.139 * * [simplify]: Extracting #3: cost 9 inf + 1 1553944223.139 * * [simplify]: Extracting #4: cost 7 inf + 215 1553944223.140 * * [simplify]: Extracting #5: cost 2 inf + 924 1553944223.140 * * [simplify]: Extracting #6: cost 0 inf + 1077 1553944223.140 * * [simplify]: Extracting #7: cost 0 inf + 815 1553944223.140 * [simplify]: Simplified to (sqrt (+ 1 (* x (* x x)))) 1553944223.140 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (/ (sqrt (+ 1 (* x (* x x)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1553944223.141 * * * * [progress]: [ 49 / 80 ] simplifiying candidate # 1553944223.141 * [simplify]: Simplifying (sqrt (- (* 1 1) (* x x))) 1553944223.141 * * [simplify]: iters left: 5 (6 enodes) 1553944223.144 * * [simplify]: iters left: 4 (20 enodes) 1553944223.150 * * [simplify]: iters left: 3 (29 enodes) 1553944223.158 * * [simplify]: iters left: 2 (31 enodes) 1553944223.166 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.167 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.167 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944223.167 * * [simplify]: Extracting #3: cost 10 inf + 1 1553944223.167 * * [simplify]: Extracting #4: cost 2 inf + 573 1553944223.167 * * [simplify]: Extracting #5: cost 0 inf + 736 1553944223.167 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 1553944223.168 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x)))))) 1553944223.168 * * * * [progress]: [ 50 / 80 ] simplifiying candidate # 1553944223.168 * * * * [progress]: [ 51 / 80 ] simplifiying candidate # 1553944223.168 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944223.168 * * [simplify]: iters left: 3 (4 enodes) 1553944223.171 * * [simplify]: iters left: 2 (15 enodes) 1553944223.175 * * [simplify]: iters left: 1 (17 enodes) 1553944223.180 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.180 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.180 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.180 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944223.180 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944223.180 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944223.180 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944223.180 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (fabs (sqrt (+ x 1)))))) 1553944223.180 * * * * [progress]: [ 52 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 53 / 80 ] simplifiying candidate #real (real->posit16 (sqrt (+ 1 x)))))))> 1553944223.181 * * * * [progress]: [ 54 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 55 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 56 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 57 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 58 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 59 / 80 ] simplifiying candidate # 1553944223.181 * * * * [progress]: [ 60 / 80 ] simplifiying candidate # 1553944223.181 * [simplify]: Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553944223.181 * * [simplify]: iters left: 6 (6 enodes) 1553944223.185 * * [simplify]: iters left: 5 (22 enodes) 1553944223.188 * * [simplify]: iters left: 4 (24 enodes) 1553944223.191 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.191 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944223.191 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944223.191 * * [simplify]: Extracting #3: cost 10 inf + 0 1553944223.191 * * [simplify]: Extracting #4: cost 8 inf + 2 1553944223.191 * * [simplify]: Extracting #5: cost 1 inf + 816 1553944223.191 * * [simplify]: Extracting #6: cost 0 inf + 978 1553944223.191 * [simplify]: Simplified to (fabs (cbrt (+ x 1))) 1553944223.191 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.192 * * * * [progress]: [ 61 / 80 ] simplifiying candidate # 1553944223.192 * [simplify]: Simplifying (sqrt (sqrt (+ 1 x))) 1553944223.192 * * [simplify]: iters left: 4 (5 enodes) 1553944223.193 * * [simplify]: iters left: 3 (18 enodes) 1553944223.196 * * [simplify]: iters left: 2 (20 enodes) 1553944223.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.198 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.198 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944223.198 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944223.198 * * [simplify]: Extracting #4: cost 6 inf + 2 1553944223.199 * * [simplify]: Extracting #5: cost 0 inf + 494 1553944223.199 * [simplify]: Simplified to (sqrt (sqrt (+ x 1))) 1553944223.199 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x))))) 1553944223.199 * * * * [progress]: [ 62 / 80 ] simplifiying candidate # 1553944223.199 * [simplify]: Simplifying (sqrt 1) 1553944223.199 * * [simplify]: iters left: 1 (2 enodes) 1553944223.201 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.201 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944223.201 * [simplify]: Simplified to 1 1553944223.201 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* 1 (sqrt (+ 1 x)))) (log (sqrt (+ 1 x))))) 1553944223.201 * * * * [progress]: [ 63 / 80 ] simplifiying candidate # 1553944223.201 * [simplify]: Simplifying (sqrt (+ (pow 1 3) (pow x 3))) 1553944223.201 * * [simplify]: iters left: 4 (7 enodes) 1553944223.203 * * [simplify]: iters left: 3 (27 enodes) 1553944223.208 * * [simplify]: iters left: 2 (31 enodes) 1553944223.211 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.211 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.211 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.211 * * [simplify]: Extracting #3: cost 9 inf + 1 1553944223.212 * * [simplify]: Extracting #4: cost 7 inf + 215 1553944223.212 * * [simplify]: Extracting #5: cost 2 inf + 924 1553944223.212 * * [simplify]: Extracting #6: cost 0 inf + 1077 1553944223.212 * * [simplify]: Extracting #7: cost 0 inf + 815 1553944223.212 * [simplify]: Simplified to (sqrt (+ 1 (* x (* x x)))) 1553944223.212 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (+ 1 (* x (* x x)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (sqrt (+ 1 x))))) 1553944223.212 * * * * [progress]: [ 64 / 80 ] simplifiying candidate # 1553944223.212 * [simplify]: Simplifying (sqrt (- (* 1 1) (* x x))) 1553944223.213 * * [simplify]: iters left: 5 (6 enodes) 1553944223.216 * * [simplify]: iters left: 4 (20 enodes) 1553944223.222 * * [simplify]: iters left: 3 (29 enodes) 1553944223.227 * * [simplify]: iters left: 2 (31 enodes) 1553944223.231 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.231 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.231 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944223.231 * * [simplify]: Extracting #3: cost 10 inf + 1 1553944223.231 * * [simplify]: Extracting #4: cost 2 inf + 573 1553944223.231 * * [simplify]: Extracting #5: cost 0 inf + 736 1553944223.231 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 1553944223.231 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x)))) (log (sqrt (+ 1 x))))) 1553944223.232 * * * * [progress]: [ 65 / 80 ] simplifiying candidate # 1553944223.232 * * * * [progress]: [ 66 / 80 ] simplifiying candidate # 1553944223.232 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944223.232 * * [simplify]: iters left: 3 (4 enodes) 1553944223.233 * * [simplify]: iters left: 2 (15 enodes) 1553944223.235 * * [simplify]: iters left: 1 (17 enodes) 1553944223.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.238 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944223.238 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944223.238 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944223.238 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944223.238 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944223.238 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944223.238 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (fabs (sqrt (+ x 1)))) (log (sqrt (+ 1 x))))) 1553944223.238 * * * * [progress]: [ 67 / 80 ] simplifiying candidate # 1553944223.238 * * * * [progress]: [ 68 / 80 ] simplifiying candidate #real (real->posit16 (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))> 1553944223.238 * * * * [progress]: [ 69 / 80 ] simplifiying candidate # 1553944223.238 * [simplify]: Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944223.238 * * [simplify]: iters left: 6 (13 enodes) 1553944223.243 * * [simplify]: iters left: 5 (50 enodes) 1553944223.254 * * [simplify]: iters left: 4 (84 enodes) 1553944223.280 * * [simplify]: iters left: 3 (148 enodes) 1553944223.326 * * [simplify]: iters left: 2 (232 enodes) 1553944223.405 * * [simplify]: iters left: 1 (304 enodes) 1553944223.481 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.481 * * [simplify]: Extracting #1: cost 19 inf + 0 1553944223.481 * * [simplify]: Extracting #2: cost 55 inf + 1 1553944223.481 * * [simplify]: Extracting #3: cost 56 inf + 865 1553944223.482 * * [simplify]: Extracting #4: cost 14 inf + 5326 1553944223.484 * * [simplify]: Extracting #5: cost 0 inf + 6928 1553944223.486 * * [simplify]: Extracting #6: cost 0 inf + 6808 1553944223.488 * [simplify]: Simplified to (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x) 1553944223.488 * [simplify]: Simplified (2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x))) 1553944223.488 * * * * [progress]: [ 70 / 80 ] simplifiying candidate # 1553944223.488 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944223.488 * [simplify]: Simplified (2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) +nan.0)) 1553944223.489 * * * * [progress]: [ 71 / 80 ] simplifiying candidate # 1553944223.489 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944223.489 * [simplify]: Simplified (2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) +nan.0)) 1553944223.489 * * * * [progress]: [ 72 / 80 ] simplifiying candidate # 1553944223.489 * [simplify]: Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944223.489 * * [simplify]: iters left: 6 (13 enodes) 1553944223.496 * * [simplify]: iters left: 5 (50 enodes) 1553944223.505 * * [simplify]: iters left: 4 (84 enodes) 1553944223.521 * * [simplify]: iters left: 3 (148 enodes) 1553944223.545 * * [simplify]: iters left: 2 (232 enodes) 1553944223.618 * * [simplify]: iters left: 1 (304 enodes) 1553944223.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.664 * * [simplify]: Extracting #1: cost 19 inf + 0 1553944223.664 * * [simplify]: Extracting #2: cost 55 inf + 1 1553944223.665 * * [simplify]: Extracting #3: cost 56 inf + 865 1553944223.668 * * [simplify]: Extracting #4: cost 14 inf + 5326 1553944223.670 * * [simplify]: Extracting #5: cost 0 inf + 6928 1553944223.674 * * [simplify]: Extracting #6: cost 0 inf + 6808 1553944223.677 * [simplify]: Simplified to (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x) 1553944223.677 * [simplify]: Simplified (2 1) to (λ (x) (+ (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x) (log (sqrt (+ 1 x))))) 1553944223.677 * * * * [progress]: [ 73 / 80 ] simplifiying candidate # 1553944223.677 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944223.677 * [simplify]: Simplified (2 1) to (λ (x) (+ +nan.0 (log (sqrt (+ 1 x))))) 1553944223.677 * * * * [progress]: [ 74 / 80 ] simplifiying candidate # 1553944223.678 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944223.678 * [simplify]: Simplified (2 1) to (λ (x) (+ +nan.0 (log (sqrt (+ 1 x))))) 1553944223.678 * * * * [progress]: [ 75 / 80 ] simplifiying candidate # 1553944223.678 * [simplify]: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944223.678 * * [simplify]: iters left: 6 (10 enodes) 1553944223.682 * * [simplify]: iters left: 5 (40 enodes) 1553944223.689 * * [simplify]: iters left: 4 (65 enodes) 1553944223.702 * * [simplify]: iters left: 3 (96 enodes) 1553944223.729 * * [simplify]: iters left: 2 (119 enodes) 1553944223.758 * * [simplify]: iters left: 1 (141 enodes) 1553944223.780 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.780 * * [simplify]: Extracting #1: cost 16 inf + 0 1553944223.780 * * [simplify]: Extracting #2: cost 37 inf + 1 1553944223.781 * * [simplify]: Extracting #3: cost 38 inf + 90 1553944223.782 * * [simplify]: Extracting #4: cost 11 inf + 2149 1553944223.784 * * [simplify]: Extracting #5: cost 0 inf + 3259 1553944223.785 * [simplify]: Simplified to (+ 1 (* (- 1/2 (* 1/8 x)) x)) 1553944223.785 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (+ 1 (* (- 1/2 (* 1/8 x)) x))))) 1553944223.786 * * * * [progress]: [ 76 / 80 ] simplifiying candidate # 1553944223.786 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944223.786 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log +nan.0))) 1553944223.786 * * * * [progress]: [ 77 / 80 ] simplifiying candidate # 1553944223.786 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944223.786 * [simplify]: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log +nan.0))) 1553944223.787 * * * * [progress]: [ 78 / 80 ] simplifiying candidate # 1553944223.787 * [simplify]: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944223.787 * * [simplify]: iters left: 6 (10 enodes) 1553944223.793 * * [simplify]: iters left: 5 (40 enodes) 1553944223.808 * * [simplify]: iters left: 4 (65 enodes) 1553944223.824 * * [simplify]: iters left: 3 (96 enodes) 1553944223.837 * * [simplify]: iters left: 2 (119 enodes) 1553944223.867 * * [simplify]: iters left: 1 (141 enodes) 1553944223.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944223.889 * * [simplify]: Extracting #1: cost 16 inf + 0 1553944223.889 * * [simplify]: Extracting #2: cost 37 inf + 1 1553944223.890 * * [simplify]: Extracting #3: cost 38 inf + 90 1553944223.890 * * [simplify]: Extracting #4: cost 11 inf + 2149 1553944223.891 * * [simplify]: Extracting #5: cost 0 inf + 3259 1553944223.892 * [simplify]: Simplified to (+ 1 (* (- 1/2 (* 1/8 x)) x)) 1553944223.892 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log (+ 1 (* (- 1/2 (* 1/8 x)) x))) (log (sqrt (+ 1 x))))) 1553944223.892 * * * * [progress]: [ 79 / 80 ] simplifiying candidate # 1553944223.892 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944223.892 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log +nan.0) (log (sqrt (+ 1 x))))) 1553944223.892 * * * * [progress]: [ 80 / 80 ] simplifiying candidate # 1553944223.892 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944223.892 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log +nan.0) (log (sqrt (+ 1 x))))) 1553944223.893 * * * [progress]: adding candidates to table 1553944224.560 * * [progress]: iteration 4 / 4 1553944224.561 * * * [progress]: picking best candidate 1553944224.573 * * * * [pick]: Picked # 1553944224.573 * * * [progress]: localizing error 1553944224.584 * * * [progress]: generating rewritten candidates 1553944224.584 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1553944224.587 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 1553944224.589 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1553944224.591 * * * [progress]: generating series expansions 1553944224.591 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1553944224.591 * [backup-simplify]: Simplify (log (sqrt (+ 1 x))) into (log (sqrt (+ x 1))) 1553944224.591 * [approximate]: Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0 1553944224.591 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944224.591 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944224.592 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.592 * [taylor]: Taking taylor expansion of x in x 1553944224.592 * [backup-simplify]: Simplify 0 into 0 1553944224.592 * [backup-simplify]: Simplify 1 into 1 1553944224.592 * [taylor]: Taking taylor expansion of 1 in x 1553944224.592 * [backup-simplify]: Simplify 1 into 1 1553944224.592 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.593 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944224.593 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.594 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944224.594 * [backup-simplify]: Simplify (log 1) into 0 1553944224.594 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 1))) in x 1553944224.594 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944224.594 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.594 * [taylor]: Taking taylor expansion of x in x 1553944224.594 * [backup-simplify]: Simplify 0 into 0 1553944224.595 * [backup-simplify]: Simplify 1 into 1 1553944224.595 * [taylor]: Taking taylor expansion of 1 in x 1553944224.595 * [backup-simplify]: Simplify 1 into 1 1553944224.595 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.595 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944224.596 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.597 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944224.597 * [backup-simplify]: Simplify (log 1) into 0 1553944224.597 * [backup-simplify]: Simplify 0 into 0 1553944224.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 1553944224.604 * [backup-simplify]: Simplify 1/2 into 1/2 1553944224.604 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.605 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944224.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4 1553944224.609 * [backup-simplify]: Simplify -1/4 into -1/4 1553944224.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.610 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 1553944224.613 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6 1553944224.613 * [backup-simplify]: Simplify 1/6 into 1/6 1553944224.613 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944224.613 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 x)))) into (log (sqrt (+ (/ 1 x) 1))) 1553944224.613 * [approximate]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0 1553944224.613 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944224.613 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944224.613 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.613 * [taylor]: Taking taylor expansion of x in x 1553944224.614 * [backup-simplify]: Simplify 0 into 0 1553944224.614 * [backup-simplify]: Simplify 1 into 1 1553944224.614 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.614 * [taylor]: Taking taylor expansion of 1 in x 1553944224.614 * [backup-simplify]: Simplify 1 into 1 1553944224.614 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.614 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.615 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944224.616 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.616 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x 1553944224.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944224.616 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.616 * [taylor]: Taking taylor expansion of x in x 1553944224.616 * [backup-simplify]: Simplify 0 into 0 1553944224.616 * [backup-simplify]: Simplify 1 into 1 1553944224.616 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.616 * [taylor]: Taking taylor expansion of 1 in x 1553944224.616 * [backup-simplify]: Simplify 1 into 1 1553944224.616 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.617 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.617 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944224.618 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.618 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.619 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.621 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944224.624 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944224.624 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.625 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944224.636 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944224.636 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.636 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944224.636 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 (- x))))) into (log (sqrt (- 1 (/ 1 x)))) 1553944224.636 * [approximate]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0 1553944224.636 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944224.636 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944224.636 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.636 * [taylor]: Taking taylor expansion of 1 in x 1553944224.636 * [backup-simplify]: Simplify 1 into 1 1553944224.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.636 * [taylor]: Taking taylor expansion of x in x 1553944224.636 * [backup-simplify]: Simplify 0 into 0 1553944224.636 * [backup-simplify]: Simplify 1 into 1 1553944224.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.637 * [backup-simplify]: Simplify (- 1) into -1 1553944224.637 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.637 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.638 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944224.638 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.639 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x 1553944224.639 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944224.639 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.639 * [taylor]: Taking taylor expansion of 1 in x 1553944224.639 * [backup-simplify]: Simplify 1 into 1 1553944224.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.639 * [taylor]: Taking taylor expansion of x in x 1553944224.639 * [backup-simplify]: Simplify 0 into 0 1553944224.639 * [backup-simplify]: Simplify 1 into 1 1553944224.639 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.639 * [backup-simplify]: Simplify (- 1) into -1 1553944224.639 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.640 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.640 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944224.641 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.641 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 1553944224.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.642 * [backup-simplify]: Simplify (- 0) into 0 1553944224.642 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.644 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944224.647 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1553944224.647 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.648 * [backup-simplify]: Simplify (- 0) into 0 1553944224.648 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.652 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944224.666 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 1553944224.666 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.666 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944224.666 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 1553944224.667 * [backup-simplify]: Simplify (log (+ 1 x)) into (log (+ x 1)) 1553944224.667 * [approximate]: Taking taylor expansion of (log (+ x 1)) in (x) around 0 1553944224.667 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553944224.667 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.667 * [taylor]: Taking taylor expansion of x in x 1553944224.667 * [backup-simplify]: Simplify 0 into 0 1553944224.667 * [backup-simplify]: Simplify 1 into 1 1553944224.667 * [taylor]: Taking taylor expansion of 1 in x 1553944224.667 * [backup-simplify]: Simplify 1 into 1 1553944224.667 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.668 * [backup-simplify]: Simplify (log 1) into 0 1553944224.668 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553944224.668 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.668 * [taylor]: Taking taylor expansion of x in x 1553944224.668 * [backup-simplify]: Simplify 0 into 0 1553944224.668 * [backup-simplify]: Simplify 1 into 1 1553944224.668 * [taylor]: Taking taylor expansion of 1 in x 1553944224.668 * [backup-simplify]: Simplify 1 into 1 1553944224.668 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.668 * [backup-simplify]: Simplify (log 1) into 0 1553944224.669 * [backup-simplify]: Simplify 0 into 0 1553944224.669 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.670 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553944224.671 * [backup-simplify]: Simplify 1 into 1 1553944224.671 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.674 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553944224.674 * [backup-simplify]: Simplify -1/2 into -1/2 1553944224.675 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.680 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553944224.680 * [backup-simplify]: Simplify 1/3 into 1/3 1553944224.681 * [backup-simplify]: Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553944224.681 * [backup-simplify]: Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1)) 1553944224.681 * [approximate]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0 1553944224.681 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553944224.681 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.681 * [taylor]: Taking taylor expansion of x in x 1553944224.681 * [backup-simplify]: Simplify 0 into 0 1553944224.681 * [backup-simplify]: Simplify 1 into 1 1553944224.681 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.681 * [taylor]: Taking taylor expansion of 1 in x 1553944224.681 * [backup-simplify]: Simplify 1 into 1 1553944224.682 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.682 * [backup-simplify]: Simplify (log 1) into 0 1553944224.682 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553944224.682 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.682 * [taylor]: Taking taylor expansion of x in x 1553944224.682 * [backup-simplify]: Simplify 0 into 0 1553944224.682 * [backup-simplify]: Simplify 1 into 1 1553944224.683 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.683 * [taylor]: Taking taylor expansion of 1 in x 1553944224.683 * [backup-simplify]: Simplify 1 into 1 1553944224.683 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.684 * [backup-simplify]: Simplify (log 1) into 0 1553944224.684 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1553944224.684 * [backup-simplify]: Simplify (- (log x)) into (- (log x)) 1553944224.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.686 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.687 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553944224.687 * [backup-simplify]: Simplify 1 into 1 1553944224.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.688 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.691 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553944224.691 * [backup-simplify]: Simplify -1/2 into -1/2 1553944224.691 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944224.691 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x))) 1553944224.691 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0 1553944224.691 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553944224.691 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.691 * [taylor]: Taking taylor expansion of 1 in x 1553944224.691 * [backup-simplify]: Simplify 1 into 1 1553944224.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.692 * [taylor]: Taking taylor expansion of x in x 1553944224.692 * [backup-simplify]: Simplify 0 into 0 1553944224.692 * [backup-simplify]: Simplify 1 into 1 1553944224.692 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.692 * [backup-simplify]: Simplify (- 1) into -1 1553944224.693 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.693 * [backup-simplify]: Simplify (log -1) into (log -1) 1553944224.693 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553944224.693 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.693 * [taylor]: Taking taylor expansion of 1 in x 1553944224.693 * [backup-simplify]: Simplify 1 into 1 1553944224.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.693 * [taylor]: Taking taylor expansion of x in x 1553944224.693 * [backup-simplify]: Simplify 0 into 0 1553944224.694 * [backup-simplify]: Simplify 1 into 1 1553944224.694 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.694 * [backup-simplify]: Simplify (- 1) into -1 1553944224.695 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.695 * [backup-simplify]: Simplify (log -1) into (log -1) 1553944224.696 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1553944224.697 * [backup-simplify]: Simplify (- (log -1) (log x)) into (- (log -1) (log x)) 1553944224.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.698 * [backup-simplify]: Simplify (- 0) into 0 1553944224.698 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.700 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553944224.700 * [backup-simplify]: Simplify -1 into -1 1553944224.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.701 * [backup-simplify]: Simplify (- 0) into 0 1553944224.701 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.704 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553944224.704 * [backup-simplify]: Simplify -1/2 into -1/2 1553944224.705 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944224.705 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1553944224.705 * [backup-simplify]: Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1)) 1553944224.705 * [approximate]: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1553944224.705 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944224.705 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.705 * [taylor]: Taking taylor expansion of x in x 1553944224.705 * [backup-simplify]: Simplify 0 into 0 1553944224.705 * [backup-simplify]: Simplify 1 into 1 1553944224.705 * [taylor]: Taking taylor expansion of 1 in x 1553944224.705 * [backup-simplify]: Simplify 1 into 1 1553944224.706 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.706 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944224.707 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.707 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944224.707 * [taylor]: Taking taylor expansion of (sqrt (+ x 1)) in x 1553944224.707 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553944224.707 * [taylor]: Taking taylor expansion of x in x 1553944224.707 * [backup-simplify]: Simplify 0 into 0 1553944224.707 * [backup-simplify]: Simplify 1 into 1 1553944224.707 * [taylor]: Taking taylor expansion of 1 in x 1553944224.707 * [backup-simplify]: Simplify 1 into 1 1553944224.708 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.708 * [backup-simplify]: Simplify (sqrt 1) into 1 1553944224.709 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.709 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553944224.709 * [backup-simplify]: Simplify 1 into 1 1553944224.710 * [backup-simplify]: Simplify 1/2 into 1/2 1553944224.710 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.711 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1553944224.711 * [backup-simplify]: Simplify -1/8 into -1/8 1553944224.711 * [backup-simplify]: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944224.711 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1)) 1553944224.711 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1553944224.711 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944224.711 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.711 * [taylor]: Taking taylor expansion of x in x 1553944224.712 * [backup-simplify]: Simplify 0 into 0 1553944224.712 * [backup-simplify]: Simplify 1 into 1 1553944224.712 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.712 * [taylor]: Taking taylor expansion of 1 in x 1553944224.712 * [backup-simplify]: Simplify 1 into 1 1553944224.712 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.713 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.714 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944224.714 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1553944224.714 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553944224.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.714 * [taylor]: Taking taylor expansion of x in x 1553944224.714 * [backup-simplify]: Simplify 0 into 0 1553944224.714 * [backup-simplify]: Simplify 1 into 1 1553944224.715 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.715 * [taylor]: Taking taylor expansion of 1 in x 1553944224.715 * [backup-simplify]: Simplify 1 into 1 1553944224.715 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.716 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.717 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553944224.717 * [backup-simplify]: Simplify 0 into 0 1553944224.717 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.718 * [backup-simplify]: Simplify (+ 0 1) into 1 1553944224.721 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944224.721 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.729 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.733 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944224.734 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.734 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944224.734 * [backup-simplify]: Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x))) 1553944224.734 * [approximate]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1553944224.734 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944224.734 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.734 * [taylor]: Taking taylor expansion of 1 in x 1553944224.734 * [backup-simplify]: Simplify 1 into 1 1553944224.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.734 * [taylor]: Taking taylor expansion of x in x 1553944224.734 * [backup-simplify]: Simplify 0 into 0 1553944224.734 * [backup-simplify]: Simplify 1 into 1 1553944224.735 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.735 * [backup-simplify]: Simplify (- 1) into -1 1553944224.735 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.736 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.737 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944224.737 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1553944224.737 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553944224.737 * [taylor]: Taking taylor expansion of 1 in x 1553944224.737 * [backup-simplify]: Simplify 1 into 1 1553944224.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553944224.737 * [taylor]: Taking taylor expansion of x in x 1553944224.737 * [backup-simplify]: Simplify 0 into 0 1553944224.737 * [backup-simplify]: Simplify 1 into 1 1553944224.738 * [backup-simplify]: Simplify (/ 1 1) into 1 1553944224.738 * [backup-simplify]: Simplify (- 1) into -1 1553944224.739 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553944224.739 * [backup-simplify]: Simplify (sqrt 0) into 0 1553944224.740 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553944224.740 * [backup-simplify]: Simplify 0 into 0 1553944224.740 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553944224.742 * [backup-simplify]: Simplify (- 0) into 0 1553944224.742 * [backup-simplify]: Simplify (+ 1 0) into 1 1553944224.745 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553944224.745 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944224.746 * [backup-simplify]: Simplify (- 0) into 0 1553944224.746 * [backup-simplify]: Simplify (+ 0 0) into 0 1553944224.750 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553944224.750 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553944224.750 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944224.751 * * * [progress]: simplifying candidates 1553944224.751 * * * * [progress]: [ 1 / 58 ] simplifiying candidate # 1553944224.751 * [simplify]: Simplifying (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1553944224.751 * * [simplify]: iters left: 6 (7 enodes) 1553944224.754 * * [simplify]: iters left: 5 (26 enodes) 1553944224.762 * * [simplify]: iters left: 4 (30 enodes) 1553944224.770 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.771 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944224.771 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944224.771 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944224.771 * * [simplify]: Extracting #4: cost 11 inf + 0 1553944224.771 * * [simplify]: Extracting #5: cost 14 inf + 0 1553944224.771 * * [simplify]: Extracting #6: cost 12 inf + 2 1553944224.771 * * [simplify]: Extracting #7: cost 8 inf + 250 1553944224.771 * * [simplify]: Extracting #8: cost 4 inf + 1078 1553944224.772 * * [simplify]: Extracting #9: cost 1 inf + 1714 1553944224.772 * * [simplify]: Extracting #10: cost 0 inf + 1986 1553944224.773 * [simplify]: Simplified to (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1553944224.773 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.773 * * * * [progress]: [ 2 / 58 ] simplifiying candidate # 1553944224.773 * [simplify]: Simplifying (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553944224.773 * * [simplify]: iters left: 6 (7 enodes) 1553944224.777 * * [simplify]: iters left: 5 (25 enodes) 1553944224.784 * * [simplify]: iters left: 4 (27 enodes) 1553944224.791 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.791 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.791 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944224.791 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944224.791 * * [simplify]: Extracting #4: cost 12 inf + 0 1553944224.791 * * [simplify]: Extracting #5: cost 8 inf + 86 1553944224.791 * * [simplify]: Extracting #6: cost 1 inf + 1280 1553944224.792 * * [simplify]: Extracting #7: cost 0 inf + 1442 1553944224.792 * [simplify]: Simplified to (log (fabs (cbrt (+ x 1)))) 1553944224.792 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (fabs (cbrt (+ x 1)))) (log (sqrt (cbrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.792 * * * * [progress]: [ 3 / 58 ] simplifiying candidate # 1553944224.793 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944224.793 * * [simplify]: iters left: 5 (6 enodes) 1553944224.796 * * [simplify]: iters left: 4 (21 enodes) 1553944224.801 * * [simplify]: iters left: 3 (23 enodes) 1553944224.807 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.807 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.807 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.807 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944224.807 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944224.808 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944224.808 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944224.808 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944224.808 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.808 * * * * [progress]: [ 4 / 58 ] simplifiying candidate # 1553944224.809 * [simplify]: Simplifying (log (sqrt 1)) 1553944224.809 * * [simplify]: iters left: 2 (3 enodes) 1553944224.813 * * [simplify]: iters left: 1 (11 enodes) 1553944224.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.815 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944224.815 * [simplify]: Simplified to 0 1553944224.815 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ 1 x)))) (* 1/2 (log (+ 1 x))))) 1553944224.815 * * * * [progress]: [ 5 / 58 ] simplifiying candidate # 1553944224.816 * [simplify]: Simplifying (log (sqrt (sqrt (+ 1 x)))) 1553944224.816 * * [simplify]: iters left: 5 (6 enodes) 1553944224.819 * * [simplify]: iters left: 4 (21 enodes) 1553944224.825 * * [simplify]: iters left: 3 (23 enodes) 1553944224.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.832 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.832 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.832 * * [simplify]: Extracting #3: cost 7 inf + 0 1553944224.832 * * [simplify]: Extracting #4: cost 10 inf + 0 1553944224.832 * * [simplify]: Extracting #5: cost 8 inf + 2 1553944224.832 * * [simplify]: Extracting #6: cost 0 inf + 878 1553944224.832 * [simplify]: Simplified to (log (sqrt (sqrt (+ x 1)))) 1553944224.832 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.833 * * * * [progress]: [ 6 / 58 ] simplifiying candidate # 1553944224.833 * [simplify]: Simplifying (log 1) 1553944224.833 * * [simplify]: iters left: 1 (2 enodes) 1553944224.835 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.835 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944224.835 * [simplify]: Simplified to 0 1553944224.836 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ 1 x)))) (* 1/2 (log (+ 1 x))))) 1553944224.836 * * * * [progress]: [ 7 / 58 ] simplifiying candidate # 1553944224.836 * [simplify]: Simplifying (log (sqrt (+ (pow 1 3) (pow x 3)))) 1553944224.836 * * [simplify]: iters left: 5 (8 enodes) 1553944224.841 * * [simplify]: iters left: 4 (30 enodes) 1553944224.849 * * [simplify]: iters left: 3 (34 enodes) 1553944224.858 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.858 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.858 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.858 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944224.858 * * [simplify]: Extracting #4: cost 11 inf + 1 1553944224.858 * * [simplify]: Extracting #5: cost 10 inf + 3 1553944224.858 * * [simplify]: Extracting #6: cost 6 inf + 550 1553944224.858 * * [simplify]: Extracting #7: cost 1 inf + 1702 1553944224.859 * * [simplify]: Extracting #8: cost 0 inf + 1410 1553944224.859 * * [simplify]: Extracting #9: cost 0 inf + 1279 1553944224.859 * [simplify]: Simplified to (log (sqrt (+ 1 (* (* x x) x)))) 1553944224.859 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (+ 1 (* (* x x) x)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (* 1/2 (log (+ 1 x))))) 1553944224.860 * * * * [progress]: [ 8 / 58 ] simplifiying candidate # 1553944224.860 * [simplify]: Simplifying (log (sqrt (- (* 1 1) (* x x)))) 1553944224.860 * * [simplify]: iters left: 6 (7 enodes) 1553944224.863 * * [simplify]: iters left: 5 (23 enodes) 1553944224.870 * * [simplify]: iters left: 4 (32 enodes) 1553944224.880 * * [simplify]: iters left: 3 (34 enodes) 1553944224.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.884 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.884 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.884 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944224.884 * * [simplify]: Extracting #4: cost 12 inf + 1 1553944224.884 * * [simplify]: Extracting #5: cost 8 inf + 206 1553944224.885 * * [simplify]: Extracting #6: cost 3 inf + 614 1553944224.885 * * [simplify]: Extracting #7: cost 1 inf + 928 1553944224.885 * * [simplify]: Extracting #8: cost 0 inf + 1120 1553944224.885 * [simplify]: Simplified to (log (sqrt (- 1 (* x x)))) 1553944224.885 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (- 1 (* x x)))) (log (sqrt (- 1 x)))) (* 1/2 (log (+ 1 x))))) 1553944224.885 * * * * [progress]: [ 9 / 58 ] simplifiying candidate # 1553944224.885 * * * * [progress]: [ 10 / 58 ] simplifiying candidate # 1553944224.885 * * * * [progress]: [ 11 / 58 ] simplifiying candidate # 1553944224.885 * * * * [progress]: [ 12 / 58 ] simplifiying candidate # 1553944224.886 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944224.886 * * [simplify]: iters left: 3 (4 enodes) 1553944224.887 * * [simplify]: iters left: 2 (15 enodes) 1553944224.889 * * [simplify]: iters left: 1 (17 enodes) 1553944224.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.892 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.892 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944224.892 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944224.892 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944224.892 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944224.892 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944224.892 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log (sqrt (+ x 1))) (* 1/2 (log (+ 1 x))))) 1553944224.892 * * * * [progress]: [ 13 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 14 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 15 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 16 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 17 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 18 / 58 ] simplifiying candidate # 1553944224.892 * * * * [progress]: [ 19 / 58 ] simplifiying candidate #real (real->posit16 (log (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x)))))> 1553944224.892 * * * * [progress]: [ 20 / 58 ] simplifiying candidate # 1553944224.892 * [simplify]: Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553944224.893 * * [simplify]: iters left: 6 (6 enodes) 1553944224.894 * * [simplify]: iters left: 5 (23 enodes) 1553944224.898 * * [simplify]: iters left: 4 (27 enodes) 1553944224.901 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.901 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944224.901 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944224.901 * * [simplify]: Extracting #3: cost 9 inf + 0 1553944224.901 * * [simplify]: Extracting #4: cost 12 inf + 0 1553944224.901 * * [simplify]: Extracting #5: cost 10 inf + 2 1553944224.901 * * [simplify]: Extracting #6: cost 8 inf + 86 1553944224.902 * * [simplify]: Extracting #7: cost 1 inf + 1270 1553944224.902 * * [simplify]: Extracting #8: cost 0 inf + 1502 1553944224.902 * [simplify]: Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553944224.902 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x))))))) 1553944224.902 * * * * [progress]: [ 21 / 58 ] simplifiying candidate # 1553944224.902 * [simplify]: Simplifying (log (sqrt (+ 1 x))) 1553944224.902 * * [simplify]: iters left: 4 (5 enodes) 1553944224.904 * * [simplify]: iters left: 3 (18 enodes) 1553944224.906 * * [simplify]: iters left: 2 (20 enodes) 1553944224.909 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.909 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.909 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.909 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944224.909 * * [simplify]: Extracting #4: cost 6 inf + 2 1553944224.910 * * [simplify]: Extracting #5: cost 0 inf + 554 1553944224.910 * [simplify]: Simplified to (log (sqrt (+ x 1))) 1553944224.910 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))))) 1553944224.910 * * * * [progress]: [ 22 / 58 ] simplifiying candidate # 1553944224.910 * [simplify]: Simplifying (log 1) 1553944224.910 * * [simplify]: iters left: 1 (2 enodes) 1553944224.911 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.911 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944224.911 * [simplify]: Simplified to 0 1553944224.911 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (+ 0 (log (+ 1 x)))))) 1553944224.911 * * * * [progress]: [ 23 / 58 ] simplifiying candidate # 1553944224.911 * [simplify]: Simplifying (log (+ (pow 1 3) (pow x 3))) 1553944224.911 * * [simplify]: iters left: 4 (7 enodes) 1553944224.914 * * [simplify]: iters left: 3 (27 enodes) 1553944224.918 * * [simplify]: iters left: 2 (31 enodes) 1553944224.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.926 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.926 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944224.926 * * [simplify]: Extracting #3: cost 9 inf + 1 1553944224.926 * * [simplify]: Extracting #4: cost 7 inf + 215 1553944224.927 * * [simplify]: Extracting #5: cost 2 inf + 954 1553944224.927 * * [simplify]: Extracting #6: cost 0 inf + 1137 1553944224.927 * * [simplify]: Extracting #7: cost 0 inf + 875 1553944224.927 * [simplify]: Simplified to (log (+ 1 (* x (* x x)))) 1553944224.928 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1553944224.928 * * * * [progress]: [ 24 / 58 ] simplifiying candidate # 1553944224.928 * [simplify]: Simplifying (log (- (* 1 1) (* x x))) 1553944224.928 * * [simplify]: iters left: 5 (6 enodes) 1553944224.931 * * [simplify]: iters left: 4 (20 enodes) 1553944224.937 * * [simplify]: iters left: 3 (29 enodes) 1553944224.945 * * [simplify]: iters left: 2 (31 enodes) 1553944224.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.953 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.954 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944224.954 * * [simplify]: Extracting #3: cost 10 inf + 1 1553944224.954 * * [simplify]: Extracting #4: cost 2 inf + 603 1553944224.954 * * [simplify]: Extracting #5: cost 0 inf + 796 1553944224.954 * [simplify]: Simplified to (log (- 1 (* x x))) 1553944224.955 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (- (log (- 1 (* x x))) (log (- 1 x)))))) 1553944224.955 * * * * [progress]: [ 25 / 58 ] simplifiying candidate # 1553944224.955 * * * * [progress]: [ 26 / 58 ] simplifiying candidate # 1553944224.955 * * * * [progress]: [ 27 / 58 ] simplifiying candidate # 1553944224.955 * [simplify]: Simplifying (+ 1 x) 1553944224.955 * * [simplify]: iters left: 2 (3 enodes) 1553944224.957 * * [simplify]: iters left: 1 (12 enodes) 1553944224.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.961 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944224.961 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944224.961 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944224.961 * [simplify]: Simplified to (+ x 1) 1553944224.961 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (log (+ x 1))))) 1553944224.961 * * * * [progress]: [ 28 / 58 ] simplifiying candidate # 1553944224.961 * * * * [progress]: [ 29 / 58 ] simplifiying candidate # 1553944224.961 * * * * [progress]: [ 30 / 58 ] simplifiying candidate # 1553944224.961 * * * * [progress]: [ 31 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 32 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 33 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 34 / 58 ] simplifiying candidate #real (real->posit16 (log (+ 1 x)))))))> 1553944224.962 * * * * [progress]: [ 35 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 36 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 37 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 38 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 39 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 40 / 58 ] simplifiying candidate # 1553944224.962 * * * * [progress]: [ 41 / 58 ] simplifiying candidate # 1553944224.962 * [simplify]: Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553944224.962 * * [simplify]: iters left: 6 (6 enodes) 1553944224.966 * * [simplify]: iters left: 5 (22 enodes) 1553944224.972 * * [simplify]: iters left: 4 (24 enodes) 1553944224.979 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.979 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944224.979 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944224.979 * * [simplify]: Extracting #3: cost 10 inf + 0 1553944224.979 * * [simplify]: Extracting #4: cost 8 inf + 2 1553944224.979 * * [simplify]: Extracting #5: cost 1 inf + 816 1553944224.979 * * [simplify]: Extracting #6: cost 0 inf + 978 1553944224.980 * [simplify]: Simplified to (fabs (cbrt (+ x 1))) 1553944224.980 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.980 * * * * [progress]: [ 42 / 58 ] simplifiying candidate # 1553944224.980 * [simplify]: Simplifying (sqrt (sqrt (+ 1 x))) 1553944224.980 * * [simplify]: iters left: 4 (5 enodes) 1553944224.983 * * [simplify]: iters left: 3 (18 enodes) 1553944224.988 * * [simplify]: iters left: 2 (20 enodes) 1553944224.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.994 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944224.994 * * [simplify]: Extracting #2: cost 5 inf + 0 1553944224.994 * * [simplify]: Extracting #3: cost 8 inf + 0 1553944224.994 * * [simplify]: Extracting #4: cost 6 inf + 2 1553944224.994 * * [simplify]: Extracting #5: cost 0 inf + 494 1553944224.995 * [simplify]: Simplified to (sqrt (sqrt (+ x 1))) 1553944224.995 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x))))) 1553944224.995 * * * * [progress]: [ 43 / 58 ] simplifiying candidate # 1553944224.995 * [simplify]: Simplifying (sqrt 1) 1553944224.995 * * [simplify]: iters left: 1 (2 enodes) 1553944224.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944224.998 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944224.998 * [simplify]: Simplified to 1 1553944224.998 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (* 1 (sqrt (+ 1 x)))) (* 1/2 (log (+ 1 x))))) 1553944224.998 * * * * [progress]: [ 44 / 58 ] simplifiying candidate # 1553944224.999 * [simplify]: Simplifying (sqrt (+ (pow 1 3) (pow x 3))) 1553944224.999 * * [simplify]: iters left: 4 (7 enodes) 1553944225.003 * * [simplify]: iters left: 3 (27 enodes) 1553944225.014 * * [simplify]: iters left: 2 (31 enodes) 1553944225.022 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.022 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944225.022 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944225.022 * * [simplify]: Extracting #3: cost 9 inf + 1 1553944225.022 * * [simplify]: Extracting #4: cost 7 inf + 215 1553944225.022 * * [simplify]: Extracting #5: cost 2 inf + 924 1553944225.022 * * [simplify]: Extracting #6: cost 0 inf + 1077 1553944225.022 * * [simplify]: Extracting #7: cost 0 inf + 815 1553944225.022 * [simplify]: Simplified to (sqrt (+ 1 (* x (* x x)))) 1553944225.022 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (+ 1 (* x (* x x)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (* 1/2 (log (+ 1 x))))) 1553944225.023 * * * * [progress]: [ 45 / 58 ] simplifiying candidate # 1553944225.023 * [simplify]: Simplifying (sqrt (- (* 1 1) (* x x))) 1553944225.023 * * [simplify]: iters left: 5 (6 enodes) 1553944225.024 * * [simplify]: iters left: 4 (20 enodes) 1553944225.028 * * [simplify]: iters left: 3 (29 enodes) 1553944225.031 * * [simplify]: iters left: 2 (31 enodes) 1553944225.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.036 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944225.036 * * [simplify]: Extracting #2: cost 7 inf + 0 1553944225.036 * * [simplify]: Extracting #3: cost 10 inf + 1 1553944225.036 * * [simplify]: Extracting #4: cost 2 inf + 573 1553944225.036 * * [simplify]: Extracting #5: cost 0 inf + 736 1553944225.036 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 1553944225.036 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x)))) (* 1/2 (log (+ 1 x))))) 1553944225.036 * * * * [progress]: [ 46 / 58 ] simplifiying candidate # 1553944225.036 * * * * [progress]: [ 47 / 58 ] simplifiying candidate # 1553944225.037 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553944225.037 * * [simplify]: iters left: 3 (4 enodes) 1553944225.038 * * [simplify]: iters left: 2 (15 enodes) 1553944225.040 * * [simplify]: iters left: 1 (17 enodes) 1553944225.042 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.042 * * [simplify]: Extracting #1: cost 3 inf + 0 1553944225.042 * * [simplify]: Extracting #2: cost 6 inf + 0 1553944225.042 * * [simplify]: Extracting #3: cost 2 inf + 86 1553944225.043 * * [simplify]: Extracting #4: cost 1 inf + 168 1553944225.043 * * [simplify]: Extracting #5: cost 0 inf + 250 1553944225.043 * [simplify]: Simplified to (sqrt (+ x 1)) 1553944225.043 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (log (fabs (sqrt (+ x 1)))) (* 1/2 (log (+ 1 x))))) 1553944225.043 * * * * [progress]: [ 48 / 58 ] simplifiying candidate # 1553944225.043 * * * * [progress]: [ 49 / 58 ] simplifiying candidate #real (real->posit16 (sqrt (+ 1 x))))) (* 1/2 (log (+ 1 x)))))> 1553944225.043 * * * * [progress]: [ 50 / 58 ] simplifiying candidate # 1553944225.043 * [simplify]: Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) 1553944225.043 * * [simplify]: iters left: 6 (13 enodes) 1553944225.047 * * [simplify]: iters left: 5 (50 enodes) 1553944225.058 * * [simplify]: iters left: 4 (84 enodes) 1553944225.085 * * [simplify]: iters left: 3 (148 enodes) 1553944225.110 * * [simplify]: iters left: 2 (232 enodes) 1553944225.149 * * [simplify]: iters left: 1 (304 enodes) 1553944225.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.203 * * [simplify]: Extracting #1: cost 19 inf + 0 1553944225.203 * * [simplify]: Extracting #2: cost 55 inf + 1 1553944225.203 * * [simplify]: Extracting #3: cost 56 inf + 865 1553944225.204 * * [simplify]: Extracting #4: cost 14 inf + 5326 1553944225.206 * * [simplify]: Extracting #5: cost 0 inf + 6928 1553944225.208 * * [simplify]: Extracting #6: cost 0 inf + 6808 1553944225.210 * [simplify]: Simplified to (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x) 1553944225.210 * [simplify]: Simplified (2 1) to (λ (x) (+ (* (- (* (+ (* 1/6 x) -1/4) x) -1/2) x) (* 1/2 (log (+ 1 x))))) 1553944225.210 * * * * [progress]: [ 51 / 58 ] simplifiying candidate # 1553944225.210 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944225.210 * [simplify]: Simplified (2 1) to (λ (x) (+ +nan.0 (* 1/2 (log (+ 1 x))))) 1553944225.210 * * * * [progress]: [ 52 / 58 ] simplifiying candidate # 1553944225.210 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 1553944225.210 * [simplify]: Simplified (2 1) to (λ (x) (+ +nan.0 (* 1/2 (log (+ 1 x))))) 1553944225.210 * * * * [progress]: [ 53 / 58 ] simplifiying candidate # 1553944225.211 * [simplify]: Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553944225.211 * * [simplify]: iters left: 6 (11 enodes) 1553944225.214 * * [simplify]: iters left: 5 (43 enodes) 1553944225.226 * * [simplify]: iters left: 4 (77 enodes) 1553944225.253 * * [simplify]: iters left: 3 (132 enodes) 1553944225.287 * * [simplify]: iters left: 2 (173 enodes) 1553944225.313 * * [simplify]: iters left: 1 (217 enodes) 1553944225.349 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.349 * * [simplify]: Extracting #1: cost 18 inf + 0 1553944225.350 * * [simplify]: Extracting #2: cost 47 inf + 1 1553944225.350 * * [simplify]: Extracting #3: cost 51 inf + 332 1553944225.351 * * [simplify]: Extracting #4: cost 16 inf + 4204 1553944225.355 * * [simplify]: Extracting #5: cost 1 inf + 6165 1553944225.358 * * [simplify]: Extracting #6: cost 0 inf + 5968 1553944225.364 * [simplify]: Simplified to (- x (* (* x x) (- 1/2 (* x 1/3)))) 1553944225.364 * [simplify]: Simplified (2 2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (- x (* (* x x) (- 1/2 (* x 1/3))))))) 1553944225.364 * * * * [progress]: [ 54 / 58 ] simplifiying candidate # 1553944225.364 * [simplify]: Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944225.365 * * [simplify]: iters left: 6 (11 enodes) 1553944225.372 * * [simplify]: iters left: 5 (48 enodes) 1553944225.387 * * [simplify]: iters left: 4 (69 enodes) 1553944225.407 * * [simplify]: iters left: 3 (100 enodes) 1553944225.437 * * [simplify]: iters left: 2 (137 enodes) 1553944225.475 * * [simplify]: iters left: 1 (208 enodes) 1553944225.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.537 * * [simplify]: Extracting #1: cost 26 inf + 0 1553944225.537 * * [simplify]: Extracting #2: cost 60 inf + 1 1553944225.538 * * [simplify]: Extracting #3: cost 61 inf + 48 1553944225.539 * * [simplify]: Extracting #4: cost 27 inf + 3090 1553944225.542 * * [simplify]: Extracting #5: cost 4 inf + 6652 1553944225.546 * * [simplify]: Extracting #6: cost 0 inf + 7432 1553944225.550 * [simplify]: Simplified to (+ (- (/ 1 x) (log (/ 1 x))) (/ (/ -1/2 x) x)) 1553944225.551 * [simplify]: Simplified (2 2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (+ (- (/ 1 x) (log (/ 1 x))) (/ (/ -1/2 x) x))))) 1553944225.551 * * * * [progress]: [ 55 / 58 ] simplifiying candidate # 1553944225.551 * [simplify]: Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553944225.551 * * [simplify]: iters left: 6 (15 enodes) 1553944225.561 * * [simplify]: iters left: 5 (61 enodes) 1553944225.579 * * [simplify]: iters left: 4 (105 enodes) 1553944225.606 * * [simplify]: iters left: 3 (220 enodes) 1553944225.685 * * [simplify]: iters left: 2 (455 enodes) 1553944225.885 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944225.885 * * [simplify]: Extracting #1: cost 113 inf + 0 1553944225.892 * * [simplify]: Extracting #2: cost 269 inf + 1 1553944225.896 * * [simplify]: Extracting #3: cost 226 inf + 7966 1553944225.913 * * [simplify]: Extracting #4: cost 46 inf + 45794 1553944225.926 * * [simplify]: Extracting #5: cost 0 inf + 58753 1553944225.939 * * [simplify]: Extracting #6: cost 0 inf + 58643 1553944225.953 * [simplify]: Simplified to (- (- (log x) (/ 1/2 (* x x))) (/ -1 x)) 1553944225.953 * [simplify]: Simplified (2 2 2) to (λ (x) (+ (log (sqrt (+ 1 x))) (* 1/2 (- (- (log x) (/ 1/2 (* x x))) (/ -1 x))))) 1553944225.954 * * * * [progress]: [ 56 / 58 ] simplifiying candidate # 1553944225.954 * [simplify]: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1553944225.954 * * [simplify]: iters left: 6 (10 enodes) 1553944225.961 * * [simplify]: iters left: 5 (40 enodes) 1553944225.968 * * [simplify]: iters left: 4 (65 enodes) 1553944225.979 * * [simplify]: iters left: 3 (96 enodes) 1553944225.995 * * [simplify]: iters left: 2 (119 enodes) 1553944226.022 * * [simplify]: iters left: 1 (141 enodes) 1553944226.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.059 * * [simplify]: Extracting #1: cost 16 inf + 0 1553944226.059 * * [simplify]: Extracting #2: cost 37 inf + 1 1553944226.060 * * [simplify]: Extracting #3: cost 38 inf + 90 1553944226.061 * * [simplify]: Extracting #4: cost 11 inf + 2149 1553944226.062 * * [simplify]: Extracting #5: cost 0 inf + 3259 1553944226.064 * [simplify]: Simplified to (+ 1 (* (- 1/2 (* 1/8 x)) x)) 1553944226.064 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log (+ 1 (* (- 1/2 (* 1/8 x)) x))) (* 1/2 (log (+ 1 x))))) 1553944226.064 * * * * [progress]: [ 57 / 58 ] simplifiying candidate # 1553944226.065 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944226.065 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log +nan.0) (* 1/2 (log (+ 1 x))))) 1553944226.065 * * * * [progress]: [ 58 / 58 ] simplifiying candidate # 1553944226.065 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553944226.065 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (log +nan.0) (* 1/2 (log (+ 1 x))))) 1553944226.065 * * * [progress]: adding candidates to table 1553944226.594 * [progress]: [Phase 3 of 3] Extracting. 1553944226.594 * * [regime]: Finding splitpoints for: (# # # #) 1553944226.595 * * * [regime-changes]: Trying 2 branch expressions: (x (+ 1 x)) 1553944226.595 * * * * [regimes]: Trying to branch on x from (# # # #) 1553944226.628 * * * * [regimes]: Trying to branch on (+ 1 x) from (# # # #) 1553944226.679 * * * [regime]: Found split indices: #