1548147690.931 * [misc]progress: [Phase 1 of 3] Setting up. 1548147690.932 * * * [misc]progress: [1/2] Preparing points 1548147691.106 * * * [misc]progress: [2/2] Setting up program. 1548147691.112 * [misc]progress: [Phase 2 of 3] Improving. 1548147691.113 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548147691.114 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1548147691.116 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.123 * * [misc]simplify: iters left: 5 (18 enodes) 1548147691.127 * * [misc]simplify: iters left: 4 (21 enodes) 1548147691.132 * * [misc]simplify: iters left: 3 (23 enodes) 1548147691.138 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1548147691.139 * [misc]simplify: Simplified (2) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)) 1548147691.146 * * [misc]progress: iteration 1 / 4 1548147691.146 * * * [misc]progress: picking best candidate 1548147691.151 * * * * [misc]pick: Picked # 1548147691.151 * * * [misc]progress: localizing error 1548147691.184 * * * [misc]progress: generating rewritten candidates 1548147691.184 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 1) 1548147691.211 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1548147691.217 * * * [misc]progress: generating series expansions 1548147691.217 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 1) 1548147691.224 * [misc]backup-simplify: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1548147691.224 * [misc]approximate: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1548147691.225 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548147691.225 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548147691.225 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.225 * [misc]backup-simplify: Simplify 1 into 1 1548147691.225 * [misc]taylor: Taking taylor expansion of x in x 1548147691.225 * [misc]backup-simplify: Simplify 0 into 0 1548147691.225 * [misc]backup-simplify: Simplify 1 into 1 1548147691.226 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548147691.226 * [misc]taylor: Taking taylor expansion of x in x 1548147691.226 * [misc]backup-simplify: Simplify 0 into 0 1548147691.226 * [misc]backup-simplify: Simplify 1 into 1 1548147691.226 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.226 * [misc]backup-simplify: Simplify 1 into 1 1548147691.227 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.227 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.227 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.228 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.228 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548147691.228 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548147691.228 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.228 * [misc]backup-simplify: Simplify 1 into 1 1548147691.228 * [misc]taylor: Taking taylor expansion of x in x 1548147691.228 * [misc]backup-simplify: Simplify 0 into 0 1548147691.228 * [misc]backup-simplify: Simplify 1 into 1 1548147691.228 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548147691.228 * [misc]taylor: Taking taylor expansion of x in x 1548147691.228 * [misc]backup-simplify: Simplify 0 into 0 1548147691.228 * [misc]backup-simplify: Simplify 1 into 1 1548147691.228 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.228 * [misc]backup-simplify: Simplify 1 into 1 1548147691.228 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.228 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.228 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.229 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.229 * [misc]backup-simplify: Simplify 1 into 1 1548147691.230 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.230 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.230 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.230 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548147691.230 * [misc]backup-simplify: Simplify -2 into -2 1548147691.230 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.231 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.231 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.231 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1548147691.231 * [misc]backup-simplify: Simplify 2 into 2 1548147691.232 * [misc]backup-simplify: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1548147691.232 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1548147691.232 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1548147691.232 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548147691.232 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.232 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.232 * [misc]backup-simplify: Simplify 1 into 1 1548147691.232 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.232 * [misc]taylor: Taking taylor expansion of x in x 1548147691.233 * [misc]backup-simplify: Simplify 0 into 0 1548147691.233 * [misc]backup-simplify: Simplify 1 into 1 1548147691.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.233 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.233 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.233 * [misc]taylor: Taking taylor expansion of x in x 1548147691.233 * [misc]backup-simplify: Simplify 0 into 0 1548147691.233 * [misc]backup-simplify: Simplify 1 into 1 1548147691.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.233 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.233 * [misc]backup-simplify: Simplify 1 into 1 1548147691.234 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.234 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.234 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.234 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548147691.234 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548147691.234 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.234 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.234 * [misc]backup-simplify: Simplify 1 into 1 1548147691.234 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.234 * [misc]taylor: Taking taylor expansion of x in x 1548147691.234 * [misc]backup-simplify: Simplify 0 into 0 1548147691.234 * [misc]backup-simplify: Simplify 1 into 1 1548147691.234 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.234 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.234 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.234 * [misc]taylor: Taking taylor expansion of x in x 1548147691.235 * [misc]backup-simplify: Simplify 0 into 0 1548147691.235 * [misc]backup-simplify: Simplify 1 into 1 1548147691.235 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.235 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.235 * [misc]backup-simplify: Simplify 1 into 1 1548147691.235 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.235 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.235 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.235 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548147691.235 * [misc]backup-simplify: Simplify -1 into -1 1548147691.236 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.236 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.236 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.236 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.236 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.237 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548147691.237 * [misc]backup-simplify: Simplify 2 into 2 1548147691.237 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.237 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.237 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.237 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.238 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1548147691.238 * [misc]backup-simplify: Simplify -2 into -2 1548147691.238 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548147691.238 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1548147691.238 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1548147691.238 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548147691.238 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.239 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.239 * [misc]taylor: Taking taylor expansion of x in x 1548147691.239 * [misc]backup-simplify: Simplify 0 into 0 1548147691.239 * [misc]backup-simplify: Simplify 1 into 1 1548147691.239 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.239 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.239 * [misc]backup-simplify: Simplify 1 into 1 1548147691.239 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.239 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.239 * [misc]backup-simplify: Simplify 1 into 1 1548147691.239 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.239 * [misc]taylor: Taking taylor expansion of x in x 1548147691.239 * [misc]backup-simplify: Simplify 0 into 0 1548147691.239 * [misc]backup-simplify: Simplify 1 into 1 1548147691.239 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.239 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.239 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.240 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.240 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147691.240 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548147691.240 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.240 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.240 * [misc]taylor: Taking taylor expansion of x in x 1548147691.240 * [misc]backup-simplify: Simplify 0 into 0 1548147691.240 * [misc]backup-simplify: Simplify 1 into 1 1548147691.240 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.240 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.240 * [misc]backup-simplify: Simplify 1 into 1 1548147691.240 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.240 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.240 * [misc]backup-simplify: Simplify 1 into 1 1548147691.240 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.240 * [misc]taylor: Taking taylor expansion of x in x 1548147691.240 * [misc]backup-simplify: Simplify 0 into 0 1548147691.240 * [misc]backup-simplify: Simplify 1 into 1 1548147691.240 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.240 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.241 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.241 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.241 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147691.241 * [misc]backup-simplify: Simplify -1 into -1 1548147691.241 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.241 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.242 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.242 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.242 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548147691.242 * [misc]backup-simplify: Simplify -2 into -2 1548147691.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.243 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.243 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.243 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.243 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.243 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1548147691.244 * [misc]backup-simplify: Simplify -2 into -2 1548147691.244 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548147691.244 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1548147691.244 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1548147691.244 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1548147691.244 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1548147691.244 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548147691.244 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548147691.244 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.244 * [misc]backup-simplify: Simplify 1 into 1 1548147691.244 * [misc]taylor: Taking taylor expansion of x in x 1548147691.244 * [misc]backup-simplify: Simplify 0 into 0 1548147691.244 * [misc]backup-simplify: Simplify 1 into 1 1548147691.244 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548147691.244 * [misc]taylor: Taking taylor expansion of x in x 1548147691.244 * [misc]backup-simplify: Simplify 0 into 0 1548147691.244 * [misc]backup-simplify: Simplify 1 into 1 1548147691.244 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.244 * [misc]backup-simplify: Simplify 1 into 1 1548147691.245 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.245 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.245 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.245 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.246 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1548147691.246 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.246 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.246 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.246 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548147691.246 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1548147691.247 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1548147691.247 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548147691.247 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548147691.247 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.247 * [misc]backup-simplify: Simplify 1 into 1 1548147691.247 * [misc]taylor: Taking taylor expansion of x in x 1548147691.247 * [misc]backup-simplify: Simplify 0 into 0 1548147691.247 * [misc]backup-simplify: Simplify 1 into 1 1548147691.247 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548147691.247 * [misc]taylor: Taking taylor expansion of x in x 1548147691.247 * [misc]backup-simplify: Simplify 0 into 0 1548147691.247 * [misc]backup-simplify: Simplify 1 into 1 1548147691.247 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.247 * [misc]backup-simplify: Simplify 1 into 1 1548147691.247 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.247 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.247 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.247 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.248 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1548147691.248 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.248 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.248 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.248 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548147691.248 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1548147691.248 * [misc]backup-simplify: Simplify 1 into 1 1548147691.249 * [misc]backup-simplify: Simplify -1 into -1 1548147691.249 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.249 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.249 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.250 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1548147691.251 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1548147691.251 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548147691.251 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1548147691.252 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1548147691.252 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1548147691.252 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.252 * [misc]backup-simplify: Simplify 1 into 1 1548147691.252 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of x in x 1548147691.252 * [misc]backup-simplify: Simplify 0 into 0 1548147691.252 * [misc]backup-simplify: Simplify 1 into 1 1548147691.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.252 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.252 * [misc]taylor: Taking taylor expansion of x in x 1548147691.252 * [misc]backup-simplify: Simplify 0 into 0 1548147691.252 * [misc]backup-simplify: Simplify 1 into 1 1548147691.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.252 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.252 * [misc]backup-simplify: Simplify 1 into 1 1548147691.252 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.253 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.253 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.253 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548147691.253 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.253 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.253 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.253 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.254 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.254 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.254 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548147691.254 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1548147691.254 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1548147691.254 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548147691.254 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.255 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.255 * [misc]backup-simplify: Simplify 1 into 1 1548147691.255 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.255 * [misc]taylor: Taking taylor expansion of x in x 1548147691.255 * [misc]backup-simplify: Simplify 0 into 0 1548147691.255 * [misc]backup-simplify: Simplify 1 into 1 1548147691.255 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.255 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.255 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.255 * [misc]taylor: Taking taylor expansion of x in x 1548147691.255 * [misc]backup-simplify: Simplify 0 into 0 1548147691.255 * [misc]backup-simplify: Simplify 1 into 1 1548147691.255 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.255 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.255 * [misc]backup-simplify: Simplify 1 into 1 1548147691.255 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.255 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.256 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.256 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548147691.256 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.256 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.256 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.257 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.257 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548147691.257 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1548147691.257 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.258 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1548147691.258 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.258 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.258 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.259 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.259 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.259 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1548147691.261 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548147691.263 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548147691.266 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548147691.266 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1548147691.266 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1548147691.266 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1548147691.266 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548147691.266 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.266 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.266 * [misc]taylor: Taking taylor expansion of x in x 1548147691.266 * [misc]backup-simplify: Simplify 0 into 0 1548147691.266 * [misc]backup-simplify: Simplify 1 into 1 1548147691.267 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.267 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.267 * [misc]backup-simplify: Simplify 1 into 1 1548147691.267 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.267 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.267 * [misc]backup-simplify: Simplify 1 into 1 1548147691.267 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.267 * [misc]taylor: Taking taylor expansion of x in x 1548147691.267 * [misc]backup-simplify: Simplify 0 into 0 1548147691.267 * [misc]backup-simplify: Simplify 1 into 1 1548147691.267 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.267 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.267 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.267 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.267 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147691.268 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.268 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.268 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.269 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.269 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548147691.269 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1548147691.269 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1548147691.269 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548147691.269 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548147691.269 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.269 * [misc]taylor: Taking taylor expansion of x in x 1548147691.269 * [misc]backup-simplify: Simplify 0 into 0 1548147691.269 * [misc]backup-simplify: Simplify 1 into 1 1548147691.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.270 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.270 * [misc]backup-simplify: Simplify 1 into 1 1548147691.270 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548147691.270 * [misc]taylor: Taking taylor expansion of 1 in x 1548147691.270 * [misc]backup-simplify: Simplify 1 into 1 1548147691.270 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548147691.270 * [misc]taylor: Taking taylor expansion of x in x 1548147691.270 * [misc]backup-simplify: Simplify 0 into 0 1548147691.270 * [misc]backup-simplify: Simplify 1 into 1 1548147691.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147691.270 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.270 * [misc]backup-simplify: Simplify (- 1) into -1 1548147691.270 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147691.270 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147691.271 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.271 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.271 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147691.271 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147691.271 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.271 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147691.272 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548147691.272 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1548147691.272 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548147691.273 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1548147691.273 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.273 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548147691.274 * [misc]backup-simplify: Simplify (- 0) into 0 1548147691.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147691.274 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1548147691.276 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548147691.278 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548147691.280 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548147691.280 * * * [misc]progress: simplifying candidates 1548147691.280 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1548147691.280 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1548147691.281 * [enter]simplify: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1548147691.281 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.283 * * [misc]simplify: iters left: 4 (14 enodes) 1548147691.286 * * [misc]simplify: iters left: 3 (16 enodes) 1548147691.290 * [exit]simplify: Simplified to (- (log (- 1 x)) (log (+ x 1))) 1548147691.290 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log (+ x 1)))))))) 1548147691.290 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1548147691.290 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1548147691.290 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1548147691.290 * [enter]simplify: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1548147691.290 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.294 * * [misc]simplify: iters left: 5 (35 enodes) 1548147691.308 * * [misc]simplify: iters left: 4 (96 enodes) 1548147691.341 * * [misc]simplify: iters left: 3 (298 enodes) 1548147691.579 * [exit]simplify: Simplified to (pow (/ (- 1 x) (+ x 1)) 3) 1548147691.579 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))))) 1548147691.580 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1548147691.580 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1548147691.580 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1548147691.580 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1548147691.580 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate # 1548147691.580 * [enter]simplify: Simplifying (/ 1 (+ 1 x)) 1548147691.580 * * [misc]simplify: iters left: 4 (4 enodes) 1548147691.581 * * [misc]simplify: iters left: 3 (7 enodes) 1548147691.583 * [exit]simplify: Simplified to (/ 1 (+ x 1)) 1548147691.583 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1548147691.583 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1548147691.584 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548147691.584 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.587 * * [misc]simplify: iters left: 5 (20 enodes) 1548147691.593 * * [misc]simplify: iters left: 4 (30 enodes) 1548147691.603 * * [misc]simplify: iters left: 3 (33 enodes) 1548147691.611 * * [misc]simplify: iters left: 2 (36 enodes) 1548147691.619 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1548147691.619 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548147691.619 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1548147691.620 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.622 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.625 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.628 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1548147691.628 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))))) 1548147691.628 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1548147691.628 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1548147691.628 * * [misc]simplify: iters left: 6 (8 enodes) 1548147691.631 * * [misc]simplify: iters left: 5 (15 enodes) 1548147691.634 * * [misc]simplify: iters left: 4 (18 enodes) 1548147691.639 * * [misc]simplify: iters left: 3 (19 enodes) 1548147691.644 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) 1548147691.644 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548147691.644 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1548147691.644 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.646 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.649 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.652 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1548147691.653 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))))) 1548147691.653 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1548147691.653 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1548147691.653 * * [misc]simplify: iters left: 6 (6 enodes) 1548147691.655 * * [misc]simplify: iters left: 5 (12 enodes) 1548147691.659 * * [misc]simplify: iters left: 4 (19 enodes) 1548147691.663 * * [misc]simplify: iters left: 3 (21 enodes) 1548147691.667 * * [misc]simplify: iters left: 2 (26 enodes) 1548147691.673 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548147691.673 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1548147691.673 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1548147691.673 * * [misc]simplify: iters left: 5 (6 enodes) 1548147691.675 * * [misc]simplify: iters left: 4 (11 enodes) 1548147691.678 * * [misc]simplify: iters left: 3 (12 enodes) 1548147691.681 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1548147691.681 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1548147691.681 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1548147691.681 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548147691.681 * * [misc]simplify: iters left: 6 (8 enodes) 1548147691.684 * * [misc]simplify: iters left: 5 (15 enodes) 1548147691.688 * * [misc]simplify: iters left: 4 (16 enodes) 1548147691.692 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1548147691.692 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548147691.692 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1548147691.692 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.694 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.697 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.700 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1548147691.700 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))))) 1548147691.700 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1548147691.701 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548147691.701 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.703 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.706 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.709 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548147691.709 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548147691.709 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548147691.709 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.711 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.714 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.717 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548147691.718 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))))) 1548147691.718 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1548147691.718 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) 1) 1548147691.718 * * [misc]simplify: iters left: 5 (5 enodes) 1548147691.720 * * [misc]simplify: iters left: 4 (9 enodes) 1548147691.722 * * [misc]simplify: iters left: 3 (12 enodes) 1548147691.725 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548147691.725 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1548147691.725 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1548147691.726 * * [misc]simplify: iters left: 5 (6 enodes) 1548147691.727 * * [misc]simplify: iters left: 4 (11 enodes) 1548147691.730 * * [misc]simplify: iters left: 3 (12 enodes) 1548147691.733 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1548147691.733 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1548147691.733 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1548147691.733 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548147691.733 * * [misc]simplify: iters left: 6 (6 enodes) 1548147691.736 * * [misc]simplify: iters left: 5 (11 enodes) 1548147691.739 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) 1548147691.739 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1548147691.739 * [enter]simplify: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1548147691.739 * * [misc]simplify: iters left: 5 (6 enodes) 1548147691.741 * * [misc]simplify: iters left: 4 (14 enodes) 1548147691.745 * * [misc]simplify: iters left: 3 (17 enodes) 1548147691.749 * * [misc]simplify: iters left: 2 (19 enodes) 1548147691.755 * [exit]simplify: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1548147691.755 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1548147691.755 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1548147691.755 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 x))) 1548147691.755 * * [misc]simplify: iters left: 5 (5 enodes) 1548147691.757 * * [misc]simplify: iters left: 4 (8 enodes) 1548147691.759 * [exit]simplify: Simplified to (/ 1 (sqrt (+ x 1))) 1548147691.759 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1548147691.759 * [enter]simplify: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1548147691.759 * * [misc]simplify: iters left: 5 (6 enodes) 1548147691.761 * * [misc]simplify: iters left: 4 (14 enodes) 1548147691.765 * * [misc]simplify: iters left: 3 (17 enodes) 1548147691.769 * * [misc]simplify: iters left: 2 (19 enodes) 1548147691.773 * [exit]simplify: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1548147691.773 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1548147691.773 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1548147691.774 * [enter]simplify: Simplifying (/ 1 1) 1548147691.774 * * [misc]simplify: iters left: 2 (2 enodes) 1548147691.775 * * [misc]simplify: iters left: 1 (4 enodes) 1548147691.775 * [exit]simplify: Simplified to 1 1548147691.775 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1548147691.776 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1548147691.776 * * [misc]simplify: iters left: 4 (5 enodes) 1548147691.777 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.781 * * [misc]simplify: iters left: 2 (16 enodes) 1548147691.785 * * [misc]simplify: iters left: 1 (18 enodes) 1548147691.789 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1548147691.789 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1548147691.789 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate # 1548147691.789 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1548147691.789 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1548147691.789 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1548147691.790 * [enter]simplify: Simplifying (cbrt (+ 1 x)) 1548147691.790 * * [misc]simplify: iters left: 3 (4 enodes) 1548147691.791 * * [misc]simplify: iters left: 2 (7 enodes) 1548147691.792 * [exit]simplify: Simplified to (cbrt (+ x 1)) 1548147691.792 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1548147691.792 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1548147691.793 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1548147691.793 * * [misc]simplify: iters left: 3 (4 enodes) 1548147691.794 * * [misc]simplify: iters left: 2 (7 enodes) 1548147691.796 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1548147691.796 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1548147691.796 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1548147691.796 * [enter]simplify: Simplifying (+ 1 x) 1548147691.796 * * [misc]simplify: iters left: 2 (3 enodes) 1548147691.797 * * [misc]simplify: iters left: 1 (6 enodes) 1548147691.798 * [exit]simplify: Simplified to (+ x 1) 1548147691.798 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1548147691.798 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1548147691.799 * [enter]simplify: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548147691.799 * * [misc]simplify: iters left: 5 (5 enodes) 1548147691.800 * * [misc]simplify: iters left: 4 (9 enodes) 1548147691.803 * * [misc]simplify: iters left: 3 (10 enodes) 1548147691.806 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548147691.806 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1548147691.806 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1548147691.806 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548147691.806 * * [misc]simplify: iters left: 3 (4 enodes) 1548147691.807 * * [misc]simplify: iters left: 2 (8 enodes) 1548147691.809 * * [misc]simplify: iters left: 1 (9 enodes) 1548147691.811 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548147691.811 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1548147691.811 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1548147691.811 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1548147691.812 * [enter]simplify: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1548147691.812 * * [misc]simplify: iters left: 6 (7 enodes) 1548147691.814 * * [misc]simplify: iters left: 5 (14 enodes) 1548147691.818 * * [misc]simplify: iters left: 4 (25 enodes) 1548147691.823 * * [misc]simplify: iters left: 3 (37 enodes) 1548147691.827 * * [misc]simplify: iters left: 2 (41 enodes) 1548147691.832 * * [misc]simplify: iters left: 1 (54 enodes) 1548147691.837 * [exit]simplify: Simplified to (- (* x x) (- x 1)) 1548147691.837 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (- (* x x) (- x 1))))))) 1548147691.837 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1548147691.837 * [enter]simplify: Simplifying (- 1 x) 1548147691.837 * * [misc]simplify: iters left: 2 (3 enodes) 1548147691.837 * * [misc]simplify: iters left: 1 (7 enodes) 1548147691.839 * [exit]simplify: Simplified to (- 1 x) 1548147691.839 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1548147691.839 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1548147691.839 * [enter]simplify: Simplifying (- (pow 1 3) (pow x 3)) 1548147691.839 * * [misc]simplify: iters left: 3 (6 enodes) 1548147691.840 * * [misc]simplify: iters left: 2 (15 enodes) 1548147691.842 * * [misc]simplify: iters left: 1 (22 enodes) 1548147691.844 * [exit]simplify: Simplified to (- 1 (pow x 3)) 1548147691.844 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (pow x 3)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1548147691.844 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1548147691.845 * [enter]simplify: Simplifying (- (* 1 1) (* x x)) 1548147691.845 * * [misc]simplify: iters left: 4 (5 enodes) 1548147691.845 * * [misc]simplify: iters left: 3 (9 enodes) 1548147691.846 * * [misc]simplify: iters left: 2 (13 enodes) 1548147691.848 * [exit]simplify: Simplified to (- 1 (* x x)) 1548147691.848 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1548147691.848 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1548147691.848 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1548147691.848 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1548147691.848 * * [misc]simplify: iters left: 6 (8 enodes) 1548147691.850 * * [misc]simplify: iters left: 5 (17 enodes) 1548147691.852 * * [misc]simplify: iters left: 4 (20 enodes) 1548147691.856 * * [misc]simplify: iters left: 3 (22 enodes) 1548147691.861 * [exit]simplify: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1548147691.861 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1548147691.861 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1548147691.861 * [enter]simplify: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1548147691.862 * * [misc]simplify: iters left: 6 (7 enodes) 1548147691.864 * * [misc]simplify: iters left: 5 (15 enodes) 1548147691.867 * * [misc]simplify: iters left: 4 (18 enodes) 1548147691.873 * * [misc]simplify: iters left: 3 (20 enodes) 1548147691.878 * [exit]simplify: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1548147691.878 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1548147691.878 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate # 1548147691.879 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548147691.879 * * [misc]simplify: iters left: 6 (10 enodes) 1548147691.882 * * [misc]simplify: iters left: 5 (21 enodes) 1548147691.888 * * [misc]simplify: iters left: 4 (32 enodes) 1548147691.896 * * [misc]simplify: iters left: 3 (35 enodes) 1548147691.903 * * [misc]simplify: iters left: 2 (38 enodes) 1548147691.910 * [exit]simplify: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1548147691.910 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548147691.910 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1548147691.911 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1548147691.911 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.912 * * [misc]simplify: iters left: 5 (16 enodes) 1548147691.914 * * [misc]simplify: iters left: 4 (19 enodes) 1548147691.916 * * [misc]simplify: iters left: 3 (20 enodes) 1548147691.918 * [exit]simplify: Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) 1548147691.918 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548147691.918 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1548147691.918 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1548147691.918 * * [misc]simplify: iters left: 6 (7 enodes) 1548147691.919 * * [misc]simplify: iters left: 5 (13 enodes) 1548147691.921 * * [misc]simplify: iters left: 4 (21 enodes) 1548147691.924 * * [misc]simplify: iters left: 3 (23 enodes) 1548147691.926 * * [misc]simplify: iters left: 2 (28 enodes) 1548147691.929 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1548147691.929 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1548147691.929 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1548147691.929 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548147691.929 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.930 * * [misc]simplify: iters left: 5 (16 enodes) 1548147691.932 * * [misc]simplify: iters left: 4 (17 enodes) 1548147691.934 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1548147691.934 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548147691.934 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1548147691.935 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1548147691.935 * * [misc]simplify: iters left: 6 (8 enodes) 1548147691.936 * * [misc]simplify: iters left: 5 (13 enodes) 1548147691.938 * * [misc]simplify: iters left: 4 (14 enodes) 1548147691.941 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1548147691.941 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548147691.942 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1548147691.942 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1548147691.942 * * [misc]simplify: iters left: 6 (6 enodes) 1548147691.944 * * [misc]simplify: iters left: 5 (10 enodes) 1548147691.946 * * [misc]simplify: iters left: 4 (13 enodes) 1548147691.949 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1548147691.949 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1548147691.949 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1548147691.949 * [enter]simplify: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548147691.949 * * [misc]simplify: iters left: 6 (7 enodes) 1548147691.951 * * [misc]simplify: iters left: 5 (12 enodes) 1548147691.955 * [exit]simplify: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1548147691.955 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1548147691.955 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1548147691.955 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1548147691.956 * * [misc]simplify: iters left: 6 (6 enodes) 1548147691.957 * * [misc]simplify: iters left: 5 (9 enodes) 1548147691.958 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1548147691.958 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1548147691.958 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1548147691.958 * [enter]simplify: Simplifying (sqrt (/ 1 1)) 1548147691.958 * * [misc]simplify: iters left: 3 (3 enodes) 1548147691.959 * * [misc]simplify: iters left: 2 (5 enodes) 1548147691.959 * [exit]simplify: Simplified to 1 1548147691.959 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1548147691.959 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1548147691.960 * [enter]simplify: Simplifying (sqrt 1) 1548147691.960 * * [misc]simplify: iters left: 1 (2 enodes) 1548147691.960 * [exit]simplify: Simplified to 1 1548147691.960 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1548147691.960 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1548147691.961 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548147691.961 * * [misc]simplify: iters left: 3 (4 enodes) 1548147691.961 * * [misc]simplify: iters left: 2 (8 enodes) 1548147691.962 * * [misc]simplify: iters left: 1 (9 enodes) 1548147691.963 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548147691.963 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1548147691.963 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate # 1548147691.963 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1548147691.963 * * [misc]simplify: iters left: 6 (9 enodes) 1548147691.965 * * [misc]simplify: iters left: 5 (22 enodes) 1548147691.967 * * [misc]simplify: iters left: 4 (25 enodes) 1548147691.970 * * [misc]simplify: iters left: 3 (27 enodes) 1548147691.974 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ (pow x 3) 1))) 1548147691.974 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ (pow x 3) 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1548147691.974 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1548147691.974 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1548147691.974 * * [misc]simplify: iters left: 6 (8 enodes) 1548147691.976 * * [misc]simplify: iters left: 5 (17 enodes) 1548147691.978 * * [misc]simplify: iters left: 4 (23 enodes) 1548147691.981 * * [misc]simplify: iters left: 3 (25 enodes) 1548147691.984 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1548147691.984 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1548147691.984 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1548147691.984 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548147691.984 * * [misc]simplify: iters left: 3 (4 enodes) 1548147691.985 * * [misc]simplify: iters left: 2 (8 enodes) 1548147691.985 * * [misc]simplify: iters left: 1 (9 enodes) 1548147691.986 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548147691.986 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1548147691.986 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1548147691.987 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1548147691.987 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1548147691.987 * * [misc]simplify: iters left: 5 (6 enodes) 1548147691.988 * * [misc]simplify: iters left: 4 (14 enodes) 1548147691.990 * * [misc]simplify: iters left: 3 (17 enodes) 1548147691.992 * * [misc]simplify: iters left: 2 (19 enodes) 1548147691.994 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1548147691.994 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1548147691.994 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1548147691.994 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548147691.994 * * [misc]simplify: iters left: 5 (7 enodes) 1548147691.995 * * [misc]simplify: iters left: 4 (12 enodes) 1548147691.996 * * [misc]simplify: iters left: 3 (13 enodes) 1548147691.998 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548147691.998 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1548147691.998 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1548147691.998 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1548147691.998 * [enter]simplify: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1548147691.998 * * [misc]simplify: iters left: 6 (8 enodes) 1548147692.000 * * [misc]simplify: iters left: 5 (18 enodes) 1548147692.003 * * [misc]simplify: iters left: 4 (35 enodes) 1548147692.008 * * [misc]simplify: iters left: 3 (48 enodes) 1548147692.015 * * [misc]simplify: iters left: 2 (62 enodes) 1548147692.023 * * [misc]simplify: iters left: 1 (77 enodes) 1548147692.043 * [exit]simplify: Simplified to (- (+ 1 (* -2 x)) (* -2 (* x x))) 1548147692.043 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ 1 (* -2 x)) (* -2 (* x x))))))) 1548147692.043 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1548147692.044 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548147692.044 * * [misc]simplify: iters left: 6 (10 enodes) 1548147692.048 * * [misc]simplify: iters left: 5 (23 enodes) 1548147692.056 * * [misc]simplify: iters left: 4 (38 enodes) 1548147692.071 * * [misc]simplify: iters left: 3 (74 enodes) 1548147692.095 * * [misc]simplify: iters left: 2 (110 enodes) 1548147692.114 * * [misc]simplify: iters left: 1 (142 enodes) 1548147692.135 * [exit]simplify: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1548147692.135 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1548147692.135 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1548147692.135 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548147692.135 * * [misc]simplify: iters left: 6 (10 enodes) 1548147692.138 * * [misc]simplify: iters left: 5 (23 enodes) 1548147692.142 * * [misc]simplify: iters left: 4 (38 enodes) 1548147692.157 * * [misc]simplify: iters left: 3 (74 enodes) 1548147692.176 * * [misc]simplify: iters left: 2 (110 enodes) 1548147692.188 * * [misc]simplify: iters left: 1 (142 enodes) 1548147692.212 * [exit]simplify: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1548147692.212 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1548147692.213 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1548147692.213 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1548147692.213 * * [misc]simplify: iters left: 6 (8 enodes) 1548147692.215 * * [misc]simplify: iters left: 5 (17 enodes) 1548147692.220 * * [misc]simplify: iters left: 4 (29 enodes) 1548147692.229 * * [misc]simplify: iters left: 3 (37 enodes) 1548147692.239 * * [misc]simplify: iters left: 2 (39 enodes) 1548147692.247 * * [misc]simplify: iters left: 1 (53 enodes) 1548147692.261 * [exit]simplify: Simplified to (- (* (* x x) 1/2) (- x 1)) 1548147692.261 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (- (* (* x x) 1/2) (- x 1))))) 1548147692.261 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1548147692.261 * [enter]simplify: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548147692.263 * * [misc]simplify: iters left: 6 (19 enodes) 1548147692.271 * * [misc]simplify: iters left: 5 (44 enodes) 1548147692.285 * * [misc]simplify: iters left: 4 (87 enodes) 1548147692.309 * * [misc]simplify: iters left: 3 (180 enodes) 1548147692.340 * * [misc]simplify: iters left: 2 (316 enodes) 1548147692.527 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1548147692.527 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1548147692.527 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1548147692.527 * [enter]simplify: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548147692.527 * * [misc]simplify: iters left: 6 (19 enodes) 1548147692.535 * * [misc]simplify: iters left: 5 (44 enodes) 1548147692.549 * * [misc]simplify: iters left: 4 (87 enodes) 1548147692.585 * * [misc]simplify: iters left: 3 (180 enodes) 1548147692.638 * * [misc]simplify: iters left: 2 (316 enodes) 1548147692.767 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1548147692.767 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1548147692.767 * * * [misc]progress: adding candidates to table 1548147693.296 * [misc]progress: [Phase 3 of 3] Extracting. 1548147693.301 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1548147693.301 * * [misc]simplify: iters left: 6 (9 enodes) 1548147693.302 * * [misc]simplify: iters left: 5 (13 enodes) 1548147693.303 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1548147695.540 * [misc]regime-testing: Baseline error score: 0.012876609576197025 1548147695.541 * [misc]regime-testing: Oracle error score: 0.012876609576197025 1548147695.542 * [misc]regime-testing: End program error score: 0.012876609576197025