1544864364.797 * [misc]progress: [Phase 1 of 3] Setting up. 1544864364.798 * * * [misc]progress: [1/2] Preparing points 1544864364.798 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544864364.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864364.868 * * * * [misc]points: Sampling 194 additional inputs, on iter 1 have 62 / 256 1544864364.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864364.945 * * * * [misc]points: Sampling 151 additional inputs, on iter 2 have 105 / 256 1544864364.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864364.985 * * * * [misc]points: Sampling 115 additional inputs, on iter 3 have 141 / 256 1544864365.013 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.013 * * * * [misc]points: Sampling 80 additional inputs, on iter 4 have 176 / 256 1544864365.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.028 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1544864365.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.039 * * * * [misc]points: Sampling 43 additional inputs, on iter 6 have 213 / 256 1544864365.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.048 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1544864365.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.094 * * * * [misc]points: Sampling 19 additional inputs, on iter 8 have 237 / 256 1544864365.099 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.099 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 244 / 256 1544864365.102 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.102 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 245 / 256 1544864365.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.108 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1544864365.110 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.110 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1544864365.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.113 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1544864365.116 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.116 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1544864365.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.120 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1544864365.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.124 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1544864365.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.127 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1544864365.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.131 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1544864365.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.135 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1544864365.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.137 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 1544864365.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864365.139 * * * * [exit]points: Sampled 256 points with exact outputs 1544864365.139 * * * [misc]progress: [2/2] Setting up program. 1544864365.144 * [misc]progress: [Phase 2 of 3] Improving. 1544864365.144 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544864365.145 * * [misc]simplify: iters left: 6 (9 enodes) 1544864365.147 * * [misc]simplify: iters left: 5 (14 enodes) 1544864365.149 * * [misc]simplify: iters left: 4 (18 enodes) 1544864365.152 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544864365.165 * * [misc]progress: iteration 1 / 4 1544864365.165 * * * [misc]progress: picking best candidate 1544864365.174 * * * * [misc]pick: Picked # 1544864365.174 * * * [misc]progress: localizing error 1544864365.217 * * * [misc]progress: generating rewritten candidates 1544864365.217 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2) 1544864365.251 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544864365.302 * * * [misc]progress: generating series expansions 1544864365.302 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2) 1544864365.302 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* x x))) x) into (* (/ 1 x) (sqrt (- 1 (pow x 2)))) 1544864365.302 * [misc]approximate: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in (x) around 0 1544864365.302 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544864365.302 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.302 * [misc]taylor: Taking taylor expansion of x in x 1544864365.302 * [misc]backup-simplify: Simplify 0 into 0 1544864365.302 * [misc]backup-simplify: Simplify 1 into 1 1544864365.302 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.302 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544864365.302 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544864365.302 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.302 * [misc]backup-simplify: Simplify 1 into 1 1544864365.303 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of x in x 1544864365.303 * [misc]backup-simplify: Simplify 0 into 0 1544864365.303 * [misc]backup-simplify: Simplify 1 into 1 1544864365.303 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.303 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544864365.303 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.303 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544864365.303 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of x in x 1544864365.303 * [misc]backup-simplify: Simplify 0 into 0 1544864365.303 * [misc]backup-simplify: Simplify 1 into 1 1544864365.303 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.303 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.303 * [misc]backup-simplify: Simplify 1 into 1 1544864365.303 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.303 * [misc]taylor: Taking taylor expansion of x in x 1544864365.303 * [misc]backup-simplify: Simplify 0 into 0 1544864365.303 * [misc]backup-simplify: Simplify 1 into 1 1544864365.304 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.304 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544864365.304 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.304 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544864365.304 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.304 * [misc]backup-simplify: Simplify 1 into 1 1544864365.304 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.304 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.304 * [misc]backup-simplify: Simplify 0 into 0 1544864365.305 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.305 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.305 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.306 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1544864365.306 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.306 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1544864365.306 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544864365.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.306 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.306 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.307 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1544864365.307 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.307 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1544864365.307 * [misc]backup-simplify: Simplify 0 into 0 1544864365.308 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.308 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.308 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.309 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1544864365.309 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.309 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1544864365.309 * [misc]backup-simplify: Simplify -1/8 into -1/8 1544864365.309 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 1 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1544864365.309 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)) into (* x (sqrt (- 1 (/ 1 (pow x 2))))) 1544864365.310 * [misc]approximate: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in (x) around 0 1544864365.310 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.310 * [misc]taylor: Taking taylor expansion of x in x 1544864365.310 * [misc]backup-simplify: Simplify 0 into 0 1544864365.310 * [misc]backup-simplify: Simplify 1 into 1 1544864365.310 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.310 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.310 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.310 * [misc]backup-simplify: Simplify 1 into 1 1544864365.310 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.310 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.310 * [misc]taylor: Taking taylor expansion of x in x 1544864365.310 * [misc]backup-simplify: Simplify 0 into 0 1544864365.310 * [misc]backup-simplify: Simplify 1 into 1 1544864365.310 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.310 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.310 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.310 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.310 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.310 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.311 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.311 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.311 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.311 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.311 * [misc]taylor: Taking taylor expansion of x in x 1544864365.311 * [misc]backup-simplify: Simplify 0 into 0 1544864365.311 * [misc]backup-simplify: Simplify 1 into 1 1544864365.311 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.311 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.311 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.311 * [misc]backup-simplify: Simplify 1 into 1 1544864365.311 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.311 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.311 * [misc]taylor: Taking taylor expansion of x in x 1544864365.311 * [misc]backup-simplify: Simplify 0 into 0 1544864365.311 * [misc]backup-simplify: Simplify 1 into 1 1544864365.311 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.311 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.311 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.311 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.312 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.312 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.312 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.312 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.312 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.312 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.312 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544864365.312 * [misc]backup-simplify: Simplify 0 into 0 1544864365.313 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544864365.313 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.313 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.313 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.313 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.313 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.314 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.314 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544864365.314 * [misc]backup-simplify: Simplify 0 into 0 1544864365.315 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544864365.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.315 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.315 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.315 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544864365.316 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.316 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.317 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544864365.317 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.317 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.317 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.319 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1544864365.320 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1544864365.320 * [misc]backup-simplify: Simplify 0 into 0 1544864365.320 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544864365.320 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.321 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.321 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.323 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/8 (pow (sqrt -1) 3)))) (* 2 (* (/ 1/2 (sqrt -1)) 0)))) (* 2 (sqrt -1))) into 0 1544864365.326 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1544864365.328 * [misc]backup-simplify: Simplify (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1544864365.331 * [misc]backup-simplify: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 4)) (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) 1544864365.331 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 1544864365.331 * [misc]approximate: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 1544864365.331 * [misc]taylor: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.331 * [misc]taylor: Taking taylor expansion of -1 in x 1544864365.331 * [misc]backup-simplify: Simplify -1 into -1 1544864365.331 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.332 * [misc]taylor: Taking taylor expansion of x in x 1544864365.332 * [misc]backup-simplify: Simplify 0 into 0 1544864365.332 * [misc]backup-simplify: Simplify 1 into 1 1544864365.332 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.332 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.332 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.332 * [misc]backup-simplify: Simplify 1 into 1 1544864365.332 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.332 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.332 * [misc]taylor: Taking taylor expansion of x in x 1544864365.332 * [misc]backup-simplify: Simplify 0 into 0 1544864365.332 * [misc]backup-simplify: Simplify 1 into 1 1544864365.332 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.332 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.332 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.332 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.333 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.333 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.333 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.333 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.333 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.334 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.334 * [misc]taylor: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of -1 in x 1544864365.334 * [misc]backup-simplify: Simplify -1 into -1 1544864365.334 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of x in x 1544864365.334 * [misc]backup-simplify: Simplify 0 into 0 1544864365.334 * [misc]backup-simplify: Simplify 1 into 1 1544864365.334 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.334 * [misc]backup-simplify: Simplify 1 into 1 1544864365.334 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.334 * [misc]taylor: Taking taylor expansion of x in x 1544864365.334 * [misc]backup-simplify: Simplify 0 into 0 1544864365.334 * [misc]backup-simplify: Simplify 1 into 1 1544864365.334 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.334 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.334 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.335 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.335 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.335 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.335 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.335 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.336 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.336 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544864365.336 * [misc]backup-simplify: Simplify (* -1 0) into 0 1544864365.336 * [misc]backup-simplify: Simplify 0 into 0 1544864365.337 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544864365.337 * [misc]backup-simplify: Simplify (+ (* -1 (sqrt -1)) (* 0 0)) into (- (sqrt -1)) 1544864365.338 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1544864365.338 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.338 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.338 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.339 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.340 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.340 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544864365.341 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (sqrt -1)) (* 0 0))) into 0 1544864365.341 * [misc]backup-simplify: Simplify 0 into 0 1544864365.341 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544864365.341 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.342 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.342 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544864365.344 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.345 * [misc]backup-simplify: Simplify (+ (* -1 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544864365.346 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544864365.346 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544864365.346 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.347 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.349 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1544864365.352 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1544864365.352 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0))))) into 0 1544864365.352 * [misc]backup-simplify: Simplify 0 into 0 1544864365.353 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544864365.353 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.354 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.354 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.358 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/8 (pow (sqrt -1) 3)))) (* 2 (* (/ 1/2 (sqrt -1)) 0)))) (* 2 (sqrt -1))) into 0 1544864365.361 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1544864365.365 * [misc]backup-simplify: Simplify (+ (* -1 (- (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (+ (* 0 0) (+ (* 0 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0)))))) into (* 1/8 (/ 1 (pow (sqrt -1) 3))) 1544864365.366 * [misc]backup-simplify: Simplify (* 1/8 (/ 1 (pow (sqrt -1) 3))) into (/ 1/8 (pow (sqrt -1) 3)) 1544864365.370 * [misc]backup-simplify: Simplify (+ (* (/ 1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 4)) (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (- (sqrt -1)))) into (- (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3)))) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1544864365.370 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544864365.370 * [misc]backup-simplify: Simplify (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) into (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) 1544864365.370 * [misc]approximate: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in (x) around 0 1544864365.370 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1544864365.370 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.370 * [misc]taylor: Taking taylor expansion of x in x 1544864365.370 * [misc]backup-simplify: Simplify 0 into 0 1544864365.370 * [misc]backup-simplify: Simplify 1 into 1 1544864365.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.371 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544864365.371 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.371 * [misc]taylor: Taking taylor expansion of x in x 1544864365.371 * [misc]backup-simplify: Simplify 0 into 0 1544864365.371 * [misc]backup-simplify: Simplify 1 into 1 1544864365.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.371 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544864365.371 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544864365.371 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.371 * [misc]backup-simplify: Simplify 1 into 1 1544864365.372 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.372 * [misc]taylor: Taking taylor expansion of x in x 1544864365.372 * [misc]backup-simplify: Simplify 0 into 0 1544864365.372 * [misc]backup-simplify: Simplify 1 into 1 1544864365.372 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.372 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544864365.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.372 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544864365.372 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1544864365.372 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.372 * [misc]taylor: Taking taylor expansion of x in x 1544864365.373 * [misc]backup-simplify: Simplify 0 into 0 1544864365.373 * [misc]backup-simplify: Simplify 1 into 1 1544864365.373 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.373 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544864365.373 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544864365.373 * [misc]taylor: Taking taylor expansion of x in x 1544864365.373 * [misc]backup-simplify: Simplify 0 into 0 1544864365.373 * [misc]backup-simplify: Simplify 1 into 1 1544864365.373 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.373 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544864365.373 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544864365.373 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.373 * [misc]backup-simplify: Simplify 1 into 1 1544864365.373 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.373 * [misc]taylor: Taking taylor expansion of x in x 1544864365.373 * [misc]backup-simplify: Simplify 0 into 0 1544864365.373 * [misc]backup-simplify: Simplify 1 into 1 1544864365.373 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.374 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544864365.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.374 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544864365.374 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.374 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1544864365.375 * [misc]backup-simplify: Simplify 2 into 2 1544864365.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.375 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.375 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.375 * [misc]backup-simplify: Simplify 0 into 0 1544864365.376 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.376 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.376 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.376 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.377 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1544864365.378 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.378 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1544864365.378 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1544864365.378 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544864365.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.379 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.379 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.379 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1544864365.380 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.380 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1544864365.380 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.380 * [misc]backup-simplify: Simplify 0 into 0 1544864365.381 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.381 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.381 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.383 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1544864365.383 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.383 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1544864365.384 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 1544864365.384 * [misc]backup-simplify: Simplify -1/8 into -1/8 1544864365.384 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 2 (/ 1 x)))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1544864365.384 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 1544864365.384 * [misc]approximate: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 1544864365.384 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.384 * [misc]taylor: Taking taylor expansion of x in x 1544864365.384 * [misc]backup-simplify: Simplify 0 into 0 1544864365.384 * [misc]backup-simplify: Simplify 1 into 1 1544864365.385 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.385 * [misc]taylor: Taking taylor expansion of x in x 1544864365.385 * [misc]backup-simplify: Simplify 0 into 0 1544864365.385 * [misc]backup-simplify: Simplify 1 into 1 1544864365.385 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.385 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.385 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.385 * [misc]backup-simplify: Simplify 1 into 1 1544864365.385 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.385 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.385 * [misc]taylor: Taking taylor expansion of x in x 1544864365.385 * [misc]backup-simplify: Simplify 0 into 0 1544864365.385 * [misc]backup-simplify: Simplify 1 into 1 1544864365.385 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.385 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.385 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.385 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.386 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.386 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.386 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.386 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.386 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.387 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.387 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of x in x 1544864365.387 * [misc]backup-simplify: Simplify 0 into 0 1544864365.387 * [misc]backup-simplify: Simplify 1 into 1 1544864365.387 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of x in x 1544864365.387 * [misc]backup-simplify: Simplify 0 into 0 1544864365.387 * [misc]backup-simplify: Simplify 1 into 1 1544864365.387 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.387 * [misc]backup-simplify: Simplify 1 into 1 1544864365.387 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.387 * [misc]taylor: Taking taylor expansion of x in x 1544864365.387 * [misc]backup-simplify: Simplify 0 into 0 1544864365.387 * [misc]backup-simplify: Simplify 1 into 1 1544864365.387 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.387 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.388 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.388 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.388 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.388 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.389 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.389 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.389 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.389 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544864365.389 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.389 * [misc]backup-simplify: Simplify 0 into 0 1544864365.390 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544864365.390 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1544864365.390 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.391 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.391 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.391 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.391 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.393 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.393 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544864365.393 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.393 * [misc]backup-simplify: Simplify 1 into 1 1544864365.394 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544864365.394 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.394 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.394 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.395 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544864365.396 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.397 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.397 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.398 * [misc]backup-simplify: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (sqrt -1))) into (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 1544864365.399 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1544864365.399 * [misc]approximate: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1544864365.399 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of x in x 1544864365.399 * [misc]backup-simplify: Simplify 0 into 0 1544864365.399 * [misc]backup-simplify: Simplify 1 into 1 1544864365.399 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of x in x 1544864365.399 * [misc]backup-simplify: Simplify 0 into 0 1544864365.399 * [misc]backup-simplify: Simplify 1 into 1 1544864365.399 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.399 * [misc]backup-simplify: Simplify 1 into 1 1544864365.399 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.399 * [misc]taylor: Taking taylor expansion of x in x 1544864365.399 * [misc]backup-simplify: Simplify 0 into 0 1544864365.400 * [misc]backup-simplify: Simplify 1 into 1 1544864365.400 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.400 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.400 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.400 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.400 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.401 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.401 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.401 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.401 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of x in x 1544864365.402 * [misc]backup-simplify: Simplify 0 into 0 1544864365.402 * [misc]backup-simplify: Simplify 1 into 1 1544864365.402 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of x in x 1544864365.402 * [misc]backup-simplify: Simplify 0 into 0 1544864365.402 * [misc]backup-simplify: Simplify 1 into 1 1544864365.402 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of 1 in x 1544864365.402 * [misc]backup-simplify: Simplify 1 into 1 1544864365.402 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544864365.402 * [misc]taylor: Taking taylor expansion of x in x 1544864365.402 * [misc]backup-simplify: Simplify 0 into 0 1544864365.402 * [misc]backup-simplify: Simplify 1 into 1 1544864365.402 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544864365.402 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544864365.403 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.403 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544864365.403 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544864365.403 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544864365.403 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544864365.404 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.404 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544864365.404 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544864365.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.405 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.405 * [misc]backup-simplify: Simplify 0 into 0 1544864365.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544864365.406 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1544864365.406 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1544864365.406 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1544864365.407 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544864365.407 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.407 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.407 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.408 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544864365.409 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544864365.409 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544864365.409 * [misc]backup-simplify: Simplify (- 1) into -1 1544864365.409 * [misc]backup-simplify: Simplify -1 into -1 1544864365.410 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544864365.410 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544864365.410 * [misc]backup-simplify: Simplify (- 0) into 0 1544864365.410 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544864365.411 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544864365.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.412 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1544864365.413 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544864365.413 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544864365.416 * [misc]backup-simplify: Simplify (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (sqrt -1)))) into (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1544864365.416 * * * [misc]progress: simplifying candidates 1544864365.416 * * * * [misc]progress: [ 1 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 2 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 3 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 4 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 5 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 6 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 7 / 41 ] simplifiying candidate # 1544864365.416 * * * * [misc]progress: [ 8 / 41 ] simplifiying candidate # 1544864365.417 * * * * [misc]progress: [ 9 / 41 ] simplifiying candidate # 1544864365.417 * * * * [misc]progress: [ 10 / 41 ] simplifiying candidate # 1544864365.417 * * * * [misc]progress: [ 11 / 41 ] simplifiying candidate # 1544864365.417 * [enter]simplify: Simplifying (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 1544864365.417 * * [misc]simplify: iters left: 6 (7 enodes) 1544864365.419 * * [misc]simplify: iters left: 5 (11 enodes) 1544864365.421 * * [misc]simplify: iters left: 4 (15 enodes) 1544864365.424 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 1544864365.424 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (/ x (cbrt (sqrt (- 1 (* x x))))))))) 1544864365.424 * * * * [misc]progress: [ 12 / 41 ] simplifiying candidate # 1544864365.424 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1544864365.425 * * [misc]simplify: iters left: 6 (7 enodes) 1544864365.427 * * [misc]simplify: iters left: 5 (12 enodes) 1544864365.429 * * [misc]simplify: iters left: 4 (16 enodes) 1544864365.431 * [exit]simplify: Simplified to (fabs (cbrt (- 1 (* x x)))) 1544864365.431 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (cbrt (- 1 (* x x)))) (/ x (sqrt (cbrt (- 1 (* x x))))))))) 1544864365.431 * * * * [misc]progress: [ 13 / 41 ] simplifiying candidate # 1544864365.431 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1544864365.432 * * [misc]simplify: iters left: 6 (6 enodes) 1544864365.433 * * [misc]simplify: iters left: 5 (10 enodes) 1544864365.435 * * [misc]simplify: iters left: 4 (14 enodes) 1544864365.437 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1544864365.437 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (sqrt (- 1 (* x x)))) (/ x (sqrt (sqrt (- 1 (* x x))))))))) 1544864365.437 * * * * [misc]progress: [ 14 / 41 ] simplifiying candidate # 1544864365.437 * [enter]simplify: Simplifying (sqrt 1) 1544864365.437 * * [misc]simplify: iters left: 1 (2 enodes) 1544864365.438 * [exit]simplify: Simplified to 1 1544864365.438 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ 1 (/ x (sqrt (- 1 (* x x)))))))) 1544864365.438 * * * * [misc]progress: [ 15 / 41 ] simplifiying candidate # 1544864365.438 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1544864365.439 * * [misc]simplify: iters left: 6 (6 enodes) 1544864365.440 * * [misc]simplify: iters left: 5 (10 enodes) 1544864365.442 * * [misc]simplify: iters left: 4 (14 enodes) 1544864365.444 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1544864365.444 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (sqrt (- 1 (* x x)))) (/ x (sqrt (sqrt (- 1 (* x x))))))))) 1544864365.444 * * * * [misc]progress: [ 16 / 41 ] simplifiying candidate # 1544864365.444 * * * * [misc]progress: [ 17 / 41 ] simplifiying candidate # 1544864365.444 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3))) 1544864365.445 * * [misc]simplify: iters left: 6 (8 enodes) 1544864365.448 * * [misc]simplify: iters left: 5 (19 enodes) 1544864365.452 * * [misc]simplify: iters left: 4 (37 enodes) 1544864365.461 * * [misc]simplify: iters left: 3 (70 enodes) 1544864365.476 * * [misc]simplify: iters left: 2 (76 enodes) 1544864365.487 * * [misc]simplify: iters left: 1 (79 enodes) 1544864365.495 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 6))) 1544864365.495 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (pow x 6))) (* x (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))))))) 1544864365.495 * * * * [misc]progress: [ 18 / 41 ] simplifiying candidate # 1544864365.495 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x)))) 1544864365.496 * * [misc]simplify: iters left: 6 (7 enodes) 1544864365.498 * * [misc]simplify: iters left: 5 (15 enodes) 1544864365.501 * * [misc]simplify: iters left: 4 (28 enodes) 1544864365.507 * * [misc]simplify: iters left: 3 (43 enodes) 1544864365.514 * * [misc]simplify: iters left: 2 (47 enodes) 1544864365.519 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 4))) 1544864365.519 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (pow x 4))) (* x (sqrt (+ 1 (* x x)))))))) 1544864365.519 * * * * [misc]progress: [ 19 / 41 ] simplifiying candidate # 1544864365.519 * [enter]simplify: Simplifying (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x))) 1544864365.520 * * [misc]simplify: iters left: 6 (10 enodes) 1544864365.522 * * [misc]simplify: iters left: 5 (17 enodes) 1544864365.525 * * [misc]simplify: iters left: 4 (23 enodes) 1544864365.529 * [exit]simplify: Simplified to (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))) 1544864365.529 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x)))))) 1544864365.529 * * * * [misc]progress: [ 20 / 41 ] simplifiying candidate # 1544864365.529 * * * * [misc]progress: [ 21 / 41 ] simplifiying candidate # 1544864365.529 * * * * [misc]progress: [ 22 / 41 ] simplifiying candidate # 1544864365.529 * * * * [misc]progress: [ 23 / 41 ] simplifiying candidate # 1544864365.529 * * * * [misc]progress: [ 24 / 41 ] simplifiying candidate # 1544864365.529 * * * * [misc]progress: [ 25 / 41 ] simplifiying candidate # 1544864365.530 * * * * [misc]progress: [ 26 / 41 ] simplifiying candidate # 1544864365.530 * [enter]simplify: Simplifying (+ (* 1 x) (* x (sqrt (- 1 (* x x))))) 1544864365.530 * * [misc]simplify: iters left: 6 (8 enodes) 1544864365.532 * * [misc]simplify: iters left: 5 (14 enodes) 1544864365.534 * * [misc]simplify: iters left: 4 (20 enodes) 1544864365.537 * * [misc]simplify: iters left: 3 (23 enodes) 1544864365.540 * * [misc]simplify: iters left: 2 (26 enodes) 1544864365.545 * [exit]simplify: Simplified to (+ x (* (sqrt (- 1 (* x x))) x)) 1544864365.545 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (/ (+ x (* (sqrt (- 1 (* x x))) x)) (* x x)))) 1544864365.545 * [enter]simplify: Simplifying (* x x) 1544864365.545 * * [misc]simplify: iters left: 2 (2 enodes) 1544864365.546 * [exit]simplify: Simplified to (* x x) 1544864365.546 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (+ x (* (sqrt (- 1 (* x x))) x)) (* x x)))) 1544864365.546 * * * * [misc]progress: [ 27 / 41 ] simplifiying candidate # 1544864365.546 * * * * [misc]progress: [ 28 / 41 ] simplifiying candidate # 1544864365.546 * * * * [misc]progress: [ 29 / 41 ] simplifiying candidate # 1544864365.546 * * * * [misc]progress: [ 30 / 41 ] simplifiying candidate # 1544864365.546 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544864365.546 * * [misc]simplify: iters left: 6 (8 enodes) 1544864365.548 * * [misc]simplify: iters left: 5 (13 enodes) 1544864365.550 * * [misc]simplify: iters left: 4 (17 enodes) 1544864365.553 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544864365.553 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1544864365.553 * * * * [misc]progress: [ 31 / 41 ] simplifiying candidate # 1544864365.554 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544864365.555 * * [misc]simplify: iters left: 6 (8 enodes) 1544864365.557 * * [misc]simplify: iters left: 5 (13 enodes) 1544864365.559 * * [misc]simplify: iters left: 4 (17 enodes) 1544864365.562 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544864365.562 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1544864365.562 * * * * [misc]progress: [ 32 / 41 ] simplifiying candidate # 1544864365.563 * [enter]simplify: Simplifying (/ 1 x) 1544864365.563 * * [misc]simplify: iters left: 2 (3 enodes) 1544864365.563 * * [misc]simplify: iters left: 1 (5 enodes) 1544864365.564 * [exit]simplify: Simplified to (/ 1 x) 1544864365.564 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544864365.564 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1544864365.564 * * [misc]simplify: iters left: 6 (6 enodes) 1544864365.566 * * [misc]simplify: iters left: 5 (11 enodes) 1544864365.568 * * [misc]simplify: iters left: 4 (15 enodes) 1544864365.573 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1544864365.573 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544864365.573 * * * * [misc]progress: [ 33 / 41 ] simplifiying candidate # 1544864365.573 * [enter]simplify: Simplifying (/ 1 x) 1544864365.573 * * [misc]simplify: iters left: 2 (3 enodes) 1544864365.575 * * [misc]simplify: iters left: 1 (5 enodes) 1544864365.576 * [exit]simplify: Simplified to (/ 1 x) 1544864365.576 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544864365.576 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1544864365.577 * * [misc]simplify: iters left: 6 (6 enodes) 1544864365.600 * * [misc]simplify: iters left: 5 (11 enodes) 1544864365.604 * * [misc]simplify: iters left: 4 (15 enodes) 1544864365.608 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1544864365.608 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544864365.608 * * * * [misc]progress: [ 34 / 41 ] simplifiying candidate # 1544864365.608 * [enter]simplify: Simplifying (/ 1 x) 1544864365.609 * * [misc]simplify: iters left: 2 (3 enodes) 1544864365.610 * * [misc]simplify: iters left: 1 (5 enodes) 1544864365.611 * [exit]simplify: Simplified to (/ 1 x) 1544864365.611 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (+ (sqrt (- 1 (* x x))) 1) (/ 1 x)))) 1544864365.611 * * * * [misc]progress: [ 35 / 41 ] simplifiying candidate # 1544864365.611 * * * * [misc]progress: [ 36 / 41 ] simplifiying candidate # 1544864365.611 * [enter]simplify: Simplifying (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1544864365.612 * * [misc]simplify: iters left: 6 (11 enodes) 1544864365.617 * * [misc]simplify: iters left: 5 (23 enodes) 1544864365.626 * * [misc]simplify: iters left: 4 (39 enodes) 1544864365.646 * * [misc]simplify: iters left: 3 (90 enodes) 1544864365.685 * * [misc]simplify: iters left: 2 (150 enodes) 1544864365.726 * * [misc]simplify: iters left: 1 (213 enodes) 1544864365.802 * [exit]simplify: Simplified to (+ (* (* x -1/8) (* x x)) (+ (* -1/2 x) (/ 1 x))) 1544864365.802 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (+ (* (* x -1/8) (* x x)) (+ (* -1/2 x) (/ 1 x)))))) 1544864365.802 * * * * [misc]progress: [ 37 / 41 ] simplifiying candidate # 1544864365.802 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) 1544864365.804 * * [misc]simplify: iters left: 6 (20 enodes) 1544864365.816 * * [misc]simplify: iters left: 5 (43 enodes) 1544864365.842 * * [misc]simplify: iters left: 4 (88 enodes) 1544864365.885 * * [misc]simplify: iters left: 3 (144 enodes) 1544864365.960 * * [misc]simplify: iters left: 2 (245 enodes) 1544864366.090 * * [misc]simplify: iters left: 1 (487 enodes) 1544864366.562 * [exit]simplify: Simplified to (+ (+ (/ (/ (/ 1/2 x) (sqrt -1)) x) (/ (/ 1/8 (sqrt -1)) (pow x 4))) (sqrt -1)) 1544864366.562 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (+ (+ (/ (/ (/ 1/2 x) (sqrt -1)) x) (/ (/ 1/8 (sqrt -1)) (pow x 4))) (sqrt -1))))) 1544864366.562 * * * * [misc]progress: [ 38 / 41 ] simplifiying candidate # 1544864366.563 * [enter]simplify: Simplifying (- (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3)))) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1544864366.564 * * [misc]simplify: iters left: 6 (20 enodes) 1544864366.571 * * [misc]simplify: iters left: 5 (43 enodes) 1544864366.582 * * [misc]simplify: iters left: 4 (79 enodes) 1544864366.605 * * [misc]simplify: iters left: 3 (138 enodes) 1544864366.670 * * [misc]simplify: iters left: 2 (236 enodes) 1544864366.784 * * [misc]simplify: iters left: 1 (450 enodes) 1544864367.430 * [exit]simplify: Simplified to (+ (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (sqrt -1)) (/ (/ -1/8 (pow x 4)) (sqrt -1))) 1544864367.430 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (+ (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (sqrt -1)) (/ (/ -1/8 (pow x 4)) (sqrt -1)))))) 1544864367.431 * * * * [misc]progress: [ 39 / 41 ] simplifiying candidate # 1544864367.431 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1544864367.432 * * [misc]simplify: iters left: 6 (13 enodes) 1544864367.440 * * [misc]simplify: iters left: 5 (28 enodes) 1544864367.452 * * [misc]simplify: iters left: 4 (46 enodes) 1544864367.480 * * [misc]simplify: iters left: 3 (101 enodes) 1544864367.527 * * [misc]simplify: iters left: 2 (164 enodes) 1544864367.586 * * [misc]simplify: iters left: 1 (217 enodes) 1544864367.637 * [exit]simplify: Simplified to (- (* (* x x) (* -1/8 x)) (+ (/ -2 x) (* x 1/2))) 1544864367.637 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (* (* x x) (* -1/8 x)) (+ (/ -2 x) (* x 1/2))))) 1544864367.637 * * * * [misc]progress: [ 40 / 41 ] simplifiying candidate # 1544864367.637 * [enter]simplify: Simplifying (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 1544864367.638 * * [misc]simplify: iters left: 6 (13 enodes) 1544864367.642 * * [misc]simplify: iters left: 5 (26 enodes) 1544864367.648 * * [misc]simplify: iters left: 4 (43 enodes) 1544864367.662 * * [misc]simplify: iters left: 3 (59 enodes) 1544864367.689 * * [misc]simplify: iters left: 2 (91 enodes) 1544864367.717 * * [misc]simplify: iters left: 1 (137 enodes) 1544864367.794 * [exit]simplify: Simplified to (+ (+ (/ 1 x) (sqrt -1)) (/ 1/2 (* (sqrt -1) (* x x)))) 1544864367.794 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (+ (/ 1 x) (sqrt -1)) (/ 1/2 (* (sqrt -1) (* x x)))))) 1544864367.794 * * * * [misc]progress: [ 41 / 41 ] simplifiying candidate # 1544864367.794 * [enter]simplify: Simplifying (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1544864367.796 * * [misc]simplify: iters left: 6 (13 enodes) 1544864367.804 * * [misc]simplify: iters left: 5 (27 enodes) 1544864367.817 * * [misc]simplify: iters left: 4 (46 enodes) 1544864367.841 * * [misc]simplify: iters left: 3 (87 enodes) 1544864367.865 * * [misc]simplify: iters left: 2 (154 enodes) 1544864367.926 * * [misc]simplify: iters left: 1 (264 enodes) 1544864368.151 * [exit]simplify: Simplified to (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (+ (sqrt -1) (/ -1 x))) 1544864368.151 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (+ (sqrt -1) (/ -1 x))))) 1544864368.152 * * * [misc]progress: adding candidates to table 1544864368.756 * [misc]progress: [Phase 3 of 3] Extracting. 1544864368.760 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544864368.761 * * [misc]simplify: iters left: 6 (9 enodes) 1544864368.762 * * [misc]simplify: iters left: 5 (12 enodes) 1544864368.764 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544864368.764 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544864371.352 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864371.354 * * * * [misc]points: Sampling 6018 additional inputs, on iter 1 have 1982 / 8000 1544864373.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864373.449 * * * * [misc]points: Sampling 4535 additional inputs, on iter 2 have 3465 / 8000 1544864374.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864374.629 * * * * [misc]points: Sampling 3416 additional inputs, on iter 3 have 4584 / 8000 1544864375.968 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864375.969 * * * * [misc]points: Sampling 2595 additional inputs, on iter 4 have 5405 / 8000 1544864376.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864376.704 * * * * [misc]points: Sampling 1925 additional inputs, on iter 5 have 6075 / 8000 1544864377.243 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864377.244 * * * * [misc]points: Sampling 1423 additional inputs, on iter 6 have 6577 / 8000 1544864377.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864377.992 * * * * [misc]points: Sampling 1060 additional inputs, on iter 7 have 6940 / 8000 1544864378.296 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.296 * * * * [misc]points: Sampling 797 additional inputs, on iter 8 have 7203 / 8000 1544864378.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.466 * * * * [misc]points: Sampling 595 additional inputs, on iter 9 have 7405 / 8000 1544864378.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.663 * * * * [misc]points: Sampling 429 additional inputs, on iter 10 have 7571 / 8000 1544864378.788 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.788 * * * * [misc]points: Sampling 325 additional inputs, on iter 11 have 7675 / 8000 1544864378.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.856 * * * * [misc]points: Sampling 244 additional inputs, on iter 12 have 7756 / 8000 1544864378.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864378.981 * * * * [misc]points: Sampling 186 additional inputs, on iter 13 have 7814 / 8000 1544864379.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.038 * * * * [misc]points: Sampling 150 additional inputs, on iter 14 have 7850 / 8000 1544864379.071 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.071 * * * * [misc]points: Sampling 120 additional inputs, on iter 15 have 7880 / 8000 1544864379.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.094 * * * * [misc]points: Sampling 94 additional inputs, on iter 16 have 7906 / 8000 1544864379.110 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.110 * * * * [misc]points: Sampling 68 additional inputs, on iter 17 have 7932 / 8000 1544864379.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.159 * * * * [misc]points: Sampling 49 additional inputs, on iter 18 have 7951 / 8000 1544864379.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.174 * * * * [misc]points: Sampling 40 additional inputs, on iter 19 have 7960 / 8000 1544864379.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.182 * * * * [misc]points: Sampling 34 additional inputs, on iter 20 have 7966 / 8000 1544864379.188 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.188 * * * * [misc]points: Sampling 25 additional inputs, on iter 21 have 7975 / 8000 1544864379.194 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.194 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1544864379.198 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.198 * * * * [misc]points: Sampling 9 additional inputs, on iter 23 have 7991 / 8000 1544864379.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.203 * * * * [misc]points: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 1544864379.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.207 * * * * [misc]points: Sampling 5 additional inputs, on iter 25 have 7995 / 8000 1544864379.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.211 * * * * [misc]points: Sampling 5 additional inputs, on iter 26 have 7995 / 8000 1544864379.215 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.216 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7998 / 8000 1544864379.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.219 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7999 / 8000 1544864379.223 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.224 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1544864379.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.228 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 1544864379.230 * * * * [misc]points: Filtering points with unrepresentable outputs 1544864379.230 * * * * [exit]points: Sampled 8000 points with exact outputs