1546423984.113 * [misc]progress: [Phase 1 of 3] Setting up. 1546423984.114 * * * [misc]progress: [1/2] Preparing points 1546423984.114 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546423984.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.174 * * * * [misc]points: Sampling 115 additional inputs, on iter 1 have 141 / 256 1546423984.221 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.221 * * * * [misc]points: Sampling 66 additional inputs, on iter 2 have 190 / 256 1546423984.228 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.229 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1546423984.233 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.234 * * * * [misc]points: Sampling 20 additional inputs, on iter 4 have 236 / 256 1546423984.237 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.237 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1546423984.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.240 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1546423984.242 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.242 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1546423984.244 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.244 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 253 / 256 1546423984.246 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423984.246 * * * * [exit]points: Sampled 256 points with exact outputs 1546423984.247 * * * [misc]progress: [2/2] Setting up program. 1546423984.250 * [misc]progress: [Phase 2 of 3] Improving. 1546423984.251 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546423984.251 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1546423984.252 * * [misc]simplify: iters left: 6 (9 enodes) 1546423984.257 * * [misc]simplify: iters left: 5 (18 enodes) 1546423984.259 * * [misc]simplify: iters left: 4 (21 enodes) 1546423984.262 * * [misc]simplify: iters left: 3 (23 enodes) 1546423984.266 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1546423984.266 * [misc]simplify: Simplified (2) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)) 1546423984.270 * * [misc]progress: iteration 1 / 4 1546423984.270 * * * [misc]progress: picking best candidate 1546423984.272 * * * * [misc]pick: Picked # 1546423984.272 * * * [misc]progress: localizing error 1546423984.290 * * * [misc]progress: generating rewritten candidates 1546423984.290 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 1) 1546423984.307 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1546423984.310 * * * [misc]progress: generating series expansions 1546423984.311 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 1) 1546423984.314 * [misc]backup-simplify: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1546423984.315 * [misc]approximate: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1546423984.315 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423984.315 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423984.315 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.315 * [misc]backup-simplify: Simplify 1 into 1 1546423984.315 * [misc]taylor: Taking taylor expansion of x in x 1546423984.315 * [misc]backup-simplify: Simplify 0 into 0 1546423984.315 * [misc]backup-simplify: Simplify 1 into 1 1546423984.316 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423984.316 * [misc]taylor: Taking taylor expansion of x in x 1546423984.316 * [misc]backup-simplify: Simplify 0 into 0 1546423984.316 * [misc]backup-simplify: Simplify 1 into 1 1546423984.316 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.316 * [misc]backup-simplify: Simplify 1 into 1 1546423984.316 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.317 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.317 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.317 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423984.317 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423984.317 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.317 * [misc]backup-simplify: Simplify 1 into 1 1546423984.317 * [misc]taylor: Taking taylor expansion of x in x 1546423984.317 * [misc]backup-simplify: Simplify 0 into 0 1546423984.317 * [misc]backup-simplify: Simplify 1 into 1 1546423984.317 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423984.317 * [misc]taylor: Taking taylor expansion of x in x 1546423984.317 * [misc]backup-simplify: Simplify 0 into 0 1546423984.317 * [misc]backup-simplify: Simplify 1 into 1 1546423984.317 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.317 * [misc]backup-simplify: Simplify 1 into 1 1546423984.317 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.317 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.317 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.317 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.318 * [misc]backup-simplify: Simplify 1 into 1 1546423984.318 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.318 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.318 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.319 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1546423984.319 * [misc]backup-simplify: Simplify -2 into -2 1546423984.319 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.319 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.319 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.319 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1546423984.319 * [misc]backup-simplify: Simplify 2 into 2 1546423984.320 * [misc]backup-simplify: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1546423984.320 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1546423984.320 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1546423984.320 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423984.320 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.320 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.320 * [misc]backup-simplify: Simplify 1 into 1 1546423984.320 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.320 * [misc]taylor: Taking taylor expansion of x in x 1546423984.320 * [misc]backup-simplify: Simplify 0 into 0 1546423984.320 * [misc]backup-simplify: Simplify 1 into 1 1546423984.320 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.321 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.321 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.321 * [misc]taylor: Taking taylor expansion of x in x 1546423984.321 * [misc]backup-simplify: Simplify 0 into 0 1546423984.321 * [misc]backup-simplify: Simplify 1 into 1 1546423984.321 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.321 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.321 * [misc]backup-simplify: Simplify 1 into 1 1546423984.321 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.321 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.321 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.321 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423984.321 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423984.321 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.321 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.321 * [misc]backup-simplify: Simplify 1 into 1 1546423984.321 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.321 * [misc]taylor: Taking taylor expansion of x in x 1546423984.322 * [misc]backup-simplify: Simplify 0 into 0 1546423984.322 * [misc]backup-simplify: Simplify 1 into 1 1546423984.322 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.322 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.322 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.322 * [misc]taylor: Taking taylor expansion of x in x 1546423984.322 * [misc]backup-simplify: Simplify 0 into 0 1546423984.322 * [misc]backup-simplify: Simplify 1 into 1 1546423984.322 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.322 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.322 * [misc]backup-simplify: Simplify 1 into 1 1546423984.322 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.322 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.322 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.322 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423984.322 * [misc]backup-simplify: Simplify -1 into -1 1546423984.323 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.323 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.323 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.323 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.323 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.324 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1546423984.324 * [misc]backup-simplify: Simplify 2 into 2 1546423984.324 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.324 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.324 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.324 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.324 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.325 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1546423984.325 * [misc]backup-simplify: Simplify -2 into -2 1546423984.325 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1546423984.325 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1546423984.325 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1546423984.325 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423984.325 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.325 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.325 * [misc]taylor: Taking taylor expansion of x in x 1546423984.325 * [misc]backup-simplify: Simplify 0 into 0 1546423984.325 * [misc]backup-simplify: Simplify 1 into 1 1546423984.325 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.325 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.325 * [misc]backup-simplify: Simplify 1 into 1 1546423984.325 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.325 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.325 * [misc]backup-simplify: Simplify 1 into 1 1546423984.325 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.325 * [misc]taylor: Taking taylor expansion of x in x 1546423984.325 * [misc]backup-simplify: Simplify 0 into 0 1546423984.325 * [misc]backup-simplify: Simplify 1 into 1 1546423984.325 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.326 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.326 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.326 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.326 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423984.326 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423984.326 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.326 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.326 * [misc]taylor: Taking taylor expansion of x in x 1546423984.326 * [misc]backup-simplify: Simplify 0 into 0 1546423984.326 * [misc]backup-simplify: Simplify 1 into 1 1546423984.326 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.326 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.326 * [misc]backup-simplify: Simplify 1 into 1 1546423984.326 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.326 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.326 * [misc]backup-simplify: Simplify 1 into 1 1546423984.326 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.326 * [misc]taylor: Taking taylor expansion of x in x 1546423984.326 * [misc]backup-simplify: Simplify 0 into 0 1546423984.326 * [misc]backup-simplify: Simplify 1 into 1 1546423984.326 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.326 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.326 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.327 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.327 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423984.327 * [misc]backup-simplify: Simplify -1 into -1 1546423984.327 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.327 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.327 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.327 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.327 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.328 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1546423984.328 * [misc]backup-simplify: Simplify -2 into -2 1546423984.328 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.328 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.328 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.328 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.328 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.328 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1546423984.328 * [misc]backup-simplify: Simplify -2 into -2 1546423984.329 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1546423984.329 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1546423984.329 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1546423984.329 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1546423984.329 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1546423984.329 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423984.329 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423984.329 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.329 * [misc]backup-simplify: Simplify 1 into 1 1546423984.329 * [misc]taylor: Taking taylor expansion of x in x 1546423984.329 * [misc]backup-simplify: Simplify 0 into 0 1546423984.329 * [misc]backup-simplify: Simplify 1 into 1 1546423984.329 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423984.329 * [misc]taylor: Taking taylor expansion of x in x 1546423984.329 * [misc]backup-simplify: Simplify 0 into 0 1546423984.329 * [misc]backup-simplify: Simplify 1 into 1 1546423984.329 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.329 * [misc]backup-simplify: Simplify 1 into 1 1546423984.329 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.329 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.329 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.330 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.330 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1546423984.330 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.330 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.330 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.330 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1546423984.330 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1546423984.330 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1546423984.330 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423984.330 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423984.330 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.330 * [misc]backup-simplify: Simplify 1 into 1 1546423984.330 * [misc]taylor: Taking taylor expansion of x in x 1546423984.330 * [misc]backup-simplify: Simplify 0 into 0 1546423984.330 * [misc]backup-simplify: Simplify 1 into 1 1546423984.331 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423984.331 * [misc]taylor: Taking taylor expansion of x in x 1546423984.331 * [misc]backup-simplify: Simplify 0 into 0 1546423984.331 * [misc]backup-simplify: Simplify 1 into 1 1546423984.331 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.331 * [misc]backup-simplify: Simplify 1 into 1 1546423984.331 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.331 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.331 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.331 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.331 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1546423984.331 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.331 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.331 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.332 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1546423984.332 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1546423984.332 * [misc]backup-simplify: Simplify 1 into 1 1546423984.332 * [misc]backup-simplify: Simplify -1 into -1 1546423984.332 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.332 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.332 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.333 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1546423984.334 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1546423984.334 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546423984.334 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1546423984.334 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1546423984.334 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1546423984.334 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.334 * [misc]backup-simplify: Simplify 1 into 1 1546423984.334 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of x in x 1546423984.334 * [misc]backup-simplify: Simplify 0 into 0 1546423984.334 * [misc]backup-simplify: Simplify 1 into 1 1546423984.334 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.334 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.334 * [misc]taylor: Taking taylor expansion of x in x 1546423984.334 * [misc]backup-simplify: Simplify 0 into 0 1546423984.334 * [misc]backup-simplify: Simplify 1 into 1 1546423984.335 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.335 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.335 * [misc]backup-simplify: Simplify 1 into 1 1546423984.335 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.335 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.335 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.335 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423984.335 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.335 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.335 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.336 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.336 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.336 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.336 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1546423984.336 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1546423984.336 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1546423984.336 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423984.336 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.336 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.336 * [misc]backup-simplify: Simplify 1 into 1 1546423984.336 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.336 * [misc]taylor: Taking taylor expansion of x in x 1546423984.336 * [misc]backup-simplify: Simplify 0 into 0 1546423984.336 * [misc]backup-simplify: Simplify 1 into 1 1546423984.337 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.337 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.337 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.337 * [misc]taylor: Taking taylor expansion of x in x 1546423984.337 * [misc]backup-simplify: Simplify 0 into 0 1546423984.337 * [misc]backup-simplify: Simplify 1 into 1 1546423984.337 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.337 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.337 * [misc]backup-simplify: Simplify 1 into 1 1546423984.337 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.337 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.337 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.337 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423984.337 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.338 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.338 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.338 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.338 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.338 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.338 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1546423984.339 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1546423984.339 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.339 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1546423984.339 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.339 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.340 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.340 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1546423984.341 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1546423984.343 * [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))) 1546423984.344 * [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)))))) 1546423984.344 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1546423984.344 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1546423984.344 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1546423984.344 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423984.344 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.344 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.344 * [misc]taylor: Taking taylor expansion of x in x 1546423984.344 * [misc]backup-simplify: Simplify 0 into 0 1546423984.344 * [misc]backup-simplify: Simplify 1 into 1 1546423984.345 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.345 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.345 * [misc]backup-simplify: Simplify 1 into 1 1546423984.345 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.345 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.345 * [misc]backup-simplify: Simplify 1 into 1 1546423984.345 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.345 * [misc]taylor: Taking taylor expansion of x in x 1546423984.345 * [misc]backup-simplify: Simplify 0 into 0 1546423984.345 * [misc]backup-simplify: Simplify 1 into 1 1546423984.345 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.345 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.345 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.345 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.345 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423984.345 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.346 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.346 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.346 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.346 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.346 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.346 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1546423984.346 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1546423984.346 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1546423984.346 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423984.347 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423984.347 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.347 * [misc]taylor: Taking taylor expansion of x in x 1546423984.347 * [misc]backup-simplify: Simplify 0 into 0 1546423984.347 * [misc]backup-simplify: Simplify 1 into 1 1546423984.347 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.347 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.347 * [misc]backup-simplify: Simplify 1 into 1 1546423984.347 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423984.347 * [misc]taylor: Taking taylor expansion of 1 in x 1546423984.347 * [misc]backup-simplify: Simplify 1 into 1 1546423984.347 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423984.347 * [misc]taylor: Taking taylor expansion of x in x 1546423984.347 * [misc]backup-simplify: Simplify 0 into 0 1546423984.347 * [misc]backup-simplify: Simplify 1 into 1 1546423984.347 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423984.347 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.347 * [misc]backup-simplify: Simplify (- 1) into -1 1546423984.347 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423984.347 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423984.347 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.348 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423984.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423984.348 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.348 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423984.348 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1546423984.348 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1546423984.349 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423984.349 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1546423984.349 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.349 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423984.349 * [misc]backup-simplify: Simplify (- 0) into 0 1546423984.350 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423984.350 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1546423984.351 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1546423984.352 * [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))) 1546423984.355 * [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)))))) 1546423984.355 * * * [misc]progress: simplifying candidates 1546423984.355 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1546423984.355 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1546423984.355 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1546423984.355 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1546423984.356 * [enter]simplify: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1546423984.356 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.359 * * [misc]simplify: iters left: 4 (15 enodes) 1546423984.363 * * [misc]simplify: iters left: 3 (18 enodes) 1546423984.367 * [exit]simplify: Simplified to (- (log (- 1 x)) (log1p x)) 1546423984.367 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log1p x))))))) 1546423984.368 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1546423984.368 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1546423984.368 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1546423984.368 * [enter]simplify: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1546423984.368 * * [misc]simplify: iters left: 6 (9 enodes) 1546423984.372 * * [misc]simplify: iters left: 5 (35 enodes) 1546423984.390 * * [misc]simplify: iters left: 4 (100 enodes) 1546423984.471 * * [misc]simplify: iters left: 3 (313 enodes) 1546423984.807 * [exit]simplify: Simplified to (pow (/ (- 1 x) (+ x 1)) 3) 1546423984.807 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))))) 1546423984.807 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1546423984.807 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1546423984.807 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1546423984.807 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1546423984.807 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1546423984.807 * [enter]simplify: Simplifying (/ 1 (+ 1 x)) 1546423984.808 * * [misc]simplify: iters left: 4 (4 enodes) 1546423984.808 * * [misc]simplify: iters left: 3 (7 enodes) 1546423984.809 * [exit]simplify: Simplified to (/ 1 (+ x 1)) 1546423984.809 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1546423984.809 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1546423984.809 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1546423984.809 * * [misc]simplify: iters left: 6 (9 enodes) 1546423984.811 * * [misc]simplify: iters left: 5 (20 enodes) 1546423984.813 * * [misc]simplify: iters left: 4 (30 enodes) 1546423984.817 * * [misc]simplify: iters left: 3 (33 enodes) 1546423984.823 * * [misc]simplify: iters left: 2 (36 enodes) 1546423984.830 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1546423984.830 * [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)))))))) 1546423984.830 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1546423984.830 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.831 * * [misc]simplify: iters left: 4 (12 enodes) 1546423984.833 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.834 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1546423984.834 * [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)))))))) 1546423984.834 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1546423984.835 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1546423984.835 * * [misc]simplify: iters left: 6 (8 enodes) 1546423984.836 * * [misc]simplify: iters left: 5 (15 enodes) 1546423984.838 * * [misc]simplify: iters left: 4 (18 enodes) 1546423984.840 * * [misc]simplify: iters left: 3 (19 enodes) 1546423984.842 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) 1546423984.842 * [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)))))))) 1546423984.842 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1546423984.842 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.844 * * [misc]simplify: iters left: 4 (12 enodes) 1546423984.845 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.849 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1546423984.849 * [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)))))))) 1546423984.849 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1546423984.849 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1546423984.849 * * [misc]simplify: iters left: 6 (6 enodes) 1546423984.850 * * [misc]simplify: iters left: 5 (12 enodes) 1546423984.853 * * [misc]simplify: iters left: 4 (19 enodes) 1546423984.858 * * [misc]simplify: iters left: 3 (21 enodes) 1546423984.861 * * [misc]simplify: iters left: 2 (26 enodes) 1546423984.863 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1546423984.864 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1546423984.864 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1546423984.864 * * [misc]simplify: iters left: 5 (6 enodes) 1546423984.865 * * [misc]simplify: iters left: 4 (11 enodes) 1546423984.866 * * [misc]simplify: iters left: 3 (12 enodes) 1546423984.867 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1546423984.867 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1546423984.867 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1546423984.868 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1546423984.868 * * [misc]simplify: iters left: 6 (8 enodes) 1546423984.869 * * [misc]simplify: iters left: 5 (15 enodes) 1546423984.871 * * [misc]simplify: iters left: 4 (16 enodes) 1546423984.873 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1546423984.873 * [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)))))))) 1546423984.873 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1546423984.873 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.874 * * [misc]simplify: iters left: 4 (12 enodes) 1546423984.875 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.877 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1546423984.877 * [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)))))))) 1546423984.877 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1546423984.877 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423984.877 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.878 * * [misc]simplify: iters left: 4 (12 enodes) 1546423984.880 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.881 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423984.881 * [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)))))))) 1546423984.882 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423984.882 * * [misc]simplify: iters left: 5 (7 enodes) 1546423984.883 * * [misc]simplify: iters left: 4 (12 enodes) 1546423984.884 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.886 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423984.886 * [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)))))))) 1546423984.886 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1546423984.886 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) 1) 1546423984.886 * * [misc]simplify: iters left: 5 (5 enodes) 1546423984.887 * * [misc]simplify: iters left: 4 (9 enodes) 1546423984.889 * * [misc]simplify: iters left: 3 (12 enodes) 1546423984.892 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1546423984.892 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1546423984.892 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1546423984.892 * * [misc]simplify: iters left: 5 (6 enodes) 1546423984.894 * * [misc]simplify: iters left: 4 (11 enodes) 1546423984.897 * * [misc]simplify: iters left: 3 (12 enodes) 1546423984.900 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1546423984.900 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1546423984.900 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1546423984.900 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1546423984.901 * * [misc]simplify: iters left: 6 (6 enodes) 1546423984.902 * * [misc]simplify: iters left: 5 (11 enodes) 1546423984.906 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) 1546423984.906 * [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)))))))) 1546423984.906 * [enter]simplify: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1546423984.906 * * [misc]simplify: iters left: 5 (6 enodes) 1546423984.908 * * [misc]simplify: iters left: 4 (14 enodes) 1546423984.912 * * [misc]simplify: iters left: 3 (17 enodes) 1546423984.916 * * [misc]simplify: iters left: 2 (19 enodes) 1546423984.921 * [exit]simplify: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1546423984.921 * [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)))))))) 1546423984.921 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1546423984.922 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 x))) 1546423984.922 * * [misc]simplify: iters left: 5 (5 enodes) 1546423984.923 * * [misc]simplify: iters left: 4 (8 enodes) 1546423984.924 * [exit]simplify: Simplified to (/ 1 (sqrt (+ x 1))) 1546423984.924 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1546423984.924 * [enter]simplify: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1546423984.924 * * [misc]simplify: iters left: 5 (6 enodes) 1546423984.925 * * [misc]simplify: iters left: 4 (14 enodes) 1546423984.927 * * [misc]simplify: iters left: 3 (17 enodes) 1546423984.929 * * [misc]simplify: iters left: 2 (19 enodes) 1546423984.931 * [exit]simplify: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1546423984.932 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1546423984.932 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1546423984.932 * [enter]simplify: Simplifying (/ 1 1) 1546423984.932 * * [misc]simplify: iters left: 2 (2 enodes) 1546423984.932 * * [misc]simplify: iters left: 1 (4 enodes) 1546423984.932 * [exit]simplify: Simplified to 1 1546423984.932 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1546423984.933 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1546423984.933 * * [misc]simplify: iters left: 4 (5 enodes) 1546423984.933 * * [misc]simplify: iters left: 3 (13 enodes) 1546423984.935 * * [misc]simplify: iters left: 2 (16 enodes) 1546423984.937 * * [misc]simplify: iters left: 1 (18 enodes) 1546423984.939 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1546423984.939 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1546423984.939 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1546423984.939 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1546423984.939 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1546423984.939 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1546423984.939 * [enter]simplify: Simplifying (cbrt (+ 1 x)) 1546423984.939 * * [misc]simplify: iters left: 3 (4 enodes) 1546423984.940 * * [misc]simplify: iters left: 2 (7 enodes) 1546423984.941 * [exit]simplify: Simplified to (cbrt (+ x 1)) 1546423984.941 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1546423984.941 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1546423984.941 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1546423984.941 * * [misc]simplify: iters left: 3 (4 enodes) 1546423984.942 * * [misc]simplify: iters left: 2 (7 enodes) 1546423984.942 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1546423984.942 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1546423984.943 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1546423984.943 * [enter]simplify: Simplifying (+ 1 x) 1546423984.943 * * [misc]simplify: iters left: 2 (3 enodes) 1546423984.943 * * [misc]simplify: iters left: 1 (6 enodes) 1546423984.944 * [exit]simplify: Simplified to (+ x 1) 1546423984.944 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1546423984.944 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1546423984.944 * [enter]simplify: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1546423984.944 * * [misc]simplify: iters left: 5 (5 enodes) 1546423984.946 * * [misc]simplify: iters left: 4 (9 enodes) 1546423984.947 * * [misc]simplify: iters left: 3 (10 enodes) 1546423984.948 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1546423984.948 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1546423984.948 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1546423984.948 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1546423984.948 * * [misc]simplify: iters left: 3 (4 enodes) 1546423984.949 * * [misc]simplify: iters left: 2 (8 enodes) 1546423984.950 * * [misc]simplify: iters left: 1 (9 enodes) 1546423984.951 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1546423984.951 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1546423984.951 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1546423984.951 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1546423984.951 * [enter]simplify: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1546423984.951 * * [misc]simplify: iters left: 6 (7 enodes) 1546423984.952 * * [misc]simplify: iters left: 5 (17 enodes) 1546423984.955 * * [misc]simplify: iters left: 4 (28 enodes) 1546423984.959 * * [misc]simplify: iters left: 3 (49 enodes) 1546423984.967 * * [misc]simplify: iters left: 2 (66 enodes) 1546423984.985 * * [misc]simplify: iters left: 1 (92 enodes) 1546423985.011 * [exit]simplify: Simplified to (fma x x (- 1 x)) 1546423985.011 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (fma x x (- 1 x))))))) 1546423985.011 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1546423985.012 * [enter]simplify: Simplifying (- 1 x) 1546423985.012 * * [misc]simplify: iters left: 2 (3 enodes) 1546423985.013 * * [misc]simplify: iters left: 1 (7 enodes) 1546423985.014 * [exit]simplify: Simplified to (- 1 x) 1546423985.014 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1546423985.015 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1546423985.015 * [enter]simplify: Simplifying (- (pow 1 3) (pow x 3)) 1546423985.015 * * [misc]simplify: iters left: 3 (6 enodes) 1546423985.018 * * [misc]simplify: iters left: 2 (15 enodes) 1546423985.021 * * [misc]simplify: iters left: 1 (22 enodes) 1546423985.027 * [exit]simplify: Simplified to (fma (- x) (* x x) 1) 1546423985.027 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (fma (- x) (* x x) 1) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1546423985.027 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1546423985.027 * [enter]simplify: Simplifying (- (* 1 1) (* x x)) 1546423985.027 * * [misc]simplify: iters left: 4 (5 enodes) 1546423985.029 * * [misc]simplify: iters left: 3 (10 enodes) 1546423985.032 * * [misc]simplify: iters left: 2 (14 enodes) 1546423985.035 * * [misc]simplify: iters left: 1 (16 enodes) 1546423985.038 * [exit]simplify: Simplified to (- 1 (* x x)) 1546423985.038 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1546423985.038 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1546423985.039 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1546423985.039 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1546423985.039 * * [misc]simplify: iters left: 6 (8 enodes) 1546423985.042 * * [misc]simplify: iters left: 5 (17 enodes) 1546423985.046 * * [misc]simplify: iters left: 4 (20 enodes) 1546423985.052 * * [misc]simplify: iters left: 3 (22 enodes) 1546423985.057 * [exit]simplify: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1546423985.057 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1546423985.058 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1546423985.058 * [enter]simplify: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1546423985.058 * * [misc]simplify: iters left: 6 (7 enodes) 1546423985.060 * * [misc]simplify: iters left: 5 (15 enodes) 1546423985.065 * * [misc]simplify: iters left: 4 (18 enodes) 1546423985.070 * * [misc]simplify: iters left: 3 (20 enodes) 1546423985.075 * [exit]simplify: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1546423985.075 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1546423985.075 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1546423985.076 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423985.076 * * [misc]simplify: iters left: 6 (10 enodes) 1546423985.079 * * [misc]simplify: iters left: 5 (21 enodes) 1546423985.086 * * [misc]simplify: iters left: 4 (32 enodes) 1546423985.094 * * [misc]simplify: iters left: 3 (35 enodes) 1546423985.103 * * [misc]simplify: iters left: 2 (38 enodes) 1546423985.112 * [exit]simplify: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1546423985.112 * [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)))))))) 1546423985.112 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1546423985.112 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1546423985.113 * * [misc]simplify: iters left: 6 (9 enodes) 1546423985.115 * * [misc]simplify: iters left: 5 (16 enodes) 1546423985.119 * * [misc]simplify: iters left: 4 (19 enodes) 1546423985.122 * * [misc]simplify: iters left: 3 (20 enodes) 1546423985.124 * [exit]simplify: Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) 1546423985.124 * [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)))))))) 1546423985.124 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1546423985.125 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1546423985.125 * * [misc]simplify: iters left: 6 (7 enodes) 1546423985.126 * * [misc]simplify: iters left: 5 (13 enodes) 1546423985.128 * * [misc]simplify: iters left: 4 (21 enodes) 1546423985.130 * * [misc]simplify: iters left: 3 (23 enodes) 1546423985.133 * * [misc]simplify: iters left: 2 (28 enodes) 1546423985.136 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1546423985.136 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1546423985.136 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1546423985.136 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423985.136 * * [misc]simplify: iters left: 6 (9 enodes) 1546423985.137 * * [misc]simplify: iters left: 5 (16 enodes) 1546423985.139 * * [misc]simplify: iters left: 4 (17 enodes) 1546423985.141 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1546423985.142 * [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)))))))) 1546423985.142 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1546423985.142 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1546423985.142 * * [misc]simplify: iters left: 6 (8 enodes) 1546423985.143 * * [misc]simplify: iters left: 5 (13 enodes) 1546423985.145 * * [misc]simplify: iters left: 4 (14 enodes) 1546423985.146 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1546423985.146 * [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)))))))) 1546423985.146 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1546423985.147 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1546423985.147 * * [misc]simplify: iters left: 6 (6 enodes) 1546423985.148 * * [misc]simplify: iters left: 5 (10 enodes) 1546423985.149 * * [misc]simplify: iters left: 4 (13 enodes) 1546423985.150 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423985.150 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1546423985.151 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1546423985.151 * [enter]simplify: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423985.151 * * [misc]simplify: iters left: 6 (7 enodes) 1546423985.152 * * [misc]simplify: iters left: 5 (12 enodes) 1546423985.156 * [exit]simplify: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1546423985.156 * [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)))))))) 1546423985.156 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1546423985.156 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1546423985.156 * * [misc]simplify: iters left: 6 (6 enodes) 1546423985.158 * * [misc]simplify: iters left: 5 (9 enodes) 1546423985.160 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1546423985.161 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1546423985.161 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1546423985.161 * [enter]simplify: Simplifying (sqrt (/ 1 1)) 1546423985.161 * * [misc]simplify: iters left: 3 (3 enodes) 1546423985.162 * * [misc]simplify: iters left: 2 (5 enodes) 1546423985.163 * [exit]simplify: Simplified to 1 1546423985.163 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1546423985.163 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1546423985.163 * [enter]simplify: Simplifying (sqrt 1) 1546423985.164 * * [misc]simplify: iters left: 1 (2 enodes) 1546423985.165 * [exit]simplify: Simplified to 1 1546423985.165 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1546423985.165 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1546423985.165 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1546423985.165 * * [misc]simplify: iters left: 3 (4 enodes) 1546423985.166 * * [misc]simplify: iters left: 2 (8 enodes) 1546423985.168 * * [misc]simplify: iters left: 1 (9 enodes) 1546423985.170 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1546423985.170 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1546423985.170 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1546423985.171 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1546423985.171 * * [misc]simplify: iters left: 6 (9 enodes) 1546423985.175 * * [misc]simplify: iters left: 5 (22 enodes) 1546423985.180 * * [misc]simplify: iters left: 4 (27 enodes) 1546423985.184 * * [misc]simplify: iters left: 3 (29 enodes) 1546423985.187 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (fma (* x x) x 1))) 1546423985.187 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (fma (* x x) x 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1546423985.187 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1546423985.187 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1546423985.187 * * [misc]simplify: iters left: 6 (8 enodes) 1546423985.188 * * [misc]simplify: iters left: 5 (18 enodes) 1546423985.191 * * [misc]simplify: iters left: 4 (24 enodes) 1546423985.194 * * [misc]simplify: iters left: 3 (28 enodes) 1546423985.197 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1546423985.197 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1546423985.197 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1546423985.197 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1546423985.197 * * [misc]simplify: iters left: 3 (4 enodes) 1546423985.198 * * [misc]simplify: iters left: 2 (8 enodes) 1546423985.199 * * [misc]simplify: iters left: 1 (9 enodes) 1546423985.200 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1546423985.200 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1546423985.200 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1546423985.200 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1546423985.200 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1546423985.200 * * [misc]simplify: iters left: 5 (6 enodes) 1546423985.201 * * [misc]simplify: iters left: 4 (14 enodes) 1546423985.203 * * [misc]simplify: iters left: 3 (17 enodes) 1546423985.205 * * [misc]simplify: iters left: 2 (19 enodes) 1546423985.207 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1546423985.207 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1546423985.207 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1546423985.207 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423985.207 * * [misc]simplify: iters left: 5 (7 enodes) 1546423985.208 * * [misc]simplify: iters left: 4 (12 enodes) 1546423985.210 * * [misc]simplify: iters left: 3 (13 enodes) 1546423985.211 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423985.211 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1546423985.212 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1546423985.212 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1546423985.212 * [enter]simplify: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1546423985.212 * * [misc]simplify: iters left: 6 (8 enodes) 1546423985.215 * * [misc]simplify: iters left: 5 (19 enodes) 1546423985.222 * * [misc]simplify: iters left: 4 (39 enodes) 1546423985.234 * * [misc]simplify: iters left: 3 (62 enodes) 1546423985.254 * * [misc]simplify: iters left: 2 (92 enodes) 1546423985.275 * * [misc]simplify: iters left: 1 (111 enodes) 1546423985.312 * [exit]simplify: Simplified to (fma (fma x 2 -2) x 1) 1546423985.312 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (fma (fma x 2 -2) x 1))))) 1546423985.312 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1546423985.312 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1546423985.312 * * [misc]simplify: iters left: 6 (10 enodes) 1546423985.317 * * [misc]simplify: iters left: 5 (25 enodes) 1546423985.328 * * [misc]simplify: iters left: 4 (44 enodes) 1546423985.350 * * [misc]simplify: iters left: 3 (91 enodes) 1546423985.414 * * [misc]simplify: iters left: 2 (158 enodes) 1546423985.462 * * [misc]simplify: iters left: 1 (216 enodes) 1546423985.542 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1546423985.542 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))))) 1546423985.542 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1546423985.543 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1546423985.543 * * [misc]simplify: iters left: 6 (10 enodes) 1546423985.548 * * [misc]simplify: iters left: 5 (25 enodes) 1546423985.555 * * [misc]simplify: iters left: 4 (44 enodes) 1546423985.567 * * [misc]simplify: iters left: 3 (91 enodes) 1546423985.614 * * [misc]simplify: iters left: 2 (158 enodes) 1546423985.660 * * [misc]simplify: iters left: 1 (216 enodes) 1546423985.744 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1546423985.744 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))))) 1546423985.744 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1546423985.744 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1546423985.744 * * [misc]simplify: iters left: 6 (8 enodes) 1546423985.747 * * [misc]simplify: iters left: 5 (18 enodes) 1546423985.753 * * [misc]simplify: iters left: 4 (33 enodes) 1546423985.763 * * [misc]simplify: iters left: 3 (47 enodes) 1546423985.774 * * [misc]simplify: iters left: 2 (49 enodes) 1546423985.784 * * [misc]simplify: iters left: 1 (63 enodes) 1546423985.801 * [exit]simplify: Simplified to (fma (* 1/2 x) x (- 1 x)) 1546423985.802 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma (* 1/2 x) x (- 1 x))))) 1546423985.802 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1546423985.802 * [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)))))) 1546423985.802 * * [misc]simplify: iters left: 6 (19 enodes) 1546423985.810 * * [misc]simplify: iters left: 5 (44 enodes) 1546423985.828 * * [misc]simplify: iters left: 4 (89 enodes) 1546423985.857 * * [misc]simplify: iters left: 3 (182 enodes) 1546423985.986 * * [misc]simplify: iters left: 2 (368 enodes) 1546423987.626 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1546423987.626 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1546423987.626 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1546423987.626 * [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)))))) 1546423987.627 * * [misc]simplify: iters left: 6 (19 enodes) 1546423987.630 * * [misc]simplify: iters left: 5 (44 enodes) 1546423987.646 * * [misc]simplify: iters left: 4 (89 enodes) 1546423987.680 * * [misc]simplify: iters left: 3 (182 enodes) 1546423987.784 * * [misc]simplify: iters left: 2 (368 enodes) 1546423989.444 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1546423989.444 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1546423989.444 * * * [misc]progress: adding candidates to table 1546423990.147 * * [misc]progress: iteration 2 / 4 1546423990.147 * * * [misc]progress: picking best candidate 1546423990.152 * * * * [misc]pick: Picked # 1546423990.152 * * * [misc]progress: localizing error 1546423990.175 * * * [misc]progress: generating rewritten candidates 1546423990.175 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2 1) 1546423990.186 * * * [misc]progress: generating series expansions 1546423990.186 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2 1) 1546423990.186 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1546423990.186 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1546423990.186 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1546423990.186 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423990.186 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423990.186 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.186 * [misc]backup-simplify: Simplify 1 into 1 1546423990.186 * [misc]taylor: Taking taylor expansion of x in x 1546423990.186 * [misc]backup-simplify: Simplify 0 into 0 1546423990.186 * [misc]backup-simplify: Simplify 1 into 1 1546423990.186 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423990.186 * [misc]taylor: Taking taylor expansion of x in x 1546423990.186 * [misc]backup-simplify: Simplify 0 into 0 1546423990.186 * [misc]backup-simplify: Simplify 1 into 1 1546423990.186 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.186 * [misc]backup-simplify: Simplify 1 into 1 1546423990.187 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.187 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.187 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.187 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.187 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1546423990.187 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.188 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.188 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.188 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1546423990.188 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1546423990.188 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1546423990.188 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1546423990.188 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1546423990.188 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.188 * [misc]backup-simplify: Simplify 1 into 1 1546423990.188 * [misc]taylor: Taking taylor expansion of x in x 1546423990.188 * [misc]backup-simplify: Simplify 0 into 0 1546423990.188 * [misc]backup-simplify: Simplify 1 into 1 1546423990.188 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546423990.189 * [misc]taylor: Taking taylor expansion of x in x 1546423990.189 * [misc]backup-simplify: Simplify 0 into 0 1546423990.189 * [misc]backup-simplify: Simplify 1 into 1 1546423990.189 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.189 * [misc]backup-simplify: Simplify 1 into 1 1546423990.189 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.189 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.189 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.189 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.189 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1546423990.190 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.190 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.190 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.190 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1546423990.190 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1546423990.190 * [misc]backup-simplify: Simplify 1 into 1 1546423990.191 * [misc]backup-simplify: Simplify -1 into -1 1546423990.191 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.191 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.191 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.191 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1546423990.193 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1546423990.193 * [misc]backup-simplify: Simplify 1/2 into 1/2 1546423990.193 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1546423990.193 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 x))) (sqrt (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1546423990.193 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1546423990.193 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1546423990.193 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423990.193 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423990.193 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.193 * [misc]backup-simplify: Simplify 1 into 1 1546423990.193 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.193 * [misc]taylor: Taking taylor expansion of x in x 1546423990.193 * [misc]backup-simplify: Simplify 0 into 0 1546423990.193 * [misc]backup-simplify: Simplify 1 into 1 1546423990.194 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.194 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423990.194 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.194 * [misc]taylor: Taking taylor expansion of x in x 1546423990.194 * [misc]backup-simplify: Simplify 0 into 0 1546423990.194 * [misc]backup-simplify: Simplify 1 into 1 1546423990.194 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.194 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.194 * [misc]backup-simplify: Simplify 1 into 1 1546423990.194 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.194 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.194 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.194 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423990.195 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.195 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.195 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.195 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.195 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.196 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.196 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1546423990.196 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1546423990.196 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1546423990.196 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1546423990.196 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423990.197 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.197 * [misc]backup-simplify: Simplify 1 into 1 1546423990.197 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.197 * [misc]taylor: Taking taylor expansion of x in x 1546423990.197 * [misc]backup-simplify: Simplify 0 into 0 1546423990.197 * [misc]backup-simplify: Simplify 1 into 1 1546423990.197 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.197 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423990.197 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.197 * [misc]taylor: Taking taylor expansion of x in x 1546423990.197 * [misc]backup-simplify: Simplify 0 into 0 1546423990.197 * [misc]backup-simplify: Simplify 1 into 1 1546423990.197 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.197 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.197 * [misc]backup-simplify: Simplify 1 into 1 1546423990.197 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.197 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.198 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.198 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546423990.198 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.198 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.198 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.199 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.199 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.199 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.199 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1546423990.200 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1546423990.200 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.200 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1546423990.201 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423990.201 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.201 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.201 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423990.201 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.202 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1546423990.208 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1546423990.210 * [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))) 1546423990.213 * [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)))))) 1546423990.213 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 (- x)))) (sqrt (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1546423990.213 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1546423990.213 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1546423990.213 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423990.213 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423990.213 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.213 * [misc]taylor: Taking taylor expansion of x in x 1546423990.213 * [misc]backup-simplify: Simplify 0 into 0 1546423990.213 * [misc]backup-simplify: Simplify 1 into 1 1546423990.213 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.213 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.214 * [misc]backup-simplify: Simplify 1 into 1 1546423990.214 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423990.214 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.214 * [misc]backup-simplify: Simplify 1 into 1 1546423990.214 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.214 * [misc]taylor: Taking taylor expansion of x in x 1546423990.214 * [misc]backup-simplify: Simplify 0 into 0 1546423990.214 * [misc]backup-simplify: Simplify 1 into 1 1546423990.214 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.214 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.214 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.214 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.215 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423990.215 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.215 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.215 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.215 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.215 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.216 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.216 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1546423990.216 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1546423990.216 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1546423990.216 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1546423990.217 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546423990.217 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.217 * [misc]taylor: Taking taylor expansion of x in x 1546423990.217 * [misc]backup-simplify: Simplify 0 into 0 1546423990.217 * [misc]backup-simplify: Simplify 1 into 1 1546423990.217 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.217 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.217 * [misc]backup-simplify: Simplify 1 into 1 1546423990.217 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546423990.217 * [misc]taylor: Taking taylor expansion of 1 in x 1546423990.217 * [misc]backup-simplify: Simplify 1 into 1 1546423990.217 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546423990.217 * [misc]taylor: Taking taylor expansion of x in x 1546423990.217 * [misc]backup-simplify: Simplify 0 into 0 1546423990.217 * [misc]backup-simplify: Simplify 1 into 1 1546423990.217 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546423990.217 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.218 * [misc]backup-simplify: Simplify (- 1) into -1 1546423990.218 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546423990.218 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546423990.218 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.219 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.219 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546423990.219 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546423990.219 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.220 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546423990.220 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1546423990.220 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1546423990.221 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1546423990.221 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1546423990.221 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423990.221 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.222 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546423990.222 * [misc]backup-simplify: Simplify (- 0) into 0 1546423990.222 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546423990.222 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1546423990.224 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1546423990.226 * [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))) 1546423990.229 * [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)))))) 1546423990.229 * * * [misc]progress: simplifying candidates 1546423990.229 * * * * [misc]progress: [ 1 / 70 ] simplifiying candidate # 1546423990.229 * * * * [misc]progress: [ 2 / 70 ] simplifiying candidate # 1546423990.229 * * * * [misc]progress: [ 3 / 70 ] simplifiying candidate # 1546423990.230 * * * * [misc]progress: [ 4 / 70 ] simplifiying candidate # 1546423990.230 * [enter]simplify: Simplifying (- (log (sqrt (- 1 x))) (log (sqrt (+ 1 x)))) 1546423990.230 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.233 * * [misc]simplify: iters left: 5 (16 enodes) 1546423990.237 * * [misc]simplify: iters left: 4 (18 enodes) 1546423990.241 * [exit]simplify: Simplified to (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))) 1546423990.241 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (exp (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))))))) 1546423990.241 * * * * [misc]progress: [ 5 / 70 ] simplifiying candidate # 1546423990.241 * * * * [misc]progress: [ 6 / 70 ] simplifiying candidate # 1546423990.241 * * * * [misc]progress: [ 7 / 70 ] simplifiying candidate # 1546423990.242 * [enter]simplify: Simplifying (/ (* (* (sqrt (- 1 x)) (sqrt (- 1 x))) (sqrt (- 1 x))) (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))) 1546423990.242 * * [misc]simplify: iters left: 6 (11 enodes) 1546423990.246 * * [misc]simplify: iters left: 5 (25 enodes) 1546423990.255 * * [misc]simplify: iters left: 4 (76 enodes) 1546423990.285 * * [misc]simplify: iters left: 3 (158 enodes) 1546423990.415 * [exit]simplify: Simplified to (* (/ (sqrt (- 1 x)) (+ x 1)) (/ (- 1 x) (sqrt (+ x 1)))) 1546423990.415 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (cbrt (* (/ (sqrt (- 1 x)) (+ x 1)) (/ (- 1 x) (sqrt (+ x 1)))))))) 1546423990.415 * * * * [misc]progress: [ 8 / 70 ] simplifiying candidate # 1546423990.415 * * * * [misc]progress: [ 9 / 70 ] simplifiying candidate # 1546423990.415 * * * * [misc]progress: [ 10 / 70 ] simplifiying candidate # 1546423990.415 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1546423990.415 * * [misc]simplify: iters left: 4 (5 enodes) 1546423990.416 * * [misc]simplify: iters left: 3 (13 enodes) 1546423990.418 * * [misc]simplify: iters left: 2 (16 enodes) 1546423990.420 * * [misc]simplify: iters left: 1 (18 enodes) 1546423990.422 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1546423990.422 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ x 1)))))) 1546423990.422 * * * * [misc]progress: [ 11 / 70 ] simplifiying candidate # 1546423990.422 * * * * [misc]progress: [ 12 / 70 ] simplifiying candidate # 1546423990.422 * * * * [misc]progress: [ 13 / 70 ] simplifiying candidate # 1546423990.422 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.422 * * [misc]simplify: iters left: 6 (11 enodes) 1546423990.424 * * [misc]simplify: iters left: 5 (22 enodes) 1546423990.427 * * [misc]simplify: iters left: 4 (32 enodes) 1546423990.432 * * [misc]simplify: iters left: 3 (35 enodes) 1546423990.441 * * [misc]simplify: iters left: 2 (38 enodes) 1546423990.451 * [exit]simplify: Simplified to (* (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1))))) 1546423990.451 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))))) 1546423990.452 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1546423990.452 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.455 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.458 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.462 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1546423990.462 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))))))) 1546423990.462 * * * * [misc]progress: [ 14 / 70 ] simplifiying candidate # 1546423990.463 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423990.463 * * [misc]simplify: iters left: 6 (11 enodes) 1546423990.469 * * [misc]simplify: iters left: 5 (19 enodes) 1546423990.474 * * [misc]simplify: iters left: 4 (22 enodes) 1546423990.480 * * [misc]simplify: iters left: 3 (23 enodes) 1546423990.486 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) 1546423990.486 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))))) 1546423990.486 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1546423990.486 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.489 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.493 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.497 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1546423990.497 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))))) 1546423990.497 * * * * [misc]progress: [ 15 / 70 ] simplifiying candidate # 1546423990.497 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1546423990.498 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.501 * * [misc]simplify: iters left: 5 (17 enodes) 1546423990.506 * * [misc]simplify: iters left: 4 (20 enodes) 1546423990.510 * * [misc]simplify: iters left: 3 (21 enodes) 1546423990.516 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1546423990.516 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.516 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.516 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.519 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.523 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.526 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.526 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.526 * * * * [misc]progress: [ 16 / 70 ] simplifiying candidate # 1546423990.527 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt 1)) 1546423990.527 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.530 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.533 * * [misc]simplify: iters left: 4 (17 enodes) 1546423990.537 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1546423990.537 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.538 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.538 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.540 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.543 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.547 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.547 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.547 * * * * [misc]progress: [ 17 / 70 ] simplifiying candidate # 1546423990.547 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1546423990.547 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.550 * * [misc]simplify: iters left: 5 (17 enodes) 1546423990.554 * * [misc]simplify: iters left: 4 (20 enodes) 1546423990.560 * * [misc]simplify: iters left: 3 (21 enodes) 1546423990.565 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1546423990.566 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.566 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.566 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.569 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.572 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.576 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.576 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.576 * * * * [misc]progress: [ 18 / 70 ] simplifiying candidate # 1546423990.577 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1) 1546423990.577 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.579 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.583 * * [misc]simplify: iters left: 4 (20 enodes) 1546423990.586 * * [misc]simplify: iters left: 3 (34 enodes) 1546423990.590 * * [misc]simplify: iters left: 2 (60 enodes) 1546423990.599 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1546423990.599 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.599 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.599 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.601 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.602 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.604 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.604 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.604 * * * * [misc]progress: [ 19 / 70 ] simplifiying candidate # 1546423990.604 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.604 * * [misc]simplify: iters left: 6 (11 enodes) 1546423990.606 * * [misc]simplify: iters left: 5 (19 enodes) 1546423990.608 * * [misc]simplify: iters left: 4 (20 enodes) 1546423990.611 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1546423990.611 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))))) 1546423990.611 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1546423990.611 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.614 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.618 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.621 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1546423990.621 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ x 1)))))))) 1546423990.621 * * * * [misc]progress: [ 20 / 70 ] simplifiying candidate # 1546423990.622 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423990.622 * * [misc]simplify: iters left: 6 (11 enodes) 1546423990.625 * * [misc]simplify: iters left: 5 (18 enodes) 1546423990.630 * * [misc]simplify: iters left: 4 (19 enodes) 1546423990.635 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1546423990.635 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))))) 1546423990.635 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1546423990.635 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.638 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.641 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.645 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1546423990.645 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ x 1)))))))) 1546423990.645 * * * * [misc]progress: [ 21 / 70 ] simplifiying candidate # 1546423990.646 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1546423990.646 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.649 * * [misc]simplify: iters left: 5 (16 enodes) 1546423990.652 * * [misc]simplify: iters left: 4 (17 enodes) 1546423990.654 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.654 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.654 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.655 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.656 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.658 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.659 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.659 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.659 * * * * [misc]progress: [ 22 / 70 ] simplifiying candidate # 1546423990.660 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt 1)) 1546423990.660 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.661 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.663 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.664 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1546423990.664 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.665 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.665 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.666 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.667 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.669 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1546423990.669 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.669 * * * * [misc]progress: [ 23 / 70 ] simplifiying candidate # 1546423990.669 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1546423990.669 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.671 * * [misc]simplify: iters left: 5 (16 enodes) 1546423990.673 * * [misc]simplify: iters left: 4 (17 enodes) 1546423990.675 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.675 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.675 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.675 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.676 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.678 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.680 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.680 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.680 * * * * [misc]progress: [ 24 / 70 ] simplifiying candidate # 1546423990.681 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1) 1546423990.681 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.683 * * [misc]simplify: iters left: 5 (12 enodes) 1546423990.686 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.689 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1546423990.690 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.690 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.690 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.692 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.696 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.699 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1546423990.699 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.699 * * * * [misc]progress: [ 25 / 70 ] simplifiying candidate # 1546423990.700 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.700 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.703 * * [misc]simplify: iters left: 5 (17 enodes) 1546423990.708 * * [misc]simplify: iters left: 4 (18 enodes) 1546423990.714 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1546423990.714 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))))) 1546423990.714 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1546423990.714 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.717 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.721 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.724 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1546423990.725 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))))))) 1546423990.725 * * * * [misc]progress: [ 26 / 70 ] simplifiying candidate # 1546423990.725 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423990.725 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.728 * * [misc]simplify: iters left: 5 (16 enodes) 1546423990.732 * * [misc]simplify: iters left: 4 (17 enodes) 1546423990.736 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1546423990.736 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))))) 1546423990.736 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1546423990.737 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.739 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.743 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.746 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1546423990.747 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))))) 1546423990.747 * * * * [misc]progress: [ 27 / 70 ] simplifiying candidate # 1546423990.747 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.747 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.750 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.752 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.754 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.754 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.754 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.754 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.756 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.757 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.759 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.759 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.759 * * * * [misc]progress: [ 28 / 70 ] simplifiying candidate # 1546423990.759 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1546423990.759 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.761 * * [misc]simplify: iters left: 5 (11 enodes) 1546423990.762 * * [misc]simplify: iters left: 4 (12 enodes) 1546423990.764 * * [misc]simplify: iters left: 3 (14 enodes) 1546423990.765 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423990.765 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.765 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.765 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.767 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.768 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.770 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.770 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.770 * * * * [misc]progress: [ 29 / 70 ] simplifiying candidate # 1546423990.770 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.770 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.772 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.773 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.775 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.775 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.775 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.775 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.777 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.778 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.781 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.781 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.781 * * * * [misc]progress: [ 30 / 70 ] simplifiying candidate # 1546423990.781 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1546423990.782 * * [misc]simplify: iters left: 6 (6 enodes) 1546423990.783 * * [misc]simplify: iters left: 5 (10 enodes) 1546423990.787 * * [misc]simplify: iters left: 4 (13 enodes) 1546423990.789 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423990.789 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.790 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.790 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.792 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.796 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.799 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.799 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.799 * * * * [misc]progress: [ 31 / 70 ] simplifiying candidate # 1546423990.800 * [enter]simplify: Simplifying (/ (sqrt 1) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.800 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.803 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.806 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.810 * * [misc]simplify: iters left: 3 (16 enodes) 1546423990.813 * * [misc]simplify: iters left: 2 (17 enodes) 1546423990.817 * [exit]simplify: Simplified to (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.817 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 1546423990.817 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1546423990.817 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.820 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.823 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.827 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1546423990.827 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))))))) 1546423990.827 * * * * [misc]progress: [ 32 / 70 ] simplifiying candidate # 1546423990.827 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423990.827 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.830 * * [misc]simplify: iters left: 5 (12 enodes) 1546423990.834 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ 1 x)))) 1546423990.834 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 1546423990.834 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1546423990.835 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.837 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.840 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.844 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1546423990.844 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 1546423990.844 * * * * [misc]progress: [ 33 / 70 ] simplifiying candidate # 1546423990.844 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1546423990.844 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.847 * * [misc]simplify: iters left: 5 (10 enodes) 1546423990.849 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1546423990.850 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1546423990.850 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1546423990.850 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.852 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.855 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.859 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1546423990.859 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1546423990.859 * * * * [misc]progress: [ 34 / 70 ] simplifiying candidate # 1546423990.859 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt 1)) 1546423990.860 * * [misc]simplify: iters left: 3 (3 enodes) 1546423990.861 * * [misc]simplify: iters left: 2 (5 enodes) 1546423990.862 * [exit]simplify: Simplified to 1 1546423990.862 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1546423990.862 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423990.862 * * [misc]simplify: iters left: 5 (7 enodes) 1546423990.865 * * [misc]simplify: iters left: 4 (12 enodes) 1546423990.868 * * [misc]simplify: iters left: 3 (13 enodes) 1546423990.871 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423990.871 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1546423990.871 * * * * [misc]progress: [ 35 / 70 ] simplifiying candidate # 1546423990.871 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1546423990.871 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.874 * * [misc]simplify: iters left: 5 (10 enodes) 1546423990.876 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1546423990.876 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1546423990.877 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1546423990.877 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.879 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.883 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.886 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1546423990.886 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1546423990.886 * * * * [misc]progress: [ 36 / 70 ] simplifiying candidate # 1546423990.886 * [enter]simplify: Simplifying (/ (sqrt 1) 1) 1546423990.887 * * [misc]simplify: iters left: 3 (3 enodes) 1546423990.888 * * [misc]simplify: iters left: 2 (5 enodes) 1546423990.889 * [exit]simplify: Simplified to 1 1546423990.889 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1546423990.889 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423990.889 * * [misc]simplify: iters left: 5 (7 enodes) 1546423990.891 * * [misc]simplify: iters left: 4 (12 enodes) 1546423990.894 * * [misc]simplify: iters left: 3 (13 enodes) 1546423990.898 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423990.898 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1546423990.898 * * * * [misc]progress: [ 37 / 70 ] simplifiying candidate # 1546423990.898 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.898 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.901 * * [misc]simplify: iters left: 5 (17 enodes) 1546423990.906 * * [misc]simplify: iters left: 4 (18 enodes) 1546423990.910 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1546423990.910 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))))) 1546423990.911 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1546423990.911 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.913 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.917 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.921 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1546423990.921 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))))))) 1546423990.921 * * * * [misc]progress: [ 38 / 70 ] simplifiying candidate # 1546423990.921 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423990.921 * * [misc]simplify: iters left: 6 (10 enodes) 1546423990.924 * * [misc]simplify: iters left: 5 (16 enodes) 1546423990.929 * * [misc]simplify: iters left: 4 (17 enodes) 1546423990.933 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1546423990.933 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))))) 1546423990.934 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1546423990.934 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.936 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.940 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.944 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1546423990.944 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))))) 1546423990.944 * * * * [misc]progress: [ 39 / 70 ] simplifiying candidate # 1546423990.944 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.944 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.947 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.951 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.953 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.953 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.953 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.953 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.954 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.956 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.958 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.958 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.958 * * * * [misc]progress: [ 40 / 70 ] simplifiying candidate # 1546423990.958 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1546423990.958 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.960 * * [misc]simplify: iters left: 5 (11 enodes) 1546423990.961 * * [misc]simplify: iters left: 4 (12 enodes) 1546423990.962 * * [misc]simplify: iters left: 3 (14 enodes) 1546423990.964 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423990.964 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.964 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.964 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.965 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.967 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.969 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.969 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.969 * * * * [misc]progress: [ 41 / 70 ] simplifiying candidate # 1546423990.969 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.970 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.971 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.972 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.974 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.974 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))))) 1546423990.974 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1546423990.974 * * [misc]simplify: iters left: 6 (9 enodes) 1546423990.976 * * [misc]simplify: iters left: 5 (14 enodes) 1546423990.977 * * [misc]simplify: iters left: 4 (15 enodes) 1546423990.979 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1546423990.979 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))))) 1546423990.979 * * * * [misc]progress: [ 42 / 70 ] simplifiying candidate # 1546423990.980 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1546423990.980 * * [misc]simplify: iters left: 6 (6 enodes) 1546423990.981 * * [misc]simplify: iters left: 5 (10 enodes) 1546423990.983 * * [misc]simplify: iters left: 4 (13 enodes) 1546423990.984 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423990.984 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1546423990.984 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1546423990.984 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.985 * * [misc]simplify: iters left: 5 (13 enodes) 1546423990.987 * * [misc]simplify: iters left: 4 (14 enodes) 1546423990.990 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1546423990.990 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1546423990.990 * * * * [misc]progress: [ 43 / 70 ] simplifiying candidate # 1546423990.991 * [enter]simplify: Simplifying (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1546423990.991 * * [misc]simplify: iters left: 6 (7 enodes) 1546423990.993 * * [misc]simplify: iters left: 5 (12 enodes) 1546423990.996 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) 1546423990.996 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 1546423990.997 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1546423990.997 * * [misc]simplify: iters left: 6 (8 enodes) 1546423990.999 * * [misc]simplify: iters left: 5 (13 enodes) 1546423991.003 * * [misc]simplify: iters left: 4 (14 enodes) 1546423991.007 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1546423991.007 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))))))) 1546423991.007 * * * * [misc]progress: [ 44 / 70 ] simplifiying candidate # 1546423991.007 * [enter]simplify: Simplifying (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1546423991.007 * * [misc]simplify: iters left: 6 (7 enodes) 1546423991.009 * * [misc]simplify: iters left: 5 (11 enodes) 1546423991.012 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ x 1)))) 1546423991.012 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 1546423991.013 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1546423991.013 * * [misc]simplify: iters left: 6 (8 enodes) 1546423991.015 * * [misc]simplify: iters left: 5 (13 enodes) 1546423991.018 * * [misc]simplify: iters left: 4 (14 enodes) 1546423991.022 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1546423991.022 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 1546423991.022 * * * * [misc]progress: [ 45 / 70 ] simplifiying candidate # 1546423991.023 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1546423991.023 * * [misc]simplify: iters left: 6 (6 enodes) 1546423991.024 * * [misc]simplify: iters left: 5 (9 enodes) 1546423991.027 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1546423991.027 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1546423991.027 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1546423991.027 * * [misc]simplify: iters left: 6 (8 enodes) 1546423991.030 * * [misc]simplify: iters left: 5 (13 enodes) 1546423991.033 * * [misc]simplify: iters left: 4 (14 enodes) 1546423991.037 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1546423991.037 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1546423991.037 * * * * [misc]progress: [ 46 / 70 ] simplifiying candidate # 1546423991.037 * [enter]simplify: Simplifying (/ 1 (sqrt 1)) 1546423991.038 * * [misc]simplify: iters left: 3 (3 enodes) 1546423991.040 * * [misc]simplify: iters left: 2 (5 enodes) 1546423991.040 * [exit]simplify: Simplified to 1 1546423991.040 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1546423991.041 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423991.041 * * [misc]simplify: iters left: 5 (7 enodes) 1546423991.043 * * [misc]simplify: iters left: 4 (12 enodes) 1546423991.046 * * [misc]simplify: iters left: 3 (13 enodes) 1546423991.049 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423991.049 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1546423991.050 * * * * [misc]progress: [ 47 / 70 ] simplifiying candidate # 1546423991.050 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1546423991.050 * * [misc]simplify: iters left: 6 (6 enodes) 1546423991.052 * * [misc]simplify: iters left: 5 (9 enodes) 1546423991.054 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1546423991.054 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1546423991.054 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1546423991.054 * * [misc]simplify: iters left: 6 (8 enodes) 1546423991.057 * * [misc]simplify: iters left: 5 (13 enodes) 1546423991.060 * * [misc]simplify: iters left: 4 (14 enodes) 1546423991.064 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1546423991.064 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1546423991.064 * * * * [misc]progress: [ 48 / 70 ] simplifiying candidate # 1546423991.064 * [enter]simplify: Simplifying (/ 1 1) 1546423991.064 * * [misc]simplify: iters left: 2 (2 enodes) 1546423991.065 * * [misc]simplify: iters left: 1 (4 enodes) 1546423991.066 * [exit]simplify: Simplified to 1 1546423991.066 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1546423991.066 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1546423991.066 * * [misc]simplify: iters left: 5 (7 enodes) 1546423991.068 * * [misc]simplify: iters left: 4 (12 enodes) 1546423991.071 * * [misc]simplify: iters left: 3 (13 enodes) 1546423991.075 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1546423991.075 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1546423991.075 * * * * [misc]progress: [ 49 / 70 ] simplifiying candidate # 1546423991.075 * * * * [misc]progress: [ 50 / 70 ] simplifiying candidate # 1546423991.075 * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # 1546423991.075 * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # 1546423991.075 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 x))) 1546423991.075 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.077 * * [misc]simplify: iters left: 3 (8 enodes) 1546423991.079 * [exit]simplify: Simplified to (cbrt (sqrt (+ x 1))) 1546423991.079 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ x 1))))))) 1546423991.079 * * * * [misc]progress: [ 53 / 70 ] simplifiying candidate # 1546423991.079 * [enter]simplify: Simplifying (sqrt (cbrt (+ 1 x))) 1546423991.079 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.081 * * [misc]simplify: iters left: 3 (8 enodes) 1546423991.083 * [exit]simplify: Simplified to (sqrt (cbrt (+ x 1))) 1546423991.083 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ x 1))))))) 1546423991.083 * * * * [misc]progress: [ 54 / 70 ] simplifiying candidate # 1546423991.083 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1546423991.083 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.085 * * [misc]simplify: iters left: 3 (8 enodes) 1546423991.087 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1546423991.087 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 1546423991.087 * * * * [misc]progress: [ 55 / 70 ] simplifiying candidate # 1546423991.087 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1546423991.087 * * [misc]simplify: iters left: 3 (4 enodes) 1546423991.088 * * [misc]simplify: iters left: 2 (7 enodes) 1546423991.090 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1546423991.090 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt 1)) (sqrt (+ x 1)))))) 1546423991.090 * * * * [misc]progress: [ 56 / 70 ] simplifiying candidate # 1546423991.091 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1546423991.091 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.092 * * [misc]simplify: iters left: 3 (8 enodes) 1546423991.094 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1546423991.094 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 1546423991.094 * * * * [misc]progress: [ 57 / 70 ] simplifiying candidate # 1546423991.094 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1546423991.095 * * [misc]simplify: iters left: 3 (4 enodes) 1546423991.096 * * [misc]simplify: iters left: 2 (7 enodes) 1546423991.097 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1546423991.098 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) 1) (sqrt (+ x 1)))))) 1546423991.098 * * * * [misc]progress: [ 58 / 70 ] simplifiying candidate # 1546423991.098 * [enter]simplify: Simplifying (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1546423991.098 * * [misc]simplify: iters left: 6 (6 enodes) 1546423991.100 * * [misc]simplify: iters left: 5 (10 enodes) 1546423991.104 * * [misc]simplify: iters left: 4 (11 enodes) 1546423991.107 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1546423991.107 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (sqrt (+ 1 x)) (cbrt (sqrt (- 1 x)))))))) 1546423991.107 * * * * [misc]progress: [ 59 / 70 ] simplifiying candidate # 1546423991.107 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1546423991.107 * * [misc]simplify: iters left: 6 (6 enodes) 1546423991.109 * * [misc]simplify: iters left: 5 (11 enodes) 1546423991.112 * * [misc]simplify: iters left: 4 (12 enodes) 1546423991.115 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1546423991.115 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (fabs (cbrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (cbrt (- 1 x)))))))) 1546423991.115 * * * * [misc]progress: [ 60 / 70 ] simplifiying candidate # 1546423991.115 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1546423991.116 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.117 * * [misc]simplify: iters left: 3 (9 enodes) 1546423991.119 * * [misc]simplify: iters left: 2 (10 enodes) 1546423991.122 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423991.122 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))))) 1546423991.122 * * * * [misc]progress: [ 61 / 70 ] simplifiying candidate # 1546423991.122 * [enter]simplify: Simplifying (sqrt 1) 1546423991.122 * * [misc]simplify: iters left: 1 (2 enodes) 1546423991.124 * [exit]simplify: Simplified to 1 1546423991.124 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ 1 (/ (sqrt (+ 1 x)) (sqrt (- 1 x))))))) 1546423991.124 * * * * [misc]progress: [ 62 / 70 ] simplifiying candidate # 1546423991.124 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1546423991.124 * * [misc]simplify: iters left: 4 (5 enodes) 1546423991.126 * * [misc]simplify: iters left: 3 (9 enodes) 1546423991.128 * * [misc]simplify: iters left: 2 (10 enodes) 1546423991.131 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1546423991.131 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))))) 1546423991.131 * * * * [misc]progress: [ 63 / 70 ] simplifiying candidate # 1546423991.131 * * * * [misc]progress: [ 64 / 70 ] simplifiying candidate # 1546423991.131 * [enter]simplify: Simplifying (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))) 1546423991.131 * * [misc]simplify: iters left: 6 (8 enodes) 1546423991.134 * * [misc]simplify: iters left: 5 (18 enodes) 1546423991.139 * * [misc]simplify: iters left: 4 (29 enodes) 1546423991.148 * * [misc]simplify: iters left: 3 (51 enodes) 1546423991.166 * * [misc]simplify: iters left: 2 (68 enodes) 1546423991.185 * * [misc]simplify: iters left: 1 (95 enodes) 1546423991.213 * [exit]simplify: Simplified to (sqrt (fma x x (- 1 x))) 1546423991.213 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (- 1 x)) (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (fma x x (- 1 x))))))) 1546423991.213 * * * * [misc]progress: [ 65 / 70 ] simplifiying candidate # 1546423991.214 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1546423991.214 * * [misc]simplify: iters left: 3 (4 enodes) 1546423991.215 * * [misc]simplify: iters left: 2 (8 enodes) 1546423991.217 * * [misc]simplify: iters left: 1 (9 enodes) 1546423991.220 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1546423991.220 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (- 1 x)) (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))))) 1546423991.220 * * * * [misc]progress: [ 66 / 70 ] simplifiying candidate # 1546423991.220 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow x 3))) 1546423991.220 * * [misc]simplify: iters left: 4 (7 enodes) 1546423991.223 * * [misc]simplify: iters left: 3 (16 enodes) 1546423991.227 * * [misc]simplify: iters left: 2 (23 enodes) 1546423991.232 * * [misc]simplify: iters left: 1 (29 enodes) 1546423991.235 * [exit]simplify: Simplified to (sqrt (fma (- x) (* x x) 1)) 1546423991.235 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (fma (- x) (* x x) 1)) (* (sqrt (+ 1 x)) (sqrt (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1546423991.235 * * * * [misc]progress: [ 67 / 70 ] simplifiying candidate # 1546423991.235 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1546423991.235 * * [misc]simplify: iters left: 5 (6 enodes) 1546423991.236 * * [misc]simplify: iters left: 4 (11 enodes) 1546423991.237 * * [misc]simplify: iters left: 3 (15 enodes) 1546423991.240 * * [misc]simplify: iters left: 2 (17 enodes) 1546423991.242 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1546423991.242 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 (* x x))) (* (sqrt (+ 1 x)) (sqrt (+ 1 x))))))) 1546423991.242 * * * * [misc]progress: [ 68 / 70 ] simplifiying candidate # 1546423991.242 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1546423991.242 * * [misc]simplify: iters left: 6 (8 enodes) 1546423991.243 * * [misc]simplify: iters left: 5 (18 enodes) 1546423991.246 * * [misc]simplify: iters left: 4 (33 enodes) 1546423991.251 * * [misc]simplify: iters left: 3 (47 enodes) 1546423991.257 * * [misc]simplify: iters left: 2 (49 enodes) 1546423991.268 * * [misc]simplify: iters left: 1 (63 enodes) 1546423991.285 * [exit]simplify: Simplified to (fma (* 1/2 x) x (- 1 x)) 1546423991.285 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma (* 1/2 x) x (- 1 x))))) 1546423991.285 * * * * [misc]progress: [ 69 / 70 ] simplifiying candidate # 1546423991.285 * [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)))))) 1546423991.286 * * [misc]simplify: iters left: 6 (19 enodes) 1546423991.293 * * [misc]simplify: iters left: 5 (44 enodes) 1546423991.307 * * [misc]simplify: iters left: 4 (89 enodes) 1546423991.332 * * [misc]simplify: iters left: 3 (182 enodes) 1546423991.440 * * [misc]simplify: iters left: 2 (368 enodes) 1546423992.954 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1546423992.954 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1546423992.954 * * * * [misc]progress: [ 70 / 70 ] simplifiying candidate # 1546423992.954 * [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)))))) 1546423992.954 * * [misc]simplify: iters left: 6 (19 enodes) 1546423992.958 * * [misc]simplify: iters left: 5 (44 enodes) 1546423992.966 * * [misc]simplify: iters left: 4 (89 enodes) 1546423992.991 * * [misc]simplify: iters left: 3 (182 enodes) 1546423993.112 * * [misc]simplify: iters left: 2 (368 enodes) 1546423994.655 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1546423994.655 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1546423994.655 * * * [misc]progress: adding candidates to table 1546423995.448 * [misc]progress: [Phase 3 of 3] Extracting. 1546423995.452 * [enter]simplify: Simplifying (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 1546423995.453 * * [misc]simplify: iters left: 6 (10 enodes) 1546423995.453 * * [misc]simplify: iters left: 5 (14 enodes) 1546423995.454 * [exit]simplify: Simplified to (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 1546423995.454 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546423996.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423996.494 * * * * [misc]points: Sampling 3989 additional inputs, on iter 1 have 4011 / 8000 1546423996.979 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423996.980 * * * * [misc]points: Sampling 1948 additional inputs, on iter 2 have 6052 / 8000 1546423997.615 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.616 * * * * [misc]points: Sampling 982 additional inputs, on iter 3 have 7018 / 8000 1546423997.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.695 * * * * [misc]points: Sampling 504 additional inputs, on iter 4 have 7496 / 8000 1546423997.795 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.796 * * * * [misc]points: Sampling 263 additional inputs, on iter 5 have 7737 / 8000 1546423997.836 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.836 * * * * [misc]points: Sampling 118 additional inputs, on iter 6 have 7882 / 8000 1546423997.857 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.857 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1546423997.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.869 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 7975 / 8000 1546423997.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.876 * * * * [misc]points: Sampling 18 additional inputs, on iter 9 have 7982 / 8000 1546423997.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.882 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1546423997.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.887 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1546423997.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.891 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1546423997.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1546423997.896 * * * * [exit]points: Sampled 8003 points with exact outputs 1546423998.185 * [misc]regime-testing: Baseline error score: 0.014625 1546423998.187 * [misc]regime-testing: Oracle error score: 0.014625 1546423998.187 * [misc]regime-testing: End program error score: 0.014625