1553850820.846 * [progress]: [Phase 1 of 3] Setting up. 1553850820.846 * * * [progress]: [1/2] Preparing points 1553850820.962 * * * [progress]: [2/2] Setting up program. 1553850820.966 * [progress]: [Phase 2 of 3] Improving. 1553850820.966 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553850820.966 * [simplify]: Simplifying (log (+ 1 x)) 1553850820.966 * * [simplify]: iters left: 3 (4 enodes) 1553850820.968 * * [simplify]: iters left: 2 (15 enodes) 1553850820.974 * * [simplify]: iters left: 1 (17 enodes) 1553850820.979 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850820.979 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850820.979 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850820.979 * * [simplify]: Extracting #3: cost 4 inf + 2 1553850820.979 * * [simplify]: Extracting #4: cost 0 inf + 310 1553850820.979 * [simplify]: Simplified to (log (+ x 1)) 1553850820.979 * [simplify]: Simplified (2) to (λ (x) (log (+ x 1))) 1553850820.983 * * [progress]: iteration 1 / 4 1553850820.983 * * * [progress]: picking best candidate 1553850820.987 * * * * [pick]: Picked # 1553850820.987 * * * [progress]: localizing error 1553850820.998 * * * [progress]: generating rewritten candidates 1553850820.998 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553850821.005 * * * [progress]: generating series expansions 1553850821.005 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553850821.005 * [backup-simplify]: Simplify (log (+ 1 x)) into (log (+ x 1)) 1553850821.005 * [approximate]: Taking taylor expansion of (log (+ x 1)) in (x) around 0 1553850821.005 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553850821.005 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553850821.005 * [taylor]: Taking taylor expansion of x in x 1553850821.005 * [backup-simplify]: Simplify 0 into 0 1553850821.005 * [backup-simplify]: Simplify 1 into 1 1553850821.005 * [taylor]: Taking taylor expansion of 1 in x 1553850821.005 * [backup-simplify]: Simplify 1 into 1 1553850821.006 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850821.006 * [backup-simplify]: Simplify (log 1) into 0 1553850821.006 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1553850821.006 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553850821.006 * [taylor]: Taking taylor expansion of x in x 1553850821.006 * [backup-simplify]: Simplify 0 into 0 1553850821.006 * [backup-simplify]: Simplify 1 into 1 1553850821.006 * [taylor]: Taking taylor expansion of 1 in x 1553850821.006 * [backup-simplify]: Simplify 1 into 1 1553850821.007 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850821.007 * [backup-simplify]: Simplify (log 1) into 0 1553850821.007 * [backup-simplify]: Simplify 0 into 0 1553850821.008 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850821.010 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553850821.010 * [backup-simplify]: Simplify 1 into 1 1553850821.011 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850821.014 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553850821.014 * [backup-simplify]: Simplify -1/2 into -1/2 1553850821.015 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850821.020 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553850821.020 * [backup-simplify]: Simplify 1/3 into 1/3 1553850821.021 * [backup-simplify]: Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553850821.021 * [backup-simplify]: Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1)) 1553850821.021 * [approximate]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0 1553850821.021 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553850821.021 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553850821.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850821.021 * [taylor]: Taking taylor expansion of x in x 1553850821.021 * [backup-simplify]: Simplify 0 into 0 1553850821.021 * [backup-simplify]: Simplify 1 into 1 1553850821.022 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850821.022 * [taylor]: Taking taylor expansion of 1 in x 1553850821.022 * [backup-simplify]: Simplify 1 into 1 1553850821.022 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850821.033 * [backup-simplify]: Simplify (log 1) into 0 1553850821.033 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1553850821.033 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553850821.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850821.033 * [taylor]: Taking taylor expansion of x in x 1553850821.033 * [backup-simplify]: Simplify 0 into 0 1553850821.033 * [backup-simplify]: Simplify 1 into 1 1553850821.034 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850821.034 * [taylor]: Taking taylor expansion of 1 in x 1553850821.034 * [backup-simplify]: Simplify 1 into 1 1553850821.034 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850821.035 * [backup-simplify]: Simplify (log 1) into 0 1553850821.035 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1553850821.035 * [backup-simplify]: Simplify (- (log x)) into (- (log x)) 1553850821.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850821.036 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850821.037 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553850821.037 * [backup-simplify]: Simplify 1 into 1 1553850821.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850821.037 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850821.039 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553850821.039 * [backup-simplify]: Simplify -1/2 into -1/2 1553850821.039 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553850821.039 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x))) 1553850821.039 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0 1553850821.039 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553850821.039 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553850821.039 * [taylor]: Taking taylor expansion of 1 in x 1553850821.039 * [backup-simplify]: Simplify 1 into 1 1553850821.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850821.039 * [taylor]: Taking taylor expansion of x in x 1553850821.039 * [backup-simplify]: Simplify 0 into 0 1553850821.039 * [backup-simplify]: Simplify 1 into 1 1553850821.040 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850821.040 * [backup-simplify]: Simplify (- 1) into -1 1553850821.040 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553850821.041 * [backup-simplify]: Simplify (log -1) into (log -1) 1553850821.041 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1553850821.041 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553850821.041 * [taylor]: Taking taylor expansion of 1 in x 1553850821.041 * [backup-simplify]: Simplify 1 into 1 1553850821.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850821.041 * [taylor]: Taking taylor expansion of x in x 1553850821.041 * [backup-simplify]: Simplify 0 into 0 1553850821.041 * [backup-simplify]: Simplify 1 into 1 1553850821.041 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850821.042 * [backup-simplify]: Simplify (- 1) into -1 1553850821.042 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553850821.042 * [backup-simplify]: Simplify (log -1) into (log -1) 1553850821.043 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1553850821.043 * [backup-simplify]: Simplify (- (log -1) (log x)) into (- (log -1) (log x)) 1553850821.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850821.044 * [backup-simplify]: Simplify (- 0) into 0 1553850821.044 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850821.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553850821.045 * [backup-simplify]: Simplify -1 into -1 1553850821.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850821.045 * [backup-simplify]: Simplify (- 0) into 0 1553850821.046 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850821.047 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553850821.047 * [backup-simplify]: Simplify -1/2 into -1/2 1553850821.048 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553850821.048 * * * [progress]: simplifying candidates 1553850821.048 * * * * [progress]: [ 1 / 19 ] simplifiying candidate # 1553850821.048 * [simplify]: Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553850821.048 * * [simplify]: iters left: 6 (6 enodes) 1553850821.050 * * [simplify]: iters left: 5 (23 enodes) 1553850821.054 * * [simplify]: iters left: 4 (27 enodes) 1553850821.058 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.058 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850821.058 * * [simplify]: Extracting #2: cost 7 inf + 0 1553850821.058 * * [simplify]: Extracting #3: cost 9 inf + 0 1553850821.058 * * [simplify]: Extracting #4: cost 12 inf + 0 1553850821.058 * * [simplify]: Extracting #5: cost 10 inf + 2 1553850821.058 * * [simplify]: Extracting #6: cost 8 inf + 86 1553850821.058 * * [simplify]: Extracting #7: cost 1 inf + 1270 1553850821.058 * * [simplify]: Extracting #8: cost 0 inf + 1502 1553850821.058 * [simplify]: Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553850821.059 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x))))) 1553850821.059 * * * * [progress]: [ 2 / 19 ] simplifiying candidate # 1553850821.059 * [simplify]: Simplifying (log (sqrt (+ 1 x))) 1553850821.059 * * [simplify]: iters left: 4 (5 enodes) 1553850821.060 * * [simplify]: iters left: 3 (18 enodes) 1553850821.065 * * [simplify]: iters left: 2 (20 enodes) 1553850821.071 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.072 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850821.072 * * [simplify]: Extracting #2: cost 5 inf + 0 1553850821.072 * * [simplify]: Extracting #3: cost 8 inf + 0 1553850821.072 * * [simplify]: Extracting #4: cost 6 inf + 2 1553850821.072 * * [simplify]: Extracting #5: cost 0 inf + 554 1553850821.072 * [simplify]: Simplified to (log (sqrt (+ x 1))) 1553850821.072 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))) 1553850821.072 * * * * [progress]: [ 3 / 19 ] simplifiying candidate # 1553850821.073 * [simplify]: Simplifying (log 1) 1553850821.073 * * [simplify]: iters left: 1 (2 enodes) 1553850821.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.075 * * [simplify]: Extracting #1: cost 0 inf + 1 1553850821.075 * [simplify]: Simplified to 0 1553850821.075 * [simplify]: Simplified (2 1) to (λ (x) (+ 0 (log (+ 1 x)))) 1553850821.075 * * * * [progress]: [ 4 / 19 ] simplifiying candidate # 1553850821.075 * [simplify]: Simplifying (log 1) 1553850821.075 * * [simplify]: iters left: 1 (2 enodes) 1553850821.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.078 * * [simplify]: Extracting #1: cost 0 inf + 1 1553850821.078 * [simplify]: Simplified to 0 1553850821.078 * [simplify]: Simplified (2 1) to (λ (x) (+ 0 (log (+ 1 x)))) 1553850821.078 * * * * [progress]: [ 5 / 19 ] simplifiying candidate # 1553850821.078 * [simplify]: Simplifying (log (+ (pow 1 3) (pow x 3))) 1553850821.078 * * [simplify]: iters left: 4 (7 enodes) 1553850821.084 * * [simplify]: iters left: 3 (32 enodes) 1553850821.096 * * [simplify]: iters left: 2 (50 enodes) 1553850821.113 * * [simplify]: iters left: 1 (76 enodes) 1553850821.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.138 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850821.138 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850821.138 * * [simplify]: Extracting #3: cost 13 inf + 1 1553850821.138 * * [simplify]: Extracting #4: cost 18 inf + 44 1553850821.138 * * [simplify]: Extracting #5: cost 11 inf + 1129 1553850821.138 * * [simplify]: Extracting #6: cost 3 inf + 3790 1553850821.139 * * [simplify]: Extracting #7: cost 0 inf + 4215 1553850821.139 * [simplify]: Simplified to (log (+ 1 (* x (* x x)))) 1553850821.139 * [simplify]: Simplified (2 1) to (λ (x) (- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) 1553850821.139 * * * * [progress]: [ 6 / 19 ] simplifiying candidate # 1553850821.139 * [simplify]: Simplifying (log (- (* 1 1) (* x x))) 1553850821.139 * * [simplify]: iters left: 5 (6 enodes) 1553850821.141 * * [simplify]: iters left: 4 (20 enodes) 1553850821.144 * * [simplify]: iters left: 3 (29 enodes) 1553850821.148 * * [simplify]: iters left: 2 (31 enodes) 1553850821.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.157 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850821.157 * * [simplify]: Extracting #2: cost 7 inf + 0 1553850821.157 * * [simplify]: Extracting #3: cost 10 inf + 1 1553850821.157 * * [simplify]: Extracting #4: cost 2 inf + 603 1553850821.157 * * [simplify]: Extracting #5: cost 0 inf + 796 1553850821.157 * [simplify]: Simplified to (log (- 1 (* x x))) 1553850821.157 * [simplify]: Simplified (2 1) to (λ (x) (- (log (- 1 (* x x))) (log (- 1 x)))) 1553850821.157 * * * * [progress]: [ 7 / 19 ] simplifiying candidate # 1553850821.157 * * * * [progress]: [ 8 / 19 ] simplifiying candidate # 1553850821.157 * * * * [progress]: [ 9 / 19 ] simplifiying candidate # 1553850821.157 * [simplify]: Simplifying (+ 1 x) 1553850821.158 * * [simplify]: iters left: 2 (3 enodes) 1553850821.159 * * [simplify]: iters left: 1 (12 enodes) 1553850821.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.161 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850821.161 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850821.161 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850821.161 * [simplify]: Simplified to (+ x 1) 1553850821.161 * [simplify]: Simplified (2 1) to (λ (x) (log (+ x 1))) 1553850821.161 * * * * [progress]: [ 10 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 11 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 12 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 13 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 14 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 15 / 19 ] simplifiying candidate # 1553850821.161 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #real (real->posit16 (log (+ 1 x)))))> 1553850821.161 * * * * [progress]: [ 17 / 19 ] simplifiying candidate # 1553850821.161 * [simplify]: Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) 1553850821.161 * * [simplify]: iters left: 6 (11 enodes) 1553850821.166 * * [simplify]: iters left: 5 (51 enodes) 1553850821.177 * * [simplify]: iters left: 4 (104 enodes) 1553850821.202 * * [simplify]: iters left: 3 (193 enodes) 1553850821.270 * * [simplify]: iters left: 2 (303 enodes) 1553850821.342 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.342 * * [simplify]: Extracting #1: cost 14 inf + 0 1553850821.342 * * [simplify]: Extracting #2: cost 58 inf + 42 1553850821.343 * * [simplify]: Extracting #3: cost 103 inf + 495 1553850821.344 * * [simplify]: Extracting #4: cost 68 inf + 4250 1553850821.346 * * [simplify]: Extracting #5: cost 24 inf + 18384 1553850821.351 * * [simplify]: Extracting #6: cost 0 inf + 30897 1553850821.355 * * [simplify]: Extracting #7: cost 0 inf + 30777 1553850821.358 * [simplify]: Simplified to (+ (* x (* x (+ -1/2 (* x 1/3)))) x) 1553850821.358 * [simplify]: Simplified (2) to (λ (x) (+ (* x (* x (+ -1/2 (* x 1/3)))) x)) 1553850821.358 * * * * [progress]: [ 18 / 19 ] simplifiying candidate # 1553850821.358 * [simplify]: Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553850821.358 * * [simplify]: iters left: 6 (11 enodes) 1553850821.363 * * [simplify]: iters left: 5 (51 enodes) 1553850821.377 * * [simplify]: iters left: 4 (72 enodes) 1553850821.398 * * [simplify]: iters left: 3 (103 enodes) 1553850821.423 * * [simplify]: iters left: 2 (140 enodes) 1553850821.448 * * [simplify]: iters left: 1 (211 enodes) 1553850821.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.506 * * [simplify]: Extracting #1: cost 26 inf + 0 1553850821.507 * * [simplify]: Extracting #2: cost 60 inf + 1 1553850821.507 * * [simplify]: Extracting #3: cost 62 inf + 6 1553850821.509 * * [simplify]: Extracting #4: cost 25 inf + 3382 1553850821.512 * * [simplify]: Extracting #5: cost 1 inf + 7270 1553850821.516 * * [simplify]: Extracting #6: cost 0 inf + 7432 1553850821.521 * [simplify]: Simplified to (+ (/ 1 x) (+ (/ -1/2 (* x x)) (log x))) 1553850821.521 * [simplify]: Simplified (2) to (λ (x) (+ (/ 1 x) (+ (/ -1/2 (* x x)) (log x)))) 1553850821.521 * * * * [progress]: [ 19 / 19 ] simplifiying candidate # 1553850821.521 * [simplify]: Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) 1553850821.521 * * [simplify]: iters left: 6 (15 enodes) 1553850821.531 * * [simplify]: iters left: 5 (64 enodes) 1553850821.553 * * [simplify]: iters left: 4 (108 enodes) 1553850821.596 * * [simplify]: iters left: 3 (223 enodes) 1553850821.674 * * [simplify]: iters left: 2 (454 enodes) 1553850821.876 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850821.876 * * [simplify]: Extracting #1: cost 88 inf + 0 1553850821.878 * * [simplify]: Extracting #2: cost 253 inf + 1 1553850821.881 * * [simplify]: Extracting #3: cost 221 inf + 6776 1553850821.902 * * [simplify]: Extracting #4: cost 44 inf + 43420 1553850821.925 * * [simplify]: Extracting #5: cost 1 inf + 53817 1553850821.936 * * [simplify]: Extracting #6: cost 0 inf + 54010 1553850821.947 * [simplify]: Simplified to (- (/ 1 x) (- (/ 1/2 (* x x)) (log x))) 1553850821.947 * [simplify]: Simplified (2) to (λ (x) (- (/ 1 x) (- (/ 1/2 (* x x)) (log x)))) 1553850821.948 * * * [progress]: adding candidates to table 1553850822.062 * * [progress]: iteration 2 / 4 1553850822.063 * * * [progress]: picking best candidate 1553850822.064 * * * * [pick]: Picked # 1553850822.064 * * * [progress]: localizing error 1553850822.088 * * * [progress]: generating rewritten candidates 1553850822.088 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 1553850822.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1553850822.145 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553850822.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1553850822.289 * * * [progress]: generating series expansions 1553850822.289 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 1553850822.289 * [backup-simplify]: Simplify (* x 1/3) into (* 1/3 x) 1553850822.290 * [approximate]: Taking taylor expansion of (* 1/3 x) in (x) around 0 1553850822.290 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.290 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.290 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.290 * [taylor]: Taking taylor expansion of x in x 1553850822.290 * [backup-simplify]: Simplify 0 into 0 1553850822.290 * [backup-simplify]: Simplify 1 into 1 1553850822.290 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.290 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.290 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.290 * [taylor]: Taking taylor expansion of x in x 1553850822.290 * [backup-simplify]: Simplify 0 into 0 1553850822.290 * [backup-simplify]: Simplify 1 into 1 1553850822.291 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553850822.291 * [backup-simplify]: Simplify 0 into 0 1553850822.292 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553850822.292 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.293 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553850822.293 * [backup-simplify]: Simplify 0 into 0 1553850822.294 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553850822.294 * [backup-simplify]: Simplify 0 into 0 1553850822.295 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553850822.295 * [backup-simplify]: Simplify 0 into 0 1553850822.295 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553850822.295 * [backup-simplify]: Simplify 0 into 0 1553850822.296 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553850822.296 * [backup-simplify]: Simplify 0 into 0 1553850822.297 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553850822.297 * [backup-simplify]: Simplify 0 into 0 1553850822.297 * [backup-simplify]: Simplify (* 1/3 x) into (* 1/3 x) 1553850822.298 * [backup-simplify]: Simplify (* (/ 1 x) 1/3) into (/ 1/3 x) 1553850822.298 * [approximate]: Taking taylor expansion of (/ 1/3 x) in (x) around 0 1553850822.298 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 1553850822.298 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.298 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.298 * [taylor]: Taking taylor expansion of x in x 1553850822.298 * [backup-simplify]: Simplify 0 into 0 1553850822.298 * [backup-simplify]: Simplify 1 into 1 1553850822.298 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.298 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 1553850822.298 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.298 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.298 * [taylor]: Taking taylor expansion of x in x 1553850822.298 * [backup-simplify]: Simplify 0 into 0 1553850822.298 * [backup-simplify]: Simplify 1 into 1 1553850822.298 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.298 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 1553850822.299 * [backup-simplify]: Simplify 0 into 0 1553850822.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.300 * [backup-simplify]: Simplify 0 into 0 1553850822.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.300 * [backup-simplify]: Simplify 0 into 0 1553850822.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.301 * [backup-simplify]: Simplify 0 into 0 1553850822.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.301 * [backup-simplify]: Simplify 0 into 0 1553850822.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.302 * [backup-simplify]: Simplify 0 into 0 1553850822.302 * [backup-simplify]: Simplify (* 1/3 (/ 1 (/ 1 x))) into (* 1/3 x) 1553850822.302 * [backup-simplify]: Simplify (* (/ 1 (- x)) 1/3) into (/ -1/3 x) 1553850822.302 * [approximate]: Taking taylor expansion of (/ -1/3 x) in (x) around 0 1553850822.302 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 1553850822.302 * [taylor]: Taking taylor expansion of -1/3 in x 1553850822.302 * [backup-simplify]: Simplify -1/3 into -1/3 1553850822.302 * [taylor]: Taking taylor expansion of x in x 1553850822.302 * [backup-simplify]: Simplify 0 into 0 1553850822.302 * [backup-simplify]: Simplify 1 into 1 1553850822.303 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553850822.303 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 1553850822.303 * [taylor]: Taking taylor expansion of -1/3 in x 1553850822.303 * [backup-simplify]: Simplify -1/3 into -1/3 1553850822.303 * [taylor]: Taking taylor expansion of x in x 1553850822.303 * [backup-simplify]: Simplify 0 into 0 1553850822.303 * [backup-simplify]: Simplify 1 into 1 1553850822.303 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 1553850822.303 * [backup-simplify]: Simplify -1/3 into -1/3 1553850822.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0 1553850822.304 * [backup-simplify]: Simplify 0 into 0 1553850822.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.304 * [backup-simplify]: Simplify 0 into 0 1553850822.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.305 * [backup-simplify]: Simplify 0 into 0 1553850822.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.305 * [backup-simplify]: Simplify 0 into 0 1553850822.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.306 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.307 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify (* -1/3 (/ 1 (/ 1 (- x)))) into (* 1/3 x) 1553850822.307 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1553850822.307 * [backup-simplify]: Simplify (* x (+ -1/2 (* x 1/3))) into (* x (- (* 1/3 x) 1/2)) 1553850822.307 * [approximate]: Taking taylor expansion of (* x (- (* 1/3 x) 1/2)) in (x) around 0 1553850822.307 * [taylor]: Taking taylor expansion of (* x (- (* 1/3 x) 1/2)) in x 1553850822.307 * [taylor]: Taking taylor expansion of x in x 1553850822.307 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify 1 into 1 1553850822.307 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.307 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.307 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.307 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.307 * [taylor]: Taking taylor expansion of x in x 1553850822.307 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify 1 into 1 1553850822.307 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.307 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.307 * [taylor]: Taking taylor expansion of (* x (- (* 1/3 x) 1/2)) in x 1553850822.307 * [taylor]: Taking taylor expansion of x in x 1553850822.307 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify 1 into 1 1553850822.307 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.307 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.307 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.307 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.307 * [taylor]: Taking taylor expansion of x in x 1553850822.307 * [backup-simplify]: Simplify 0 into 0 1553850822.307 * [backup-simplify]: Simplify 1 into 1 1553850822.307 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.307 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.308 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553850822.308 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.308 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.308 * [backup-simplify]: Simplify (* 0 -1/2) into 0 1553850822.308 * [backup-simplify]: Simplify 0 into 0 1553850822.309 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553850822.309 * [backup-simplify]: Simplify (- 0) into 0 1553850822.309 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.310 * [backup-simplify]: Simplify (+ (* 0 1/3) (* 1 -1/2)) into -1/2 1553850822.310 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.310 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553850822.311 * [backup-simplify]: Simplify (- 0) into 0 1553850822.311 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/3) (* 0 -1/2))) into 1/3 1553850822.312 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.312 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553850822.313 * [backup-simplify]: Simplify (- 0) into 0 1553850822.313 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/3) (* 0 -1/2)))) into 0 1553850822.314 * [backup-simplify]: Simplify 0 into 0 1553850822.314 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553850822.315 * [backup-simplify]: Simplify (- 0) into 0 1553850822.315 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.316 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2))))) into 0 1553850822.316 * [backup-simplify]: Simplify 0 into 0 1553850822.317 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553850822.317 * [backup-simplify]: Simplify (- 0) into 0 1553850822.317 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.321 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2)))))) into 0 1553850822.321 * [backup-simplify]: Simplify 0 into 0 1553850822.322 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553850822.322 * [backup-simplify]: Simplify (- 0) into 0 1553850822.322 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2))))))) into 0 1553850822.323 * [backup-simplify]: Simplify 0 into 0 1553850822.325 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553850822.325 * [backup-simplify]: Simplify (- 0) into 0 1553850822.325 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.326 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2)))))))) into 0 1553850822.326 * [backup-simplify]: Simplify 0 into 0 1553850822.327 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1553850822.327 * [backup-simplify]: Simplify (- 0) into 0 1553850822.328 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2))))))))) into 0 1553850822.329 * [backup-simplify]: Simplify 0 into 0 1553850822.329 * [backup-simplify]: Simplify (+ (* 1/3 (pow x 2)) (* -1/2 x)) into (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850822.329 * [backup-simplify]: Simplify (* (/ 1 x) (+ -1/2 (* (/ 1 x) 1/3))) into (/ (- (* 1/3 (/ 1 x)) 1/2) x) 1553850822.329 * [approximate]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) x) in (x) around 0 1553850822.329 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) x) in x 1553850822.329 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.329 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.329 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.329 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.329 * [taylor]: Taking taylor expansion of x in x 1553850822.329 * [backup-simplify]: Simplify 0 into 0 1553850822.329 * [backup-simplify]: Simplify 1 into 1 1553850822.330 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.330 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.330 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.330 * [taylor]: Taking taylor expansion of x in x 1553850822.330 * [backup-simplify]: Simplify 0 into 0 1553850822.330 * [backup-simplify]: Simplify 1 into 1 1553850822.330 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.330 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.331 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.331 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) x) in x 1553850822.331 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.331 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.331 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.331 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.331 * [taylor]: Taking taylor expansion of x in x 1553850822.331 * [backup-simplify]: Simplify 0 into 0 1553850822.331 * [backup-simplify]: Simplify 1 into 1 1553850822.331 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.331 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.331 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.331 * [taylor]: Taking taylor expansion of x in x 1553850822.331 * [backup-simplify]: Simplify 0 into 0 1553850822.331 * [backup-simplify]: Simplify 1 into 1 1553850822.331 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.332 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.332 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.332 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.333 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.333 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.333 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.334 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* 1/3 (/ 0 1)))) into -1/2 1553850822.334 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.335 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.335 * [backup-simplify]: Simplify (- 0) into 0 1553850822.335 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)))) into 0 1553850822.336 * [backup-simplify]: Simplify 0 into 0 1553850822.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.337 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.337 * [backup-simplify]: Simplify (- 0) into 0 1553850822.338 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.338 * [backup-simplify]: Simplify 0 into 0 1553850822.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.340 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.340 * [backup-simplify]: Simplify (- 0) into 0 1553850822.340 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.341 * [backup-simplify]: Simplify 0 into 0 1553850822.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.342 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.342 * [backup-simplify]: Simplify (- 0) into 0 1553850822.343 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.343 * [backup-simplify]: Simplify 0 into 0 1553850822.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.345 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.345 * [backup-simplify]: Simplify (- 0) into 0 1553850822.345 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.346 * [backup-simplify]: Simplify 0 into 0 1553850822.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.348 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.348 * [backup-simplify]: Simplify (- 0) into 0 1553850822.348 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.349 * [backup-simplify]: Simplify 0 into 0 1553850822.349 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (/ 1 x))) (* 1/3 (pow (/ 1 (/ 1 x)) 2))) into (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850822.349 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ -1/2 (* (/ 1 (- x)) 1/3))) into (/ (+ (* 1/3 (/ 1 x)) 1/2) x) 1553850822.349 * [approximate]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) x) in (x) around 0 1553850822.349 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) x) in x 1553850822.349 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.349 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.349 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.349 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.349 * [taylor]: Taking taylor expansion of x in x 1553850822.349 * [backup-simplify]: Simplify 0 into 0 1553850822.349 * [backup-simplify]: Simplify 1 into 1 1553850822.350 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.350 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.350 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.350 * [taylor]: Taking taylor expansion of x in x 1553850822.350 * [backup-simplify]: Simplify 0 into 0 1553850822.350 * [backup-simplify]: Simplify 1 into 1 1553850822.350 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.350 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.351 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.351 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) x) in x 1553850822.351 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.351 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.351 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.351 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.351 * [taylor]: Taking taylor expansion of x in x 1553850822.351 * [backup-simplify]: Simplify 0 into 0 1553850822.351 * [backup-simplify]: Simplify 1 into 1 1553850822.351 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.351 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.351 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.351 * [taylor]: Taking taylor expansion of x in x 1553850822.351 * [backup-simplify]: Simplify 0 into 0 1553850822.351 * [backup-simplify]: Simplify 1 into 1 1553850822.351 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.352 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.352 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.352 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.353 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.353 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553850822.354 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/3 (/ 0 1)))) into 1/2 1553850822.354 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.355 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.355 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1553850822.356 * [backup-simplify]: Simplify 0 into 0 1553850822.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.357 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.357 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.358 * [backup-simplify]: Simplify 0 into 0 1553850822.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.359 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.359 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.360 * [backup-simplify]: Simplify 0 into 0 1553850822.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.362 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.362 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.363 * [backup-simplify]: Simplify 0 into 0 1553850822.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.365 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.365 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.366 * [backup-simplify]: Simplify 0 into 0 1553850822.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.367 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.367 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.368 * [backup-simplify]: Simplify 0 into 0 1553850822.368 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 (/ 1 (- x)))) (* 1/3 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850822.368 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553850822.368 * [backup-simplify]: Simplify (* x (* x (+ -1/2 (* x 1/3)))) into (* (pow x 2) (- (* 1/3 x) 1/2)) 1553850822.368 * [approximate]: Taking taylor expansion of (* (pow x 2) (- (* 1/3 x) 1/2)) in (x) around 0 1553850822.368 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 1/3 x) 1/2)) in x 1553850822.368 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.368 * [taylor]: Taking taylor expansion of x in x 1553850822.368 * [backup-simplify]: Simplify 0 into 0 1553850822.369 * [backup-simplify]: Simplify 1 into 1 1553850822.369 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.369 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.369 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.369 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.369 * [taylor]: Taking taylor expansion of x in x 1553850822.369 * [backup-simplify]: Simplify 0 into 0 1553850822.369 * [backup-simplify]: Simplify 1 into 1 1553850822.369 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.369 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.369 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 1/3 x) 1/2)) in x 1553850822.369 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.369 * [taylor]: Taking taylor expansion of x in x 1553850822.369 * [backup-simplify]: Simplify 0 into 0 1553850822.369 * [backup-simplify]: Simplify 1 into 1 1553850822.369 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.369 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.369 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.369 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.369 * [taylor]: Taking taylor expansion of x in x 1553850822.369 * [backup-simplify]: Simplify 0 into 0 1553850822.369 * [backup-simplify]: Simplify 1 into 1 1553850822.369 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.369 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.369 * [backup-simplify]: Simplify (* 1 1) into 1 1553850822.370 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553850822.370 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.371 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.371 * [backup-simplify]: Simplify (* 1 -1/2) into -1/2 1553850822.371 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.372 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553850822.372 * [backup-simplify]: Simplify (- 0) into 0 1553850822.373 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553850822.374 * [backup-simplify]: Simplify (+ (* 1 1/3) (* 0 -1/2)) into 1/3 1553850822.374 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.375 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553850822.376 * [backup-simplify]: Simplify (- 0) into 0 1553850822.376 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (* 0 -1/2))) into 0 1553850822.378 * [backup-simplify]: Simplify 0 into 0 1553850822.379 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553850822.379 * [backup-simplify]: Simplify (- 0) into 0 1553850822.380 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2)))) into 0 1553850822.382 * [backup-simplify]: Simplify 0 into 0 1553850822.384 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553850822.384 * [backup-simplify]: Simplify (- 0) into 0 1553850822.384 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2))))) into 0 1553850822.387 * [backup-simplify]: Simplify 0 into 0 1553850822.389 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553850822.389 * [backup-simplify]: Simplify (- 0) into 0 1553850822.389 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2)))))) into 0 1553850822.392 * [backup-simplify]: Simplify 0 into 0 1553850822.394 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553850822.395 * [backup-simplify]: Simplify (- 0) into 0 1553850822.395 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2))))))) into 0 1553850822.398 * [backup-simplify]: Simplify 0 into 0 1553850822.400 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553850822.401 * [backup-simplify]: Simplify (- 0) into 0 1553850822.401 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 -1/2)))))))) into 0 1553850822.405 * [backup-simplify]: Simplify 0 into 0 1553850822.405 * [backup-simplify]: Simplify (+ (* 1/3 (pow x 3)) (* -1/2 (pow x 2))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850822.406 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) (+ -1/2 (* (/ 1 x) 1/3)))) into (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) 1553850822.406 * [approximate]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 1553850822.406 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553850822.406 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.406 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.406 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.406 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.406 * [taylor]: Taking taylor expansion of x in x 1553850822.406 * [backup-simplify]: Simplify 0 into 0 1553850822.406 * [backup-simplify]: Simplify 1 into 1 1553850822.406 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.406 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.406 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.406 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.406 * [taylor]: Taking taylor expansion of x in x 1553850822.406 * [backup-simplify]: Simplify 0 into 0 1553850822.406 * [backup-simplify]: Simplify 1 into 1 1553850822.407 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.407 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.408 * [backup-simplify]: Simplify (* 1 1) into 1 1553850822.408 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.408 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553850822.408 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.408 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.408 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.408 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.408 * [taylor]: Taking taylor expansion of x in x 1553850822.408 * [backup-simplify]: Simplify 0 into 0 1553850822.408 * [backup-simplify]: Simplify 1 into 1 1553850822.409 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.409 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.409 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.409 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.409 * [taylor]: Taking taylor expansion of x in x 1553850822.409 * [backup-simplify]: Simplify 0 into 0 1553850822.409 * [backup-simplify]: Simplify 1 into 1 1553850822.409 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.410 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.410 * [backup-simplify]: Simplify (* 1 1) into 1 1553850822.411 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.411 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.413 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.413 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.413 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553850822.415 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* 1/3 (/ 0 1)))) into -1/2 1553850822.415 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.417 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.418 * [backup-simplify]: Simplify (- 0) into 0 1553850822.418 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)))) into 0 1553850822.420 * [backup-simplify]: Simplify 0 into 0 1553850822.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.422 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.423 * [backup-simplify]: Simplify (- 0) into 0 1553850822.423 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.426 * [backup-simplify]: Simplify 0 into 0 1553850822.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.434 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.435 * [backup-simplify]: Simplify (- 0) into 0 1553850822.436 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.438 * [backup-simplify]: Simplify 0 into 0 1553850822.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.441 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.441 * [backup-simplify]: Simplify (- 0) into 0 1553850822.442 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.444 * [backup-simplify]: Simplify 0 into 0 1553850822.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.447 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.448 * [backup-simplify]: Simplify (- 0) into 0 1553850822.448 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.451 * [backup-simplify]: Simplify 0 into 0 1553850822.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.454 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.454 * [backup-simplify]: Simplify (- 0) into 0 1553850822.454 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.458 * [backup-simplify]: Simplify 0 into 0 1553850822.458 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/3 (pow (/ 1 (/ 1 x)) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850822.458 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (+ -1/2 (* (/ 1 (- x)) 1/3)))) into (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) 1553850822.458 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in (x) around 0 1553850822.458 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x 1553850822.458 * [taylor]: Taking taylor expansion of -1 in x 1553850822.458 * [backup-simplify]: Simplify -1 into -1 1553850822.458 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553850822.458 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.458 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.458 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.459 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.459 * [taylor]: Taking taylor expansion of x in x 1553850822.459 * [backup-simplify]: Simplify 0 into 0 1553850822.459 * [backup-simplify]: Simplify 1 into 1 1553850822.459 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.459 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.459 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.459 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.459 * [taylor]: Taking taylor expansion of x in x 1553850822.459 * [backup-simplify]: Simplify 0 into 0 1553850822.459 * [backup-simplify]: Simplify 1 into 1 1553850822.460 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.460 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.460 * [backup-simplify]: Simplify (* 1 1) into 1 1553850822.461 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.461 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x 1553850822.461 * [taylor]: Taking taylor expansion of -1 in x 1553850822.461 * [backup-simplify]: Simplify -1 into -1 1553850822.461 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x 1553850822.461 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.461 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.461 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.461 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.461 * [taylor]: Taking taylor expansion of x in x 1553850822.461 * [backup-simplify]: Simplify 0 into 0 1553850822.461 * [backup-simplify]: Simplify 1 into 1 1553850822.462 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.462 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.462 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.462 * [taylor]: Taking taylor expansion of (pow x 2) in x 1553850822.462 * [taylor]: Taking taylor expansion of x in x 1553850822.462 * [backup-simplify]: Simplify 0 into 0 1553850822.462 * [backup-simplify]: Simplify 1 into 1 1553850822.462 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.463 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.463 * [backup-simplify]: Simplify (* 1 1) into 1 1553850822.464 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 1553850822.464 * [backup-simplify]: Simplify (* -1 1/3) into -1/3 1553850822.464 * [backup-simplify]: Simplify -1/3 into -1/3 1553850822.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.466 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.466 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553850822.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553850822.468 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/3 (/ 0 1)))) into 1/2 1553850822.469 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 1/3)) into -1/2 1553850822.469 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.471 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.471 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1553850822.474 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 1/3))) into 0 1553850822.474 * [backup-simplify]: Simplify 0 into 0 1553850822.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.475 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.475 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.477 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))) into 0 1553850822.477 * [backup-simplify]: Simplify 0 into 0 1553850822.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.478 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.481 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))) into 0 1553850822.481 * [backup-simplify]: Simplify 0 into 0 1553850822.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.482 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.485 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))) into 0 1553850822.485 * [backup-simplify]: Simplify 0 into 0 1553850822.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.487 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.489 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))))) into 0 1553850822.489 * [backup-simplify]: Simplify 0 into 0 1553850822.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.491 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.491 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))))) into 0 1553850822.494 * [backup-simplify]: Simplify 0 into 0 1553850822.494 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/3 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850822.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1553850822.494 * [backup-simplify]: Simplify (+ -1/2 (* x 1/3)) into (- (* 1/3 x) 1/2) 1553850822.494 * [approximate]: Taking taylor expansion of (- (* 1/3 x) 1/2) in (x) around 0 1553850822.494 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.494 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.494 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.494 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.495 * [taylor]: Taking taylor expansion of x in x 1553850822.495 * [backup-simplify]: Simplify 0 into 0 1553850822.495 * [backup-simplify]: Simplify 1 into 1 1553850822.495 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.495 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.495 * [taylor]: Taking taylor expansion of (- (* 1/3 x) 1/2) in x 1553850822.495 * [taylor]: Taking taylor expansion of (* 1/3 x) in x 1553850822.495 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.495 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.495 * [taylor]: Taking taylor expansion of x in x 1553850822.495 * [backup-simplify]: Simplify 0 into 0 1553850822.495 * [backup-simplify]: Simplify 1 into 1 1553850822.495 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.495 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.495 * [backup-simplify]: Simplify (* 1/3 0) into 0 1553850822.495 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.496 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.496 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.496 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1553850822.496 * [backup-simplify]: Simplify (- 0) into 0 1553850822.496 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.496 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.497 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1553850822.497 * [backup-simplify]: Simplify (- 0) into 0 1553850822.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.498 * [backup-simplify]: Simplify 0 into 0 1553850822.498 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553850822.498 * [backup-simplify]: Simplify (- 0) into 0 1553850822.499 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.499 * [backup-simplify]: Simplify 0 into 0 1553850822.499 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553850822.500 * [backup-simplify]: Simplify (- 0) into 0 1553850822.500 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.500 * [backup-simplify]: Simplify 0 into 0 1553850822.501 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553850822.501 * [backup-simplify]: Simplify (- 0) into 0 1553850822.501 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.501 * [backup-simplify]: Simplify 0 into 0 1553850822.502 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553850822.502 * [backup-simplify]: Simplify (- 0) into 0 1553850822.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.503 * [backup-simplify]: Simplify 0 into 0 1553850822.504 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553850822.504 * [backup-simplify]: Simplify (- 0) into 0 1553850822.504 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.504 * [backup-simplify]: Simplify 0 into 0 1553850822.504 * [backup-simplify]: Simplify (+ (* 1/3 x) -1/2) into (- (* 1/3 x) 1/2) 1553850822.504 * [backup-simplify]: Simplify (+ -1/2 (* (/ 1 x) 1/3)) into (- (* 1/3 (/ 1 x)) 1/2) 1553850822.504 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in (x) around 0 1553850822.504 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.504 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.505 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.505 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.505 * [taylor]: Taking taylor expansion of x in x 1553850822.505 * [backup-simplify]: Simplify 0 into 0 1553850822.505 * [backup-simplify]: Simplify 1 into 1 1553850822.505 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.505 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.505 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.505 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x 1553850822.505 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.505 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.505 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.505 * [taylor]: Taking taylor expansion of x in x 1553850822.505 * [backup-simplify]: Simplify 0 into 0 1553850822.505 * [backup-simplify]: Simplify 1 into 1 1553850822.506 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.506 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.506 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.506 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.507 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.507 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.508 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.509 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.509 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553850822.509 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.511 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.512 * [backup-simplify]: Simplify (- 0) into 0 1553850822.512 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.512 * [backup-simplify]: Simplify 0 into 0 1553850822.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.515 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.515 * [backup-simplify]: Simplify (- 0) into 0 1553850822.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.515 * [backup-simplify]: Simplify 0 into 0 1553850822.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.518 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.518 * [backup-simplify]: Simplify (- 0) into 0 1553850822.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.518 * [backup-simplify]: Simplify 0 into 0 1553850822.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.521 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.521 * [backup-simplify]: Simplify (- 0) into 0 1553850822.522 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.522 * [backup-simplify]: Simplify 0 into 0 1553850822.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.524 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.525 * [backup-simplify]: Simplify (- 0) into 0 1553850822.525 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.525 * [backup-simplify]: Simplify 0 into 0 1553850822.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.528 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.529 * [backup-simplify]: Simplify (- 0) into 0 1553850822.529 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.529 * [backup-simplify]: Simplify 0 into 0 1553850822.529 * [backup-simplify]: Simplify (+ -1/2 (* 1/3 (/ 1 (/ 1 x)))) into (- (* 1/3 x) 1/2) 1553850822.529 * [backup-simplify]: Simplify (+ -1/2 (* (/ 1 (- x)) 1/3)) into (- (+ (* 1/3 (/ 1 x)) 1/2)) 1553850822.529 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 x)) 1/2)) in (x) around 0 1553850822.529 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 x)) 1/2)) in x 1553850822.529 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.529 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.529 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.529 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.530 * [taylor]: Taking taylor expansion of x in x 1553850822.530 * [backup-simplify]: Simplify 0 into 0 1553850822.530 * [backup-simplify]: Simplify 1 into 1 1553850822.530 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.530 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.530 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.530 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 x)) 1/2)) in x 1553850822.530 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x 1553850822.530 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 1553850822.530 * [taylor]: Taking taylor expansion of 1/3 in x 1553850822.530 * [backup-simplify]: Simplify 1/3 into 1/3 1553850822.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553850822.530 * [taylor]: Taking taylor expansion of x in x 1553850822.530 * [backup-simplify]: Simplify 0 into 0 1553850822.530 * [backup-simplify]: Simplify 1 into 1 1553850822.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850822.531 * [taylor]: Taking taylor expansion of 1/2 in x 1553850822.531 * [backup-simplify]: Simplify 1/2 into 1/2 1553850822.531 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1553850822.532 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553850822.532 * [backup-simplify]: Simplify (- 1/3) into -1/3 1553850822.532 * [backup-simplify]: Simplify -1/3 into -1/3 1553850822.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850822.534 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1553850822.534 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553850822.535 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553850822.535 * [backup-simplify]: Simplify -1/2 into -1/2 1553850822.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.537 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1553850822.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.537 * [backup-simplify]: Simplify (- 0) into 0 1553850822.537 * [backup-simplify]: Simplify 0 into 0 1553850822.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.538 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553850822.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.539 * [backup-simplify]: Simplify (- 0) into 0 1553850822.539 * [backup-simplify]: Simplify 0 into 0 1553850822.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.540 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553850822.540 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.541 * [backup-simplify]: Simplify (- 0) into 0 1553850822.541 * [backup-simplify]: Simplify 0 into 0 1553850822.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.542 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553850822.542 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.542 * [backup-simplify]: Simplify (- 0) into 0 1553850822.542 * [backup-simplify]: Simplify 0 into 0 1553850822.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.544 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553850822.544 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.544 * [backup-simplify]: Simplify (- 0) into 0 1553850822.544 * [backup-simplify]: Simplify 0 into 0 1553850822.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850822.546 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553850822.546 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850822.546 * [backup-simplify]: Simplify (- 0) into 0 1553850822.546 * [backup-simplify]: Simplify 0 into 0 1553850822.547 * [backup-simplify]: Simplify (+ -1/2 (* -1/3 (/ 1 (/ 1 (- x))))) into (- (* 1/3 x) 1/2) 1553850822.547 * * * [progress]: simplifying candidates 1553850822.547 * * * * [progress]: [ 1 / 116 ] simplifiying candidate # 1553850822.547 * [simplify]: Simplifying (* x 1/3) 1553850822.547 * * [simplify]: iters left: 2 (3 enodes) 1553850822.552 * * [simplify]: iters left: 1 (10 enodes) 1553850822.556 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.556 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850822.556 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850822.556 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850822.556 * [simplify]: Simplified to (* x 1/3) 1553850822.556 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (pow (* x 1/3) 1)))) x)) 1553850822.556 * * * * [progress]: [ 2 / 116 ] simplifiying candidate # 1553850822.556 * * * * [progress]: [ 3 / 116 ] simplifiying candidate # 1553850822.556 * [simplify]: Simplifying (+ (log x) (log 1/3)) 1553850822.557 * * [simplify]: iters left: 3 (5 enodes) 1553850822.559 * * [simplify]: iters left: 2 (16 enodes) 1553850822.565 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.565 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850822.565 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850822.565 * * [simplify]: Extracting #3: cost 4 inf + 144 1553850822.565 * * [simplify]: Extracting #4: cost 0 inf + 650 1553850822.565 * [simplify]: Simplified to (+ (log x) (log 1/3)) 1553850822.565 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (exp (+ (log x) (log 1/3)))))) x)) 1553850822.565 * * * * [progress]: [ 4 / 116 ] simplifiying candidate # 1553850822.565 * * * * [progress]: [ 5 / 116 ] simplifiying candidate # 1553850822.566 * * * * [progress]: [ 6 / 116 ] simplifiying candidate # 1553850822.566 * [simplify]: Simplifying (* (* (* x x) x) (* (* 1/3 1/3) 1/3)) 1553850822.566 * * [simplify]: iters left: 6 (7 enodes) 1553850822.572 * * [simplify]: iters left: 5 (30 enodes) 1553850822.582 * * [simplify]: iters left: 4 (55 enodes) 1553850822.600 * * [simplify]: iters left: 3 (96 enodes) 1553850822.630 * * [simplify]: iters left: 2 (141 enodes) 1553850822.669 * * [simplify]: iters left: 1 (219 enodes) 1553850822.721 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.722 * * [simplify]: Extracting #1: cost 29 inf + 0 1553850822.722 * * [simplify]: Extracting #2: cost 62 inf + 209 1553850822.723 * * [simplify]: Extracting #3: cost 38 inf + 2667 1553850822.726 * * [simplify]: Extracting #4: cost 14 inf + 9234 1553850822.729 * * [simplify]: Extracting #5: cost 0 inf + 15327 1553850822.732 * [simplify]: Simplified to (* 1/27 (* x (* x x))) 1553850822.732 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (cbrt (* 1/27 (* x (* x x))))))) x)) 1553850822.733 * * * * [progress]: [ 7 / 116 ] simplifiying candidate # 1553850822.733 * * * * [progress]: [ 8 / 116 ] simplifiying candidate # 1553850822.733 * * * * [progress]: [ 9 / 116 ] simplifiying candidate # 1553850822.733 * * * * [progress]: [ 10 / 116 ] simplifiying candidate # 1553850822.733 * * * * [progress]: [ 11 / 116 ] simplifiying candidate # 1553850822.733 * [simplify]: Simplifying (* (sqrt x) (sqrt 1/3)) 1553850822.733 * * [simplify]: iters left: 3 (5 enodes) 1553850822.736 * * [simplify]: iters left: 2 (16 enodes) 1553850822.742 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.742 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850822.742 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850822.742 * * [simplify]: Extracting #3: cost 4 inf + 84 1553850822.742 * * [simplify]: Extracting #4: cost 0 inf + 410 1553850822.742 * [simplify]: Simplified to (* (sqrt 1/3) (sqrt x)) 1553850822.742 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (* (* (sqrt 1/3) (sqrt x)) (* (sqrt x) (sqrt 1/3)))))) x)) 1553850822.743 * [simplify]: Simplifying (* (sqrt x) (sqrt 1/3)) 1553850822.743 * * [simplify]: iters left: 3 (5 enodes) 1553850822.746 * * [simplify]: iters left: 2 (16 enodes) 1553850822.750 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.750 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850822.750 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850822.750 * * [simplify]: Extracting #3: cost 4 inf + 84 1553850822.751 * * [simplify]: Extracting #4: cost 0 inf + 410 1553850822.751 * [simplify]: Simplified to (* (sqrt 1/3) (sqrt x)) 1553850822.751 * [simplify]: Simplified (2 1 2 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* (* (sqrt x) (sqrt 1/3)) (* (sqrt 1/3) (sqrt x)))))) x)) 1553850822.751 * * * * [progress]: [ 12 / 116 ] simplifiying candidate # 1553850822.751 * [simplify]: Simplifying (cbrt 1/3) 1553850822.751 * * [simplify]: iters left: 1 (2 enodes) 1553850822.753 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.753 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850822.753 * * [simplify]: Extracting #2: cost 2 inf + 1 1553850822.753 * * [simplify]: Extracting #3: cost 0 inf + 163 1553850822.753 * [simplify]: Simplified to (cbrt 1/3) 1553850822.753 * [simplify]: Simplified (2 1 2 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* (* x (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3))))) x)) 1553850822.753 * * * * [progress]: [ 13 / 116 ] simplifiying candidate # 1553850822.754 * [simplify]: Simplifying (sqrt 1/3) 1553850822.754 * * [simplify]: iters left: 1 (2 enodes) 1553850822.755 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.755 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850822.755 * * [simplify]: Extracting #2: cost 2 inf + 1 1553850822.755 * * [simplify]: Extracting #3: cost 0 inf + 83 1553850822.755 * [simplify]: Simplified to (sqrt 1/3) 1553850822.755 * [simplify]: Simplified (2 1 2 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* (* x (sqrt 1/3)) (sqrt 1/3))))) x)) 1553850822.755 * * * * [progress]: [ 14 / 116 ] simplifiying candidate # 1553850822.755 * * * * [progress]: [ 15 / 116 ] simplifiying candidate # 1553850822.756 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1553850822.756 * * [simplify]: iters left: 3 (3 enodes) 1553850822.757 * * [simplify]: iters left: 2 (9 enodes) 1553850822.759 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.759 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850822.759 * * [simplify]: Extracting #2: cost 5 inf + 0 1553850822.759 * * [simplify]: Extracting #3: cost 4 inf + 1 1553850822.759 * * [simplify]: Extracting #4: cost 0 inf + 405 1553850822.760 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1553850822.760 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (* (* (cbrt x) (cbrt x)) (* (cbrt x) 1/3))))) x)) 1553850822.760 * * * * [progress]: [ 16 / 116 ] simplifiying candidate # 1553850822.760 * [simplify]: Simplifying (sqrt x) 1553850822.760 * * [simplify]: iters left: 1 (2 enodes) 1553850822.761 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.761 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850822.761 * * [simplify]: Extracting #2: cost 2 inf + 1 1553850822.761 * * [simplify]: Extracting #3: cost 0 inf + 83 1553850822.761 * [simplify]: Simplified to (sqrt x) 1553850822.761 * [simplify]: Simplified (2 1 2 2 2 1) to (λ (x) (+ (* x (* x (+ -1/2 (* (sqrt x) (* (sqrt x) 1/3))))) x)) 1553850822.761 * * * * [progress]: [ 17 / 116 ] simplifiying candidate # 1553850822.761 * * * * [progress]: [ 18 / 116 ] simplifiying candidate #real (real->posit16 (* x 1/3)))))) x))> 1553850822.761 * * * * [progress]: [ 19 / 116 ] simplifiying candidate # 1553850822.761 * * * * [progress]: [ 20 / 116 ] simplifiying candidate # 1553850822.762 * [simplify]: Simplifying (* x (+ -1/2 (* x 1/3))) 1553850822.762 * * [simplify]: iters left: 6 (6 enodes) 1553850822.765 * * [simplify]: iters left: 5 (27 enodes) 1553850822.775 * * [simplify]: iters left: 4 (38 enodes) 1553850822.785 * * [simplify]: iters left: 3 (40 enodes) 1553850822.799 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.799 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850822.799 * * [simplify]: Extracting #2: cost 12 inf + 1 1553850822.799 * * [simplify]: Extracting #3: cost 9 inf + 168 1553850822.799 * * [simplify]: Extracting #4: cost 1 inf + 706 1553850822.800 * * [simplify]: Extracting #5: cost 0 inf + 829 1553850822.800 * [simplify]: Simplified to (* (+ -1/2 (* x 1/3)) x) 1553850822.801 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (pow (* (+ -1/2 (* x 1/3)) x) 1)) x)) 1553850822.801 * * * * [progress]: [ 21 / 116 ] simplifiying candidate # 1553850822.801 * * * * [progress]: [ 22 / 116 ] simplifiying candidate # 1553850822.801 * [simplify]: Simplifying (+ (log x) (log (+ -1/2 (* x 1/3)))) 1553850822.801 * * [simplify]: iters left: 6 (8 enodes) 1553850822.806 * * [simplify]: iters left: 5 (27 enodes) 1553850822.814 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.814 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850822.814 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850822.814 * * [simplify]: Extracting #3: cost 10 inf + 1 1553850822.815 * * [simplify]: Extracting #4: cost 9 inf + 144 1553850822.815 * * [simplify]: Extracting #5: cost 8 inf + 145 1553850822.815 * * [simplify]: Extracting #6: cost 5 inf + 312 1553850822.815 * * [simplify]: Extracting #7: cost 1 inf + 964 1553850822.816 * * [simplify]: Extracting #8: cost 0 inf + 1227 1553850822.816 * [simplify]: Simplified to (+ (log x) (log (+ -1/2 (* 1/3 x)))) 1553850822.816 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (exp (+ (log x) (log (+ -1/2 (* 1/3 x)))))) x)) 1553850822.816 * * * * [progress]: [ 23 / 116 ] simplifiying candidate # 1553850822.816 * * * * [progress]: [ 24 / 116 ] simplifiying candidate # 1553850822.816 * * * * [progress]: [ 25 / 116 ] simplifiying candidate # 1553850822.817 * [simplify]: Simplifying (* (* (* x x) x) (* (* (+ -1/2 (* x 1/3)) (+ -1/2 (* x 1/3))) (+ -1/2 (* x 1/3)))) 1553850822.817 * * [simplify]: iters left: 6 (10 enodes) 1553850822.823 * * [simplify]: iters left: 5 (51 enodes) 1553850822.850 * * [simplify]: iters left: 4 (207 enodes) 1553850822.947 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850822.947 * * [simplify]: Extracting #1: cost 25 inf + 0 1553850822.947 * * [simplify]: Extracting #2: cost 142 inf + 42 1553850822.948 * * [simplify]: Extracting #3: cost 203 inf + 2041 1553850822.953 * * [simplify]: Extracting #4: cost 91 inf + 22607 1553850822.963 * * [simplify]: Extracting #5: cost 0 inf + 40817 1553850822.987 * * [simplify]: Extracting #6: cost 0 inf + 40218 1553850823.008 * [simplify]: Simplified to (* (* x (+ -1/2 (* 1/3 x))) (* (* x (+ -1/2 (* 1/3 x))) (* x (+ -1/2 (* 1/3 x))))) 1553850823.008 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (cbrt (* (* x (+ -1/2 (* 1/3 x))) (* (* x (+ -1/2 (* 1/3 x))) (* x (+ -1/2 (* 1/3 x))))))) x)) 1553850823.008 * * * * [progress]: [ 26 / 116 ] simplifiying candidate # 1553850823.008 * * * * [progress]: [ 27 / 116 ] simplifiying candidate # 1553850823.008 * * * * [progress]: [ 28 / 116 ] simplifiying candidate # 1553850823.008 * * * * [progress]: [ 29 / 116 ] simplifiying candidate # 1553850823.008 * * * * [progress]: [ 30 / 116 ] simplifiying candidate # 1553850823.009 * [simplify]: Simplifying (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))) 1553850823.009 * * [simplify]: iters left: 6 (8 enodes) 1553850823.014 * * [simplify]: iters left: 5 (27 enodes) 1553850823.022 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.023 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.023 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850823.023 * * [simplify]: Extracting #3: cost 10 inf + 1 1553850823.023 * * [simplify]: Extracting #4: cost 9 inf + 84 1553850823.023 * * [simplify]: Extracting #5: cost 8 inf + 85 1553850823.023 * * [simplify]: Extracting #6: cost 5 inf + 252 1553850823.023 * * [simplify]: Extracting #7: cost 1 inf + 784 1553850823.024 * * [simplify]: Extracting #8: cost 0 inf + 987 1553850823.024 * [simplify]: Simplified to (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x)) 1553850823.024 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (* (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x)) (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))))) x)) 1553850823.025 * [simplify]: Simplifying (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))) 1553850823.025 * * [simplify]: iters left: 6 (8 enodes) 1553850823.029 * * [simplify]: iters left: 5 (27 enodes) 1553850823.037 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.038 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.038 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850823.038 * * [simplify]: Extracting #3: cost 10 inf + 1 1553850823.038 * * [simplify]: Extracting #4: cost 9 inf + 84 1553850823.038 * * [simplify]: Extracting #5: cost 8 inf + 85 1553850823.038 * * [simplify]: Extracting #6: cost 5 inf + 252 1553850823.039 * * [simplify]: Extracting #7: cost 1 inf + 784 1553850823.039 * * [simplify]: Extracting #8: cost 0 inf + 987 1553850823.039 * [simplify]: Simplified to (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x)) 1553850823.039 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))) (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x)))) x)) 1553850823.040 * * * * [progress]: [ 31 / 116 ] simplifiying candidate # 1553850823.040 * [simplify]: Simplifying (* x (* x 1/3)) 1553850823.040 * * [simplify]: iters left: 4 (4 enodes) 1553850823.042 * * [simplify]: iters left: 3 (16 enodes) 1553850823.044 * * [simplify]: iters left: 2 (19 enodes) 1553850823.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.047 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850823.047 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850823.047 * * [simplify]: Extracting #3: cost 0 inf + 332 1553850823.047 * [simplify]: Simplified to (* x (* x 1/3)) 1553850823.047 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (+ (* x -1/2) (* x (* x 1/3)))) x)) 1553850823.048 * * * * [progress]: [ 32 / 116 ] simplifiying candidate # 1553850823.048 * [simplify]: Simplifying (* x -1/2) 1553850823.048 * * [simplify]: iters left: 2 (3 enodes) 1553850823.049 * * [simplify]: iters left: 1 (10 enodes) 1553850823.050 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.050 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.050 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850823.050 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850823.050 * [simplify]: Simplified to (* x -1/2) 1553850823.050 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (+ (* x (* x 1/3)) (* x -1/2))) x)) 1553850823.051 * * * * [progress]: [ 33 / 116 ] simplifiying candidate # 1553850823.051 * [simplify]: Simplifying (* (* x 1/3) x) 1553850823.051 * * [simplify]: iters left: 4 (4 enodes) 1553850823.052 * * [simplify]: iters left: 3 (14 enodes) 1553850823.054 * * [simplify]: iters left: 2 (17 enodes) 1553850823.057 * * [simplify]: iters left: 1 (19 enodes) 1553850823.060 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.060 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850823.060 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850823.060 * * [simplify]: Extracting #3: cost 1 inf + 291 1553850823.060 * * [simplify]: Extracting #4: cost 0 inf + 332 1553850823.060 * [simplify]: Simplified to (* x (* x 1/3)) 1553850823.060 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (+ (* -1/2 x) (* x (* x 1/3)))) x)) 1553850823.060 * * * * [progress]: [ 34 / 116 ] simplifiying candidate # 1553850823.060 * [simplify]: Simplifying (* -1/2 x) 1553850823.060 * * [simplify]: iters left: 2 (3 enodes) 1553850823.061 * * [simplify]: iters left: 1 (10 enodes) 1553850823.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.063 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.063 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850823.063 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850823.063 * [simplify]: Simplified to (* -1/2 x) 1553850823.063 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (+ (* (* x 1/3) x) (* -1/2 x))) x)) 1553850823.063 * * * * [progress]: [ 35 / 116 ] simplifiying candidate # 1553850823.063 * [simplify]: Simplifying (cbrt (+ -1/2 (* x 1/3))) 1553850823.063 * * [simplify]: iters left: 5 (6 enodes) 1553850823.065 * * [simplify]: iters left: 4 (20 enodes) 1553850823.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.068 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850823.068 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850823.068 * * [simplify]: Extracting #3: cost 8 inf + 1 1553850823.068 * * [simplify]: Extracting #4: cost 0 inf + 579 1553850823.069 * [simplify]: Simplified to (cbrt (+ (* 1/3 x) -1/2)) 1553850823.069 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* x (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3))))) (cbrt (+ (* 1/3 x) -1/2)))) x)) 1553850823.069 * * * * [progress]: [ 36 / 116 ] simplifiying candidate # 1553850823.069 * [simplify]: Simplifying (sqrt (+ -1/2 (* x 1/3))) 1553850823.069 * * [simplify]: iters left: 5 (6 enodes) 1553850823.071 * * [simplify]: iters left: 4 (20 enodes) 1553850823.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.075 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850823.075 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850823.075 * * [simplify]: Extracting #3: cost 8 inf + 1 1553850823.075 * * [simplify]: Extracting #4: cost 0 inf + 499 1553850823.075 * [simplify]: Simplified to (sqrt (+ (* 1/3 x) -1/2)) 1553850823.075 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* x (sqrt (+ -1/2 (* x 1/3)))) (sqrt (+ (* 1/3 x) -1/2)))) x)) 1553850823.076 * * * * [progress]: [ 37 / 116 ] simplifiying candidate # 1553850823.076 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850823.076 * * [simplify]: iters left: 4 (5 enodes) 1553850823.080 * * [simplify]: iters left: 3 (17 enodes) 1553850823.085 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.085 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.085 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850823.085 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850823.085 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850823.086 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* x 1) (+ (* 1/3 x) -1/2))) x)) 1553850823.086 * * * * [progress]: [ 38 / 116 ] simplifiying candidate # 1553850823.086 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850823.086 * * [simplify]: iters left: 4 (5 enodes) 1553850823.089 * * [simplify]: iters left: 3 (17 enodes) 1553850823.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.095 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.095 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850823.095 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850823.095 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850823.095 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* x 1) (+ (* 1/3 x) -1/2))) x)) 1553850823.095 * * * * [progress]: [ 39 / 116 ] simplifiying candidate # 1553850823.095 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850823.095 * * [simplify]: iters left: 4 (5 enodes) 1553850823.099 * * [simplify]: iters left: 3 (17 enodes) 1553850823.104 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.104 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850823.104 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850823.104 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850823.105 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850823.105 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* (* x 1) (+ (* 1/3 x) -1/2))) x)) 1553850823.105 * * * * [progress]: [ 40 / 116 ] simplifiying candidate # 1553850823.105 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1553850823.105 * * [simplify]: iters left: 3 (3 enodes) 1553850823.106 * * [simplify]: iters left: 2 (9 enodes) 1553850823.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.112 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850823.112 * * [simplify]: Extracting #2: cost 5 inf + 0 1553850823.112 * * [simplify]: Extracting #3: cost 4 inf + 1 1553850823.112 * * [simplify]: Extracting #4: cost 0 inf + 405 1553850823.112 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1553850823.112 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (* (* (cbrt x) (cbrt x)) (* (cbrt x) (+ -1/2 (* x 1/3))))) x)) 1553850823.112 * * * * [progress]: [ 41 / 116 ] simplifiying candidate # 1553850823.113 * [simplify]: Simplifying (sqrt x) 1553850823.113 * * [simplify]: iters left: 1 (2 enodes) 1553850823.113 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.113 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850823.114 * * [simplify]: Extracting #2: cost 2 inf + 1 1553850823.114 * * [simplify]: Extracting #3: cost 0 inf + 83 1553850823.114 * [simplify]: Simplified to (sqrt x) 1553850823.114 * [simplify]: Simplified (2 1 2 1) to (λ (x) (+ (* x (* (sqrt x) (* (sqrt x) (+ -1/2 (* x 1/3))))) x)) 1553850823.114 * * * * [progress]: [ 42 / 116 ] simplifiying candidate # 1553850823.114 * * * * [progress]: [ 43 / 116 ] simplifiying candidate # 1553850823.114 * [simplify]: Simplifying (+ (* -1/2 -1/2) (- (* (* x 1/3) (* x 1/3)) (* -1/2 (* x 1/3)))) 1553850823.114 * * [simplify]: iters left: 6 (9 enodes) 1553850823.122 * * [simplify]: iters left: 5 (47 enodes) 1553850823.141 * * [simplify]: iters left: 4 (109 enodes) 1553850823.177 * * [simplify]: iters left: 3 (192 enodes) 1553850823.222 * * [simplify]: iters left: 2 (232 enodes) 1553850823.269 * * [simplify]: iters left: 1 (264 enodes) 1553850823.301 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.301 * * [simplify]: Extracting #1: cost 12 inf + 0 1553850823.302 * * [simplify]: Extracting #2: cost 41 inf + 2 1553850823.302 * * [simplify]: Extracting #3: cost 34 inf + 629 1553850823.307 * * [simplify]: Extracting #4: cost 7 inf + 2896 1553850823.309 * * [simplify]: Extracting #5: cost 0 inf + 3517 1553850823.311 * [simplify]: Simplified to (+ 1/4 (* (+ (* x 1/9) 1/6) x)) 1553850823.311 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (/ (* x (+ (pow -1/2 3) (pow (* x 1/3) 3))) (+ 1/4 (* (+ (* x 1/9) 1/6) x)))) x)) 1553850823.311 * * * * [progress]: [ 44 / 116 ] simplifiying candidate # 1553850823.312 * [simplify]: Simplifying (- -1/2 (* x 1/3)) 1553850823.312 * * [simplify]: iters left: 4 (5 enodes) 1553850823.315 * * [simplify]: iters left: 3 (18 enodes) 1553850823.322 * * [simplify]: iters left: 2 (28 enodes) 1553850823.331 * * [simplify]: iters left: 1 (32 enodes) 1553850823.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.340 * * [simplify]: Extracting #1: cost 5 inf + 0 1553850823.340 * * [simplify]: Extracting #2: cost 10 inf + 1 1553850823.340 * * [simplify]: Extracting #3: cost 1 inf + 459 1553850823.341 * * [simplify]: Extracting #4: cost 0 inf + 420 1553850823.341 * [simplify]: Simplified to (- -1/2 (* 1/3 x)) 1553850823.341 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (/ (* x (- (* -1/2 -1/2) (* (* x 1/3) (* x 1/3)))) (- -1/2 (* 1/3 x)))) x)) 1553850823.341 * * * * [progress]: [ 45 / 116 ] simplifiying candidate #real (real->posit16 (* x (+ -1/2 (* x 1/3)))))) x))> 1553850823.341 * * * * [progress]: [ 46 / 116 ] simplifiying candidate # 1553850823.341 * * * * [progress]: [ 47 / 116 ] simplifiying candidate # 1553850823.341 * [simplify]: Simplifying (* x (* x (+ -1/2 (* x 1/3)))) 1553850823.342 * * [simplify]: iters left: 6 (7 enodes) 1553850823.346 * * [simplify]: iters left: 5 (33 enodes) 1553850823.359 * * [simplify]: iters left: 4 (66 enodes) 1553850823.381 * * [simplify]: iters left: 3 (90 enodes) 1553850823.402 * * [simplify]: iters left: 2 (94 enodes) 1553850823.412 * * [simplify]: iters left: 1 (101 enodes) 1553850823.422 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.423 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850823.423 * * [simplify]: Extracting #2: cost 18 inf + 1 1553850823.423 * * [simplify]: Extracting #3: cost 20 inf + 86 1553850823.423 * * [simplify]: Extracting #4: cost 8 inf + 1155 1553850823.423 * * [simplify]: Extracting #5: cost 4 inf + 1727 1553850823.424 * * [simplify]: Extracting #6: cost 1 inf + 2152 1553850823.424 * * [simplify]: Extracting #7: cost 0 inf + 2364 1553850823.425 * [simplify]: Simplified to (* (+ -1/2 (* x 1/3)) (* x x)) 1553850823.425 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (pow (* (+ -1/2 (* x 1/3)) (* x x)) 1) x)) 1553850823.426 * * * * [progress]: [ 48 / 116 ] simplifiying candidate # 1553850823.427 * [simplify]: Simplifying (* x (* x (+ -1/2 (* x 1/3)))) 1553850823.427 * * [simplify]: iters left: 6 (7 enodes) 1553850823.429 * * [simplify]: iters left: 5 (33 enodes) 1553850823.442 * * [simplify]: iters left: 4 (66 enodes) 1553850823.464 * * [simplify]: iters left: 3 (90 enodes) 1553850823.490 * * [simplify]: iters left: 2 (94 enodes) 1553850823.508 * * [simplify]: iters left: 1 (101 enodes) 1553850823.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.529 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850823.530 * * [simplify]: Extracting #2: cost 18 inf + 1 1553850823.530 * * [simplify]: Extracting #3: cost 20 inf + 86 1553850823.530 * * [simplify]: Extracting #4: cost 8 inf + 1155 1553850823.531 * * [simplify]: Extracting #5: cost 4 inf + 1727 1553850823.532 * * [simplify]: Extracting #6: cost 1 inf + 2152 1553850823.533 * * [simplify]: Extracting #7: cost 0 inf + 2364 1553850823.534 * [simplify]: Simplified to (* (+ -1/2 (* x 1/3)) (* x x)) 1553850823.534 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (pow (* (+ -1/2 (* x 1/3)) (* x x)) 1) x)) 1553850823.534 * * * * [progress]: [ 49 / 116 ] simplifiying candidate # 1553850823.534 * * * * [progress]: [ 50 / 116 ] simplifiying candidate # 1553850823.535 * [simplify]: Simplifying (+ (log x) (+ (log x) (log (+ -1/2 (* x 1/3))))) 1553850823.535 * * [simplify]: iters left: 6 (9 enodes) 1553850823.540 * * [simplify]: iters left: 5 (33 enodes) 1553850823.550 * * [simplify]: iters left: 4 (36 enodes) 1553850823.560 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.560 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850823.560 * * [simplify]: Extracting #2: cost 12 inf + 0 1553850823.560 * * [simplify]: Extracting #3: cost 14 inf + 1 1553850823.560 * * [simplify]: Extracting #4: cost 12 inf + 255 1553850823.560 * * [simplify]: Extracting #5: cost 10 inf + 367 1553850823.560 * * [simplify]: Extracting #6: cost 8 inf + 492 1553850823.561 * * [simplify]: Extracting #7: cost 2 inf + 1639 1553850823.562 * * [simplify]: Extracting #8: cost 0 inf + 2055 1553850823.562 * [simplify]: Simplified to (+ (log (+ -1/2 (* 1/3 x))) (+ (log x) (log x))) 1553850823.562 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (exp (+ (log (+ -1/2 (* 1/3 x))) (+ (log x) (log x)))) x)) 1553850823.562 * * * * [progress]: [ 51 / 116 ] simplifiying candidate # 1553850823.563 * [simplify]: Simplifying (+ (log x) (log (* x (+ -1/2 (* x 1/3))))) 1553850823.563 * * [simplify]: iters left: 6 (9 enodes) 1553850823.568 * * [simplify]: iters left: 5 (39 enodes) 1553850823.584 * * [simplify]: iters left: 4 (55 enodes) 1553850823.598 * * [simplify]: iters left: 3 (60 enodes) 1553850823.614 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.614 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850823.614 * * [simplify]: Extracting #2: cost 13 inf + 0 1553850823.614 * * [simplify]: Extracting #3: cost 18 inf + 1 1553850823.614 * * [simplify]: Extracting #4: cost 20 inf + 115 1553850823.615 * * [simplify]: Extracting #5: cost 12 inf + 741 1553850823.616 * * [simplify]: Extracting #6: cost 1 inf + 2188 1553850823.617 * * [simplify]: Extracting #7: cost 0 inf + 2491 1553850823.618 * [simplify]: Simplified to (+ (log (+ -1/2 (* 1/3 x))) (+ (log x) (log x))) 1553850823.618 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (exp (+ (log (+ -1/2 (* 1/3 x))) (+ (log x) (log x)))) x)) 1553850823.618 * * * * [progress]: [ 52 / 116 ] simplifiying candidate # 1553850823.618 * * * * [progress]: [ 53 / 116 ] simplifiying candidate # 1553850823.618 * * * * [progress]: [ 54 / 116 ] simplifiying candidate # 1553850823.619 * [simplify]: Simplifying (* (* (* x x) x) (* (* (* x x) x) (* (* (+ -1/2 (* x 1/3)) (+ -1/2 (* x 1/3))) (+ -1/2 (* x 1/3))))) 1553850823.619 * * [simplify]: iters left: 6 (11 enodes) 1553850823.626 * * [simplify]: iters left: 5 (59 enodes) 1553850823.659 * * [simplify]: iters left: 4 (264 enodes) 1553850823.890 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850823.890 * * [simplify]: Extracting #1: cost 31 inf + 0 1553850823.891 * * [simplify]: Extracting #2: cost 189 inf + 123 1553850823.896 * * [simplify]: Extracting #3: cost 255 inf + 12327 1553850823.925 * * [simplify]: Extracting #4: cost 26 inf + 62224 1553850823.957 * * [simplify]: Extracting #5: cost 0 inf + 67254 1553850823.989 * * [simplify]: Extracting #6: cost 0 inf + 66256 1553850824.021 * [simplify]: Simplified to (* (* (+ -1/2 (* 1/3 x)) (* x (* x x))) (* (* (+ -1/2 (* 1/3 x)) (* x (* x x))) (+ -1/2 (* 1/3 x)))) 1553850824.021 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (cbrt (* (* (+ -1/2 (* 1/3 x)) (* x (* x x))) (* (* (+ -1/2 (* 1/3 x)) (* x (* x x))) (+ -1/2 (* 1/3 x))))) x)) 1553850824.022 * * * * [progress]: [ 55 / 116 ] simplifiying candidate # 1553850824.022 * [simplify]: Simplifying (* (* (* x x) x) (* (* (* x (+ -1/2 (* x 1/3))) (* x (+ -1/2 (* x 1/3)))) (* x (+ -1/2 (* x 1/3))))) 1553850824.022 * * [simplify]: iters left: 6 (11 enodes) 1553850824.029 * * [simplify]: iters left: 5 (57 enodes) 1553850824.056 * * [simplify]: iters left: 4 (218 enodes) 1553850824.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.261 * * [simplify]: Extracting #1: cost 44 inf + 0 1553850824.262 * * [simplify]: Extracting #2: cost 237 inf + 42 1553850824.266 * * [simplify]: Extracting #3: cost 250 inf + 12466 1553850824.296 * * [simplify]: Extracting #4: cost 6 inf + 66469 1553850824.333 * * [simplify]: Extracting #5: cost 0 inf + 67767 1553850824.375 * [simplify]: Simplified to (* (* (* (* x (+ -1/2 (* 1/3 x))) x) (* (* x (+ -1/2 (* 1/3 x))) x)) (* (* x (+ -1/2 (* 1/3 x))) x)) 1553850824.375 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (cbrt (* (* (* (* x (+ -1/2 (* 1/3 x))) x) (* (* x (+ -1/2 (* 1/3 x))) x)) (* (* x (+ -1/2 (* 1/3 x))) x))) x)) 1553850824.376 * * * * [progress]: [ 56 / 116 ] simplifiying candidate # 1553850824.376 * * * * [progress]: [ 57 / 116 ] simplifiying candidate # 1553850824.376 * * * * [progress]: [ 58 / 116 ] simplifiying candidate # 1553850824.376 * * * * [progress]: [ 59 / 116 ] simplifiying candidate # 1553850824.376 * * * * [progress]: [ 60 / 116 ] simplifiying candidate # 1553850824.376 * [simplify]: Simplifying (* (sqrt x) (sqrt (* x (+ -1/2 (* x 1/3))))) 1553850824.376 * * [simplify]: iters left: 6 (9 enodes) 1553850824.381 * * [simplify]: iters left: 5 (37 enodes) 1553850824.393 * * [simplify]: iters left: 4 (48 enodes) 1553850824.406 * * [simplify]: iters left: 3 (50 enodes) 1553850824.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.418 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.418 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850824.419 * * [simplify]: Extracting #3: cost 11 inf + 1 1553850824.419 * * [simplify]: Extracting #4: cost 16 inf + 83 1553850824.419 * * [simplify]: Extracting #5: cost 13 inf + 210 1553850824.419 * * [simplify]: Extracting #6: cost 7 inf + 582 1553850824.420 * * [simplify]: Extracting #7: cost 3 inf + 1074 1553850824.420 * * [simplify]: Extracting #8: cost 0 inf + 1723 1553850824.421 * [simplify]: Simplified to (* (sqrt x) (sqrt (* (+ -1/2 (* 1/3 x)) x))) 1553850824.421 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (sqrt x) (sqrt (* (+ -1/2 (* 1/3 x)) x))) (* (sqrt x) (sqrt (* x (+ -1/2 (* x 1/3)))))) x)) 1553850824.421 * [simplify]: Simplifying (* (sqrt x) (sqrt (* x (+ -1/2 (* x 1/3))))) 1553850824.422 * * [simplify]: iters left: 6 (9 enodes) 1553850824.427 * * [simplify]: iters left: 5 (37 enodes) 1553850824.439 * * [simplify]: iters left: 4 (48 enodes) 1553850824.449 * * [simplify]: iters left: 3 (50 enodes) 1553850824.455 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.455 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.455 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850824.455 * * [simplify]: Extracting #3: cost 11 inf + 1 1553850824.455 * * [simplify]: Extracting #4: cost 16 inf + 83 1553850824.455 * * [simplify]: Extracting #5: cost 13 inf + 210 1553850824.455 * * [simplify]: Extracting #6: cost 7 inf + 582 1553850824.456 * * [simplify]: Extracting #7: cost 3 inf + 1074 1553850824.456 * * [simplify]: Extracting #8: cost 0 inf + 1723 1553850824.456 * [simplify]: Simplified to (* (sqrt x) (sqrt (* (+ -1/2 (* 1/3 x)) x))) 1553850824.456 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* (sqrt x) (sqrt (* x (+ -1/2 (* x 1/3))))) (* (sqrt x) (sqrt (* (+ -1/2 (* 1/3 x)) x)))) x)) 1553850824.456 * * * * [progress]: [ 61 / 116 ] simplifiying candidate # 1553850824.457 * [simplify]: Simplifying (* (sqrt x) (* (sqrt x) (sqrt (+ -1/2 (* x 1/3))))) 1553850824.457 * * [simplify]: iters left: 6 (9 enodes) 1553850824.459 * * [simplify]: iters left: 5 (33 enodes) 1553850824.464 * * [simplify]: iters left: 4 (34 enodes) 1553850824.469 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.469 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.469 * * [simplify]: Extracting #2: cost 9 inf + 1 1553850824.470 * * [simplify]: Extracting #3: cost 10 inf + 83 1553850824.470 * * [simplify]: Extracting #4: cost 11 inf + 84 1553850824.470 * * [simplify]: Extracting #5: cost 10 inf + 85 1553850824.470 * * [simplify]: Extracting #6: cost 8 inf + 210 1553850824.470 * * [simplify]: Extracting #7: cost 2 inf + 987 1553850824.471 * * [simplify]: Extracting #8: cost 0 inf + 1313 1553850824.471 * [simplify]: Simplified to (* x (sqrt (+ -1/2 (* 1/3 x)))) 1553850824.472 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* x (sqrt (+ -1/2 (* 1/3 x)))) (* (sqrt x) (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))))) x)) 1553850824.472 * [simplify]: Simplifying (* (sqrt x) (* (sqrt x) (sqrt (+ -1/2 (* x 1/3))))) 1553850824.472 * * [simplify]: iters left: 6 (9 enodes) 1553850824.480 * * [simplify]: iters left: 5 (33 enodes) 1553850824.490 * * [simplify]: iters left: 4 (34 enodes) 1553850824.500 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.500 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.500 * * [simplify]: Extracting #2: cost 9 inf + 1 1553850824.500 * * [simplify]: Extracting #3: cost 10 inf + 83 1553850824.500 * * [simplify]: Extracting #4: cost 11 inf + 84 1553850824.500 * * [simplify]: Extracting #5: cost 10 inf + 85 1553850824.500 * * [simplify]: Extracting #6: cost 8 inf + 210 1553850824.501 * * [simplify]: Extracting #7: cost 2 inf + 987 1553850824.501 * * [simplify]: Extracting #8: cost 0 inf + 1313 1553850824.502 * [simplify]: Simplified to (* x (sqrt (+ -1/2 (* 1/3 x)))) 1553850824.502 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* (sqrt x) (* (sqrt x) (sqrt (+ -1/2 (* x 1/3))))) (* x (sqrt (+ -1/2 (* 1/3 x))))) x)) 1553850824.502 * * * * [progress]: [ 62 / 116 ] simplifiying candidate # 1553850824.503 * [simplify]: Simplifying (* x (* x (* x 1/3))) 1553850824.503 * * [simplify]: iters left: 6 (5 enodes) 1553850824.506 * * [simplify]: iters left: 5 (21 enodes) 1553850824.512 * * [simplify]: iters left: 4 (29 enodes) 1553850824.521 * * [simplify]: iters left: 3 (34 enodes) 1553850824.531 * * [simplify]: iters left: 2 (41 enodes) 1553850824.538 * * [simplify]: iters left: 1 (55 enodes) 1553850824.548 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.549 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850824.549 * * [simplify]: Extracting #2: cost 16 inf + 2 1553850824.549 * * [simplify]: Extracting #3: cost 14 inf + 634 1553850824.549 * * [simplify]: Extracting #4: cost 8 inf + 953 1553850824.550 * * [simplify]: Extracting #5: cost 0 inf + 2980 1553850824.551 * [simplify]: Simplified to (* (* x (* x 1/3)) x) 1553850824.551 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* x (* x -1/2)) (* (* x (* x 1/3)) x)) x)) 1553850824.551 * * * * [progress]: [ 63 / 116 ] simplifiying candidate # 1553850824.551 * [simplify]: Simplifying (* x (* x -1/2)) 1553850824.551 * * [simplify]: iters left: 4 (4 enodes) 1553850824.554 * * [simplify]: iters left: 3 (16 enodes) 1553850824.559 * * [simplify]: iters left: 2 (19 enodes) 1553850824.564 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.564 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.564 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850824.564 * * [simplify]: Extracting #3: cost 0 inf + 332 1553850824.564 * [simplify]: Simplified to (* x (* x -1/2)) 1553850824.564 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* x (* x (* x 1/3))) (* x (* x -1/2))) x)) 1553850824.564 * * * * [progress]: [ 64 / 116 ] simplifiying candidate # 1553850824.565 * [simplify]: Simplifying (* x (* (* x 1/3) x)) 1553850824.565 * * [simplify]: iters left: 6 (5 enodes) 1553850824.568 * * [simplify]: iters left: 5 (19 enodes) 1553850824.573 * * [simplify]: iters left: 4 (24 enodes) 1553850824.577 * * [simplify]: iters left: 3 (30 enodes) 1553850824.581 * * [simplify]: iters left: 2 (35 enodes) 1553850824.587 * * [simplify]: iters left: 1 (42 enodes) 1553850824.596 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.597 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850824.597 * * [simplify]: Extracting #2: cost 12 inf + 2 1553850824.597 * * [simplify]: Extracting #3: cost 5 inf + 658 1553850824.597 * * [simplify]: Extracting #4: cost 4 inf + 740 1553850824.597 * * [simplify]: Extracting #5: cost 2 inf + 953 1553850824.597 * * [simplify]: Extracting #6: cost 0 inf + 1377 1553850824.598 * [simplify]: Simplified to (* (* x x) (* x 1/3)) 1553850824.598 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* x (* -1/2 x)) (* (* x x) (* x 1/3))) x)) 1553850824.598 * * * * [progress]: [ 65 / 116 ] simplifiying candidate # 1553850824.598 * [simplify]: Simplifying (* x (* -1/2 x)) 1553850824.598 * * [simplify]: iters left: 4 (4 enodes) 1553850824.599 * * [simplify]: iters left: 3 (14 enodes) 1553850824.601 * * [simplify]: iters left: 2 (17 enodes) 1553850824.604 * * [simplify]: iters left: 1 (19 enodes) 1553850824.607 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.607 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.607 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850824.607 * * [simplify]: Extracting #3: cost 1 inf + 291 1553850824.607 * * [simplify]: Extracting #4: cost 0 inf + 332 1553850824.607 * [simplify]: Simplified to (* x (* x -1/2)) 1553850824.607 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* x (* (* x 1/3) x)) (* x (* x -1/2))) x)) 1553850824.607 * * * * [progress]: [ 66 / 116 ] simplifiying candidate # 1553850824.607 * [simplify]: Simplifying (* (* x (* x 1/3)) x) 1553850824.607 * * [simplify]: iters left: 6 (5 enodes) 1553850824.609 * * [simplify]: iters left: 5 (20 enodes) 1553850824.612 * * [simplify]: iters left: 4 (27 enodes) 1553850824.616 * * [simplify]: iters left: 3 (34 enodes) 1553850824.622 * * [simplify]: iters left: 2 (41 enodes) 1553850824.629 * * [simplify]: iters left: 1 (55 enodes) 1553850824.649 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.649 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850824.649 * * [simplify]: Extracting #2: cost 16 inf + 2 1553850824.650 * * [simplify]: Extracting #3: cost 14 inf + 504 1553850824.650 * * [simplify]: Extracting #4: cost 9 inf + 872 1553850824.651 * * [simplify]: Extracting #5: cost 0 inf + 2980 1553850824.651 * [simplify]: Simplified to (* (* x (* x 1/3)) x) 1553850824.652 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* (* x -1/2) x) (* (* x (* x 1/3)) x)) x)) 1553850824.652 * * * * [progress]: [ 67 / 116 ] simplifiying candidate # 1553850824.652 * [simplify]: Simplifying (* (* x -1/2) x) 1553850824.652 * * [simplify]: iters left: 4 (4 enodes) 1553850824.655 * * [simplify]: iters left: 3 (14 enodes) 1553850824.659 * * [simplify]: iters left: 2 (17 enodes) 1553850824.664 * * [simplify]: iters left: 1 (19 enodes) 1553850824.669 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.670 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.670 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850824.670 * * [simplify]: Extracting #3: cost 1 inf + 291 1553850824.670 * * [simplify]: Extracting #4: cost 0 inf + 332 1553850824.670 * [simplify]: Simplified to (* x (* x -1/2)) 1553850824.670 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* (* x (* x 1/3)) x) (* x (* x -1/2))) x)) 1553850824.670 * * * * [progress]: [ 68 / 116 ] simplifiying candidate # 1553850824.671 * [simplify]: Simplifying (* (* (* x 1/3) x) x) 1553850824.671 * * [simplify]: iters left: 6 (5 enodes) 1553850824.674 * * [simplify]: iters left: 5 (20 enodes) 1553850824.680 * * [simplify]: iters left: 4 (28 enodes) 1553850824.688 * * [simplify]: iters left: 3 (34 enodes) 1553850824.696 * * [simplify]: iters left: 2 (41 enodes) 1553850824.703 * * [simplify]: iters left: 1 (55 enodes) 1553850824.717 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.717 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850824.717 * * [simplify]: Extracting #2: cost 16 inf + 2 1553850824.717 * * [simplify]: Extracting #3: cost 14 inf + 333 1553850824.717 * * [simplify]: Extracting #4: cost 8 inf + 1084 1553850824.718 * * [simplify]: Extracting #5: cost 0 inf + 2980 1553850824.718 * [simplify]: Simplified to (* (* x (* x 1/3)) x) 1553850824.718 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* (* -1/2 x) x) (* (* x (* x 1/3)) x)) x)) 1553850824.718 * * * * [progress]: [ 69 / 116 ] simplifiying candidate # 1553850824.718 * [simplify]: Simplifying (* (* -1/2 x) x) 1553850824.718 * * [simplify]: iters left: 4 (4 enodes) 1553850824.720 * * [simplify]: iters left: 3 (16 enodes) 1553850824.723 * * [simplify]: iters left: 2 (19 enodes) 1553850824.729 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.729 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.729 * * [simplify]: Extracting #2: cost 5 inf + 43 1553850824.729 * * [simplify]: Extracting #3: cost 0 inf + 332 1553850824.729 * [simplify]: Simplified to (* (* x x) -1/2) 1553850824.729 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (+ (* (* (* x 1/3) x) x) (* (* x x) -1/2)) x)) 1553850824.729 * * * * [progress]: [ 70 / 116 ] simplifiying candidate # 1553850824.730 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850824.730 * * [simplify]: iters left: 4 (5 enodes) 1553850824.733 * * [simplify]: iters left: 3 (17 enodes) 1553850824.739 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.739 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.739 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850824.739 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850824.739 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850824.739 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x x) (+ (* 1/3 x) -1/2)) x)) 1553850824.739 * * * * [progress]: [ 71 / 116 ] simplifiying candidate # 1553850824.739 * [simplify]: Simplifying (cbrt (* x (+ -1/2 (* x 1/3)))) 1553850824.740 * * [simplify]: iters left: 6 (7 enodes) 1553850824.744 * * [simplify]: iters left: 5 (30 enodes) 1553850824.752 * * [simplify]: iters left: 4 (41 enodes) 1553850824.758 * * [simplify]: iters left: 3 (43 enodes) 1553850824.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.764 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.764 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850824.764 * * [simplify]: Extracting #3: cost 14 inf + 1 1553850824.764 * * [simplify]: Extracting #4: cost 10 inf + 250 1553850824.764 * * [simplify]: Extracting #5: cost 4 inf + 623 1553850824.764 * * [simplify]: Extracting #6: cost 0 inf + 1235 1553850824.765 * [simplify]: Simplified to (cbrt (* (+ -1/2 (* x 1/3)) x)) 1553850824.765 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* (cbrt (* x (+ -1/2 (* x 1/3)))) (cbrt (* x (+ -1/2 (* x 1/3)))))) (cbrt (* (+ -1/2 (* x 1/3)) x))) x)) 1553850824.765 * * * * [progress]: [ 72 / 116 ] simplifiying candidate # 1553850824.765 * [simplify]: Simplifying (sqrt (* x (+ -1/2 (* x 1/3)))) 1553850824.765 * * [simplify]: iters left: 6 (7 enodes) 1553850824.767 * * [simplify]: iters left: 5 (30 enodes) 1553850824.773 * * [simplify]: iters left: 4 (41 enodes) 1553850824.779 * * [simplify]: iters left: 3 (43 enodes) 1553850824.790 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.790 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.790 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850824.791 * * [simplify]: Extracting #3: cost 14 inf + 1 1553850824.791 * * [simplify]: Extracting #4: cost 10 inf + 250 1553850824.791 * * [simplify]: Extracting #5: cost 4 inf + 623 1553850824.792 * * [simplify]: Extracting #6: cost 0 inf + 1155 1553850824.792 * [simplify]: Simplified to (sqrt (* (+ -1/2 (* x 1/3)) x)) 1553850824.792 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (sqrt (* x (+ -1/2 (* x 1/3))))) (sqrt (* (+ -1/2 (* x 1/3)) x))) x)) 1553850824.792 * * * * [progress]: [ 73 / 116 ] simplifiying candidate # 1553850824.793 * [simplify]: Simplifying (* x (+ -1/2 (* x 1/3))) 1553850824.793 * * [simplify]: iters left: 6 (6 enodes) 1553850824.797 * * [simplify]: iters left: 5 (27 enodes) 1553850824.804 * * [simplify]: iters left: 4 (38 enodes) 1553850824.810 * * [simplify]: iters left: 3 (40 enodes) 1553850824.817 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.817 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.817 * * [simplify]: Extracting #2: cost 12 inf + 1 1553850824.817 * * [simplify]: Extracting #3: cost 9 inf + 168 1553850824.817 * * [simplify]: Extracting #4: cost 1 inf + 706 1553850824.817 * * [simplify]: Extracting #5: cost 0 inf + 829 1553850824.818 * [simplify]: Simplified to (* (+ -1/2 (* x 1/3)) x) 1553850824.818 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x 1) (* (+ -1/2 (* x 1/3)) x)) x)) 1553850824.818 * * * * [progress]: [ 74 / 116 ] simplifiying candidate # 1553850824.818 * [simplify]: Simplifying (* (sqrt x) (sqrt (+ -1/2 (* x 1/3)))) 1553850824.818 * * [simplify]: iters left: 6 (8 enodes) 1553850824.820 * * [simplify]: iters left: 5 (27 enodes) 1553850824.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.825 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.825 * * [simplify]: Extracting #2: cost 8 inf + 0 1553850824.825 * * [simplify]: Extracting #3: cost 10 inf + 1 1553850824.825 * * [simplify]: Extracting #4: cost 9 inf + 84 1553850824.825 * * [simplify]: Extracting #5: cost 8 inf + 85 1553850824.825 * * [simplify]: Extracting #6: cost 5 inf + 252 1553850824.825 * * [simplify]: Extracting #7: cost 1 inf + 784 1553850824.825 * * [simplify]: Extracting #8: cost 0 inf + 987 1553850824.826 * [simplify]: Simplified to (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x)) 1553850824.826 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* (sqrt x) (sqrt (+ -1/2 (* x 1/3))))) (* (sqrt (+ -1/2 (* 1/3 x))) (sqrt x))) x)) 1553850824.826 * * * * [progress]: [ 75 / 116 ] simplifiying candidate # 1553850824.826 * [simplify]: Simplifying (cbrt (+ -1/2 (* x 1/3))) 1553850824.826 * * [simplify]: iters left: 5 (6 enodes) 1553850824.828 * * [simplify]: iters left: 4 (20 enodes) 1553850824.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.831 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.831 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850824.831 * * [simplify]: Extracting #3: cost 8 inf + 1 1553850824.831 * * [simplify]: Extracting #4: cost 0 inf + 579 1553850824.832 * [simplify]: Simplified to (cbrt (+ (* 1/3 x) -1/2)) 1553850824.832 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* x (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3)))))) (cbrt (+ (* 1/3 x) -1/2))) x)) 1553850824.832 * * * * [progress]: [ 76 / 116 ] simplifiying candidate # 1553850824.832 * [simplify]: Simplifying (sqrt (+ -1/2 (* x 1/3))) 1553850824.832 * * [simplify]: iters left: 5 (6 enodes) 1553850824.834 * * [simplify]: iters left: 4 (20 enodes) 1553850824.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.837 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.837 * * [simplify]: Extracting #2: cost 6 inf + 0 1553850824.837 * * [simplify]: Extracting #3: cost 8 inf + 1 1553850824.837 * * [simplify]: Extracting #4: cost 0 inf + 499 1553850824.838 * [simplify]: Simplified to (sqrt (+ (* 1/3 x) -1/2)) 1553850824.838 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* x (sqrt (+ -1/2 (* x 1/3))))) (sqrt (+ (* 1/3 x) -1/2))) x)) 1553850824.838 * * * * [progress]: [ 77 / 116 ] simplifiying candidate # 1553850824.838 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850824.838 * * [simplify]: iters left: 4 (5 enodes) 1553850824.842 * * [simplify]: iters left: 3 (17 enodes) 1553850824.847 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.847 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.847 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850824.847 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850824.848 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850824.848 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* x 1)) (+ (* 1/3 x) -1/2)) x)) 1553850824.848 * * * * [progress]: [ 78 / 116 ] simplifiying candidate # 1553850824.848 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850824.848 * * [simplify]: iters left: 4 (5 enodes) 1553850824.851 * * [simplify]: iters left: 3 (17 enodes) 1553850824.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.857 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.857 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850824.857 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850824.858 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850824.858 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* x 1)) (+ (* 1/3 x) -1/2)) x)) 1553850824.858 * * * * [progress]: [ 79 / 116 ] simplifiying candidate # 1553850824.858 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850824.858 * * [simplify]: iters left: 4 (5 enodes) 1553850824.861 * * [simplify]: iters left: 3 (17 enodes) 1553850824.864 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.864 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850824.864 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850824.864 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850824.864 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850824.864 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* x 1)) (+ (* 1/3 x) -1/2)) x)) 1553850824.864 * * * * [progress]: [ 80 / 116 ] simplifiying candidate # 1553850824.864 * [simplify]: Simplifying (* (cbrt x) (+ -1/2 (* x 1/3))) 1553850824.864 * * [simplify]: iters left: 6 (7 enodes) 1553850824.867 * * [simplify]: iters left: 5 (30 enodes) 1553850824.872 * * [simplify]: iters left: 4 (48 enodes) 1553850824.879 * * [simplify]: iters left: 3 (56 enodes) 1553850824.886 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.886 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.886 * * [simplify]: Extracting #2: cost 16 inf + 0 1553850824.886 * * [simplify]: Extracting #3: cost 16 inf + 3 1553850824.886 * * [simplify]: Extracting #4: cost 10 inf + 535 1553850824.886 * * [simplify]: Extracting #5: cost 1 inf + 1753 1553850824.886 * * [simplify]: Extracting #6: cost 0 inf + 1875 1553850824.887 * [simplify]: Simplified to (* (+ -1/2 (* 1/3 x)) (cbrt x)) 1553850824.887 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (* (cbrt x) (cbrt x))) (* (+ -1/2 (* 1/3 x)) (cbrt x))) x)) 1553850824.887 * * * * [progress]: [ 81 / 116 ] simplifiying candidate # 1553850824.887 * [simplify]: Simplifying (* (sqrt x) (+ -1/2 (* x 1/3))) 1553850824.887 * * [simplify]: iters left: 6 (7 enodes) 1553850824.890 * * [simplify]: iters left: 5 (30 enodes) 1553850824.896 * * [simplify]: iters left: 4 (48 enodes) 1553850824.909 * * [simplify]: iters left: 3 (56 enodes) 1553850824.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.922 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.925 * * [simplify]: Extracting #2: cost 16 inf + 0 1553850824.925 * * [simplify]: Extracting #3: cost 16 inf + 3 1553850824.925 * * [simplify]: Extracting #4: cost 10 inf + 415 1553850824.926 * * [simplify]: Extracting #5: cost 1 inf + 1313 1553850824.926 * * [simplify]: Extracting #6: cost 0 inf + 1395 1553850824.927 * [simplify]: Simplified to (* (+ -1/2 (* 1/3 x)) (sqrt x)) 1553850824.927 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x (sqrt x)) (* (+ -1/2 (* 1/3 x)) (sqrt x))) x)) 1553850824.927 * * * * [progress]: [ 82 / 116 ] simplifiying candidate # 1553850824.928 * [simplify]: Simplifying (* x (+ -1/2 (* x 1/3))) 1553850824.928 * * [simplify]: iters left: 6 (6 enodes) 1553850824.932 * * [simplify]: iters left: 5 (27 enodes) 1553850824.941 * * [simplify]: iters left: 4 (38 enodes) 1553850824.951 * * [simplify]: iters left: 3 (40 enodes) 1553850824.962 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.962 * * [simplify]: Extracting #1: cost 6 inf + 0 1553850824.962 * * [simplify]: Extracting #2: cost 12 inf + 1 1553850824.962 * * [simplify]: Extracting #3: cost 9 inf + 168 1553850824.962 * * [simplify]: Extracting #4: cost 1 inf + 706 1553850824.963 * * [simplify]: Extracting #5: cost 0 inf + 829 1553850824.963 * [simplify]: Simplified to (* (+ -1/2 (* x 1/3)) x) 1553850824.963 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* x 1) (* (+ -1/2 (* x 1/3)) x)) x)) 1553850824.963 * * * * [progress]: [ 83 / 116 ] simplifiying candidate # 1553850824.963 * * * * [progress]: [ 84 / 116 ] simplifiying candidate # 1553850824.964 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1553850824.964 * * [simplify]: iters left: 3 (3 enodes) 1553850824.965 * * [simplify]: iters left: 2 (9 enodes) 1553850824.968 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.968 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.968 * * [simplify]: Extracting #2: cost 5 inf + 0 1553850824.968 * * [simplify]: Extracting #3: cost 4 inf + 1 1553850824.968 * * [simplify]: Extracting #4: cost 0 inf + 405 1553850824.968 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1553850824.968 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* x (+ -1/2 (* x 1/3))))) x)) 1553850824.968 * * * * [progress]: [ 85 / 116 ] simplifiying candidate # 1553850824.969 * [simplify]: Simplifying (sqrt x) 1553850824.969 * * [simplify]: iters left: 1 (2 enodes) 1553850824.970 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850824.970 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850824.970 * * [simplify]: Extracting #2: cost 2 inf + 1 1553850824.970 * * [simplify]: Extracting #3: cost 0 inf + 83 1553850824.970 * [simplify]: Simplified to (sqrt x) 1553850824.970 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (sqrt x) (* (sqrt x) (* x (+ -1/2 (* x 1/3))))) x)) 1553850824.970 * * * * [progress]: [ 86 / 116 ] simplifiying candidate # 1553850824.970 * * * * [progress]: [ 87 / 116 ] simplifiying candidate # 1553850824.970 * [simplify]: Simplifying (+ (* -1/2 -1/2) (- (* (* x 1/3) (* x 1/3)) (* -1/2 (* x 1/3)))) 1553850824.970 * * [simplify]: iters left: 6 (9 enodes) 1553850824.978 * * [simplify]: iters left: 5 (47 enodes) 1553850824.997 * * [simplify]: iters left: 4 (109 enodes) 1553850825.028 * * [simplify]: iters left: 3 (192 enodes) 1553850825.064 * * [simplify]: iters left: 2 (232 enodes) 1553850825.107 * * [simplify]: iters left: 1 (264 enodes) 1553850825.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.174 * * [simplify]: Extracting #1: cost 12 inf + 0 1553850825.174 * * [simplify]: Extracting #2: cost 41 inf + 2 1553850825.175 * * [simplify]: Extracting #3: cost 34 inf + 629 1553850825.177 * * [simplify]: Extracting #4: cost 7 inf + 2896 1553850825.179 * * [simplify]: Extracting #5: cost 0 inf + 3517 1553850825.181 * [simplify]: Simplified to (+ 1/4 (* (+ (* x 1/9) 1/6) x)) 1553850825.181 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (/ (* x (* x (+ (pow -1/2 3) (pow (* x 1/3) 3)))) (+ 1/4 (* (+ (* x 1/9) 1/6) x))) x)) 1553850825.181 * * * * [progress]: [ 88 / 116 ] simplifiying candidate # 1553850825.182 * [simplify]: Simplifying (- -1/2 (* x 1/3)) 1553850825.182 * * [simplify]: iters left: 4 (5 enodes) 1553850825.185 * * [simplify]: iters left: 3 (18 enodes) 1553850825.192 * * [simplify]: iters left: 2 (28 enodes) 1553850825.200 * * [simplify]: iters left: 1 (32 enodes) 1553850825.207 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.207 * * [simplify]: Extracting #1: cost 5 inf + 0 1553850825.207 * * [simplify]: Extracting #2: cost 10 inf + 1 1553850825.207 * * [simplify]: Extracting #3: cost 1 inf + 459 1553850825.208 * * [simplify]: Extracting #4: cost 0 inf + 420 1553850825.208 * [simplify]: Simplified to (- -1/2 (* 1/3 x)) 1553850825.208 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (/ (* x (* x (- (* -1/2 -1/2) (* (* x 1/3) (* x 1/3))))) (- -1/2 (* 1/3 x))) x)) 1553850825.208 * * * * [progress]: [ 89 / 116 ] simplifiying candidate #real (real->posit16 (* x (* x (+ -1/2 (* x 1/3)))))) x))> 1553850825.208 * * * * [progress]: [ 90 / 116 ] simplifiying candidate # 1553850825.208 * * * * [progress]: [ 91 / 116 ] simplifiying candidate # 1553850825.208 * [simplify]: Simplifying (* (exp -1/2) (exp (* x 1/3))) 1553850825.208 * * [simplify]: iters left: 5 (7 enodes) 1553850825.210 * * [simplify]: iters left: 4 (27 enodes) 1553850825.216 * * [simplify]: iters left: 3 (41 enodes) 1553850825.224 * * [simplify]: iters left: 2 (61 enodes) 1553850825.241 * * [simplify]: iters left: 1 (104 enodes) 1553850825.283 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.283 * * [simplify]: Extracting #1: cost 14 inf + 0 1553850825.284 * * [simplify]: Extracting #2: cost 47 inf + 0 1553850825.284 * * [simplify]: Extracting #3: cost 45 inf + 373 1553850825.285 * * [simplify]: Extracting #4: cost 33 inf + 2287 1553850825.286 * * [simplify]: Extracting #5: cost 15 inf + 8960 1553850825.289 * * [simplify]: Extracting #6: cost 0 inf + 14844 1553850825.291 * [simplify]: Simplified to (exp (+ -1/2 (* x 1/3))) 1553850825.291 * [simplify]: Simplified (2 1 2 2 1) to (λ (x) (+ (* x (* x (log (exp (+ -1/2 (* x 1/3)))))) x)) 1553850825.291 * * * * [progress]: [ 92 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 93 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 94 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 95 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 96 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 97 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 98 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 99 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 100 / 116 ] simplifiying candidate # 1553850825.292 * * * * [progress]: [ 101 / 116 ] simplifiying candidate # 1553850825.292 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850825.292 * * [simplify]: iters left: 4 (5 enodes) 1553850825.296 * * [simplify]: iters left: 3 (17 enodes) 1553850825.301 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.301 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850825.301 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850825.302 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850825.302 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850825.302 * [simplify]: Simplified (2 1 2 2 2) to (λ (x) (+ (* x (* x (* 1 (+ (* 1/3 x) -1/2)))) x)) 1553850825.302 * * * * [progress]: [ 102 / 116 ] simplifiying candidate # 1553850825.302 * [simplify]: Simplifying (+ -1/2 (* x 1/3)) 1553850825.302 * * [simplify]: iters left: 4 (5 enodes) 1553850825.305 * * [simplify]: iters left: 3 (17 enodes) 1553850825.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.311 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850825.311 * * [simplify]: Extracting #2: cost 6 inf + 1 1553850825.311 * * [simplify]: Extracting #3: cost 0 inf + 253 1553850825.311 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850825.311 * [simplify]: Simplified (2 1 2 2 2) to (λ (x) (+ (* x (* x (* 1 (+ (* 1/3 x) -1/2)))) x)) 1553850825.312 * * * * [progress]: [ 103 / 116 ] simplifiying candidate #real (real->posit16 (+ -1/2 (* x 1/3)))))) x))> 1553850825.312 * * * * [progress]: [ 104 / 116 ] simplifiying candidate # 1553850825.312 * * * * [progress]: [ 105 / 116 ] simplifiying candidate # 1553850825.312 * [simplify]: Simplifying (* 1/3 x) 1553850825.312 * * [simplify]: iters left: 2 (3 enodes) 1553850825.314 * * [simplify]: iters left: 1 (10 enodes) 1553850825.317 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.317 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850825.317 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850825.317 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850825.317 * [simplify]: Simplified to (* 1/3 x) 1553850825.317 * [simplify]: Simplified (2 1 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* 1/3 x)))) x)) 1553850825.317 * * * * [progress]: [ 106 / 116 ] simplifiying candidate # 1553850825.318 * [simplify]: Simplifying (* 1/3 x) 1553850825.318 * * [simplify]: iters left: 2 (3 enodes) 1553850825.320 * * [simplify]: iters left: 1 (10 enodes) 1553850825.323 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.323 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850825.323 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850825.323 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850825.323 * [simplify]: Simplified to (* 1/3 x) 1553850825.323 * [simplify]: Simplified (2 1 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* 1/3 x)))) x)) 1553850825.323 * * * * [progress]: [ 107 / 116 ] simplifiying candidate # 1553850825.324 * [simplify]: Simplifying (* 1/3 x) 1553850825.324 * * [simplify]: iters left: 2 (3 enodes) 1553850825.326 * * [simplify]: iters left: 1 (10 enodes) 1553850825.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.329 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850825.329 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850825.329 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850825.329 * [simplify]: Simplified to (* 1/3 x) 1553850825.329 * [simplify]: Simplified (2 1 2 2 2) to (λ (x) (+ (* x (* x (+ -1/2 (* 1/3 x)))) x)) 1553850825.329 * * * * [progress]: [ 108 / 116 ] simplifiying candidate # 1553850825.330 * [simplify]: Simplifying (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850825.330 * * [simplify]: iters left: 5 (8 enodes) 1553850825.335 * * [simplify]: iters left: 4 (33 enodes) 1553850825.347 * * [simplify]: iters left: 3 (51 enodes) 1553850825.363 * * [simplify]: iters left: 2 (66 enodes) 1553850825.378 * * [simplify]: iters left: 1 (74 enodes) 1553850825.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.389 * * [simplify]: Extracting #1: cost 7 inf + 0 1553850825.389 * * [simplify]: Extracting #2: cost 16 inf + 1 1553850825.389 * * [simplify]: Extracting #3: cost 15 inf + 86 1553850825.389 * * [simplify]: Extracting #4: cost 3 inf + 869 1553850825.389 * * [simplify]: Extracting #5: cost 0 inf + 997 1553850825.390 * [simplify]: Simplified to (* (+ -1/2 (* 1/3 x)) x) 1553850825.390 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* x (* (+ -1/2 (* 1/3 x)) x)) x)) 1553850825.390 * * * * [progress]: [ 109 / 116 ] simplifiying candidate # 1553850825.390 * [simplify]: Simplifying (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850825.390 * * [simplify]: iters left: 5 (8 enodes) 1553850825.393 * * [simplify]: iters left: 4 (33 enodes) 1553850825.402 * * [simplify]: iters left: 3 (51 enodes) 1553850825.415 * * [simplify]: iters left: 2 (66 enodes) 1553850825.433 * * [simplify]: iters left: 1 (74 enodes) 1553850825.453 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.453 * * [simplify]: Extracting #1: cost 7 inf + 0 1553850825.453 * * [simplify]: Extracting #2: cost 16 inf + 1 1553850825.453 * * [simplify]: Extracting #3: cost 15 inf + 86 1553850825.454 * * [simplify]: Extracting #4: cost 3 inf + 869 1553850825.454 * * [simplify]: Extracting #5: cost 0 inf + 997 1553850825.455 * [simplify]: Simplified to (* (+ -1/2 (* 1/3 x)) x) 1553850825.455 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* x (* (+ -1/2 (* 1/3 x)) x)) x)) 1553850825.455 * * * * [progress]: [ 110 / 116 ] simplifiying candidate # 1553850825.455 * [simplify]: Simplifying (- (* 1/3 (pow x 2)) (* 1/2 x)) 1553850825.455 * * [simplify]: iters left: 5 (8 enodes) 1553850825.461 * * [simplify]: iters left: 4 (33 enodes) 1553850825.473 * * [simplify]: iters left: 3 (51 enodes) 1553850825.489 * * [simplify]: iters left: 2 (66 enodes) 1553850825.507 * * [simplify]: iters left: 1 (74 enodes) 1553850825.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.528 * * [simplify]: Extracting #1: cost 7 inf + 0 1553850825.529 * * [simplify]: Extracting #2: cost 16 inf + 1 1553850825.529 * * [simplify]: Extracting #3: cost 15 inf + 86 1553850825.529 * * [simplify]: Extracting #4: cost 3 inf + 869 1553850825.530 * * [simplify]: Extracting #5: cost 0 inf + 997 1553850825.530 * [simplify]: Simplified to (* (+ -1/2 (* 1/3 x)) x) 1553850825.530 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* x (* (+ -1/2 (* 1/3 x)) x)) x)) 1553850825.530 * * * * [progress]: [ 111 / 116 ] simplifiying candidate # 1553850825.531 * [simplify]: Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850825.531 * * [simplify]: iters left: 5 (10 enodes) 1553850825.538 * * [simplify]: iters left: 4 (45 enodes) 1553850825.557 * * [simplify]: iters left: 3 (89 enodes) 1553850825.576 * * [simplify]: iters left: 2 (169 enodes) 1553850825.625 * * [simplify]: iters left: 1 (275 enodes) 1553850825.700 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.700 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850825.701 * * [simplify]: Extracting #2: cost 42 inf + 42 1553850825.701 * * [simplify]: Extracting #3: cost 83 inf + 494 1553850825.702 * * [simplify]: Extracting #4: cost 61 inf + 3476 1553850825.703 * * [simplify]: Extracting #5: cost 13 inf + 20787 1553850825.706 * * [simplify]: Extracting #6: cost 0 inf + 28192 1553850825.709 * * [simplify]: Extracting #7: cost 0 inf + 27759 1553850825.711 * [simplify]: Simplified to (* (* (- (* 1/3 x) 1/2) x) x) 1553850825.711 * [simplify]: Simplified (2 1) to (λ (x) (+ (* (* (- (* 1/3 x) 1/2) x) x) x)) 1553850825.711 * * * * [progress]: [ 112 / 116 ] simplifiying candidate # 1553850825.712 * [simplify]: Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850825.712 * * [simplify]: iters left: 5 (10 enodes) 1553850825.716 * * [simplify]: iters left: 4 (45 enodes) 1553850825.726 * * [simplify]: iters left: 3 (89 enodes) 1553850825.750 * * [simplify]: iters left: 2 (169 enodes) 1553850825.789 * * [simplify]: iters left: 1 (275 enodes) 1553850825.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850825.868 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850825.869 * * [simplify]: Extracting #2: cost 42 inf + 42 1553850825.869 * * [simplify]: Extracting #3: cost 83 inf + 494 1553850825.871 * * [simplify]: Extracting #4: cost 61 inf + 3476 1553850825.874 * * [simplify]: Extracting #5: cost 13 inf + 20787 1553850825.879 * * [simplify]: Extracting #6: cost 0 inf + 28192 1553850825.885 * * [simplify]: Extracting #7: cost 0 inf + 27759 1553850825.890 * [simplify]: Simplified to (* (* (- (* 1/3 x) 1/2) x) x) 1553850825.890 * [simplify]: Simplified (2 1) to (λ (x) (+ (* (* (- (* 1/3 x) 1/2) x) x) x)) 1553850825.890 * * * * [progress]: [ 113 / 116 ] simplifiying candidate # 1553850825.891 * [simplify]: Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) 1553850825.891 * * [simplify]: iters left: 5 (10 enodes) 1553850825.899 * * [simplify]: iters left: 4 (45 enodes) 1553850825.910 * * [simplify]: iters left: 3 (89 enodes) 1553850825.928 * * [simplify]: iters left: 2 (169 enodes) 1553850825.976 * * [simplify]: iters left: 1 (275 enodes) 1553850826.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850826.075 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850826.076 * * [simplify]: Extracting #2: cost 42 inf + 42 1553850826.076 * * [simplify]: Extracting #3: cost 83 inf + 494 1553850826.078 * * [simplify]: Extracting #4: cost 61 inf + 3476 1553850826.081 * * [simplify]: Extracting #5: cost 13 inf + 20787 1553850826.086 * * [simplify]: Extracting #6: cost 0 inf + 28192 1553850826.091 * * [simplify]: Extracting #7: cost 0 inf + 27759 1553850826.097 * [simplify]: Simplified to (* (* (- (* 1/3 x) 1/2) x) x) 1553850826.097 * [simplify]: Simplified (2 1) to (λ (x) (+ (* (* (- (* 1/3 x) 1/2) x) x) x)) 1553850826.097 * * * * [progress]: [ 114 / 116 ] simplifiying candidate # 1553850826.098 * [simplify]: Simplifying (- (* 1/3 x) 1/2) 1553850826.098 * * [simplify]: iters left: 4 (5 enodes) 1553850826.101 * * [simplify]: iters left: 3 (19 enodes) 1553850826.108 * * [simplify]: iters left: 2 (21 enodes) 1553850826.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850826.114 * * [simplify]: Extracting #1: cost 5 inf + 0 1553850826.114 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850826.114 * * [simplify]: Extracting #3: cost 4 inf + 4 1553850826.115 * * [simplify]: Extracting #4: cost 0 inf + 254 1553850826.115 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850826.115 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* x (+ (* 1/3 x) -1/2))) x)) 1553850826.115 * * * * [progress]: [ 115 / 116 ] simplifiying candidate # 1553850826.116 * [simplify]: Simplifying (- (* 1/3 x) 1/2) 1553850826.116 * * [simplify]: iters left: 4 (5 enodes) 1553850826.118 * * [simplify]: iters left: 3 (19 enodes) 1553850826.121 * * [simplify]: iters left: 2 (21 enodes) 1553850826.125 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850826.125 * * [simplify]: Extracting #1: cost 5 inf + 0 1553850826.125 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850826.125 * * [simplify]: Extracting #3: cost 4 inf + 4 1553850826.125 * * [simplify]: Extracting #4: cost 0 inf + 254 1553850826.125 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850826.125 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* x (+ (* 1/3 x) -1/2))) x)) 1553850826.125 * * * * [progress]: [ 116 / 116 ] simplifiying candidate # 1553850826.126 * [simplify]: Simplifying (- (* 1/3 x) 1/2) 1553850826.126 * * [simplify]: iters left: 4 (5 enodes) 1553850826.128 * * [simplify]: iters left: 3 (19 enodes) 1553850826.131 * * [simplify]: iters left: 2 (21 enodes) 1553850826.134 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850826.134 * * [simplify]: Extracting #1: cost 5 inf + 0 1553850826.134 * * [simplify]: Extracting #2: cost 6 inf + 2 1553850826.134 * * [simplify]: Extracting #3: cost 4 inf + 4 1553850826.134 * * [simplify]: Extracting #4: cost 0 inf + 254 1553850826.135 * [simplify]: Simplified to (+ (* 1/3 x) -1/2) 1553850826.135 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+ (* x (* x (+ (* 1/3 x) -1/2))) x)) 1553850826.135 * * * [progress]: adding candidates to table 1553850826.901 * [progress]: [Phase 3 of 3] Extracting. 1553850826.901 * * [regime]: Finding splitpoints for: (# #) 1553850826.901 * * * [regime-changes]: Trying 3 branch expressions: (x (+ 1 x) (log (+ 1 x))) 1553850826.901 * * * * [regimes]: Trying to branch on x from (# #) 1553850826.929 * * * * [regimes]: Trying to branch on (+ 1 x) from (# #) 1553850826.946 * * * * [regimes]: Trying to branch on (log (+ 1 x)) from (# #) 1553850826.976 * * * [regime]: Found split indices: #