1536942796.947 * [misc]progress: [Phase 1 of 3] Setting up. 1536942796.948 * * * [misc]progress: [1/2] Preparing points 1536942796.949 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536942796.983 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942796.984 * * * * [exit]points: Sampled 256 points with exact outputs 1536942796.984 * * * [misc]progress: [2/2] Setting up program. 1536942796.988 * [misc]progress: [Phase 2 of 3] Improving. 1536942796.988 * [enter]simplify: Simplifying (+ x (* x x)) 1536942796.988 * * [misc]simplify: iters left: 4 (3 enodes) 1536942796.990 * * [misc]simplify: iters left: 3 (7 enodes) 1536942796.992 * * [misc]simplify: iters left: 2 (11 enodes) 1536942796.994 * * [misc]simplify: iters left: 1 (17 enodes) 1536942796.997 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.002 * * [misc]progress: iteration 1 / 4 1536942797.002 * * * [misc]progress: picking best candidate 1536942797.004 * * * * [misc]pick: Picked # 1536942797.004 * * * [misc]progress: localizing error 1536942797.013 * * * [misc]progress: generating rewritten candidates 1536942797.013 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536942797.040 * * * [misc]progress: generating series expansions 1536942797.040 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536942797.040 * [misc]backup-simplify: Simplify (+ x (* x x)) into (+ x (pow x 2)) 1536942797.040 * [misc]approximate: Taking taylor expansion of (+ x (pow x 2)) in (x) around 0 1536942797.040 * [misc]taylor: Taking taylor expansion of (+ x (pow x 2)) in x 1536942797.040 * [misc]taylor: Taking taylor expansion of x in x 1536942797.040 * [misc]backup-simplify: Simplify 0 into 0 1536942797.040 * [misc]backup-simplify: Simplify 1 into 1 1536942797.040 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.041 * [misc]taylor: Taking taylor expansion of x in x 1536942797.041 * [misc]backup-simplify: Simplify 0 into 0 1536942797.041 * [misc]backup-simplify: Simplify 1 into 1 1536942797.041 * [misc]taylor: Taking taylor expansion of (+ x (pow x 2)) in x 1536942797.041 * [misc]taylor: Taking taylor expansion of x in x 1536942797.041 * [misc]backup-simplify: Simplify 0 into 0 1536942797.041 * [misc]backup-simplify: Simplify 1 into 1 1536942797.041 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.041 * [misc]taylor: Taking taylor expansion of x in x 1536942797.041 * [misc]backup-simplify: Simplify 0 into 0 1536942797.041 * [misc]backup-simplify: Simplify 1 into 1 1536942797.041 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.041 * [misc]backup-simplify: Simplify 0 into 0 1536942797.041 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.041 * [misc]backup-simplify: Simplify 1 into 1 1536942797.042 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942797.042 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.042 * [misc]backup-simplify: Simplify 1 into 1 1536942797.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942797.042 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.042 * [misc]backup-simplify: Simplify 0 into 0 1536942797.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942797.042 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.042 * [misc]backup-simplify: Simplify 0 into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.043 * [misc]backup-simplify: Simplify 0 into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.043 * [misc]backup-simplify: Simplify 0 into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942797.043 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.043 * [misc]backup-simplify: Simplify 0 into 0 1536942797.044 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942797.044 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.044 * [misc]backup-simplify: Simplify 0 into 0 1536942797.044 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ x (pow x 2)) 1536942797.044 * [misc]backup-simplify: Simplify (+ (/ 1 x) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 2)) (/ 1 x)) 1536942797.044 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0 1536942797.044 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 1536942797.044 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1536942797.044 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.044 * [misc]taylor: Taking taylor expansion of x in x 1536942797.044 * [misc]backup-simplify: Simplify 0 into 0 1536942797.044 * [misc]backup-simplify: Simplify 1 into 1 1536942797.044 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942797.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.044 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.044 * [misc]taylor: Taking taylor expansion of x in x 1536942797.044 * [misc]backup-simplify: Simplify 0 into 0 1536942797.044 * [misc]backup-simplify: Simplify 1 into 1 1536942797.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.045 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 1536942797.045 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1536942797.045 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.045 * [misc]taylor: Taking taylor expansion of x in x 1536942797.045 * [misc]backup-simplify: Simplify 0 into 0 1536942797.045 * [misc]backup-simplify: Simplify 1 into 1 1536942797.045 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942797.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.045 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.045 * [misc]taylor: Taking taylor expansion of x in x 1536942797.045 * [misc]backup-simplify: Simplify 0 into 0 1536942797.045 * [misc]backup-simplify: Simplify 1 into 1 1536942797.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.045 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.045 * [misc]backup-simplify: Simplify 1 into 1 1536942797.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942797.046 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.046 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.046 * [misc]backup-simplify: Simplify 1 into 1 1536942797.046 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942797.046 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.046 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.046 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.046 * [misc]backup-simplify: Simplify 0 into 0 1536942797.046 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942797.047 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.047 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.047 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.047 * [misc]backup-simplify: Simplify 0 into 0 1536942797.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942797.047 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.048 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.048 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.048 * [misc]backup-simplify: Simplify 0 into 0 1536942797.048 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942797.048 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.049 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.049 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.049 * [misc]backup-simplify: Simplify 0 into 0 1536942797.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942797.049 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.049 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.050 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.050 * [misc]backup-simplify: Simplify 0 into 0 1536942797.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1536942797.050 * [misc]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 1536942797.051 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.051 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.051 * [misc]backup-simplify: Simplify 0 into 0 1536942797.051 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ x (pow x 2)) 1536942797.051 * [misc]backup-simplify: Simplify (+ (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 x)) 1536942797.051 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0 1536942797.051 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 1536942797.051 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1536942797.051 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.051 * [misc]taylor: Taking taylor expansion of x in x 1536942797.051 * [misc]backup-simplify: Simplify 0 into 0 1536942797.051 * [misc]backup-simplify: Simplify 1 into 1 1536942797.051 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942797.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.052 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.052 * [misc]taylor: Taking taylor expansion of x in x 1536942797.052 * [misc]backup-simplify: Simplify 0 into 0 1536942797.052 * [misc]backup-simplify: Simplify 1 into 1 1536942797.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.052 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 1536942797.052 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1536942797.052 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1536942797.052 * [misc]taylor: Taking taylor expansion of x in x 1536942797.052 * [misc]backup-simplify: Simplify 0 into 0 1536942797.052 * [misc]backup-simplify: Simplify 1 into 1 1536942797.052 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942797.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.052 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.052 * [misc]taylor: Taking taylor expansion of x in x 1536942797.052 * [misc]backup-simplify: Simplify 0 into 0 1536942797.052 * [misc]backup-simplify: Simplify 1 into 1 1536942797.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.052 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.052 * [misc]backup-simplify: Simplify 1 into 1 1536942797.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942797.053 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.053 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.053 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.053 * [misc]backup-simplify: Simplify -1 into -1 1536942797.053 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942797.053 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.053 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.053 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.054 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.054 * [misc]backup-simplify: Simplify 0 into 0 1536942797.054 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942797.054 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.054 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.054 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.054 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.054 * [misc]backup-simplify: Simplify 0 into 0 1536942797.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942797.055 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.055 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.055 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.055 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.055 * [misc]backup-simplify: Simplify 0 into 0 1536942797.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942797.056 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.056 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.056 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.056 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.056 * [misc]backup-simplify: Simplify 0 into 0 1536942797.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942797.057 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.057 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.057 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.057 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.057 * [misc]backup-simplify: Simplify 0 into 0 1536942797.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1536942797.058 * [misc]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 1536942797.058 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.058 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.059 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.059 * [misc]backup-simplify: Simplify 0 into 0 1536942797.059 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ x (pow x 2)) 1536942797.059 * * * [misc]progress: simplifying candidates 1536942797.059 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # 1536942797.059 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1536942797.059 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.060 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.061 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.062 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.064 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.064 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.064 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1536942797.064 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.064 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.065 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.066 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.068 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.068 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.068 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1536942797.068 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.068 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.069 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.070 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.072 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.072 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.072 * * * [misc]progress: adding candidates to table 1536942797.174 * * [misc]progress: iteration 2 / 4 1536942797.174 * * * [misc]progress: picking best candidate 1536942797.181 * * * * [misc]pick: Picked # 1536942797.181 * * * [misc]progress: localizing error 1536942797.189 * * * [misc]progress: generating rewritten candidates 1536942797.189 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536942797.201 * * * [misc]progress: generating series expansions 1536942797.201 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536942797.201 * [misc]backup-simplify: Simplify (* (+ x 1) x) into (* x (+ x 1)) 1536942797.201 * [misc]approximate: Taking taylor expansion of (* x (+ x 1)) in (x) around 0 1536942797.201 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1536942797.201 * [misc]taylor: Taking taylor expansion of x in x 1536942797.201 * [misc]backup-simplify: Simplify 0 into 0 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.201 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.201 * [misc]taylor: Taking taylor expansion of x in x 1536942797.201 * [misc]backup-simplify: Simplify 0 into 0 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.201 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.201 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1536942797.201 * [misc]taylor: Taking taylor expansion of x in x 1536942797.201 * [misc]backup-simplify: Simplify 0 into 0 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.201 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.201 * [misc]taylor: Taking taylor expansion of x in x 1536942797.201 * [misc]backup-simplify: Simplify 0 into 0 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.201 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.201 * [misc]backup-simplify: Simplify 1 into 1 1536942797.202 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.202 * [misc]backup-simplify: Simplify (* 0 1) into 0 1536942797.202 * [misc]backup-simplify: Simplify 0 into 0 1536942797.202 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.202 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1536942797.202 * [misc]backup-simplify: Simplify 1 into 1 1536942797.202 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.202 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1536942797.202 * [misc]backup-simplify: Simplify 1 into 1 1536942797.202 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.203 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1536942797.203 * [misc]backup-simplify: Simplify 0 into 0 1536942797.203 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.203 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 1536942797.203 * [misc]backup-simplify: Simplify 0 into 0 1536942797.203 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.203 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0 1536942797.203 * [misc]backup-simplify: Simplify 0 into 0 1536942797.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.204 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0 1536942797.204 * [misc]backup-simplify: Simplify 0 into 0 1536942797.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.204 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0 1536942797.204 * [misc]backup-simplify: Simplify 0 into 0 1536942797.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.205 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0 1536942797.205 * [misc]backup-simplify: Simplify 0 into 0 1536942797.205 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ x (pow x 2)) 1536942797.205 * [misc]backup-simplify: Simplify (* (+ (/ 1 x) 1) (/ 1 x)) into (/ (+ (/ 1 x) 1) x) 1536942797.205 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in (x) around 0 1536942797.205 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of x in x 1536942797.205 * [misc]backup-simplify: Simplify 0 into 0 1536942797.205 * [misc]backup-simplify: Simplify 1 into 1 1536942797.205 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.205 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.205 * [misc]backup-simplify: Simplify 1 into 1 1536942797.205 * [misc]taylor: Taking taylor expansion of x in x 1536942797.205 * [misc]backup-simplify: Simplify 0 into 0 1536942797.205 * [misc]backup-simplify: Simplify 1 into 1 1536942797.205 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.205 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.205 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.205 * [misc]taylor: Taking taylor expansion of x in x 1536942797.206 * [misc]backup-simplify: Simplify 0 into 0 1536942797.206 * [misc]backup-simplify: Simplify 1 into 1 1536942797.206 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.206 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.206 * [misc]backup-simplify: Simplify 1 into 1 1536942797.206 * [misc]taylor: Taking taylor expansion of x in x 1536942797.206 * [misc]backup-simplify: Simplify 0 into 0 1536942797.206 * [misc]backup-simplify: Simplify 1 into 1 1536942797.206 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.206 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.206 * [misc]backup-simplify: Simplify 1 into 1 1536942797.206 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.206 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.206 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1536942797.206 * [misc]backup-simplify: Simplify 1 into 1 1536942797.207 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.207 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.207 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536942797.207 * [misc]backup-simplify: Simplify 0 into 0 1536942797.207 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.207 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.207 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.207 * [misc]backup-simplify: Simplify 0 into 0 1536942797.208 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.208 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.208 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.208 * [misc]backup-simplify: Simplify 0 into 0 1536942797.208 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.208 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.209 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.209 * [misc]backup-simplify: Simplify 0 into 0 1536942797.209 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.209 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.210 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.210 * [misc]backup-simplify: Simplify 0 into 0 1536942797.210 * [misc]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 1536942797.210 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.210 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.210 * [misc]backup-simplify: Simplify 0 into 0 1536942797.211 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ x (pow x 2)) 1536942797.211 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- x)) 1) (/ 1 (- x))) into (* -1 (/ (- 1 (/ 1 x)) x)) 1536942797.211 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in (x) around 0 1536942797.211 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1536942797.211 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.211 * [misc]backup-simplify: Simplify -1 into -1 1536942797.211 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1536942797.211 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.211 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.211 * [misc]backup-simplify: Simplify 1 into 1 1536942797.211 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.211 * [misc]taylor: Taking taylor expansion of x in x 1536942797.211 * [misc]backup-simplify: Simplify 0 into 0 1536942797.211 * [misc]backup-simplify: Simplify 1 into 1 1536942797.211 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.211 * [misc]taylor: Taking taylor expansion of x in x 1536942797.211 * [misc]backup-simplify: Simplify 0 into 0 1536942797.211 * [misc]backup-simplify: Simplify 1 into 1 1536942797.211 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.211 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.211 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536942797.211 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1536942797.211 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.211 * [misc]backup-simplify: Simplify -1 into -1 1536942797.212 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1536942797.212 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.212 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.212 * [misc]backup-simplify: Simplify 1 into 1 1536942797.212 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.212 * [misc]taylor: Taking taylor expansion of x in x 1536942797.212 * [misc]backup-simplify: Simplify 0 into 0 1536942797.212 * [misc]backup-simplify: Simplify 1 into 1 1536942797.212 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.212 * [misc]taylor: Taking taylor expansion of x in x 1536942797.212 * [misc]backup-simplify: Simplify 0 into 0 1536942797.212 * [misc]backup-simplify: Simplify 1 into 1 1536942797.212 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.212 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.212 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536942797.212 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1536942797.212 * [misc]backup-simplify: Simplify 1 into 1 1536942797.212 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.213 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.213 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.213 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1536942797.213 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1536942797.213 * [misc]backup-simplify: Simplify -1 into -1 1536942797.213 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.213 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.214 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.214 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536942797.214 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1536942797.214 * [misc]backup-simplify: Simplify 0 into 0 1536942797.214 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.214 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.214 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.214 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.215 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1536942797.215 * [misc]backup-simplify: Simplify 0 into 0 1536942797.215 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.215 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.215 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.215 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.216 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1536942797.216 * [misc]backup-simplify: Simplify 0 into 0 1536942797.216 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.216 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.216 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.216 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.217 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1536942797.217 * [misc]backup-simplify: Simplify 0 into 0 1536942797.217 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.217 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.217 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.218 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.218 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1536942797.218 * [misc]backup-simplify: Simplify 0 into 0 1536942797.218 * [misc]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 1536942797.218 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.218 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.219 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.219 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1536942797.219 * [misc]backup-simplify: Simplify 0 into 0 1536942797.219 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ x (pow x 2)) 1536942797.219 * * * [misc]progress: simplifying candidates 1536942797.220 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1536942797.220 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1536942797.220 * [enter]simplify: Simplifying (* (cbrt (+ x 1)) (cbrt (+ x 1))) 1536942797.220 * * [misc]simplify: iters left: 5 (5 enodes) 1536942797.221 * * [misc]simplify: iters left: 4 (8 enodes) 1536942797.222 * [exit]simplify: Simplified to (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) 1536942797.222 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (+ x 1)) x))) 1536942797.222 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1536942797.223 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1536942797.223 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.224 * * [misc]simplify: iters left: 2 (7 enodes) 1536942797.225 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1536942797.225 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (+ 1 x)) (* (sqrt (+ x 1)) x))) 1536942797.225 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1536942797.225 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1536942797.225 * [enter]simplify: Simplifying (* (+ (pow x 3) (pow 1 3)) x) 1536942797.225 * * [misc]simplify: iters left: 5 (7 enodes) 1536942797.228 * * [misc]simplify: iters left: 4 (16 enodes) 1536942797.231 * * [misc]simplify: iters left: 3 (26 enodes) 1536942797.238 * * [misc]simplify: iters left: 2 (32 enodes) 1536942797.242 * [exit]simplify: Simplified to (+ x (pow x 4)) 1536942797.242 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ x (pow x 4)) (+ (* x x) (- (* 1 1) (* x 1))))) 1536942797.242 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1536942797.242 * [enter]simplify: Simplifying (* (- (* x x) (* 1 1)) x) 1536942797.242 * * [misc]simplify: iters left: 6 (6 enodes) 1536942797.244 * * [misc]simplify: iters left: 5 (12 enodes) 1536942797.246 * * [misc]simplify: iters left: 4 (15 enodes) 1536942797.249 * * [misc]simplify: iters left: 3 (22 enodes) 1536942797.255 * * [misc]simplify: iters left: 2 (56 enodes) 1536942797.292 * * [misc]simplify: iters left: 1 (136 enodes) 1536942797.381 * [exit]simplify: Simplified to (- (pow x 3) x) 1536942797.381 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (pow x 3) x) (- x 1))) 1536942797.381 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1536942797.381 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1536942797.381 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.382 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.384 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.385 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.387 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.387 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.387 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1536942797.387 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.387 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.388 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.389 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.391 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.391 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.391 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1536942797.391 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942797.391 * * [misc]simplify: iters left: 3 (4 enodes) 1536942797.392 * * [misc]simplify: iters left: 2 (6 enodes) 1536942797.393 * * [misc]simplify: iters left: 1 (9 enodes) 1536942797.395 * [exit]simplify: Simplified to (+ x (* x x)) 1536942797.395 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942797.395 * * * [misc]progress: adding candidates to table 1536942797.513 * * [misc]progress: iteration 3 / 4 1536942797.513 * * * [misc]progress: picking best candidate 1536942797.516 * * * * [misc]pick: Picked # 1536942797.516 * * * [misc]progress: localizing error 1536942797.530 * * * [misc]progress: generating rewritten candidates 1536942797.530 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1536942797.554 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1536942797.614 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1) 1536942797.617 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1536942797.619 * * * [misc]progress: generating series expansions 1536942797.619 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1536942797.620 * [misc]backup-simplify: Simplify (* (sqrt (+ x 1)) x) into (* x (sqrt (+ x 1))) 1536942797.620 * [misc]approximate: Taking taylor expansion of (* x (sqrt (+ x 1))) in (x) around 0 1536942797.620 * [misc]taylor: Taking taylor expansion of (* x (sqrt (+ x 1))) in x 1536942797.620 * [misc]taylor: Taking taylor expansion of x in x 1536942797.620 * [misc]backup-simplify: Simplify 0 into 0 1536942797.620 * [misc]backup-simplify: Simplify 1 into 1 1536942797.620 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.620 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.620 * [misc]taylor: Taking taylor expansion of x in x 1536942797.620 * [misc]backup-simplify: Simplify 0 into 0 1536942797.620 * [misc]backup-simplify: Simplify 1 into 1 1536942797.620 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.620 * [misc]backup-simplify: Simplify 1 into 1 1536942797.620 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.620 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.620 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.621 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.621 * [misc]taylor: Taking taylor expansion of (* x (sqrt (+ x 1))) in x 1536942797.621 * [misc]taylor: Taking taylor expansion of x in x 1536942797.621 * [misc]backup-simplify: Simplify 0 into 0 1536942797.621 * [misc]backup-simplify: Simplify 1 into 1 1536942797.621 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.621 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.621 * [misc]taylor: Taking taylor expansion of x in x 1536942797.621 * [misc]backup-simplify: Simplify 0 into 0 1536942797.621 * [misc]backup-simplify: Simplify 1 into 1 1536942797.621 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.621 * [misc]backup-simplify: Simplify 1 into 1 1536942797.621 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.621 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.621 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.621 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.621 * [misc]backup-simplify: Simplify (* 0 1) into 0 1536942797.621 * [misc]backup-simplify: Simplify 0 into 0 1536942797.622 * [misc]backup-simplify: Simplify (+ (* 0 1/2) (* 1 1)) into 1 1536942797.622 * [misc]backup-simplify: Simplify 1 into 1 1536942797.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.622 * [misc]backup-simplify: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1536942797.623 * [misc]backup-simplify: Simplify (+ (* 0 -1/8) (+ (* 1 1/2) (* 0 1))) into 1/2 1536942797.623 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536942797.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.623 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 1536942797.623 * [misc]backup-simplify: Simplify (+ (* 0 1/16) (+ (* 1 -1/8) (+ (* 0 1/2) (* 0 1)))) into -1/8 1536942797.623 * [misc]backup-simplify: Simplify -1/8 into -1/8 1536942797.623 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/2 (pow x 2))) (* 1/8 (pow x 3))) 1536942797.623 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 x) 1)) (/ 1 x)) into (* (sqrt (+ (/ 1 x) 1)) (/ 1 x)) 1536942797.623 * [misc]approximate: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (/ 1 x)) in (x) around 0 1536942797.623 * [misc]taylor: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (/ 1 x)) in x 1536942797.623 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.623 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.623 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.623 * [misc]taylor: Taking taylor expansion of x in x 1536942797.623 * [misc]backup-simplify: Simplify 0 into 0 1536942797.623 * [misc]backup-simplify: Simplify 1 into 1 1536942797.624 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.624 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.624 * [misc]backup-simplify: Simplify 1 into 1 1536942797.624 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.624 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.624 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.624 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.624 * [misc]taylor: Taking taylor expansion of x in x 1536942797.624 * [misc]backup-simplify: Simplify 0 into 0 1536942797.624 * [misc]backup-simplify: Simplify 1 into 1 1536942797.624 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.624 * [misc]taylor: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (/ 1 x)) in x 1536942797.624 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.624 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.624 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.624 * [misc]taylor: Taking taylor expansion of x in x 1536942797.624 * [misc]backup-simplify: Simplify 0 into 0 1536942797.624 * [misc]backup-simplify: Simplify 1 into 1 1536942797.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.625 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.625 * [misc]backup-simplify: Simplify 1 into 1 1536942797.625 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.625 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.625 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.625 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.625 * [misc]taylor: Taking taylor expansion of x in x 1536942797.625 * [misc]backup-simplify: Simplify 0 into 0 1536942797.625 * [misc]backup-simplify: Simplify 1 into 1 1536942797.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.625 * [misc]backup-simplify: Simplify (* 0 1) into 0 1536942797.625 * [misc]backup-simplify: Simplify 0 into 0 1536942797.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.626 * [misc]backup-simplify: Simplify (+ (* 0 0) (* +nan.0 1)) into (- +nan.0) 1536942797.626 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.626 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.627 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.627 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 1))) into (- +nan.0) 1536942797.628 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.629 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.629 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 1)))) into (- +nan.0) 1536942797.630 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.630 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (/ 1 x)) (+ (- +nan.0) (* (- +nan.0) (/ 1 (/ 1 x))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.630 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 (- x)) 1)) (/ 1 (- x))) into (* -1 (* (/ 1 x) (sqrt (- 1 (/ 1 x))))) 1536942797.630 * [misc]approximate: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- 1 (/ 1 x))))) in (x) around 0 1536942797.630 * [misc]taylor: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- 1 (/ 1 x))))) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.630 * [misc]backup-simplify: Simplify -1 into -1 1536942797.630 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (/ 1 x)))) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of x in x 1536942797.630 * [misc]backup-simplify: Simplify 0 into 0 1536942797.630 * [misc]backup-simplify: Simplify 1 into 1 1536942797.630 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.630 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.630 * [misc]backup-simplify: Simplify 1 into 1 1536942797.630 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.630 * [misc]taylor: Taking taylor expansion of x in x 1536942797.630 * [misc]backup-simplify: Simplify 0 into 0 1536942797.630 * [misc]backup-simplify: Simplify 1 into 1 1536942797.631 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.631 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.631 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.631 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.631 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.631 * [misc]taylor: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- 1 (/ 1 x))))) in x 1536942797.631 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.631 * [misc]backup-simplify: Simplify -1 into -1 1536942797.631 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (/ 1 x)))) in x 1536942797.631 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.631 * [misc]taylor: Taking taylor expansion of x in x 1536942797.631 * [misc]backup-simplify: Simplify 0 into 0 1536942797.631 * [misc]backup-simplify: Simplify 1 into 1 1536942797.631 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.631 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.631 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.631 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.632 * [misc]backup-simplify: Simplify 1 into 1 1536942797.632 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.632 * [misc]taylor: Taking taylor expansion of x in x 1536942797.632 * [misc]backup-simplify: Simplify 0 into 0 1536942797.632 * [misc]backup-simplify: Simplify 1 into 1 1536942797.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.632 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.632 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.632 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.632 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.632 * [misc]backup-simplify: Simplify (* 1 0) into 0 1536942797.632 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536942797.632 * [misc]backup-simplify: Simplify 0 into 0 1536942797.633 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.633 * [misc]backup-simplify: Simplify (+ (* 1 +nan.0) (* 0 0)) into (- +nan.0) 1536942797.633 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* 0 0)) into (- +nan.0) 1536942797.633 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.634 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.634 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.634 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.634 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.635 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.635 * [misc]backup-simplify: Simplify (+ (* 1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 1536942797.636 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 0))) into (- +nan.0) 1536942797.636 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.636 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.637 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.637 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.637 * [misc]backup-simplify: Simplify (+ (* 1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 1536942797.638 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* 0 (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 0)))) into (- +nan.0) 1536942797.638 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536942797.638 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (/ 1 (- x))) (+ (- +nan.0) (* (- +nan.0) (/ 1 (/ 1 (- x)))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.638 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1536942797.639 * [misc]backup-simplify: Simplify (* (sqrt (+ x 1)) (* (sqrt (+ x 1)) x)) into (* x (+ x 1)) 1536942797.639 * [misc]approximate: Taking taylor expansion of (* x (+ x 1)) in (x) around 0 1536942797.639 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1536942797.639 * [misc]taylor: Taking taylor expansion of x in x 1536942797.639 * [misc]backup-simplify: Simplify 0 into 0 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.639 * [misc]taylor: Taking taylor expansion of x in x 1536942797.639 * [misc]backup-simplify: Simplify 0 into 0 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1536942797.639 * [misc]taylor: Taking taylor expansion of x in x 1536942797.639 * [misc]backup-simplify: Simplify 0 into 0 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.639 * [misc]taylor: Taking taylor expansion of x in x 1536942797.639 * [misc]backup-simplify: Simplify 0 into 0 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.639 * [misc]backup-simplify: Simplify 1 into 1 1536942797.639 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.639 * [misc]backup-simplify: Simplify (* 0 1) into 0 1536942797.639 * [misc]backup-simplify: Simplify 0 into 0 1536942797.639 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.640 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1536942797.640 * [misc]backup-simplify: Simplify 1 into 1 1536942797.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.640 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1536942797.640 * [misc]backup-simplify: Simplify 1 into 1 1536942797.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.640 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1536942797.640 * [misc]backup-simplify: Simplify 0 into 0 1536942797.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.640 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 1536942797.641 * [misc]backup-simplify: Simplify 0 into 0 1536942797.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.641 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0 1536942797.641 * [misc]backup-simplify: Simplify 0 into 0 1536942797.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.641 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0 1536942797.641 * [misc]backup-simplify: Simplify 0 into 0 1536942797.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.642 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0 1536942797.642 * [misc]backup-simplify: Simplify 0 into 0 1536942797.642 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.642 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0 1536942797.642 * [misc]backup-simplify: Simplify 0 into 0 1536942797.642 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ x (pow x 2)) 1536942797.642 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 x) 1)) (* (sqrt (+ (/ 1 x) 1)) (/ 1 x))) into (/ (+ (/ 1 x) 1) x) 1536942797.642 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in (x) around 0 1536942797.642 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of x in x 1536942797.643 * [misc]backup-simplify: Simplify 0 into 0 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.643 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]taylor: Taking taylor expansion of x in x 1536942797.643 * [misc]backup-simplify: Simplify 0 into 0 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.643 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.643 * [misc]taylor: Taking taylor expansion of x in x 1536942797.643 * [misc]backup-simplify: Simplify 0 into 0 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.643 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]taylor: Taking taylor expansion of x in x 1536942797.643 * [misc]backup-simplify: Simplify 0 into 0 1536942797.643 * [misc]backup-simplify: Simplify 1 into 1 1536942797.643 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.644 * [misc]backup-simplify: Simplify 1 into 1 1536942797.644 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.644 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.644 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1536942797.644 * [misc]backup-simplify: Simplify 1 into 1 1536942797.644 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.644 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.644 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536942797.645 * [misc]backup-simplify: Simplify 0 into 0 1536942797.645 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.645 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.645 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.645 * [misc]backup-simplify: Simplify 0 into 0 1536942797.645 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.646 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.646 * [misc]backup-simplify: Simplify 0 into 0 1536942797.646 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.646 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.647 * [misc]backup-simplify: Simplify 0 into 0 1536942797.647 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.647 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.647 * [misc]backup-simplify: Simplify 0 into 0 1536942797.648 * [misc]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 1536942797.648 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.648 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.648 * [misc]backup-simplify: Simplify 0 into 0 1536942797.648 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ x (pow x 2)) 1536942797.649 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 (- x)) 1)) (* (sqrt (+ (/ 1 (- x)) 1)) (/ 1 (- x)))) into (* -1 (/ (- 1 (/ 1 x)) x)) 1536942797.649 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in (x) around 0 1536942797.649 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.649 * [misc]backup-simplify: Simplify -1 into -1 1536942797.649 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.649 * [misc]backup-simplify: Simplify 1 into 1 1536942797.649 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of x in x 1536942797.649 * [misc]backup-simplify: Simplify 0 into 0 1536942797.649 * [misc]backup-simplify: Simplify 1 into 1 1536942797.649 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.649 * [misc]taylor: Taking taylor expansion of x in x 1536942797.649 * [misc]backup-simplify: Simplify 0 into 0 1536942797.649 * [misc]backup-simplify: Simplify 1 into 1 1536942797.649 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.649 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.649 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536942797.649 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of -1 in x 1536942797.649 * [misc]backup-simplify: Simplify -1 into -1 1536942797.649 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.649 * [misc]backup-simplify: Simplify 1 into 1 1536942797.649 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.649 * [misc]taylor: Taking taylor expansion of x in x 1536942797.649 * [misc]backup-simplify: Simplify 0 into 0 1536942797.649 * [misc]backup-simplify: Simplify 1 into 1 1536942797.650 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.650 * [misc]taylor: Taking taylor expansion of x in x 1536942797.650 * [misc]backup-simplify: Simplify 0 into 0 1536942797.650 * [misc]backup-simplify: Simplify 1 into 1 1536942797.650 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.650 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.650 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536942797.650 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1536942797.650 * [misc]backup-simplify: Simplify 1 into 1 1536942797.650 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.650 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.650 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.651 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1536942797.651 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1536942797.651 * [misc]backup-simplify: Simplify -1 into -1 1536942797.651 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.651 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.651 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536942797.651 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1536942797.652 * [misc]backup-simplify: Simplify 0 into 0 1536942797.652 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.652 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.652 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.652 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1536942797.652 * [misc]backup-simplify: Simplify 0 into 0 1536942797.653 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.653 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.653 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.653 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1536942797.653 * [misc]backup-simplify: Simplify 0 into 0 1536942797.654 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.654 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.654 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.654 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1536942797.654 * [misc]backup-simplify: Simplify 0 into 0 1536942797.655 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.655 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.655 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.655 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1536942797.655 * [misc]backup-simplify: Simplify 0 into 0 1536942797.656 * [misc]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 1536942797.656 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.656 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.657 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1536942797.657 * [misc]backup-simplify: Simplify 0 into 0 1536942797.657 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ x (pow x 2)) 1536942797.657 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1) 1536942797.657 * [misc]backup-simplify: Simplify (sqrt (+ x 1)) into (sqrt (+ x 1)) 1536942797.657 * [misc]approximate: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1536942797.657 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.657 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.657 * [misc]taylor: Taking taylor expansion of x in x 1536942797.657 * [misc]backup-simplify: Simplify 0 into 0 1536942797.657 * [misc]backup-simplify: Simplify 1 into 1 1536942797.657 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.657 * [misc]backup-simplify: Simplify 1 into 1 1536942797.657 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.657 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.658 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.658 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.658 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.658 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.658 * [misc]taylor: Taking taylor expansion of x in x 1536942797.658 * [misc]backup-simplify: Simplify 0 into 0 1536942797.658 * [misc]backup-simplify: Simplify 1 into 1 1536942797.658 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.658 * [misc]backup-simplify: Simplify 1 into 1 1536942797.658 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.658 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.658 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.658 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.658 * [misc]backup-simplify: Simplify 1 into 1 1536942797.658 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536942797.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.659 * [misc]backup-simplify: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1536942797.659 * [misc]backup-simplify: Simplify -1/8 into -1/8 1536942797.659 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1536942797.659 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 x) 1)) into (sqrt (+ (/ 1 x) 1)) 1536942797.659 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1536942797.660 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of x in x 1536942797.660 * [misc]backup-simplify: Simplify 0 into 0 1536942797.660 * [misc]backup-simplify: Simplify 1 into 1 1536942797.660 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.660 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.660 * [misc]backup-simplify: Simplify 1 into 1 1536942797.660 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.660 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.660 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.660 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.660 * [misc]taylor: Taking taylor expansion of x in x 1536942797.660 * [misc]backup-simplify: Simplify 0 into 0 1536942797.660 * [misc]backup-simplify: Simplify 1 into 1 1536942797.660 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.660 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.660 * [misc]backup-simplify: Simplify 1 into 1 1536942797.661 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.661 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.661 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.661 * [misc]backup-simplify: Simplify 0 into 0 1536942797.661 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.661 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.661 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.662 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.662 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.662 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.663 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.663 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.663 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.666 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.667 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (- x)) 1)) into (sqrt (- 1 (/ 1 x))) 1536942797.667 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1536942797.667 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.667 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.667 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.667 * [misc]backup-simplify: Simplify 1 into 1 1536942797.667 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.667 * [misc]taylor: Taking taylor expansion of x in x 1536942797.667 * [misc]backup-simplify: Simplify 0 into 0 1536942797.667 * [misc]backup-simplify: Simplify 1 into 1 1536942797.667 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.667 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.667 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.667 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.668 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.668 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.668 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.668 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.668 * [misc]backup-simplify: Simplify 1 into 1 1536942797.668 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.668 * [misc]taylor: Taking taylor expansion of x in x 1536942797.668 * [misc]backup-simplify: Simplify 0 into 0 1536942797.668 * [misc]backup-simplify: Simplify 1 into 1 1536942797.668 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.668 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.668 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.668 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.669 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.669 * [misc]backup-simplify: Simplify 0 into 0 1536942797.669 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.669 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.669 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.669 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.670 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.670 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.670 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.670 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.671 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.671 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.671 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.671 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1536942797.672 * [misc]backup-simplify: Simplify (sqrt (+ x 1)) into (sqrt (+ x 1)) 1536942797.672 * [misc]approximate: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1536942797.672 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.672 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.672 * [misc]taylor: Taking taylor expansion of x in x 1536942797.672 * [misc]backup-simplify: Simplify 0 into 0 1536942797.672 * [misc]backup-simplify: Simplify 1 into 1 1536942797.672 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.672 * [misc]backup-simplify: Simplify 1 into 1 1536942797.672 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.672 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.672 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.673 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.673 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1536942797.673 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1536942797.673 * [misc]taylor: Taking taylor expansion of x in x 1536942797.673 * [misc]backup-simplify: Simplify 0 into 0 1536942797.673 * [misc]backup-simplify: Simplify 1 into 1 1536942797.673 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.673 * [misc]backup-simplify: Simplify 1 into 1 1536942797.673 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.673 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1536942797.673 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.673 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1536942797.673 * [misc]backup-simplify: Simplify 1 into 1 1536942797.673 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536942797.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.675 * [misc]backup-simplify: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1536942797.675 * [misc]backup-simplify: Simplify -1/8 into -1/8 1536942797.675 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1536942797.675 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 x) 1)) into (sqrt (+ (/ 1 x) 1)) 1536942797.675 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1536942797.675 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.675 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.675 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.675 * [misc]taylor: Taking taylor expansion of x in x 1536942797.675 * [misc]backup-simplify: Simplify 0 into 0 1536942797.675 * [misc]backup-simplify: Simplify 1 into 1 1536942797.675 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.676 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.676 * [misc]backup-simplify: Simplify 1 into 1 1536942797.676 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.676 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.676 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.676 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1536942797.676 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1536942797.676 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.676 * [misc]taylor: Taking taylor expansion of x in x 1536942797.676 * [misc]backup-simplify: Simplify 0 into 0 1536942797.676 * [misc]backup-simplify: Simplify 1 into 1 1536942797.677 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.677 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.677 * [misc]backup-simplify: Simplify 1 into 1 1536942797.677 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.677 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.677 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536942797.677 * [misc]backup-simplify: Simplify 0 into 0 1536942797.678 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.678 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.678 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536942797.679 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.679 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.681 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.681 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.681 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.681 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (- x)) 1)) into (sqrt (- 1 (/ 1 x))) 1536942797.681 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1536942797.681 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.681 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.681 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.681 * [misc]backup-simplify: Simplify 1 into 1 1536942797.681 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.681 * [misc]taylor: Taking taylor expansion of x in x 1536942797.681 * [misc]backup-simplify: Simplify 0 into 0 1536942797.681 * [misc]backup-simplify: Simplify 1 into 1 1536942797.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.682 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.682 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.682 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.682 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.682 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1536942797.682 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1536942797.682 * [misc]taylor: Taking taylor expansion of 1 in x 1536942797.683 * [misc]backup-simplify: Simplify 1 into 1 1536942797.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536942797.683 * [misc]taylor: Taking taylor expansion of x in x 1536942797.683 * [misc]backup-simplify: Simplify 0 into 0 1536942797.683 * [misc]backup-simplify: Simplify 1 into 1 1536942797.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942797.683 * [misc]backup-simplify: Simplify (- 1) into -1 1536942797.683 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536942797.683 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536942797.684 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1536942797.684 * [misc]backup-simplify: Simplify 0 into 0 1536942797.684 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.684 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942797.684 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.684 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942797.685 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536942797.685 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942797.686 * [misc]backup-simplify: Simplify (- 0) into 0 1536942797.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942797.687 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536942797.687 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536942797.688 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942797.688 * * * [misc]progress: simplifying candidates 1536942797.688 * * * * [misc]progress: [ 1 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 2 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 3 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 4 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 5 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 6 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 7 / 82 ] simplifiying candidate # 1536942797.688 * * * * [misc]progress: [ 8 / 82 ] simplifiying candidate # 1536942797.689 * [enter]simplify: Simplifying (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) 1536942797.689 * * [misc]simplify: iters left: 6 (6 enodes) 1536942797.691 * * [misc]simplify: iters left: 5 (9 enodes) 1536942797.694 * [exit]simplify: Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) 1536942797.694 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (* (cbrt (sqrt (+ x 1))) x)))) 1536942797.694 * * * * [misc]progress: [ 9 / 82 ] simplifiying candidate # 1536942797.695 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1536942797.695 * * [misc]simplify: iters left: 6 (6 enodes) 1536942797.697 * * [misc]simplify: iters left: 5 (10 enodes) 1536942797.700 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 x))) 1536942797.700 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* (fabs (cbrt (+ 1 x))) (* (sqrt (cbrt (+ x 1))) x)))) 1536942797.700 * * * * [misc]progress: [ 10 / 82 ] simplifiying candidate # 1536942797.701 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942797.701 * * [misc]simplify: iters left: 4 (5 enodes) 1536942797.703 * * [misc]simplify: iters left: 3 (8 enodes) 1536942797.705 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942797.705 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) x)))) 1536942797.705 * * * * [misc]progress: [ 11 / 82 ] simplifiying candidate # 1536942797.705 * [enter]simplify: Simplifying (sqrt 1) 1536942797.706 * * [misc]simplify: iters left: 1 (2 enodes) 1536942797.707 * [exit]simplify: Simplified to 1 1536942797.707 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* 1 (* (sqrt (+ x 1)) x)))) 1536942797.707 * * * * [misc]progress: [ 12 / 82 ] simplifiying candidate # 1536942797.707 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942797.708 * * [misc]simplify: iters left: 4 (5 enodes) 1536942797.710 * * [misc]simplify: iters left: 3 (8 enodes) 1536942797.712 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942797.712 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) x)))) 1536942797.712 * * * * [misc]progress: [ 13 / 82 ] simplifiying candidate # 1536942797.712 * * * * [misc]progress: [ 14 / 82 ] simplifiying candidate # 1536942797.712 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) x) 1536942797.713 * * [misc]simplify: iters left: 6 (8 enodes) 1536942797.718 * * [misc]simplify: iters left: 5 (17 enodes) 1536942797.722 * [exit]simplify: Simplified to (* x (sqrt (+ 1 (pow x 3)))) 1536942797.722 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (/ (* x (sqrt (+ 1 (pow x 3)))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))) 1536942797.722 * * * * [misc]progress: [ 15 / 82 ] simplifiying candidate # 1536942797.723 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) x) 1536942797.723 * * [misc]simplify: iters left: 6 (7 enodes) 1536942797.728 * * [misc]simplify: iters left: 5 (13 enodes) 1536942797.731 * * [misc]simplify: iters left: 4 (16 enodes) 1536942797.735 * * [misc]simplify: iters left: 3 (19 enodes) 1536942797.742 * * [misc]simplify: iters left: 2 (35 enodes) 1536942797.761 * * [misc]simplify: iters left: 1 (60 enodes) 1536942797.779 * [exit]simplify: Simplified to (* (sqrt (+ -1 (* x x))) x) 1536942797.779 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (/ (* (sqrt (+ -1 (* x x))) x) (sqrt (- x 1))))) 1536942797.779 * * * * [misc]progress: [ 16 / 82 ] simplifiying candidate # 1536942797.780 * * * * [misc]progress: [ 17 / 82 ] simplifiying candidate # 1536942797.780 * [enter]simplify: Simplifying (* (sqrt (+ x 1)) (* (sqrt (+ x 1)) x)) 1536942797.780 * * [misc]simplify: iters left: 6 (6 enodes) 1536942797.784 * * [misc]simplify: iters left: 5 (13 enodes) 1536942797.786 * * [misc]simplify: iters left: 4 (14 enodes) 1536942797.788 * * [misc]simplify: iters left: 3 (22 enodes) 1536942797.792 * [exit]simplify: Simplified to (+ (* x x) x) 1536942797.792 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (+ (* x x) x) 1)) 1536942797.792 * * * * [misc]progress: [ 18 / 82 ] simplifiying candidate # 1536942797.792 * * * * [misc]progress: [ 19 / 82 ] simplifiying candidate # 1536942797.792 * [enter]simplify: Simplifying (+ (log (sqrt (+ x 1))) (log (* (sqrt (+ x 1)) x))) 1536942797.793 * * [misc]simplify: iters left: 6 (8 enodes) 1536942797.795 * * [misc]simplify: iters left: 5 (15 enodes) 1536942797.797 * * [misc]simplify: iters left: 4 (19 enodes) 1536942797.799 * * [misc]simplify: iters left: 3 (20 enodes) 1536942797.803 * [exit]simplify: Simplified to (+ (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log x)) 1536942797.803 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (+ (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log x)))) 1536942797.803 * * * * [misc]progress: [ 20 / 82 ] simplifiying candidate # 1536942797.803 * * * * [misc]progress: [ 21 / 82 ] simplifiying candidate # 1536942797.803 * * * * [misc]progress: [ 22 / 82 ] simplifiying candidate # 1536942797.803 * [enter]simplify: Simplifying (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (* (sqrt (+ x 1)) x) (* (sqrt (+ x 1)) x)) (* (sqrt (+ x 1)) x))) 1536942797.804 * * [misc]simplify: iters left: 6 (10 enodes) 1536942797.807 * * [misc]simplify: iters left: 5 (27 enodes) 1536942797.817 * * [misc]simplify: iters left: 4 (84 enodes) 1536942797.866 * * [misc]simplify: iters left: 3 (241 enodes) 1536942798.171 * [exit]simplify: Simplified to (* (* (+ 1 x) (pow x 3)) (* (+ 1 x) (+ 1 x))) 1536942798.171 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (* (* (+ 1 x) (pow x 3)) (* (+ 1 x) (+ 1 x))))) 1536942798.171 * * * * [misc]progress: [ 23 / 82 ] simplifiying candidate # 1536942798.171 * * * * [misc]progress: [ 24 / 82 ] simplifiying candidate # 1536942798.171 * * * * [misc]progress: [ 25 / 82 ] simplifiying candidate # 1536942798.171 * * * * [misc]progress: [ 26 / 82 ] simplifiying candidate # 1536942798.171 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (* (sqrt (+ (pow x 3) (pow 1 3))) x)) 1536942798.172 * * [misc]simplify: iters left: 6 (9 enodes) 1536942798.175 * * [misc]simplify: iters left: 5 (21 enodes) 1536942798.178 * * [misc]simplify: iters left: 4 (22 enodes) 1536942798.181 * * [misc]simplify: iters left: 3 (31 enodes) 1536942798.188 * * [misc]simplify: iters left: 2 (35 enodes) 1536942798.191 * [exit]simplify: Simplified to (+ (pow x 4) x) 1536942798.191 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (pow x 4) x) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))) 1536942798.191 * [enter]simplify: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) 1536942798.192 * * [misc]simplify: iters left: 6 (9 enodes) 1536942798.197 * * [misc]simplify: iters left: 5 (16 enodes) 1536942798.203 * * [misc]simplify: iters left: 4 (26 enodes) 1536942798.210 * * [misc]simplify: iters left: 3 (33 enodes) 1536942798.218 * * [misc]simplify: iters left: 2 (41 enodes) 1536942798.229 * * [misc]simplify: iters left: 1 (53 enodes) 1536942798.248 * [exit]simplify: Simplified to (+ (- 1 x) (* x x)) 1536942798.248 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (pow x 4) x) (+ (- 1 x) (* x x)))) 1536942798.248 * * * * [misc]progress: [ 27 / 82 ] simplifiying candidate # 1536942798.249 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (* (sqrt (- (* x x) (* 1 1))) x)) 1536942798.250 * * [misc]simplify: iters left: 6 (13 enodes) 1536942798.257 * * [misc]simplify: iters left: 5 (26 enodes) 1536942798.264 * * [misc]simplify: iters left: 4 (35 enodes) 1536942798.272 * * [misc]simplify: iters left: 3 (39 enodes) 1536942798.282 * * [misc]simplify: iters left: 2 (55 enodes) 1536942798.305 * * [misc]simplify: iters left: 1 (80 enodes) 1536942798.345 * [exit]simplify: Simplified to (* (* x (sqrt (- (* x x) 1))) (sqrt (+ 1 (pow x 3)))) 1536942798.345 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (* x (sqrt (- (* x x) 1))) (sqrt (+ 1 (pow x 3)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (- x 1))))) 1536942798.345 * [enter]simplify: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (- x 1))) 1536942798.346 * * [misc]simplify: iters left: 6 (11 enodes) 1536942798.350 * * [misc]simplify: iters left: 5 (22 enodes) 1536942798.353 * * [misc]simplify: iters left: 4 (32 enodes) 1536942798.358 * * [misc]simplify: iters left: 3 (39 enodes) 1536942798.364 * * [misc]simplify: iters left: 2 (47 enodes) 1536942798.377 * * [misc]simplify: iters left: 1 (58 enodes) 1536942798.394 * [exit]simplify: Simplified to (* (sqrt (- x 1)) (sqrt (+ (- 1 x) (* x x)))) 1536942798.394 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (* x (sqrt (- (* x x) 1))) (sqrt (+ 1 (pow x 3)))) (* (sqrt (- x 1)) (sqrt (+ (- 1 x) (* x x)))))) 1536942798.394 * * * * [misc]progress: [ 28 / 82 ] simplifiying candidate # 1536942798.395 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (* (sqrt (+ (pow x 3) (pow 1 3))) x)) 1536942798.396 * * [misc]simplify: iters left: 6 (13 enodes) 1536942798.399 * * [misc]simplify: iters left: 5 (26 enodes) 1536942798.403 * * [misc]simplify: iters left: 4 (35 enodes) 1536942798.408 * * [misc]simplify: iters left: 3 (39 enodes) 1536942798.416 * * [misc]simplify: iters left: 2 (55 enodes) 1536942798.429 * * [misc]simplify: iters left: 1 (80 enodes) 1536942798.453 * [exit]simplify: Simplified to (* (sqrt (- (* x x) 1)) (* x (sqrt (+ (pow x 3) 1)))) 1536942798.453 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (sqrt (- (* x x) 1)) (* x (sqrt (+ (pow x 3) 1)))) (* (sqrt (- x 1)) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))) 1536942798.453 * [enter]simplify: Simplifying (* (sqrt (- x 1)) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) 1536942798.455 * * [misc]simplify: iters left: 6 (11 enodes) 1536942798.461 * * [misc]simplify: iters left: 5 (22 enodes) 1536942798.468 * * [misc]simplify: iters left: 4 (32 enodes) 1536942798.478 * * [misc]simplify: iters left: 3 (38 enodes) 1536942798.488 * * [misc]simplify: iters left: 2 (46 enodes) 1536942798.502 * * [misc]simplify: iters left: 1 (57 enodes) 1536942798.525 * [exit]simplify: Simplified to (* (sqrt (+ x -1)) (sqrt (+ (* x x) (- 1 x)))) 1536942798.525 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (- (* x x) 1)) (* x (sqrt (+ (pow x 3) 1)))) (* (sqrt (+ x -1)) (sqrt (+ (* x x) (- 1 x)))))) 1536942798.525 * * * * [misc]progress: [ 29 / 82 ] simplifiying candidate # 1536942798.525 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (* (sqrt (- (* x x) (* 1 1))) x)) 1536942798.526 * * [misc]simplify: iters left: 6 (8 enodes) 1536942798.531 * * [misc]simplify: iters left: 5 (17 enodes) 1536942798.537 * * [misc]simplify: iters left: 4 (21 enodes) 1536942798.545 * * [misc]simplify: iters left: 3 (32 enodes) 1536942798.558 * * [misc]simplify: iters left: 2 (56 enodes) 1536942798.600 * * [misc]simplify: iters left: 1 (108 enodes) 1536942798.658 * [exit]simplify: Simplified to (- (pow x 3) x) 1536942798.658 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (pow x 3) x) (* (sqrt (- x 1)) (sqrt (- x 1))))) 1536942798.658 * [enter]simplify: Simplifying (* (sqrt (- x 1)) (sqrt (- x 1))) 1536942798.658 * * [misc]simplify: iters left: 5 (5 enodes) 1536942798.661 * * [misc]simplify: iters left: 4 (10 enodes) 1536942798.663 * * [misc]simplify: iters left: 3 (11 enodes) 1536942798.666 * [exit]simplify: Simplified to (+ x -1) 1536942798.666 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (pow x 3) x) (+ x -1))) 1536942798.666 * * * * [misc]progress: [ 30 / 82 ] simplifiying candidate # 1536942798.666 * * * * [misc]progress: [ 31 / 82 ] simplifiying candidate # 1536942798.666 * * * * [misc]progress: [ 32 / 82 ] simplifiying candidate # 1536942798.666 * [enter]simplify: Simplifying (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) 1536942798.667 * * [misc]simplify: iters left: 6 (6 enodes) 1536942798.669 * * [misc]simplify: iters left: 5 (9 enodes) 1536942798.672 * [exit]simplify: Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) 1536942798.673 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (* (cbrt (sqrt (+ x 1))) (* (sqrt (+ x 1)) x)))) 1536942798.673 * * * * [misc]progress: [ 33 / 82 ] simplifiying candidate # 1536942798.673 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1536942798.674 * * [misc]simplify: iters left: 6 (6 enodes) 1536942798.676 * * [misc]simplify: iters left: 5 (10 enodes) 1536942798.679 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 x))) 1536942798.679 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ 1 x))) (* (sqrt (cbrt (+ x 1))) (* (sqrt (+ x 1)) x)))) 1536942798.679 * * * * [misc]progress: [ 34 / 82 ] simplifiying candidate # 1536942798.679 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942798.680 * * [misc]simplify: iters left: 4 (5 enodes) 1536942798.682 * * [misc]simplify: iters left: 3 (8 enodes) 1536942798.684 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942798.684 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (* (sqrt (+ x 1)) x)))) 1536942798.684 * * * * [misc]progress: [ 35 / 82 ] simplifiying candidate # 1536942798.685 * [enter]simplify: Simplifying (sqrt 1) 1536942798.685 * * [misc]simplify: iters left: 1 (2 enodes) 1536942798.686 * [exit]simplify: Simplified to 1 1536942798.686 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (+ x 1)) (* (sqrt (+ x 1)) x)))) 1536942798.687 * * * * [misc]progress: [ 36 / 82 ] simplifiying candidate # 1536942798.687 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942798.687 * * [misc]simplify: iters left: 4 (5 enodes) 1536942798.689 * * [misc]simplify: iters left: 3 (8 enodes) 1536942798.692 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942798.692 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (* (sqrt (+ x 1)) x)))) 1536942798.692 * * * * [misc]progress: [ 37 / 82 ] simplifiying candidate # 1536942798.692 * * * * [misc]progress: [ 38 / 82 ] simplifiying candidate # 1536942798.692 * [enter]simplify: Simplifying (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) 1536942798.693 * * [misc]simplify: iters left: 6 (8 enodes) 1536942798.697 * * [misc]simplify: iters left: 5 (15 enodes) 1536942798.704 * * [misc]simplify: iters left: 4 (24 enodes) 1536942798.712 * * [misc]simplify: iters left: 3 (31 enodes) 1536942798.721 * * [misc]simplify: iters left: 2 (39 enodes) 1536942798.733 * * [misc]simplify: iters left: 1 (51 enodes) 1536942798.752 * [exit]simplify: Simplified to (sqrt (- (* x x) (- x 1))) 1536942798.752 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (+ x 1)) (* (sqrt (+ (pow x 3) (pow 1 3))) x)) (sqrt (- (* x x) (- x 1))))) 1536942798.752 * * * * [misc]progress: [ 39 / 82 ] simplifiying candidate # 1536942798.753 * [enter]simplify: Simplifying (sqrt (- x 1)) 1536942798.753 * * [misc]simplify: iters left: 3 (4 enodes) 1536942798.756 * * [misc]simplify: iters left: 2 (9 enodes) 1536942798.758 * * [misc]simplify: iters left: 1 (10 enodes) 1536942798.761 * [exit]simplify: Simplified to (sqrt (+ x -1)) 1536942798.761 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (+ x 1)) (* (sqrt (- (* x x) (* 1 1))) x)) (sqrt (+ x -1)))) 1536942798.761 * * * * [misc]progress: [ 40 / 82 ] simplifiying candidate # 1536942798.761 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (* (sqrt (+ x 1)) x)) 1536942798.765 * * [misc]simplify: iters left: 6 (11 enodes) 1536942798.772 * * [misc]simplify: iters left: 5 (24 enodes) 1536942798.779 * * [misc]simplify: iters left: 4 (30 enodes) 1536942798.787 * * [misc]simplify: iters left: 3 (32 enodes) 1536942798.797 * [exit]simplify: Simplified to (* (* x (sqrt (+ 1 x))) (sqrt (+ 1 (pow x 3)))) 1536942798.797 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (* x (sqrt (+ 1 x))) (sqrt (+ 1 (pow x 3)))) (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))) 1536942798.797 * * * * [misc]progress: [ 41 / 82 ] simplifiying candidate # 1536942798.797 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (* (sqrt (+ x 1)) x)) 1536942798.800 * * [misc]simplify: iters left: 6 (10 enodes) 1536942798.805 * * [misc]simplify: iters left: 5 (20 enodes) 1536942798.809 * * [misc]simplify: iters left: 4 (28 enodes) 1536942798.813 * * [misc]simplify: iters left: 3 (31 enodes) 1536942798.818 * * [misc]simplify: iters left: 2 (47 enodes) 1536942798.830 * * [misc]simplify: iters left: 1 (72 enodes) 1536942798.868 * [exit]simplify: Simplified to (* (* (sqrt (+ x 1)) x) (sqrt (- (* x x) 1))) 1536942798.868 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (* (sqrt (+ x 1)) x) (sqrt (- (* x x) 1))) (sqrt (- x 1)))) 1536942798.868 * * * * [misc]progress: [ 42 / 82 ] simplifiying candidate # 1536942798.868 * * * * [misc]progress: [ 43 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 44 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 45 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 46 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 47 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 48 / 82 ] simplifiying candidate # 1536942798.869 * * * * [misc]progress: [ 49 / 82 ] simplifiying candidate # 1536942798.869 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1536942798.870 * * [misc]simplify: iters left: 6 (6 enodes) 1536942798.875 * * [misc]simplify: iters left: 5 (10 enodes) 1536942798.879 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 x))) 1536942798.879 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) x))) 1536942798.879 * * * * [misc]progress: [ 50 / 82 ] simplifiying candidate # 1536942798.879 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942798.880 * * [misc]simplify: iters left: 4 (5 enodes) 1536942798.881 * * [misc]simplify: iters left: 3 (8 enodes) 1536942798.884 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942798.884 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ x 1)))) x))) 1536942798.884 * * * * [misc]progress: [ 51 / 82 ] simplifiying candidate # 1536942798.884 * [enter]simplify: Simplifying (sqrt 1) 1536942798.884 * * [misc]simplify: iters left: 1 (2 enodes) 1536942798.886 * [exit]simplify: Simplified to 1 1536942798.886 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (* 1 (sqrt (+ x 1))) x))) 1536942798.886 * * * * [misc]progress: [ 52 / 82 ] simplifiying candidate # 1536942798.886 * [enter]simplify: Simplifying (sqrt (+ (pow x 3) (pow 1 3))) 1536942798.887 * * [misc]simplify: iters left: 4 (7 enodes) 1536942798.891 * * [misc]simplify: iters left: 3 (15 enodes) 1536942798.895 * [exit]simplify: Simplified to (sqrt (+ 1 (pow x 3))) 1536942798.895 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (/ (sqrt (+ 1 (pow x 3))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) x))) 1536942798.895 * * * * [misc]progress: [ 53 / 82 ] simplifiying candidate # 1536942798.895 * [enter]simplify: Simplifying (sqrt (- (* x x) (* 1 1))) 1536942798.896 * * [misc]simplify: iters left: 5 (6 enodes) 1536942798.899 * * [misc]simplify: iters left: 4 (11 enodes) 1536942798.902 * * [misc]simplify: iters left: 3 (14 enodes) 1536942798.907 * * [misc]simplify: iters left: 2 (17 enodes) 1536942798.913 * * [misc]simplify: iters left: 1 (33 enodes) 1536942798.934 * [exit]simplify: Simplified to (sqrt (- (* x x) 1)) 1536942798.934 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (/ (sqrt (- (* x x) 1)) (sqrt (- x 1))) x))) 1536942798.934 * * * * [misc]progress: [ 54 / 82 ] simplifiying candidate # 1536942798.934 * * * * [misc]progress: [ 55 / 82 ] simplifiying candidate # 1536942798.934 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1536942798.934 * * [misc]simplify: iters left: 3 (4 enodes) 1536942798.935 * * [misc]simplify: iters left: 2 (7 enodes) 1536942798.936 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1536942798.936 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (+ x 1)) (* (fabs (sqrt (+ 1 x))) x))) 1536942798.936 * * * * [misc]progress: [ 56 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 57 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 58 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 59 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 60 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 61 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 62 / 82 ] simplifiying candidate # 1536942798.936 * * * * [misc]progress: [ 63 / 82 ] simplifiying candidate # 1536942798.936 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1536942798.937 * * [misc]simplify: iters left: 6 (6 enodes) 1536942798.938 * * [misc]simplify: iters left: 5 (10 enodes) 1536942798.939 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 x))) 1536942798.940 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (* (sqrt (+ x 1)) x))) 1536942798.940 * * * * [misc]progress: [ 64 / 82 ] simplifiying candidate # 1536942798.940 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1536942798.940 * * [misc]simplify: iters left: 4 (5 enodes) 1536942798.941 * * [misc]simplify: iters left: 3 (8 enodes) 1536942798.942 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1536942798.942 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ x 1)))) (* (sqrt (+ x 1)) x))) 1536942798.942 * * * * [misc]progress: [ 65 / 82 ] simplifiying candidate # 1536942798.942 * [enter]simplify: Simplifying (sqrt 1) 1536942798.942 * * [misc]simplify: iters left: 1 (2 enodes) 1536942798.943 * [exit]simplify: Simplified to 1 1536942798.943 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (* 1 (sqrt (+ x 1))) (* (sqrt (+ x 1)) x))) 1536942798.943 * * * * [misc]progress: [ 66 / 82 ] simplifiying candidate # 1536942798.944 * [enter]simplify: Simplifying (sqrt (+ (pow x 3) (pow 1 3))) 1536942798.944 * * [misc]simplify: iters left: 4 (7 enodes) 1536942798.946 * * [misc]simplify: iters left: 3 (15 enodes) 1536942798.948 * [exit]simplify: Simplified to (sqrt (+ 1 (pow x 3))) 1536942798.948 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (/ (sqrt (+ 1 (pow x 3))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) (* (sqrt (+ x 1)) x))) 1536942798.948 * * * * [misc]progress: [ 67 / 82 ] simplifiying candidate # 1536942798.948 * [enter]simplify: Simplifying (sqrt (- (* x x) (* 1 1))) 1536942798.949 * * [misc]simplify: iters left: 5 (6 enodes) 1536942798.951 * * [misc]simplify: iters left: 4 (11 enodes) 1536942798.952 * * [misc]simplify: iters left: 3 (14 enodes) 1536942798.954 * * [misc]simplify: iters left: 2 (17 enodes) 1536942798.958 * * [misc]simplify: iters left: 1 (33 enodes) 1536942798.970 * [exit]simplify: Simplified to (sqrt (- (* x x) 1)) 1536942798.970 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (/ (sqrt (- (* x x) 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) x))) 1536942798.970 * * * * [misc]progress: [ 68 / 82 ] simplifiying candidate # 1536942798.970 * * * * [misc]progress: [ 69 / 82 ] simplifiying candidate # 1536942798.970 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1536942798.970 * * [misc]simplify: iters left: 3 (4 enodes) 1536942798.971 * * [misc]simplify: iters left: 2 (7 enodes) 1536942798.973 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1536942798.973 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (fabs (sqrt (+ 1 x))) (* (sqrt (+ x 1)) x))) 1536942798.973 * * * * [misc]progress: [ 70 / 82 ] simplifiying candidate # 1536942798.973 * * * * [misc]progress: [ 71 / 82 ] simplifiying candidate # 1536942798.973 * [enter]simplify: Simplifying (- (+ x (* 1/2 (pow x 2))) (* 1/8 (pow x 3))) 1536942798.977 * * [misc]simplify: iters left: 6 (11 enodes) 1536942798.982 * * [misc]simplify: iters left: 5 (21 enodes) 1536942798.995 * * [misc]simplify: iters left: 4 (51 enodes) 1536942799.018 * * [misc]simplify: iters left: 3 (87 enodes) 1536942799.050 * * [misc]simplify: iters left: 2 (129 enodes) 1536942799.094 * * [misc]simplify: iters left: 1 (166 enodes) 1536942799.171 * [exit]simplify: Simplified to (+ (* (+ 1/2 (* x -1/8)) (* x x)) x) 1536942799.171 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (+ x 1)) (+ (* (+ 1/2 (* x -1/8)) (* x x)) x))) 1536942799.171 * * * * [misc]progress: [ 72 / 82 ] simplifiying candidate # 1536942799.171 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.171 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (+ x 1)) +nan.0)) 1536942799.171 * * * * [misc]progress: [ 73 / 82 ] simplifiying candidate # 1536942799.171 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.171 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (+ x 1)) +nan.0)) 1536942799.171 * * * * [misc]progress: [ 74 / 82 ] simplifiying candidate # 1536942799.172 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942799.172 * * [misc]simplify: iters left: 3 (4 enodes) 1536942799.173 * * [misc]simplify: iters left: 2 (6 enodes) 1536942799.174 * * [misc]simplify: iters left: 1 (9 enodes) 1536942799.175 * [exit]simplify: Simplified to (+ x (* x x)) 1536942799.176 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942799.176 * * * * [misc]progress: [ 75 / 82 ] simplifiying candidate # 1536942799.176 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942799.176 * * [misc]simplify: iters left: 3 (4 enodes) 1536942799.177 * * [misc]simplify: iters left: 2 (6 enodes) 1536942799.178 * * [misc]simplify: iters left: 1 (9 enodes) 1536942799.180 * [exit]simplify: Simplified to (+ x (* x x)) 1536942799.180 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942799.180 * * * * [misc]progress: [ 76 / 82 ] simplifiying candidate # 1536942799.180 * [enter]simplify: Simplifying (+ x (pow x 2)) 1536942799.180 * * [misc]simplify: iters left: 3 (4 enodes) 1536942799.181 * * [misc]simplify: iters left: 2 (6 enodes) 1536942799.182 * * [misc]simplify: iters left: 1 (9 enodes) 1536942799.186 * [exit]simplify: Simplified to (+ x (* x x)) 1536942799.186 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* x x))) 1536942799.186 * * * * [misc]progress: [ 77 / 82 ] simplifiying candidate # 1536942799.186 * [enter]simplify: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1536942799.186 * * [misc]simplify: iters left: 6 (10 enodes) 1536942799.189 * * [misc]simplify: iters left: 5 (20 enodes) 1536942799.196 * * [misc]simplify: iters left: 4 (39 enodes) 1536942799.211 * * [misc]simplify: iters left: 3 (57 enodes) 1536942799.221 * * [misc]simplify: iters left: 2 (74 enodes) 1536942799.233 * * [misc]simplify: iters left: 1 (88 enodes) 1536942799.248 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)) 1536942799.248 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)) x))) 1536942799.248 * * * * [misc]progress: [ 78 / 82 ] simplifiying candidate # 1536942799.249 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.249 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* +nan.0 x))) 1536942799.249 * * * * [misc]progress: [ 79 / 82 ] simplifiying candidate # 1536942799.249 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.249 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (+ x 1)) (* +nan.0 x))) 1536942799.249 * * * * [misc]progress: [ 80 / 82 ] simplifiying candidate # 1536942799.249 * [enter]simplify: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1536942799.249 * * [misc]simplify: iters left: 6 (10 enodes) 1536942799.252 * * [misc]simplify: iters left: 5 (20 enodes) 1536942799.257 * * [misc]simplify: iters left: 4 (39 enodes) 1536942799.267 * * [misc]simplify: iters left: 3 (57 enodes) 1536942799.276 * * [misc]simplify: iters left: 2 (74 enodes) 1536942799.288 * * [misc]simplify: iters left: 1 (88 enodes) 1536942799.303 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)) 1536942799.303 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)) (* (sqrt (+ x 1)) x))) 1536942799.304 * * * * [misc]progress: [ 81 / 82 ] simplifiying candidate # 1536942799.304 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.304 * [misc]simplify: Simplified (2 1) to (λ (x) (* +nan.0 (* (sqrt (+ x 1)) x))) 1536942799.304 * * * * [misc]progress: [ 82 / 82 ] simplifiying candidate # 1536942799.304 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1536942799.304 * [misc]simplify: Simplified (2 1) to (λ (x) (* +nan.0 (* (sqrt (+ x 1)) x))) 1536942799.304 * * * [misc]progress: adding candidates to table 1536942800.496 * [misc]progress: [Phase 3 of 3] Extracting. 1536942800.496 * * [misc]regime: Finding splitpoints for: (# #) 1536942800.496 * * * [misc]regime-changes: Trying 2 branch expressions: (x (+ x (* x x))) 1536942800.496 * * * * [misc]regimes: Trying to branch on x from (# #) 1536942800.530 * * * * [misc]regimes: Trying to branch on (+ x (* x x)) from (# #) 1536942800.566 * * * [misc]regime: Found split indices: #