1550619929.608 * [misc]progress: [Phase 1 of 3] Setting up. 1550619929.635 * * * [misc]progress: [1/2] Preparing points 1550619929.740 * * * [misc]progress: [2/2] Setting up program. 1550619929.778 * [misc]progress: [Phase 2 of 3] Improving. 1550619929.778 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550619929.779 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1550619929.780 * * [misc]simplify: iters left: 6 (6 enodes) 1550619929.795 * * [misc]simplify: iters left: 5 (23 enodes) 1550619929.799 * * [misc]simplify: iters left: 4 (27 enodes) 1550619929.804 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.804 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619929.804 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619929.804 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619929.804 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550619929.805 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550619929.805 * * [misc]simplify: Extracting #6: cost 1 inf + 747 1550619929.805 * * [misc]simplify: Extracting #7: cost 0 inf + 939 1550619929.805 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1550619929.805 * [misc]simplify: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550619929.809 * * [misc]progress: iteration 1 / 4 1550619929.809 * * * [misc]progress: picking best candidate 1550619929.811 * * * * [misc]pick: Picked # 1550619929.811 * * * [misc]progress: localizing error 1550619929.823 * * * [misc]progress: generating rewritten candidates 1550619929.823 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1550619929.828 * * * [misc]progress: generating series expansions 1550619929.829 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1550619929.832 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1550619929.832 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1550619929.833 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1550619929.833 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619929.833 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619929.833 * [misc]taylor: Taking taylor expansion of x in x 1550619929.833 * [misc]backup-simplify: Simplify 0 into 0 1550619929.833 * [misc]backup-simplify: Simplify 1 into 1 1550619929.834 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619929.834 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.834 * [misc]backup-simplify: Simplify 1 into 1 1550619929.835 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619929.835 * [misc]backup-simplify: Simplify (log 1) into 0 1550619929.835 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1550619929.835 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619929.835 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619929.835 * [misc]taylor: Taking taylor expansion of x in x 1550619929.835 * [misc]backup-simplify: Simplify 0 into 0 1550619929.835 * [misc]backup-simplify: Simplify 1 into 1 1550619929.835 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619929.835 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.835 * [misc]backup-simplify: Simplify 1 into 1 1550619929.835 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619929.835 * [misc]backup-simplify: Simplify (log 1) into 0 1550619929.836 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1550619929.836 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1550619929.837 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550619929.837 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.837 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619929.839 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1550619929.839 * [misc]backup-simplify: Simplify -1 into -1 1550619929.840 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550619929.840 * [misc]backup-simplify: Simplify (- 0) into 0 1550619929.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619929.843 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1550619929.843 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550619929.843 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1550619929.843 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1550619929.843 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1550619929.843 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1550619929.843 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619929.843 * [misc]taylor: Taking taylor expansion of x in x 1550619929.844 * [misc]backup-simplify: Simplify 0 into 0 1550619929.844 * [misc]backup-simplify: Simplify 1 into 1 1550619929.844 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.844 * [misc]backup-simplify: Simplify 1 into 1 1550619929.844 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.844 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619929.844 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.844 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1550619929.844 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619929.844 * [misc]taylor: Taking taylor expansion of x in x 1550619929.844 * [misc]backup-simplify: Simplify 0 into 0 1550619929.844 * [misc]backup-simplify: Simplify 1 into 1 1550619929.844 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.844 * [misc]backup-simplify: Simplify 1 into 1 1550619929.844 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.844 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619929.844 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.844 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.845 * [misc]backup-simplify: Simplify (- 0) into 0 1550619929.845 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619929.846 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1550619929.846 * [misc]backup-simplify: Simplify -1 into -1 1550619929.846 * [misc]backup-simplify: Simplify (- 0) into 0 1550619929.846 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619929.849 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1550619929.849 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550619929.849 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550619929.849 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1550619929.849 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1550619929.849 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1550619929.849 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619929.849 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619929.850 * [misc]taylor: Taking taylor expansion of x in x 1550619929.850 * [misc]backup-simplify: Simplify 0 into 0 1550619929.850 * [misc]backup-simplify: Simplify 1 into 1 1550619929.850 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.850 * [misc]backup-simplify: Simplify 1 into 1 1550619929.850 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619929.850 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.850 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.850 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.850 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1550619929.850 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619929.850 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619929.850 * [misc]taylor: Taking taylor expansion of x in x 1550619929.850 * [misc]backup-simplify: Simplify 0 into 0 1550619929.850 * [misc]backup-simplify: Simplify 1 into 1 1550619929.850 * [misc]taylor: Taking taylor expansion of 1 in x 1550619929.850 * [misc]backup-simplify: Simplify 1 into 1 1550619929.850 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619929.850 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.850 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.851 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.851 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550619929.851 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619929.851 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.851 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.853 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1550619929.853 * [misc]backup-simplify: Simplify 1 into 1 1550619929.853 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.853 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619929.853 * [misc]backup-simplify: Simplify (- 0) into 0 1550619929.853 * [misc]backup-simplify: Simplify (- 1) into -1 1550619929.855 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1550619929.856 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550619929.856 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550619929.856 * * * [misc]progress: simplifying candidates 1550619929.856 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1550619929.856 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550619929.856 * * [misc]simplify: iters left: 6 (7 enodes) 1550619929.859 * * [misc]simplify: iters left: 5 (28 enodes) 1550619929.875 * * [misc]simplify: iters left: 4 (34 enodes) 1550619929.882 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.882 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550619929.882 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619929.882 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619929.882 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550619929.882 * * [misc]simplify: Extracting #5: cost 13 inf + 2 1550619929.882 * * [misc]simplify: Extracting #6: cost 12 inf + 3 1550619929.882 * * [misc]simplify: Extracting #7: cost 9 inf + 169 1550619929.882 * * [misc]simplify: Extracting #8: cost 4 inf + 1079 1550619929.882 * * [misc]simplify: Extracting #9: cost 0 inf + 1987 1550619929.883 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550619929.883 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1550619929.883 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1550619929.883 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1550619929.883 * * [misc]simplify: iters left: 6 (6 enodes) 1550619929.885 * * [misc]simplify: iters left: 5 (23 enodes) 1550619929.890 * * [misc]simplify: iters left: 4 (27 enodes) 1550619929.895 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.895 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619929.895 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619929.895 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619929.895 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550619929.895 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550619929.895 * * [misc]simplify: Extracting #6: cost 1 inf + 687 1550619929.895 * * [misc]simplify: Extracting #7: cost 0 inf + 879 1550619929.896 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1550619929.896 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550619929.896 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1550619929.896 * [enter]simplify: Simplifying (log 1) 1550619929.896 * * [misc]simplify: iters left: 1 (2 enodes) 1550619929.897 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.897 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619929.898 * [exit]simplify: Simplified to 0 1550619929.898 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1550619929.898 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1550619929.898 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1550619929.898 * * [misc]simplify: iters left: 6 (6 enodes) 1550619929.900 * * [misc]simplify: iters left: 5 (21 enodes) 1550619929.904 * * [misc]simplify: iters left: 4 (23 enodes) 1550619929.908 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.908 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619929.908 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550619929.908 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550619929.908 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550619929.908 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550619929.908 * * [misc]simplify: Extracting #6: cost 1 inf + 686 1550619929.908 * * [misc]simplify: Extracting #7: cost 0 inf + 878 1550619929.908 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1550619929.908 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1550619929.908 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1550619929.909 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1550619929.909 * * [misc]simplify: iters left: 6 (8 enodes) 1550619929.913 * * [misc]simplify: iters left: 5 (34 enodes) 1550619929.919 * * [misc]simplify: iters left: 4 (55 enodes) 1550619929.929 * * [misc]simplify: iters left: 3 (67 enodes) 1550619929.940 * * [misc]simplify: iters left: 2 (73 enodes) 1550619929.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619929.952 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619929.952 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619929.952 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550619929.952 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550619929.952 * * [misc]simplify: Extracting #5: cost 2 inf + 1214 1550619929.953 * * [misc]simplify: Extracting #6: cost 0 inf + 1528 1550619929.953 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1550619929.953 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1550619929.953 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1550619929.953 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550619929.953 * * [misc]simplify: iters left: 6 (7 enodes) 1550619929.956 * * [misc]simplify: iters left: 5 (28 enodes) 1550619929.962 * * [misc]simplify: iters left: 4 (39 enodes) 1550619929.971 * * [misc]simplify: iters left: 3 (56 enodes) 1550619929.981 * * [misc]simplify: iters left: 2 (82 enodes) 1550619929.997 * * [misc]simplify: iters left: 1 (128 enodes) 1550619930.028 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.028 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550619930.028 * * [misc]simplify: Extracting #2: cost 35 inf + 1 1550619930.029 * * [misc]simplify: Extracting #3: cost 45 inf + 3 1550619930.029 * * [misc]simplify: Extracting #4: cost 45 inf + 4 1550619930.031 * * [misc]simplify: Extracting #5: cost 21 inf + 2997 1550619930.033 * * [misc]simplify: Extracting #6: cost 0 inf + 5804 1550619930.036 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) x) 1)) 1550619930.036 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) x) 1)) (log (+ (/ 1 x) 1))))) 1550619930.037 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1550619930.037 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1550619930.037 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1550619930.037 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550619930.037 * * [misc]simplify: iters left: 4 (4 enodes) 1550619930.041 * * [misc]simplify: iters left: 3 (17 enodes) 1550619930.047 * * [misc]simplify: iters left: 2 (21 enodes) 1550619930.053 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.053 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550619930.054 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550619930.054 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550619930.054 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550619930.054 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550619930.054 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1550619930.054 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate #real (real->posit16 (log (- (/ 1 x) 1))))))> 1550619930.054 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1550619930.055 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1550619930.055 * * [misc]simplify: iters left: 6 (9 enodes) 1550619930.060 * * [misc]simplify: iters left: 5 (36 enodes) 1550619930.072 * * [misc]simplify: iters left: 4 (60 enodes) 1550619930.096 * * [misc]simplify: iters left: 3 (111 enodes) 1550619930.116 * * [misc]simplify: iters left: 2 (151 enodes) 1550619930.151 * * [misc]simplify: iters left: 1 (194 enodes) 1550619930.216 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.216 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550619930.216 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550619930.217 * * [misc]simplify: Extracting #3: cost 45 inf + 1135 1550619930.219 * * [misc]simplify: Extracting #4: cost 18 inf + 4091 1550619930.221 * * [misc]simplify: Extracting #5: cost 2 inf + 6417 1550619930.222 * * [misc]simplify: Extracting #6: cost 0 inf + 6731 1550619930.224 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ (log x) x)) 1550619930.224 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ (log x) x)))) 1550619930.224 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1550619930.224 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550619930.224 * * [misc]simplify: iters left: 6 (12 enodes) 1550619930.229 * * [misc]simplify: iters left: 5 (47 enodes) 1550619930.238 * * [misc]simplify: iters left: 4 (65 enodes) 1550619930.250 * * [misc]simplify: iters left: 3 (95 enodes) 1550619930.275 * * [misc]simplify: iters left: 2 (125 enodes) 1550619930.312 * * [misc]simplify: iters left: 1 (165 enodes) 1550619930.343 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.343 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550619930.343 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1550619930.344 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1550619930.345 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1550619930.348 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550619930.349 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1550619930.351 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1550619930.351 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1550619930.351 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1550619930.351 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550619930.351 * * [misc]simplify: iters left: 6 (12 enodes) 1550619930.356 * * [misc]simplify: iters left: 5 (47 enodes) 1550619930.365 * * [misc]simplify: iters left: 4 (65 enodes) 1550619930.377 * * [misc]simplify: iters left: 3 (95 enodes) 1550619930.395 * * [misc]simplify: iters left: 2 (125 enodes) 1550619930.416 * * [misc]simplify: iters left: 1 (165 enodes) 1550619930.455 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.455 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550619930.455 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1550619930.456 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1550619930.457 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1550619930.460 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550619930.463 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1550619930.466 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1550619930.466 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1550619930.466 * * * [misc]progress: adding candidates to table 1550619930.647 * * [misc]progress: iteration 2 / 4 1550619930.647 * * * [misc]progress: picking best candidate 1550619930.652 * * * * [misc]pick: Picked # 1550619930.652 * * * [misc]progress: localizing error 1550619930.673 * * * [misc]progress: generating rewritten candidates 1550619930.673 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1) 1550619930.680 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1550619930.686 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1550619930.692 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1) 1550619930.699 * * * [misc]progress: generating series expansions 1550619930.699 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1) 1550619930.699 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1550619930.699 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1550619930.699 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.699 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.699 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.699 * [misc]taylor: Taking taylor expansion of x in x 1550619930.699 * [misc]backup-simplify: Simplify 0 into 0 1550619930.699 * [misc]backup-simplify: Simplify 1 into 1 1550619930.699 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.700 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.700 * [misc]backup-simplify: Simplify 1 into 1 1550619930.700 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.700 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.701 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.701 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.701 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.701 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.701 * [misc]taylor: Taking taylor expansion of x in x 1550619930.701 * [misc]backup-simplify: Simplify 0 into 0 1550619930.701 * [misc]backup-simplify: Simplify 1 into 1 1550619930.701 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.701 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.701 * [misc]backup-simplify: Simplify 1 into 1 1550619930.701 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.701 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.702 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.702 * [misc]backup-simplify: Simplify 0 into 0 1550619930.702 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.703 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550619930.703 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.703 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.704 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550619930.704 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.705 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550619930.705 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.705 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.706 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550619930.706 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.706 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550619930.707 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1550619930.707 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1550619930.707 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.707 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.707 * [misc]taylor: Taking taylor expansion of x in x 1550619930.707 * [misc]backup-simplify: Simplify 0 into 0 1550619930.707 * [misc]backup-simplify: Simplify 1 into 1 1550619930.707 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.707 * [misc]backup-simplify: Simplify 1 into 1 1550619930.707 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.707 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.707 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.708 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.708 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.708 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.708 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.708 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.708 * [misc]taylor: Taking taylor expansion of x in x 1550619930.708 * [misc]backup-simplify: Simplify 0 into 0 1550619930.708 * [misc]backup-simplify: Simplify 1 into 1 1550619930.708 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.708 * [misc]backup-simplify: Simplify 1 into 1 1550619930.709 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.709 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.709 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.709 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.709 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.710 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.710 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.710 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1550619930.710 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.713 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.713 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.715 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619930.715 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1550619930.715 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1550619930.715 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.715 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.715 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.715 * [misc]taylor: Taking taylor expansion of x in x 1550619930.715 * [misc]backup-simplify: Simplify 0 into 0 1550619930.715 * [misc]backup-simplify: Simplify 1 into 1 1550619930.715 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.715 * [misc]backup-simplify: Simplify 1 into 1 1550619930.715 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.715 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.716 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.716 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.716 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.716 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.717 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.717 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.717 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.717 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.717 * [misc]taylor: Taking taylor expansion of x in x 1550619930.717 * [misc]backup-simplify: Simplify 0 into 0 1550619930.717 * [misc]backup-simplify: Simplify 1 into 1 1550619930.717 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.717 * [misc]backup-simplify: Simplify 1 into 1 1550619930.717 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.717 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.717 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.718 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.718 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.718 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.718 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.719 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.719 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.719 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1550619930.719 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.720 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.722 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.722 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.724 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619930.724 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1550619930.724 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1550619930.724 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1550619930.724 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.724 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.724 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.724 * [misc]taylor: Taking taylor expansion of x in x 1550619930.724 * [misc]backup-simplify: Simplify 0 into 0 1550619930.724 * [misc]backup-simplify: Simplify 1 into 1 1550619930.725 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.725 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.725 * [misc]backup-simplify: Simplify 1 into 1 1550619930.725 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.725 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.726 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.726 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.726 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.726 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.726 * [misc]taylor: Taking taylor expansion of x in x 1550619930.726 * [misc]backup-simplify: Simplify 0 into 0 1550619930.726 * [misc]backup-simplify: Simplify 1 into 1 1550619930.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.726 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.726 * [misc]backup-simplify: Simplify 1 into 1 1550619930.726 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.726 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.727 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.727 * [misc]backup-simplify: Simplify 0 into 0 1550619930.727 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.727 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550619930.727 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.727 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.728 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550619930.728 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.729 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550619930.729 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.730 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550619930.730 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.731 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550619930.731 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1550619930.731 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1550619930.731 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.731 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.731 * [misc]taylor: Taking taylor expansion of x in x 1550619930.731 * [misc]backup-simplify: Simplify 0 into 0 1550619930.731 * [misc]backup-simplify: Simplify 1 into 1 1550619930.731 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.731 * [misc]backup-simplify: Simplify 1 into 1 1550619930.731 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.731 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.731 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.732 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.732 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.732 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.732 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.732 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.732 * [misc]taylor: Taking taylor expansion of x in x 1550619930.732 * [misc]backup-simplify: Simplify 0 into 0 1550619930.732 * [misc]backup-simplify: Simplify 1 into 1 1550619930.732 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.732 * [misc]backup-simplify: Simplify 1 into 1 1550619930.733 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.733 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.733 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.733 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.733 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.734 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.734 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.734 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1550619930.734 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.737 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.737 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.739 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619930.739 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1550619930.739 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1550619930.739 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.739 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.739 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.739 * [misc]taylor: Taking taylor expansion of x in x 1550619930.739 * [misc]backup-simplify: Simplify 0 into 0 1550619930.739 * [misc]backup-simplify: Simplify 1 into 1 1550619930.739 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.739 * [misc]backup-simplify: Simplify 1 into 1 1550619930.739 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.739 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.740 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.740 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.740 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.740 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.740 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.741 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.741 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.741 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.741 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.741 * [misc]taylor: Taking taylor expansion of x in x 1550619930.741 * [misc]backup-simplify: Simplify 0 into 0 1550619930.741 * [misc]backup-simplify: Simplify 1 into 1 1550619930.741 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.741 * [misc]backup-simplify: Simplify 1 into 1 1550619930.741 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.741 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.741 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.742 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.742 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.742 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.743 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.743 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1550619930.744 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.744 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.746 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.746 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.748 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619930.748 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1550619930.748 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1))) 1550619930.748 * [misc]approximate: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0 1550619930.748 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x 1550619930.748 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.748 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.748 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.748 * [misc]taylor: Taking taylor expansion of x in x 1550619930.748 * [misc]backup-simplify: Simplify 0 into 0 1550619930.748 * [misc]backup-simplify: Simplify 1 into 1 1550619930.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.749 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.749 * [misc]backup-simplify: Simplify 1 into 1 1550619930.749 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.749 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.749 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.750 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.750 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x 1550619930.750 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.750 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.750 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.750 * [misc]taylor: Taking taylor expansion of x in x 1550619930.750 * [misc]backup-simplify: Simplify 0 into 0 1550619930.750 * [misc]backup-simplify: Simplify 1 into 1 1550619930.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.750 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.750 * [misc]backup-simplify: Simplify 1 into 1 1550619930.750 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.750 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.751 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.751 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.751 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550619930.752 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.752 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.753 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550619930.755 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1550619930.755 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.755 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550619930.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.761 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550619930.766 * [misc]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 1550619930.766 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.766 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1550619930.767 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1))) 1550619930.767 * [misc]approximate: Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0 1550619930.767 * [misc]taylor: Taking taylor expansion of (log (sqrt (- x 1))) in x 1550619930.767 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.767 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.767 * [misc]taylor: Taking taylor expansion of x in x 1550619930.767 * [misc]backup-simplify: Simplify 0 into 0 1550619930.767 * [misc]backup-simplify: Simplify 1 into 1 1550619930.767 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.767 * [misc]backup-simplify: Simplify 1 into 1 1550619930.767 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.767 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.767 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.767 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.768 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.768 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.768 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.768 * [misc]taylor: Taking taylor expansion of (log (sqrt (- x 1))) in x 1550619930.768 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.769 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.769 * [misc]taylor: Taking taylor expansion of x in x 1550619930.769 * [misc]backup-simplify: Simplify 0 into 0 1550619930.769 * [misc]backup-simplify: Simplify 1 into 1 1550619930.769 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.769 * [misc]backup-simplify: Simplify 1 into 1 1550619930.769 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.769 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.769 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.769 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.769 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.770 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.770 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.771 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.774 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2)) 1550619930.775 * [misc]backup-simplify: Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2)) 1550619930.775 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.777 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.780 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.781 * [misc]backup-simplify: Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.782 * [misc]backup-simplify: Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (pow (sqrt -1) 2)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619930.782 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1)))) 1550619930.782 * [misc]approximate: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0 1550619930.782 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x 1550619930.782 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.782 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.782 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.782 * [misc]taylor: Taking taylor expansion of x in x 1550619930.782 * [misc]backup-simplify: Simplify 0 into 0 1550619930.782 * [misc]backup-simplify: Simplify 1 into 1 1550619930.782 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.782 * [misc]backup-simplify: Simplify 1 into 1 1550619930.782 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.783 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.783 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.783 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.784 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.784 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x 1550619930.784 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.784 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.784 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.784 * [misc]taylor: Taking taylor expansion of x in x 1550619930.784 * [misc]backup-simplify: Simplify 0 into 0 1550619930.784 * [misc]backup-simplify: Simplify 1 into 1 1550619930.784 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.784 * [misc]backup-simplify: Simplify 1 into 1 1550619930.784 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.784 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.784 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.784 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.784 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.784 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.784 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.785 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.785 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.785 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.787 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2)) 1550619930.788 * [misc]backup-simplify: Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2)) 1550619930.788 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.788 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.789 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.793 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.794 * [misc]backup-simplify: Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.795 * [misc]backup-simplify: Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (pow (sqrt -1) 2)) (/ 1 (- x))) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619930.795 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1) 1550619930.795 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1))) 1550619930.795 * [misc]approximate: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0 1550619930.795 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x 1550619930.795 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.795 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.795 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.795 * [misc]taylor: Taking taylor expansion of x in x 1550619930.795 * [misc]backup-simplify: Simplify 0 into 0 1550619930.795 * [misc]backup-simplify: Simplify 1 into 1 1550619930.796 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.796 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.796 * [misc]backup-simplify: Simplify 1 into 1 1550619930.796 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.796 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.796 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.796 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.796 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x 1550619930.796 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550619930.796 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550619930.796 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550619930.797 * [misc]taylor: Taking taylor expansion of x in x 1550619930.797 * [misc]backup-simplify: Simplify 0 into 0 1550619930.797 * [misc]backup-simplify: Simplify 1 into 1 1550619930.797 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550619930.797 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.797 * [misc]backup-simplify: Simplify 1 into 1 1550619930.797 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.797 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550619930.797 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550619930.797 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.797 * [misc]backup-simplify: Simplify (log +nan.0) into (log +nan.0) 1550619930.798 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550619930.798 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.798 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.798 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550619930.800 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 1550619930.800 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.800 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550619930.800 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.801 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550619930.803 * [misc]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 1550619930.803 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550619930.803 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1550619930.804 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1))) 1550619930.804 * [misc]approximate: Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0 1550619930.804 * [misc]taylor: Taking taylor expansion of (log (sqrt (- x 1))) in x 1550619930.804 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.804 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.804 * [misc]taylor: Taking taylor expansion of x in x 1550619930.804 * [misc]backup-simplify: Simplify 0 into 0 1550619930.804 * [misc]backup-simplify: Simplify 1 into 1 1550619930.804 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.804 * [misc]backup-simplify: Simplify 1 into 1 1550619930.804 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.804 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.804 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.804 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.804 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.805 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.805 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.805 * [misc]taylor: Taking taylor expansion of (log (sqrt (- x 1))) in x 1550619930.805 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550619930.805 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550619930.805 * [misc]taylor: Taking taylor expansion of x in x 1550619930.805 * [misc]backup-simplify: Simplify 0 into 0 1550619930.805 * [misc]backup-simplify: Simplify 1 into 1 1550619930.805 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.805 * [misc]backup-simplify: Simplify 1 into 1 1550619930.806 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.806 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550619930.806 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.806 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.806 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.807 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550619930.807 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.807 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.811 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1/2 (pow (sqrt -1) 2)) 1550619930.812 * [misc]backup-simplify: Simplify (/ 1/2 (pow (sqrt -1) 2)) into (/ 1/2 (pow (sqrt -1) 2)) 1550619930.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.814 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.821 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.821 * [misc]backup-simplify: Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.823 * [misc]backup-simplify: Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (pow (sqrt -1) 2)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619930.824 * [misc]backup-simplify: Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1)))) 1550619930.824 * [misc]approximate: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0 1550619930.824 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x 1550619930.824 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.824 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.824 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.824 * [misc]taylor: Taking taylor expansion of x in x 1550619930.824 * [misc]backup-simplify: Simplify 0 into 0 1550619930.824 * [misc]backup-simplify: Simplify 1 into 1 1550619930.824 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.824 * [misc]backup-simplify: Simplify 1 into 1 1550619930.824 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.824 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.824 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.824 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.825 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.825 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.825 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.825 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.826 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.826 * [misc]taylor: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x 1550619930.826 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550619930.826 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550619930.826 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550619930.826 * [misc]taylor: Taking taylor expansion of x in x 1550619930.826 * [misc]backup-simplify: Simplify 0 into 0 1550619930.826 * [misc]backup-simplify: Simplify 1 into 1 1550619930.826 * [misc]taylor: Taking taylor expansion of 1 in x 1550619930.826 * [misc]backup-simplify: Simplify 1 into 1 1550619930.826 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550619930.826 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.827 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.827 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550619930.827 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550619930.827 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.827 * [misc]backup-simplify: Simplify (- 1) into -1 1550619930.828 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550619930.828 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.828 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1550619930.832 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into (/ -1/2 (pow (sqrt -1) 2)) 1550619930.833 * [misc]backup-simplify: Simplify (/ -1/2 (pow (sqrt -1) 2)) into (/ -1/2 (pow (sqrt -1) 2)) 1550619930.833 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550619930.833 * [misc]backup-simplify: Simplify (- 0) into 0 1550619930.835 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550619930.842 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ -1/8 (pow (sqrt -1) 3))) 1)) (pow (sqrt -1) 1)))) 2) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.842 * [misc]backup-simplify: Simplify (/ -1/4 (pow (sqrt -1) 4)) into (/ -1/4 (pow (sqrt -1) 4)) 1550619930.845 * [misc]backup-simplify: Simplify (+ (* (/ -1/4 (pow (sqrt -1) 4)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (pow (sqrt -1) 2)) (/ 1 (- x))) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619930.845 * * * [misc]progress: simplifying candidates 1550619930.845 * * * * [misc]progress: [ 1 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 2 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 3 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 4 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 5 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 6 / 84 ] simplifiying candidate # 1550619930.845 * * * * [misc]progress: [ 7 / 84 ] simplifiying candidate # 1550619930.846 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550619930.846 * * [misc]simplify: iters left: 6 (7 enodes) 1550619930.850 * * [misc]simplify: iters left: 5 (27 enodes) 1550619930.859 * * [misc]simplify: iters left: 4 (31 enodes) 1550619930.868 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.868 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550619930.868 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619930.868 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550619930.868 * * [misc]simplify: Extracting #4: cost 11 inf + 2 1550619930.868 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1550619930.868 * * [misc]simplify: Extracting #6: cost 7 inf + 169 1550619930.868 * * [misc]simplify: Extracting #7: cost 1 inf + 1181 1550619930.869 * * [misc]simplify: Extracting #8: cost 0 inf + 1383 1550619930.869 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1550619930.869 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))))))) 1550619930.870 * * * * [misc]progress: [ 8 / 84 ] simplifiying candidate # 1550619930.870 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1550619930.870 * * [misc]simplify: iters left: 6 (6 enodes) 1550619930.874 * * [misc]simplify: iters left: 5 (23 enodes) 1550619930.881 * * [misc]simplify: iters left: 4 (27 enodes) 1550619930.889 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.889 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619930.889 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619930.889 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619930.889 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550619930.889 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550619930.889 * * [misc]simplify: Extracting #6: cost 1 inf + 657 1550619930.889 * * [misc]simplify: Extracting #7: cost 0 inf + 819 1550619930.889 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1550619930.889 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))))))) 1550619930.889 * * * * [misc]progress: [ 9 / 84 ] simplifiying candidate # 1550619930.890 * [enter]simplify: Simplifying (sqrt 1) 1550619930.890 * * [misc]simplify: iters left: 1 (2 enodes) 1550619930.891 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.891 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619930.892 * [exit]simplify: Simplified to 1 1550619930.892 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1550619930.892 * * * * [misc]progress: [ 10 / 84 ] simplifiying candidate # 1550619930.892 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1550619930.892 * * [misc]simplify: iters left: 6 (6 enodes) 1550619930.894 * * [misc]simplify: iters left: 5 (21 enodes) 1550619930.898 * * [misc]simplify: iters left: 4 (23 enodes) 1550619930.903 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.903 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619930.903 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550619930.903 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550619930.903 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550619930.903 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550619930.903 * * [misc]simplify: Extracting #6: cost 1 inf + 656 1550619930.903 * * [misc]simplify: Extracting #7: cost 0 inf + 818 1550619930.904 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1550619930.904 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))))) 1550619930.904 * * * * [misc]progress: [ 11 / 84 ] simplifiying candidate # 1550619930.904 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1550619930.904 * * [misc]simplify: iters left: 6 (8 enodes) 1550619930.907 * * [misc]simplify: iters left: 5 (34 enodes) 1550619930.913 * * [misc]simplify: iters left: 4 (55 enodes) 1550619930.923 * * [misc]simplify: iters left: 3 (67 enodes) 1550619930.934 * * [misc]simplify: iters left: 2 (73 enodes) 1550619930.946 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619930.946 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619930.946 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619930.946 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550619930.947 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550619930.947 * * [misc]simplify: Extracting #5: cost 2 inf + 1184 1550619930.948 * * [misc]simplify: Extracting #6: cost 0 inf + 1468 1550619930.949 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1550619930.949 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1550619930.949 * * * * [misc]progress: [ 12 / 84 ] simplifiying candidate # 1550619930.949 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550619930.949 * * [misc]simplify: iters left: 6 (7 enodes) 1550619930.954 * * [misc]simplify: iters left: 5 (28 enodes) 1550619930.963 * * [misc]simplify: iters left: 4 (39 enodes) 1550619930.975 * * [misc]simplify: iters left: 3 (53 enodes) 1550619930.983 * * [misc]simplify: iters left: 2 (72 enodes) 1550619931.000 * * [misc]simplify: iters left: 1 (114 enodes) 1550619931.043 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.043 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.044 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550619931.044 * * [misc]simplify: Extracting #3: cost 41 inf + 2 1550619931.044 * * [misc]simplify: Extracting #4: cost 40 inf + 45 1550619931.046 * * [misc]simplify: Extracting #5: cost 17 inf + 2614 1550619931.048 * * [misc]simplify: Extracting #6: cost 0 inf + 5215 1550619931.051 * [exit]simplify: Simplified to (sqrt (- (/ 1 (* x x)) 1)) 1550619931.051 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ 1 (* x x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1550619931.051 * * * * [misc]progress: [ 13 / 84 ] simplifiying candidate # 1550619931.051 * * * * [misc]progress: [ 14 / 84 ] simplifiying candidate # 1550619931.052 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550619931.052 * * [misc]simplify: iters left: 5 (5 enodes) 1550619931.055 * * [misc]simplify: iters left: 4 (20 enodes) 1550619931.062 * * [misc]simplify: iters left: 3 (24 enodes) 1550619931.069 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.069 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.069 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.069 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550619931.070 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550619931.070 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550619931.070 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1550619931.070 * * * * [misc]progress: [ 15 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 16 / 84 ] simplifiying candidate #real (real->posit16 (sqrt (- (/ 1 x) 1))))))))> 1550619931.070 * * * * [misc]progress: [ 17 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 18 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 19 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 20 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 21 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 22 / 84 ] simplifiying candidate # 1550619931.070 * * * * [misc]progress: [ 23 / 84 ] simplifiying candidate # 1550619931.071 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550619931.071 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.075 * * [misc]simplify: iters left: 5 (27 enodes) 1550619931.083 * * [misc]simplify: iters left: 4 (31 enodes) 1550619931.093 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.093 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550619931.093 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.093 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550619931.093 * * [misc]simplify: Extracting #4: cost 11 inf + 2 1550619931.093 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1550619931.093 * * [misc]simplify: Extracting #6: cost 7 inf + 169 1550619931.094 * * [misc]simplify: Extracting #7: cost 1 inf + 1181 1550619931.094 * * [misc]simplify: Extracting #8: cost 0 inf + 1383 1550619931.094 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1550619931.095 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.095 * * * * [misc]progress: [ 24 / 84 ] simplifiying candidate # 1550619931.095 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1550619931.095 * * [misc]simplify: iters left: 6 (6 enodes) 1550619931.099 * * [misc]simplify: iters left: 5 (23 enodes) 1550619931.107 * * [misc]simplify: iters left: 4 (27 enodes) 1550619931.115 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.115 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.115 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.115 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.115 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550619931.116 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550619931.116 * * [misc]simplify: Extracting #6: cost 1 inf + 657 1550619931.116 * * [misc]simplify: Extracting #7: cost 0 inf + 819 1550619931.117 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1550619931.117 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.117 * * * * [misc]progress: [ 25 / 84 ] simplifiying candidate # 1550619931.117 * [enter]simplify: Simplifying (sqrt 1) 1550619931.117 * * [misc]simplify: iters left: 1 (2 enodes) 1550619931.121 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.121 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619931.121 * [exit]simplify: Simplified to 1 1550619931.121 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.121 * * * * [misc]progress: [ 26 / 84 ] simplifiying candidate # 1550619931.122 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1550619931.122 * * [misc]simplify: iters left: 6 (6 enodes) 1550619931.125 * * [misc]simplify: iters left: 5 (21 enodes) 1550619931.132 * * [misc]simplify: iters left: 4 (23 enodes) 1550619931.139 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.139 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.139 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550619931.139 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550619931.139 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550619931.139 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550619931.139 * * [misc]simplify: Extracting #6: cost 1 inf + 656 1550619931.139 * * [misc]simplify: Extracting #7: cost 0 inf + 818 1550619931.140 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1550619931.140 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.140 * * * * [misc]progress: [ 27 / 84 ] simplifiying candidate # 1550619931.140 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1550619931.141 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.147 * * [misc]simplify: iters left: 5 (34 enodes) 1550619931.160 * * [misc]simplify: iters left: 4 (55 enodes) 1550619931.178 * * [misc]simplify: iters left: 3 (67 enodes) 1550619931.199 * * [misc]simplify: iters left: 2 (73 enodes) 1550619931.213 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.213 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.213 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.213 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550619931.213 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550619931.214 * * [misc]simplify: Extracting #5: cost 2 inf + 1184 1550619931.214 * * [misc]simplify: Extracting #6: cost 0 inf + 1468 1550619931.214 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1550619931.215 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.215 * * * * [misc]progress: [ 28 / 84 ] simplifiying candidate # 1550619931.215 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550619931.215 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.218 * * [misc]simplify: iters left: 5 (28 enodes) 1550619931.223 * * [misc]simplify: iters left: 4 (39 enodes) 1550619931.230 * * [misc]simplify: iters left: 3 (53 enodes) 1550619931.239 * * [misc]simplify: iters left: 2 (72 enodes) 1550619931.253 * * [misc]simplify: iters left: 1 (114 enodes) 1550619931.291 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.291 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.291 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550619931.291 * * [misc]simplify: Extracting #3: cost 41 inf + 2 1550619931.292 * * [misc]simplify: Extracting #4: cost 40 inf + 45 1550619931.293 * * [misc]simplify: Extracting #5: cost 17 inf + 2614 1550619931.296 * * [misc]simplify: Extracting #6: cost 0 inf + 5215 1550619931.298 * [exit]simplify: Simplified to (sqrt (- (/ 1 (* x x)) 1)) 1550619931.299 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ 1 (* x x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.299 * * * * [misc]progress: [ 29 / 84 ] simplifiying candidate # 1550619931.299 * * * * [misc]progress: [ 30 / 84 ] simplifiying candidate # 1550619931.299 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550619931.299 * * [misc]simplify: iters left: 5 (5 enodes) 1550619931.303 * * [misc]simplify: iters left: 4 (20 enodes) 1550619931.310 * * [misc]simplify: iters left: 3 (24 enodes) 1550619931.318 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.318 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.318 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.318 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550619931.319 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550619931.319 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550619931.319 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.319 * * * * [misc]progress: [ 31 / 84 ] simplifiying candidate # 1550619931.319 * * * * [misc]progress: [ 32 / 84 ] simplifiying candidate #real (real->posit16 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))> 1550619931.319 * * * * [misc]progress: [ 33 / 84 ] simplifiying candidate # 1550619931.319 * [enter]simplify: Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) 1550619931.320 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.324 * * [misc]simplify: iters left: 5 (31 enodes) 1550619931.331 * * [misc]simplify: iters left: 4 (37 enodes) 1550619931.337 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.337 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550619931.337 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.337 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.337 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.337 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550619931.337 * * [misc]simplify: Extracting #6: cost 15 inf + 2 1550619931.337 * * [misc]simplify: Extracting #7: cost 14 inf + 3 1550619931.337 * * [misc]simplify: Extracting #8: cost 11 inf + 169 1550619931.338 * * [misc]simplify: Extracting #9: cost 7 inf + 697 1550619931.338 * * [misc]simplify: Extracting #10: cost 0 inf + 2551 1550619931.338 * [exit]simplify: Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) 1550619931.338 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1)))))))) 1550619931.338 * * * * [misc]progress: [ 34 / 84 ] simplifiying candidate # 1550619931.339 * [enter]simplify: Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) 1550619931.339 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.341 * * [misc]simplify: iters left: 5 (30 enodes) 1550619931.346 * * [misc]simplify: iters left: 4 (34 enodes) 1550619931.352 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.352 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.352 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550619931.352 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.352 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550619931.352 * * [misc]simplify: Extracting #5: cost 13 inf + 2 1550619931.352 * * [misc]simplify: Extracting #6: cost 12 inf + 3 1550619931.352 * * [misc]simplify: Extracting #7: cost 9 inf + 169 1550619931.352 * * [misc]simplify: Extracting #8: cost 3 inf + 1291 1550619931.352 * * [misc]simplify: Extracting #9: cost 0 inf + 1927 1550619931.353 * [exit]simplify: Simplified to (log (fabs (cbrt (- (/ 1 x) 1)))) 1550619931.353 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1)))))))) 1550619931.353 * * * * [misc]progress: [ 35 / 84 ] simplifiying candidate # 1550619931.353 * [enter]simplify: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.353 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.355 * * [misc]simplify: iters left: 5 (26 enodes) 1550619931.363 * * [misc]simplify: iters left: 4 (30 enodes) 1550619931.372 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.372 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.372 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.372 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550619931.372 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.372 * * [misc]simplify: Extracting #5: cost 11 inf + 2 1550619931.373 * * [misc]simplify: Extracting #6: cost 10 inf + 3 1550619931.373 * * [misc]simplify: Extracting #7: cost 6 inf + 251 1550619931.373 * * [misc]simplify: Extracting #8: cost 4 inf + 535 1550619931.373 * * [misc]simplify: Extracting #9: cost 1 inf + 1051 1550619931.374 * * [misc]simplify: Extracting #10: cost 0 inf + 1283 1550619931.374 * [exit]simplify: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.374 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1)))))))) 1550619931.374 * * * * [misc]progress: [ 36 / 84 ] simplifiying candidate # 1550619931.375 * [enter]simplify: Simplifying (log (sqrt 1)) 1550619931.375 * * [misc]simplify: iters left: 2 (3 enodes) 1550619931.378 * * [misc]simplify: iters left: 1 (11 enodes) 1550619931.380 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.380 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619931.380 * [exit]simplify: Simplified to 0 1550619931.380 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1))))))) 1550619931.380 * * * * [misc]progress: [ 37 / 84 ] simplifiying candidate # 1550619931.380 * [enter]simplify: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1))) 1550619931.380 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.384 * * [misc]simplify: iters left: 5 (24 enodes) 1550619931.388 * * [misc]simplify: iters left: 4 (26 enodes) 1550619931.392 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.392 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.392 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.392 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550619931.392 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550619931.392 * * [misc]simplify: Extracting #5: cost 11 inf + 1 1550619931.392 * * [misc]simplify: Extracting #6: cost 10 inf + 2 1550619931.392 * * [misc]simplify: Extracting #7: cost 6 inf + 250 1550619931.393 * * [misc]simplify: Extracting #8: cost 2 inf + 888 1550619931.393 * * [misc]simplify: Extracting #9: cost 0 inf + 1282 1550619931.393 * [exit]simplify: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1))) 1550619931.393 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1))))))) 1550619931.393 * * * * [misc]progress: [ 38 / 84 ] simplifiying candidate # 1550619931.393 * [enter]simplify: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.393 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.396 * * [misc]simplify: iters left: 5 (26 enodes) 1550619931.400 * * [misc]simplify: iters left: 4 (30 enodes) 1550619931.405 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.405 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.405 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.405 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550619931.405 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.405 * * [misc]simplify: Extracting #5: cost 11 inf + 2 1550619931.405 * * [misc]simplify: Extracting #6: cost 10 inf + 3 1550619931.405 * * [misc]simplify: Extracting #7: cost 6 inf + 251 1550619931.405 * * [misc]simplify: Extracting #8: cost 4 inf + 535 1550619931.406 * * [misc]simplify: Extracting #9: cost 1 inf + 1051 1550619931.406 * * [misc]simplify: Extracting #10: cost 0 inf + 1283 1550619931.406 * [exit]simplify: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.406 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1)))))))) 1550619931.406 * * * * [misc]progress: [ 39 / 84 ] simplifiying candidate # 1550619931.406 * [enter]simplify: Simplifying (log 1) 1550619931.406 * * [misc]simplify: iters left: 1 (2 enodes) 1550619931.408 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.408 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619931.408 * [exit]simplify: Simplified to 0 1550619931.408 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1))))))) 1550619931.408 * * * * [misc]progress: [ 40 / 84 ] simplifiying candidate # 1550619931.408 * [enter]simplify: Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) 1550619931.409 * * [misc]simplify: iters left: 6 (9 enodes) 1550619931.415 * * [misc]simplify: iters left: 5 (37 enodes) 1550619931.427 * * [misc]simplify: iters left: 4 (58 enodes) 1550619931.443 * * [misc]simplify: iters left: 3 (70 enodes) 1550619931.455 * * [misc]simplify: iters left: 2 (76 enodes) 1550619931.470 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.470 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.470 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.470 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.470 * * [misc]simplify: Extracting #4: cost 14 inf + 2 1550619931.470 * * [misc]simplify: Extracting #5: cost 16 inf + 4 1550619931.471 * * [misc]simplify: Extracting #6: cost 3 inf + 2475 1550619931.472 * * [misc]simplify: Extracting #7: cost 1 inf + 1871 1550619931.473 * * [misc]simplify: Extracting #8: cost 0 inf + 2143 1550619931.474 * * [misc]simplify: Extracting #9: cost 0 inf + 2012 1550619931.474 * [exit]simplify: Simplified to (log (sqrt (- (/ (/ 1 (* x x)) x) 1))) 1550619931.475 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (/ (/ 1 (* x x)) x) 1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1550619931.475 * * * * [misc]progress: [ 41 / 84 ] simplifiying candidate # 1550619931.475 * [enter]simplify: Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) 1550619931.475 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.480 * * [misc]simplify: iters left: 5 (31 enodes) 1550619931.491 * * [misc]simplify: iters left: 4 (42 enodes) 1550619931.508 * * [misc]simplify: iters left: 3 (56 enodes) 1550619931.524 * * [misc]simplify: iters left: 2 (75 enodes) 1550619931.552 * * [misc]simplify: iters left: 1 (117 enodes) 1550619931.602 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.602 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.602 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.602 * * [misc]simplify: Extracting #3: cost 33 inf + 0 1550619931.602 * * [misc]simplify: Extracting #4: cost 43 inf + 2 1550619931.602 * * [misc]simplify: Extracting #5: cost 43 inf + 3 1550619931.603 * * [misc]simplify: Extracting #6: cost 26 inf + 1796 1550619931.606 * * [misc]simplify: Extracting #7: cost 0 inf + 5595 1550619931.609 * [exit]simplify: Simplified to (log (sqrt (- (/ (/ 1 x) x) 1))) 1550619931.609 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (/ (/ 1 x) x) 1))) (log (sqrt (+ (/ 1 x) 1))))))) 1550619931.609 * * * * [misc]progress: [ 42 / 84 ] simplifiying candidate # 1550619931.609 * * * * [misc]progress: [ 43 / 84 ] simplifiying candidate # 1550619931.609 * * * * [misc]progress: [ 44 / 84 ] simplifiying candidate # 1550619931.609 * * * * [misc]progress: [ 45 / 84 ] simplifiying candidate # 1550619931.610 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550619931.610 * * [misc]simplify: iters left: 5 (5 enodes) 1550619931.613 * * [misc]simplify: iters left: 4 (20 enodes) 1550619931.620 * * [misc]simplify: iters left: 3 (24 enodes) 1550619931.627 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.627 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.627 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.627 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550619931.627 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550619931.627 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550619931.627 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.628 * * * * [misc]progress: [ 46 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 47 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 48 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 49 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 50 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 51 / 84 ] simplifiying candidate # 1550619931.628 * * * * [misc]progress: [ 52 / 84 ] simplifiying candidate #real (real->posit16 (log (sqrt (- (/ 1 x) 1))))))))> 1550619931.628 * * * * [misc]progress: [ 53 / 84 ] simplifiying candidate # 1550619931.628 * [enter]simplify: Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) 1550619931.629 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.633 * * [misc]simplify: iters left: 5 (31 enodes) 1550619931.643 * * [misc]simplify: iters left: 4 (37 enodes) 1550619931.652 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.652 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550619931.652 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.652 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.654 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.654 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550619931.654 * * [misc]simplify: Extracting #6: cost 15 inf + 2 1550619931.654 * * [misc]simplify: Extracting #7: cost 14 inf + 3 1550619931.654 * * [misc]simplify: Extracting #8: cost 11 inf + 169 1550619931.654 * * [misc]simplify: Extracting #9: cost 7 inf + 697 1550619931.654 * * [misc]simplify: Extracting #10: cost 0 inf + 2551 1550619931.655 * [exit]simplify: Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) 1550619931.655 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.655 * * * * [misc]progress: [ 54 / 84 ] simplifiying candidate # 1550619931.655 * [enter]simplify: Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) 1550619931.655 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.658 * * [misc]simplify: iters left: 5 (30 enodes) 1550619931.664 * * [misc]simplify: iters left: 4 (34 enodes) 1550619931.669 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.669 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.669 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550619931.669 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.669 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550619931.669 * * [misc]simplify: Extracting #5: cost 13 inf + 2 1550619931.669 * * [misc]simplify: Extracting #6: cost 12 inf + 3 1550619931.669 * * [misc]simplify: Extracting #7: cost 9 inf + 169 1550619931.670 * * [misc]simplify: Extracting #8: cost 3 inf + 1291 1550619931.670 * * [misc]simplify: Extracting #9: cost 0 inf + 1927 1550619931.670 * [exit]simplify: Simplified to (log (fabs (cbrt (- (/ 1 x) 1)))) 1550619931.670 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.670 * * * * [misc]progress: [ 55 / 84 ] simplifiying candidate # 1550619931.671 * [enter]simplify: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.671 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.673 * * [misc]simplify: iters left: 5 (26 enodes) 1550619931.679 * * [misc]simplify: iters left: 4 (30 enodes) 1550619931.684 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.684 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.684 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.684 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550619931.684 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.684 * * [misc]simplify: Extracting #5: cost 11 inf + 2 1550619931.684 * * [misc]simplify: Extracting #6: cost 10 inf + 3 1550619931.684 * * [misc]simplify: Extracting #7: cost 6 inf + 251 1550619931.684 * * [misc]simplify: Extracting #8: cost 4 inf + 535 1550619931.684 * * [misc]simplify: Extracting #9: cost 1 inf + 1051 1550619931.684 * * [misc]simplify: Extracting #10: cost 0 inf + 1283 1550619931.685 * [exit]simplify: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.685 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.685 * * * * [misc]progress: [ 56 / 84 ] simplifiying candidate # 1550619931.685 * [enter]simplify: Simplifying (log (sqrt 1)) 1550619931.686 * * [misc]simplify: iters left: 2 (3 enodes) 1550619931.690 * * [misc]simplify: iters left: 1 (11 enodes) 1550619931.692 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.693 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619931.693 * [exit]simplify: Simplified to 0 1550619931.693 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.693 * * * * [misc]progress: [ 57 / 84 ] simplifiying candidate # 1550619931.693 * [enter]simplify: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1))) 1550619931.693 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.697 * * [misc]simplify: iters left: 5 (24 enodes) 1550619931.701 * * [misc]simplify: iters left: 4 (26 enodes) 1550619931.705 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.705 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.705 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.705 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550619931.705 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550619931.705 * * [misc]simplify: Extracting #5: cost 11 inf + 1 1550619931.705 * * [misc]simplify: Extracting #6: cost 10 inf + 2 1550619931.705 * * [misc]simplify: Extracting #7: cost 6 inf + 250 1550619931.705 * * [misc]simplify: Extracting #8: cost 2 inf + 888 1550619931.705 * * [misc]simplify: Extracting #9: cost 0 inf + 1282 1550619931.706 * [exit]simplify: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1))) 1550619931.706 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.706 * * * * [misc]progress: [ 58 / 84 ] simplifiying candidate # 1550619931.706 * [enter]simplify: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.706 * * [misc]simplify: iters left: 6 (7 enodes) 1550619931.708 * * [misc]simplify: iters left: 5 (26 enodes) 1550619931.713 * * [misc]simplify: iters left: 4 (30 enodes) 1550619931.718 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.718 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.718 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.718 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550619931.718 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550619931.718 * * [misc]simplify: Extracting #5: cost 11 inf + 2 1550619931.718 * * [misc]simplify: Extracting #6: cost 10 inf + 3 1550619931.719 * * [misc]simplify: Extracting #7: cost 6 inf + 251 1550619931.719 * * [misc]simplify: Extracting #8: cost 4 inf + 535 1550619931.719 * * [misc]simplify: Extracting #9: cost 1 inf + 1051 1550619931.719 * * [misc]simplify: Extracting #10: cost 0 inf + 1283 1550619931.719 * [exit]simplify: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1)))) 1550619931.719 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.719 * * * * [misc]progress: [ 59 / 84 ] simplifiying candidate # 1550619931.720 * [enter]simplify: Simplifying (log 1) 1550619931.720 * * [misc]simplify: iters left: 1 (2 enodes) 1550619931.721 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.721 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550619931.721 * [exit]simplify: Simplified to 0 1550619931.721 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.721 * * * * [misc]progress: [ 60 / 84 ] simplifiying candidate # 1550619931.721 * [enter]simplify: Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) 1550619931.721 * * [misc]simplify: iters left: 6 (9 enodes) 1550619931.725 * * [misc]simplify: iters left: 5 (37 enodes) 1550619931.732 * * [misc]simplify: iters left: 4 (58 enodes) 1550619931.749 * * [misc]simplify: iters left: 3 (70 enodes) 1550619931.774 * * [misc]simplify: iters left: 2 (76 enodes) 1550619931.795 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.796 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.796 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.796 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550619931.796 * * [misc]simplify: Extracting #4: cost 14 inf + 2 1550619931.796 * * [misc]simplify: Extracting #5: cost 16 inf + 4 1550619931.796 * * [misc]simplify: Extracting #6: cost 3 inf + 2475 1550619931.797 * * [misc]simplify: Extracting #7: cost 1 inf + 1871 1550619931.798 * * [misc]simplify: Extracting #8: cost 0 inf + 2143 1550619931.799 * * [misc]simplify: Extracting #9: cost 0 inf + 2012 1550619931.800 * [exit]simplify: Simplified to (log (sqrt (- (/ (/ 1 (* x x)) x) 1))) 1550619931.800 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (- (/ (/ 1 (* x x)) x) 1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.800 * * * * [misc]progress: [ 61 / 84 ] simplifiying candidate # 1550619931.800 * [enter]simplify: Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) 1550619931.800 * * [misc]simplify: iters left: 6 (8 enodes) 1550619931.803 * * [misc]simplify: iters left: 5 (31 enodes) 1550619931.810 * * [misc]simplify: iters left: 4 (42 enodes) 1550619931.817 * * [misc]simplify: iters left: 3 (56 enodes) 1550619931.827 * * [misc]simplify: iters left: 2 (75 enodes) 1550619931.843 * * [misc]simplify: iters left: 1 (117 enodes) 1550619931.889 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.889 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.889 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619931.889 * * [misc]simplify: Extracting #3: cost 33 inf + 0 1550619931.889 * * [misc]simplify: Extracting #4: cost 43 inf + 2 1550619931.890 * * [misc]simplify: Extracting #5: cost 43 inf + 3 1550619931.891 * * [misc]simplify: Extracting #6: cost 26 inf + 1796 1550619931.893 * * [misc]simplify: Extracting #7: cost 0 inf + 5595 1550619931.896 * [exit]simplify: Simplified to (log (sqrt (- (/ (/ 1 x) x) 1))) 1550619931.896 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (- (/ (/ 1 x) x) 1))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.896 * * * * [misc]progress: [ 62 / 84 ] simplifiying candidate # 1550619931.896 * * * * [misc]progress: [ 63 / 84 ] simplifiying candidate # 1550619931.896 * * * * [misc]progress: [ 64 / 84 ] simplifiying candidate # 1550619931.896 * * * * [misc]progress: [ 65 / 84 ] simplifiying candidate # 1550619931.897 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550619931.897 * * [misc]simplify: iters left: 5 (5 enodes) 1550619931.900 * * [misc]simplify: iters left: 4 (20 enodes) 1550619931.906 * * [misc]simplify: iters left: 3 (24 enodes) 1550619931.912 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619931.912 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619931.912 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550619931.912 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550619931.912 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550619931.912 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550619931.912 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550619931.912 * * * * [misc]progress: [ 66 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 67 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 68 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 69 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 70 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 71 / 84 ] simplifiying candidate # 1550619931.912 * * * * [misc]progress: [ 72 / 84 ] simplifiying candidate #real (real->posit16 (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))> 1550619931.912 * * * * [misc]progress: [ 73 / 84 ] simplifiying candidate # 1550619931.912 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550619931.912 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0)))) 1550619931.913 * * * * [misc]progress: [ 74 / 84 ] simplifiying candidate # 1550619931.913 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619931.913 * * [misc]simplify: iters left: 6 (18 enodes) 1550619931.920 * * [misc]simplify: iters left: 5 (77 enodes) 1550619931.936 * * [misc]simplify: iters left: 4 (137 enodes) 1550619931.976 * * [misc]simplify: iters left: 3 (240 enodes) 1550619932.051 * * [misc]simplify: iters left: 2 (392 enodes) 1550619932.225 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619932.225 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550619932.225 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550619932.226 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550619932.229 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550619932.235 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550619932.241 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550619932.247 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550619932.247 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))))))) 1550619932.247 * * * * [misc]progress: [ 75 / 84 ] simplifiying candidate # 1550619932.248 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619932.248 * * [misc]simplify: iters left: 6 (18 enodes) 1550619932.256 * * [misc]simplify: iters left: 5 (77 enodes) 1550619932.285 * * [misc]simplify: iters left: 4 (137 enodes) 1550619932.341 * * [misc]simplify: iters left: 3 (240 enodes) 1550619932.421 * * [misc]simplify: iters left: 2 (392 enodes) 1550619932.554 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619932.554 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550619932.554 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550619932.555 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550619932.558 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550619932.564 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550619932.570 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550619932.576 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550619932.576 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))))))) 1550619932.576 * * * * [misc]progress: [ 76 / 84 ] simplifiying candidate # 1550619932.576 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550619932.577 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1550619932.577 * * * * [misc]progress: [ 77 / 84 ] simplifiying candidate # 1550619932.577 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619932.577 * * [misc]simplify: iters left: 6 (18 enodes) 1550619932.584 * * [misc]simplify: iters left: 5 (77 enodes) 1550619932.616 * * [misc]simplify: iters left: 4 (137 enodes) 1550619932.647 * * [misc]simplify: iters left: 3 (240 enodes) 1550619932.720 * * [misc]simplify: iters left: 2 (392 enodes) 1550619932.843 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619932.843 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550619932.843 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550619932.844 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550619932.847 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550619932.853 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550619932.862 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550619932.868 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550619932.868 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619932.868 * * * * [misc]progress: [ 78 / 84 ] simplifiying candidate # 1550619932.868 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550619932.868 * * [misc]simplify: iters left: 6 (18 enodes) 1550619932.875 * * [misc]simplify: iters left: 5 (77 enodes) 1550619932.891 * * [misc]simplify: iters left: 4 (137 enodes) 1550619932.918 * * [misc]simplify: iters left: 3 (240 enodes) 1550619932.979 * * [misc]simplify: iters left: 2 (392 enodes) 1550619933.140 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619933.140 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550619933.140 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550619933.141 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550619933.144 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550619933.156 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550619933.167 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550619933.179 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550619933.180 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x))))) (log (sqrt (- (/ 1 x) 1)))))) 1550619933.180 * * * * [misc]progress: [ 79 / 84 ] simplifiying candidate # 1550619933.180 * [enter]simplify: Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1550619933.180 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) +nan.0))) 1550619933.180 * * * * [misc]progress: [ 80 / 84 ] simplifiying candidate # 1550619933.181 * [enter]simplify: Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619933.181 * * [misc]simplify: iters left: 6 (20 enodes) 1550619933.194 * * [misc]simplify: iters left: 5 (81 enodes) 1550619933.223 * * [misc]simplify: iters left: 4 (132 enodes) 1550619933.261 * * [misc]simplify: iters left: 3 (184 enodes) 1550619933.296 * * [misc]simplify: iters left: 2 (257 enodes) 1550619933.349 * * [misc]simplify: iters left: 1 (385 enodes) 1550619933.495 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619933.495 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619933.495 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550619933.496 * * [misc]simplify: Extracting #3: cost 121 inf + 629 1550619933.500 * * [misc]simplify: Extracting #4: cost 58 inf + 12089 1550619933.508 * * [misc]simplify: Extracting #5: cost 4 inf + 28938 1550619933.519 * * [misc]simplify: Extracting #6: cost 0 inf + 30694 1550619933.529 * [exit]simplify: Simplified to (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) 1550619933.529 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1))))))) 1550619933.529 * * * * [misc]progress: [ 81 / 84 ] simplifiying candidate # 1550619933.530 * [enter]simplify: Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619933.530 * * [misc]simplify: iters left: 6 (20 enodes) 1550619933.542 * * [misc]simplify: iters left: 5 (81 enodes) 1550619933.559 * * [misc]simplify: iters left: 4 (132 enodes) 1550619933.588 * * [misc]simplify: iters left: 3 (184 enodes) 1550619933.647 * * [misc]simplify: iters left: 2 (257 enodes) 1550619933.720 * * [misc]simplify: iters left: 1 (385 enodes) 1550619933.823 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619933.824 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619933.824 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550619933.824 * * [misc]simplify: Extracting #3: cost 121 inf + 629 1550619933.826 * * [misc]simplify: Extracting #4: cost 58 inf + 12089 1550619933.830 * * [misc]simplify: Extracting #5: cost 4 inf + 28938 1550619933.835 * * [misc]simplify: Extracting #6: cost 0 inf + 30694 1550619933.845 * [exit]simplify: Simplified to (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) 1550619933.845 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1))))))) 1550619933.845 * * * * [misc]progress: [ 82 / 84 ] simplifiying candidate # 1550619933.845 * [enter]simplify: Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) 1550619933.845 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ +nan.0 (log (sqrt (- (/ 1 x) 1)))))) 1550619933.846 * * * * [misc]progress: [ 83 / 84 ] simplifiying candidate # 1550619933.846 * [enter]simplify: Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619933.846 * * [misc]simplify: iters left: 6 (20 enodes) 1550619933.859 * * [misc]simplify: iters left: 5 (81 enodes) 1550619933.889 * * [misc]simplify: iters left: 4 (132 enodes) 1550619933.930 * * [misc]simplify: iters left: 3 (184 enodes) 1550619933.987 * * [misc]simplify: iters left: 2 (257 enodes) 1550619934.041 * * [misc]simplify: iters left: 1 (385 enodes) 1550619934.166 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619934.166 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619934.166 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550619934.167 * * [misc]simplify: Extracting #3: cost 121 inf + 629 1550619934.168 * * [misc]simplify: Extracting #4: cost 58 inf + 12089 1550619934.173 * * [misc]simplify: Extracting #5: cost 4 inf + 28938 1550619934.179 * * [misc]simplify: Extracting #6: cost 0 inf + 30694 1550619934.189 * [exit]simplify: Simplified to (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) 1550619934.189 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619934.189 * * * * [misc]progress: [ 84 / 84 ] simplifiying candidate # 1550619934.189 * [enter]simplify: Simplifying (- (+ (log (sqrt -1)) (* 1/2 (/ 1 (* x (pow (sqrt -1) 2))))) (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 4))))) 1550619934.190 * * [misc]simplify: iters left: 6 (20 enodes) 1550619934.203 * * [misc]simplify: iters left: 5 (81 enodes) 1550619934.234 * * [misc]simplify: iters left: 4 (132 enodes) 1550619934.269 * * [misc]simplify: iters left: 3 (184 enodes) 1550619934.312 * * [misc]simplify: iters left: 2 (257 enodes) 1550619934.394 * * [misc]simplify: iters left: 1 (385 enodes) 1550619934.528 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619934.528 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619934.528 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550619934.529 * * [misc]simplify: Extracting #3: cost 121 inf + 629 1550619934.533 * * [misc]simplify: Extracting #4: cost 58 inf + 12089 1550619934.542 * * [misc]simplify: Extracting #5: cost 4 inf + 28938 1550619934.552 * * [misc]simplify: Extracting #6: cost 0 inf + 30694 1550619934.562 * [exit]simplify: Simplified to (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) 1550619934.562 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (+ (/ (/ -1/4 x) (* (pow (sqrt -1) 4) x)) (+ (/ -1/2 x) (log (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550619934.563 * * * [misc]progress: adding candidates to table 1550619935.345 * [misc]progress: [Phase 3 of 3] Extracting. 1550619935.345 * * [misc]regime: Finding splitpoints for: (# #) 1550619935.347 * * * [misc]regime-changes: Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1)))) 1550619935.347 * * * * [misc]regimes: Trying to branch on x from (# #) 1550619935.369 * * * * [misc]regimes: Trying to branch on (/ 1 x) from (# #) 1550619935.386 * * * * [misc]regimes: Trying to branch on (- (/ 1 x) 1) from (# #) 1550619935.415 * * * * [misc]regimes: Trying to branch on (log (- (/ 1 x) 1)) from (# #) 1550619935.434 * * * * [misc]regimes: Trying to branch on (- (log (- (/ 1 x) 1))) from (# #) 1550619935.474 * * * [misc]regime: Found split indices: #