1539342051.544 * [misc]progress: [Phase 1 of 3] Setting up. 1539342051.545 * * * [misc]progress: [1/2] Preparing points 1539342051.546 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539342051.549 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539342051.598 * * * * [misc]points: Setting MPFR precision to 64 1539342051.600 * * * * [misc]points: Setting MPFR precision to 320 1539342051.601 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539342051.605 * * * * [misc]points: Setting MPFR precision to 64 1539342051.607 * * * * [misc]points: Setting MPFR precision to 320 1539342051.609 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539342051.613 * * * * [misc]points: Setting MPFR precision to 64 1539342051.616 * * * * [misc]points: Setting MPFR precision to 320 1539342051.618 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539342051.622 * * * * [misc]points: Setting MPFR precision to 64 1539342051.626 * * * * [misc]points: Setting MPFR precision to 320 1539342051.631 * * * * [misc]points: Computing exacts for 256 points 1539342051.635 * * * * [misc]points: Setting MPFR precision to 64 1539342051.647 * * * * [misc]points: Setting MPFR precision to 320 1539342051.660 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.661 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1539342051.662 * * * * [misc]points: Computing exacts on every 7 of 123 points to ramp up precision 1539342051.667 * * * * [misc]points: Setting MPFR precision to 64 1539342051.668 * * * * [misc]points: Setting MPFR precision to 320 1539342051.669 * * * * [misc]points: Computing exacts on every 3 of 123 points to ramp up precision 1539342051.673 * * * * [misc]points: Setting MPFR precision to 64 1539342051.675 * * * * [misc]points: Setting MPFR precision to 320 1539342051.676 * * * * [misc]points: Computing exacts for 123 points 1539342051.680 * * * * [misc]points: Setting MPFR precision to 64 1539342051.686 * * * * [misc]points: Setting MPFR precision to 320 1539342051.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.692 * * * * [misc]points: Sampling 72 additional inputs, on iter 2 have 184 / 256 1539342051.693 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1539342051.731 * * * * [misc]points: Setting MPFR precision to 64 1539342051.731 * * * * [misc]points: Setting MPFR precision to 320 1539342051.732 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1539342051.736 * * * * [misc]points: Setting MPFR precision to 64 1539342051.737 * * * * [misc]points: Setting MPFR precision to 320 1539342051.741 * * * * [misc]points: Computing exacts for 72 points 1539342051.745 * * * * [misc]points: Setting MPFR precision to 64 1539342051.748 * * * * [misc]points: Setting MPFR precision to 320 1539342051.752 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.752 * * * * [misc]points: Sampling 43 additional inputs, on iter 3 have 213 / 256 1539342051.752 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1539342051.756 * * * * [misc]points: Setting MPFR precision to 64 1539342051.757 * * * * [misc]points: Setting MPFR precision to 320 1539342051.758 * * * * [misc]points: Computing exacts for 43 points 1539342051.762 * * * * [misc]points: Setting MPFR precision to 64 1539342051.764 * * * * [misc]points: Setting MPFR precision to 320 1539342051.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.767 * * * * [misc]points: Sampling 26 additional inputs, on iter 4 have 230 / 256 1539342051.767 * * * * [misc]points: Computing exacts for 26 points 1539342051.771 * * * * [misc]points: Setting MPFR precision to 64 1539342051.772 * * * * [misc]points: Setting MPFR precision to 320 1539342051.774 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.774 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1539342051.774 * * * * [misc]points: Computing exacts for 10 points 1539342051.778 * * * * [misc]points: Setting MPFR precision to 64 1539342051.779 * * * * [misc]points: Setting MPFR precision to 320 1539342051.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.779 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 250 / 256 1539342051.780 * * * * [misc]points: Computing exacts for 6 points 1539342051.784 * * * * [misc]points: Setting MPFR precision to 64 1539342051.784 * * * * [misc]points: Setting MPFR precision to 320 1539342051.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.784 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 252 / 256 1539342051.785 * * * * [misc]points: Computing exacts for 4 points 1539342051.789 * * * * [misc]points: Setting MPFR precision to 64 1539342051.789 * * * * [misc]points: Setting MPFR precision to 320 1539342051.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.789 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 253 / 256 1539342051.789 * * * * [misc]points: Computing exacts for 4 points 1539342051.793 * * * * [misc]points: Setting MPFR precision to 64 1539342051.794 * * * * [misc]points: Setting MPFR precision to 320 1539342051.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342051.794 * * * * [exit]points: Sampled 256 points with exact outputs 1539342051.794 * * * [misc]progress: [2/2] Setting up program. 1539342051.801 * [misc]progress: [Phase 2 of 3] Improving. 1539342051.802 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1539342051.804 * * [misc]simplify: iters left: 6 (9 enodes) 1539342051.812 * * [misc]simplify: iters left: 5 (18 enodes) 1539342051.818 * * [misc]simplify: iters left: 4 (21 enodes) 1539342051.823 * * [misc]simplify: iters left: 3 (23 enodes) 1539342051.831 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1539342051.844 * * [misc]progress: iteration 1 / 4 1539342051.845 * * * [misc]progress: picking best candidate 1539342051.850 * * * * [misc]pick: Picked # 1539342051.850 * * * [misc]progress: localizing error 1539342052.230 * * * [misc]progress: generating rewritten candidates 1539342052.230 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 1) 1539342052.241 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1539342052.244 * * * [misc]progress: generating series expansions 1539342052.244 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 1) 1539342052.252 * [misc]backup-simplify: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1539342052.252 * [misc]approximate: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1539342052.253 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342052.253 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342052.253 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.253 * [misc]backup-simplify: Simplify 1 into 1 1539342052.253 * [misc]taylor: Taking taylor expansion of x in x 1539342052.253 * [misc]backup-simplify: Simplify 0 into 0 1539342052.253 * [misc]backup-simplify: Simplify 1 into 1 1539342052.254 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342052.254 * [misc]taylor: Taking taylor expansion of x in x 1539342052.254 * [misc]backup-simplify: Simplify 0 into 0 1539342052.254 * [misc]backup-simplify: Simplify 1 into 1 1539342052.254 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.254 * [misc]backup-simplify: Simplify 1 into 1 1539342052.255 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.255 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.256 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.256 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.256 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342052.256 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342052.256 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.256 * [misc]backup-simplify: Simplify 1 into 1 1539342052.256 * [misc]taylor: Taking taylor expansion of x in x 1539342052.256 * [misc]backup-simplify: Simplify 0 into 0 1539342052.256 * [misc]backup-simplify: Simplify 1 into 1 1539342052.256 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342052.256 * [misc]taylor: Taking taylor expansion of x in x 1539342052.256 * [misc]backup-simplify: Simplify 0 into 0 1539342052.256 * [misc]backup-simplify: Simplify 1 into 1 1539342052.256 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.256 * [misc]backup-simplify: Simplify 1 into 1 1539342052.256 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.256 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.257 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.257 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.257 * [misc]backup-simplify: Simplify 1 into 1 1539342052.258 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.258 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.258 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.258 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1539342052.258 * [misc]backup-simplify: Simplify -2 into -2 1539342052.259 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.259 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.259 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.259 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1539342052.259 * [misc]backup-simplify: Simplify 2 into 2 1539342052.260 * [misc]backup-simplify: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1539342052.261 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1539342052.261 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1539342052.261 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342052.261 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.261 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.261 * [misc]backup-simplify: Simplify 1 into 1 1539342052.261 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.261 * [misc]taylor: Taking taylor expansion of x in x 1539342052.261 * [misc]backup-simplify: Simplify 0 into 0 1539342052.261 * [misc]backup-simplify: Simplify 1 into 1 1539342052.261 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.261 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.261 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.261 * [misc]taylor: Taking taylor expansion of x in x 1539342052.262 * [misc]backup-simplify: Simplify 0 into 0 1539342052.262 * [misc]backup-simplify: Simplify 1 into 1 1539342052.262 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.262 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.262 * [misc]backup-simplify: Simplify 1 into 1 1539342052.262 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.262 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.262 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.262 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342052.263 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342052.263 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.263 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.263 * [misc]backup-simplify: Simplify 1 into 1 1539342052.263 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.263 * [misc]taylor: Taking taylor expansion of x in x 1539342052.263 * [misc]backup-simplify: Simplify 0 into 0 1539342052.263 * [misc]backup-simplify: Simplify 1 into 1 1539342052.263 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.263 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.263 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.263 * [misc]taylor: Taking taylor expansion of x in x 1539342052.263 * [misc]backup-simplify: Simplify 0 into 0 1539342052.263 * [misc]backup-simplify: Simplify 1 into 1 1539342052.263 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.263 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.263 * [misc]backup-simplify: Simplify 1 into 1 1539342052.263 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.264 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.264 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.264 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342052.264 * [misc]backup-simplify: Simplify -1 into -1 1539342052.264 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.265 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.265 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.265 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.265 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.265 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1539342052.265 * [misc]backup-simplify: Simplify 2 into 2 1539342052.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.266 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.267 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.267 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1539342052.267 * [misc]backup-simplify: Simplify -2 into -2 1539342052.267 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1539342052.267 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1539342052.267 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1539342052.267 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342052.268 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.268 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.268 * [misc]taylor: Taking taylor expansion of x in x 1539342052.268 * [misc]backup-simplify: Simplify 0 into 0 1539342052.268 * [misc]backup-simplify: Simplify 1 into 1 1539342052.268 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.268 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.268 * [misc]backup-simplify: Simplify 1 into 1 1539342052.268 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.268 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.268 * [misc]backup-simplify: Simplify 1 into 1 1539342052.268 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.268 * [misc]taylor: Taking taylor expansion of x in x 1539342052.268 * [misc]backup-simplify: Simplify 0 into 0 1539342052.268 * [misc]backup-simplify: Simplify 1 into 1 1539342052.268 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.268 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.268 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.269 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.269 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342052.269 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342052.269 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.269 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.269 * [misc]taylor: Taking taylor expansion of x in x 1539342052.269 * [misc]backup-simplify: Simplify 0 into 0 1539342052.269 * [misc]backup-simplify: Simplify 1 into 1 1539342052.269 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.269 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.269 * [misc]backup-simplify: Simplify 1 into 1 1539342052.269 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.269 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.269 * [misc]backup-simplify: Simplify 1 into 1 1539342052.269 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.269 * [misc]taylor: Taking taylor expansion of x in x 1539342052.269 * [misc]backup-simplify: Simplify 0 into 0 1539342052.269 * [misc]backup-simplify: Simplify 1 into 1 1539342052.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.270 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.270 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.270 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.270 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342052.270 * [misc]backup-simplify: Simplify -1 into -1 1539342052.271 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.271 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.271 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.271 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.271 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.272 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1539342052.272 * [misc]backup-simplify: Simplify -2 into -2 1539342052.272 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.272 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.273 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.273 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1539342052.273 * [misc]backup-simplify: Simplify -2 into -2 1539342052.273 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1539342052.273 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1539342052.274 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1539342052.274 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1539342052.274 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1539342052.274 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342052.274 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342052.274 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.274 * [misc]backup-simplify: Simplify 1 into 1 1539342052.274 * [misc]taylor: Taking taylor expansion of x in x 1539342052.274 * [misc]backup-simplify: Simplify 0 into 0 1539342052.274 * [misc]backup-simplify: Simplify 1 into 1 1539342052.274 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342052.274 * [misc]taylor: Taking taylor expansion of x in x 1539342052.274 * [misc]backup-simplify: Simplify 0 into 0 1539342052.274 * [misc]backup-simplify: Simplify 1 into 1 1539342052.274 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.274 * [misc]backup-simplify: Simplify 1 into 1 1539342052.274 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.274 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.274 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.275 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.275 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342052.275 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.275 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.276 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.276 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1539342052.276 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1539342052.276 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1539342052.276 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342052.276 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342052.276 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.276 * [misc]backup-simplify: Simplify 1 into 1 1539342052.276 * [misc]taylor: Taking taylor expansion of x in x 1539342052.276 * [misc]backup-simplify: Simplify 0 into 0 1539342052.276 * [misc]backup-simplify: Simplify 1 into 1 1539342052.276 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342052.276 * [misc]taylor: Taking taylor expansion of x in x 1539342052.276 * [misc]backup-simplify: Simplify 0 into 0 1539342052.276 * [misc]backup-simplify: Simplify 1 into 1 1539342052.276 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.276 * [misc]backup-simplify: Simplify 1 into 1 1539342052.277 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.277 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.277 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.277 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.277 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342052.277 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.278 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.278 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.278 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1539342052.278 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1539342052.278 * [misc]backup-simplify: Simplify 1 into 1 1539342052.278 * [misc]backup-simplify: Simplify -1 into -1 1539342052.279 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.279 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.279 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.280 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1539342052.281 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1539342052.281 * [misc]backup-simplify: Simplify 1/2 into 1/2 1539342052.282 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1539342052.282 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1539342052.282 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1539342052.282 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.282 * [misc]backup-simplify: Simplify 1 into 1 1539342052.282 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of x in x 1539342052.282 * [misc]backup-simplify: Simplify 0 into 0 1539342052.282 * [misc]backup-simplify: Simplify 1 into 1 1539342052.282 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.282 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.282 * [misc]taylor: Taking taylor expansion of x in x 1539342052.282 * [misc]backup-simplify: Simplify 0 into 0 1539342052.282 * [misc]backup-simplify: Simplify 1 into 1 1539342052.283 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.283 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.283 * [misc]backup-simplify: Simplify 1 into 1 1539342052.283 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.283 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.283 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.283 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342052.283 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.284 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.284 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.284 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.284 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.284 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.285 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1539342052.285 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1539342052.285 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1539342052.285 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342052.285 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.285 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.285 * [misc]backup-simplify: Simplify 1 into 1 1539342052.285 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.285 * [misc]taylor: Taking taylor expansion of x in x 1539342052.285 * [misc]backup-simplify: Simplify 0 into 0 1539342052.286 * [misc]backup-simplify: Simplify 1 into 1 1539342052.286 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.286 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.286 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.286 * [misc]taylor: Taking taylor expansion of x in x 1539342052.286 * [misc]backup-simplify: Simplify 0 into 0 1539342052.286 * [misc]backup-simplify: Simplify 1 into 1 1539342052.286 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.286 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.286 * [misc]backup-simplify: Simplify 1 into 1 1539342052.286 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.286 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.287 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.287 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342052.287 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.287 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.287 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.287 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.288 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.288 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.288 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1539342052.289 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1539342052.289 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.289 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1539342052.290 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.290 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.290 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.290 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.290 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.291 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1539342052.293 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1539342052.295 * [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))) 1539342052.297 * [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)))))) 1539342052.298 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1539342052.298 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1539342052.298 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of x in x 1539342052.298 * [misc]backup-simplify: Simplify 0 into 0 1539342052.298 * [misc]backup-simplify: Simplify 1 into 1 1539342052.298 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.298 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.298 * [misc]backup-simplify: Simplify 1 into 1 1539342052.298 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.298 * [misc]backup-simplify: Simplify 1 into 1 1539342052.298 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.298 * [misc]taylor: Taking taylor expansion of x in x 1539342052.298 * [misc]backup-simplify: Simplify 0 into 0 1539342052.298 * [misc]backup-simplify: Simplify 1 into 1 1539342052.298 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.299 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.299 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.299 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.299 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342052.299 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.300 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.300 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.300 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.300 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.300 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.301 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1539342052.301 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1539342052.301 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1539342052.301 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342052.301 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342052.301 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.301 * [misc]taylor: Taking taylor expansion of x in x 1539342052.301 * [misc]backup-simplify: Simplify 0 into 0 1539342052.301 * [misc]backup-simplify: Simplify 1 into 1 1539342052.301 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.302 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.302 * [misc]backup-simplify: Simplify 1 into 1 1539342052.302 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342052.302 * [misc]taylor: Taking taylor expansion of 1 in x 1539342052.302 * [misc]backup-simplify: Simplify 1 into 1 1539342052.302 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342052.302 * [misc]taylor: Taking taylor expansion of x in x 1539342052.302 * [misc]backup-simplify: Simplify 0 into 0 1539342052.302 * [misc]backup-simplify: Simplify 1 into 1 1539342052.302 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342052.302 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.302 * [misc]backup-simplify: Simplify (- 1) into -1 1539342052.302 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342052.303 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342052.303 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.303 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.303 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342052.303 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342052.304 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.304 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342052.304 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1539342052.304 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1539342052.305 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342052.305 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1539342052.305 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.306 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.306 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342052.306 * [misc]backup-simplify: Simplify (- 0) into 0 1539342052.306 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342052.307 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1539342052.309 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1539342052.311 * [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))) 1539342052.313 * [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)))))) 1539342052.313 * * * [misc]progress: simplifying candidates 1539342052.314 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1539342052.314 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1539342052.314 * [enter]simplify: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1539342052.315 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.317 * * [misc]simplify: iters left: 4 (14 enodes) 1539342052.321 * * [misc]simplify: iters left: 3 (16 enodes) 1539342052.325 * [exit]simplify: Simplified to (- (log (- 1 x)) (log (+ x 1))) 1539342052.325 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log (+ x 1)))))))) 1539342052.325 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1539342052.326 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1539342052.326 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1539342052.326 * [enter]simplify: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1539342052.326 * * [misc]simplify: iters left: 6 (9 enodes) 1539342052.330 * * [misc]simplify: iters left: 5 (35 enodes) 1539342052.346 * * [misc]simplify: iters left: 4 (96 enodes) 1539342052.396 * * [misc]simplify: iters left: 3 (298 enodes) 1539342052.607 * [exit]simplify: Simplified to (pow (/ (- 1 x) (+ x 1)) 3) 1539342052.607 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))))) 1539342052.607 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1539342052.607 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1539342052.607 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1539342052.607 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1539342052.607 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate # 1539342052.607 * [enter]simplify: Simplifying (/ 1 (+ 1 x)) 1539342052.608 * * [misc]simplify: iters left: 4 (4 enodes) 1539342052.608 * * [misc]simplify: iters left: 3 (7 enodes) 1539342052.609 * [exit]simplify: Simplified to (/ 1 (+ x 1)) 1539342052.609 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1539342052.609 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1539342052.609 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1539342052.609 * * [misc]simplify: iters left: 6 (9 enodes) 1539342052.611 * * [misc]simplify: iters left: 5 (20 enodes) 1539342052.614 * * [misc]simplify: iters left: 4 (30 enodes) 1539342052.618 * * [misc]simplify: iters left: 3 (33 enodes) 1539342052.621 * * [misc]simplify: iters left: 2 (36 enodes) 1539342052.626 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1539342052.626 * [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)))))))) 1539342052.626 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1539342052.626 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.627 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.629 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.630 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1539342052.630 * [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)))))))) 1539342052.630 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1539342052.630 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1539342052.631 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.632 * * [misc]simplify: iters left: 5 (15 enodes) 1539342052.634 * * [misc]simplify: iters left: 4 (18 enodes) 1539342052.636 * * [misc]simplify: iters left: 3 (19 enodes) 1539342052.638 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) 1539342052.638 * [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)))))))) 1539342052.639 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1539342052.639 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.640 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.641 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.643 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1539342052.643 * [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)))))))) 1539342052.643 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1539342052.643 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1539342052.643 * * [misc]simplify: iters left: 6 (6 enodes) 1539342052.644 * * [misc]simplify: iters left: 5 (12 enodes) 1539342052.646 * * [misc]simplify: iters left: 4 (19 enodes) 1539342052.648 * * [misc]simplify: iters left: 3 (21 enodes) 1539342052.651 * * [misc]simplify: iters left: 2 (26 enodes) 1539342052.654 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1539342052.654 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1539342052.654 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1539342052.654 * * [misc]simplify: iters left: 5 (6 enodes) 1539342052.655 * * [misc]simplify: iters left: 4 (11 enodes) 1539342052.656 * * [misc]simplify: iters left: 3 (12 enodes) 1539342052.658 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1539342052.658 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1539342052.658 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1539342052.658 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1539342052.658 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.659 * * [misc]simplify: iters left: 5 (15 enodes) 1539342052.661 * * [misc]simplify: iters left: 4 (16 enodes) 1539342052.663 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1539342052.663 * [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)))))))) 1539342052.663 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1539342052.663 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.664 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.666 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.667 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1539342052.668 * [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)))))))) 1539342052.668 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1539342052.668 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342052.668 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.669 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.670 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.672 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342052.672 * [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)))))))) 1539342052.672 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342052.672 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.673 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.674 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.677 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342052.677 * [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)))))))) 1539342052.677 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1539342052.678 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) 1) 1539342052.678 * * [misc]simplify: iters left: 5 (5 enodes) 1539342052.679 * * [misc]simplify: iters left: 4 (9 enodes) 1539342052.682 * * [misc]simplify: iters left: 3 (12 enodes) 1539342052.686 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342052.686 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1539342052.687 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1539342052.687 * * [misc]simplify: iters left: 5 (6 enodes) 1539342052.689 * * [misc]simplify: iters left: 4 (11 enodes) 1539342052.691 * * [misc]simplify: iters left: 3 (12 enodes) 1539342052.694 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1539342052.695 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1539342052.695 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1539342052.695 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1539342052.695 * * [misc]simplify: iters left: 6 (6 enodes) 1539342052.697 * * [misc]simplify: iters left: 5 (11 enodes) 1539342052.700 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) 1539342052.700 * [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)))))))) 1539342052.700 * [enter]simplify: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1539342052.701 * * [misc]simplify: iters left: 5 (6 enodes) 1539342052.703 * * [misc]simplify: iters left: 4 (14 enodes) 1539342052.706 * * [misc]simplify: iters left: 3 (17 enodes) 1539342052.711 * * [misc]simplify: iters left: 2 (19 enodes) 1539342052.715 * [exit]simplify: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1539342052.715 * [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)))))))) 1539342052.715 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1539342052.716 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 x))) 1539342052.716 * * [misc]simplify: iters left: 5 (5 enodes) 1539342052.717 * * [misc]simplify: iters left: 4 (8 enodes) 1539342052.719 * [exit]simplify: Simplified to (/ 1 (sqrt (+ x 1))) 1539342052.719 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1539342052.720 * [enter]simplify: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1539342052.720 * * [misc]simplify: iters left: 5 (6 enodes) 1539342052.722 * * [misc]simplify: iters left: 4 (14 enodes) 1539342052.726 * * [misc]simplify: iters left: 3 (17 enodes) 1539342052.728 * * [misc]simplify: iters left: 2 (19 enodes) 1539342052.731 * [exit]simplify: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1539342052.731 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1539342052.731 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1539342052.731 * [enter]simplify: Simplifying (/ 1 1) 1539342052.731 * * [misc]simplify: iters left: 2 (2 enodes) 1539342052.731 * * [misc]simplify: iters left: 1 (4 enodes) 1539342052.732 * [exit]simplify: Simplified to 1 1539342052.732 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1539342052.732 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1539342052.732 * * [misc]simplify: iters left: 4 (5 enodes) 1539342052.733 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.735 * * [misc]simplify: iters left: 2 (16 enodes) 1539342052.737 * * [misc]simplify: iters left: 1 (18 enodes) 1539342052.739 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1539342052.739 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1539342052.739 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate # 1539342052.739 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1539342052.739 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1539342052.739 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1539342052.739 * [enter]simplify: Simplifying (cbrt (+ 1 x)) 1539342052.739 * * [misc]simplify: iters left: 3 (4 enodes) 1539342052.740 * * [misc]simplify: iters left: 2 (7 enodes) 1539342052.741 * [exit]simplify: Simplified to (cbrt (+ x 1)) 1539342052.741 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1539342052.741 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1539342052.741 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1539342052.741 * * [misc]simplify: iters left: 3 (4 enodes) 1539342052.742 * * [misc]simplify: iters left: 2 (7 enodes) 1539342052.742 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1539342052.742 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1539342052.742 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1539342052.743 * [enter]simplify: Simplifying (+ 1 x) 1539342052.743 * * [misc]simplify: iters left: 2 (3 enodes) 1539342052.743 * * [misc]simplify: iters left: 1 (6 enodes) 1539342052.744 * [exit]simplify: Simplified to (+ x 1) 1539342052.744 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1539342052.744 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1539342052.744 * [enter]simplify: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1539342052.744 * * [misc]simplify: iters left: 5 (5 enodes) 1539342052.745 * * [misc]simplify: iters left: 4 (9 enodes) 1539342052.746 * * [misc]simplify: iters left: 3 (10 enodes) 1539342052.747 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1539342052.747 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1539342052.747 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1539342052.747 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1539342052.747 * * [misc]simplify: iters left: 3 (4 enodes) 1539342052.748 * * [misc]simplify: iters left: 2 (8 enodes) 1539342052.749 * * [misc]simplify: iters left: 1 (9 enodes) 1539342052.750 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342052.750 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1539342052.750 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1539342052.750 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1539342052.750 * [enter]simplify: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1539342052.750 * * [misc]simplify: iters left: 6 (7 enodes) 1539342052.752 * * [misc]simplify: iters left: 5 (14 enodes) 1539342052.754 * * [misc]simplify: iters left: 4 (25 enodes) 1539342052.758 * * [misc]simplify: iters left: 3 (37 enodes) 1539342052.762 * * [misc]simplify: iters left: 2 (41 enodes) 1539342052.767 * * [misc]simplify: iters left: 1 (54 enodes) 1539342052.773 * [exit]simplify: Simplified to (- (* x x) (- x 1)) 1539342052.773 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (- (* x x) (- x 1))))))) 1539342052.773 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1539342052.773 * [enter]simplify: Simplifying (- 1 x) 1539342052.773 * * [misc]simplify: iters left: 2 (3 enodes) 1539342052.773 * * [misc]simplify: iters left: 1 (7 enodes) 1539342052.774 * [exit]simplify: Simplified to (- 1 x) 1539342052.774 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1539342052.774 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1539342052.774 * [enter]simplify: Simplifying (- (pow 1 3) (pow x 3)) 1539342052.774 * * [misc]simplify: iters left: 3 (6 enodes) 1539342052.776 * * [misc]simplify: iters left: 2 (15 enodes) 1539342052.778 * * [misc]simplify: iters left: 1 (22 enodes) 1539342052.780 * [exit]simplify: Simplified to (- 1 (pow x 3)) 1539342052.780 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (pow x 3)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1539342052.780 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1539342052.781 * [enter]simplify: Simplifying (- (* 1 1) (* x x)) 1539342052.781 * * [misc]simplify: iters left: 4 (5 enodes) 1539342052.781 * * [misc]simplify: iters left: 3 (9 enodes) 1539342052.783 * * [misc]simplify: iters left: 2 (13 enodes) 1539342052.785 * [exit]simplify: Simplified to (- 1 (* x x)) 1539342052.785 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1539342052.785 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1539342052.786 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1539342052.787 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1539342052.787 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.789 * * [misc]simplify: iters left: 5 (17 enodes) 1539342052.793 * * [misc]simplify: iters left: 4 (20 enodes) 1539342052.798 * * [misc]simplify: iters left: 3 (22 enodes) 1539342052.803 * [exit]simplify: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1539342052.803 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1539342052.803 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1539342052.803 * [enter]simplify: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1539342052.803 * * [misc]simplify: iters left: 6 (7 enodes) 1539342052.805 * * [misc]simplify: iters left: 5 (15 enodes) 1539342052.809 * * [misc]simplify: iters left: 4 (18 enodes) 1539342052.814 * * [misc]simplify: iters left: 3 (20 enodes) 1539342052.819 * [exit]simplify: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1539342052.819 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1539342052.819 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate # 1539342052.819 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342052.819 * * [misc]simplify: iters left: 6 (10 enodes) 1539342052.823 * * [misc]simplify: iters left: 5 (21 enodes) 1539342052.829 * * [misc]simplify: iters left: 4 (32 enodes) 1539342052.838 * * [misc]simplify: iters left: 3 (35 enodes) 1539342052.846 * * [misc]simplify: iters left: 2 (38 enodes) 1539342052.856 * [exit]simplify: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1539342052.856 * [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)))))))) 1539342052.856 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1539342052.857 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1539342052.857 * * [misc]simplify: iters left: 6 (9 enodes) 1539342052.860 * * [misc]simplify: iters left: 5 (16 enodes) 1539342052.864 * * [misc]simplify: iters left: 4 (19 enodes) 1539342052.869 * * [misc]simplify: iters left: 3 (20 enodes) 1539342052.874 * [exit]simplify: Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) 1539342052.874 * [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)))))))) 1539342052.874 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1539342052.874 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1539342052.875 * * [misc]simplify: iters left: 6 (7 enodes) 1539342052.877 * * [misc]simplify: iters left: 5 (13 enodes) 1539342052.881 * * [misc]simplify: iters left: 4 (21 enodes) 1539342052.886 * * [misc]simplify: iters left: 3 (23 enodes) 1539342052.889 * * [misc]simplify: iters left: 2 (28 enodes) 1539342052.892 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1539342052.892 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1539342052.892 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1539342052.893 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342052.893 * * [misc]simplify: iters left: 6 (9 enodes) 1539342052.894 * * [misc]simplify: iters left: 5 (16 enodes) 1539342052.896 * * [misc]simplify: iters left: 4 (17 enodes) 1539342052.898 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1539342052.898 * [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)))))))) 1539342052.898 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1539342052.899 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1539342052.899 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.900 * * [misc]simplify: iters left: 5 (13 enodes) 1539342052.902 * * [misc]simplify: iters left: 4 (14 enodes) 1539342052.904 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1539342052.904 * [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)))))))) 1539342052.904 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1539342052.904 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1539342052.904 * * [misc]simplify: iters left: 6 (6 enodes) 1539342052.905 * * [misc]simplify: iters left: 5 (10 enodes) 1539342052.906 * * [misc]simplify: iters left: 4 (13 enodes) 1539342052.908 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342052.908 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1539342052.908 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1539342052.908 * [enter]simplify: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342052.908 * * [misc]simplify: iters left: 6 (7 enodes) 1539342052.909 * * [misc]simplify: iters left: 5 (12 enodes) 1539342052.911 * [exit]simplify: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1539342052.911 * [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)))))))) 1539342052.911 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1539342052.911 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1539342052.911 * * [misc]simplify: iters left: 6 (6 enodes) 1539342052.912 * * [misc]simplify: iters left: 5 (9 enodes) 1539342052.913 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1539342052.913 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1539342052.913 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1539342052.913 * [enter]simplify: Simplifying (sqrt (/ 1 1)) 1539342052.913 * * [misc]simplify: iters left: 3 (3 enodes) 1539342052.914 * * [misc]simplify: iters left: 2 (5 enodes) 1539342052.915 * [exit]simplify: Simplified to 1 1539342052.915 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1539342052.915 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1539342052.915 * [enter]simplify: Simplifying (sqrt 1) 1539342052.915 * * [misc]simplify: iters left: 1 (2 enodes) 1539342052.917 * [exit]simplify: Simplified to 1 1539342052.917 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1539342052.917 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1539342052.917 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1539342052.917 * * [misc]simplify: iters left: 3 (4 enodes) 1539342052.918 * * [misc]simplify: iters left: 2 (8 enodes) 1539342052.919 * * [misc]simplify: iters left: 1 (9 enodes) 1539342052.920 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342052.920 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1539342052.920 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate # 1539342052.920 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1539342052.920 * * [misc]simplify: iters left: 6 (9 enodes) 1539342052.922 * * [misc]simplify: iters left: 5 (22 enodes) 1539342052.925 * * [misc]simplify: iters left: 4 (25 enodes) 1539342052.928 * * [misc]simplify: iters left: 3 (27 enodes) 1539342052.931 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ (pow x 3) 1))) 1539342052.931 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ (pow x 3) 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1539342052.931 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1539342052.931 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1539342052.931 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.932 * * [misc]simplify: iters left: 5 (17 enodes) 1539342052.934 * * [misc]simplify: iters left: 4 (23 enodes) 1539342052.937 * * [misc]simplify: iters left: 3 (25 enodes) 1539342052.940 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1539342052.940 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1539342052.940 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1539342052.940 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1539342052.941 * * [misc]simplify: iters left: 3 (4 enodes) 1539342052.941 * * [misc]simplify: iters left: 2 (8 enodes) 1539342052.942 * * [misc]simplify: iters left: 1 (9 enodes) 1539342052.943 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342052.943 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1539342052.943 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1539342052.943 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1539342052.943 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1539342052.944 * * [misc]simplify: iters left: 5 (6 enodes) 1539342052.946 * * [misc]simplify: iters left: 4 (14 enodes) 1539342052.949 * * [misc]simplify: iters left: 3 (17 enodes) 1539342052.951 * * [misc]simplify: iters left: 2 (19 enodes) 1539342052.953 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1539342052.953 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1539342052.953 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1539342052.953 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342052.953 * * [misc]simplify: iters left: 5 (7 enodes) 1539342052.954 * * [misc]simplify: iters left: 4 (12 enodes) 1539342052.956 * * [misc]simplify: iters left: 3 (13 enodes) 1539342052.957 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342052.957 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1539342052.957 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1539342052.957 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1539342052.958 * [enter]simplify: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1539342052.958 * * [misc]simplify: iters left: 6 (8 enodes) 1539342052.959 * * [misc]simplify: iters left: 5 (18 enodes) 1539342052.962 * * [misc]simplify: iters left: 4 (35 enodes) 1539342052.971 * * [misc]simplify: iters left: 3 (48 enodes) 1539342052.985 * * [misc]simplify: iters left: 2 (62 enodes) 1539342053.001 * * [misc]simplify: iters left: 1 (77 enodes) 1539342053.014 * [exit]simplify: Simplified to (- (+ 1 (* -2 x)) (* -2 (* x x))) 1539342053.014 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ 1 (* -2 x)) (* -2 (* x x))))))) 1539342053.014 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1539342053.014 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1539342053.014 * * [misc]simplify: iters left: 6 (10 enodes) 1539342053.016 * * [misc]simplify: iters left: 5 (23 enodes) 1539342053.021 * * [misc]simplify: iters left: 4 (38 enodes) 1539342053.028 * * [misc]simplify: iters left: 3 (74 enodes) 1539342053.048 * * [misc]simplify: iters left: 2 (110 enodes) 1539342053.075 * * [misc]simplify: iters left: 1 (142 enodes) 1539342053.122 * [exit]simplify: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1539342053.122 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1539342053.122 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1539342053.122 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1539342053.123 * * [misc]simplify: iters left: 6 (10 enodes) 1539342053.127 * * [misc]simplify: iters left: 5 (23 enodes) 1539342053.137 * * [misc]simplify: iters left: 4 (38 enodes) 1539342053.152 * * [misc]simplify: iters left: 3 (74 enodes) 1539342053.179 * * [misc]simplify: iters left: 2 (110 enodes) 1539342053.205 * * [misc]simplify: iters left: 1 (142 enodes) 1539342053.246 * [exit]simplify: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1539342053.246 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1539342053.246 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1539342053.246 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1539342053.246 * * [misc]simplify: iters left: 6 (8 enodes) 1539342053.247 * * [misc]simplify: iters left: 5 (17 enodes) 1539342053.250 * * [misc]simplify: iters left: 4 (29 enodes) 1539342053.254 * * [misc]simplify: iters left: 3 (37 enodes) 1539342053.259 * * [misc]simplify: iters left: 2 (39 enodes) 1539342053.264 * * [misc]simplify: iters left: 1 (53 enodes) 1539342053.271 * [exit]simplify: Simplified to (- (* (* x x) 1/2) (- x 1)) 1539342053.271 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (- (* (* x x) 1/2) (- x 1))))) 1539342053.271 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1539342053.272 * [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)))))) 1539342053.272 * * [misc]simplify: iters left: 6 (19 enodes) 1539342053.275 * * [misc]simplify: iters left: 5 (44 enodes) 1539342053.283 * * [misc]simplify: iters left: 4 (87 enodes) 1539342053.301 * * [misc]simplify: iters left: 3 (180 enodes) 1539342053.352 * * [misc]simplify: iters left: 2 (316 enodes) 1539342053.522 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1539342053.522 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1539342053.522 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1539342053.522 * [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)))))) 1539342053.522 * * [misc]simplify: iters left: 6 (19 enodes) 1539342053.533 * * [misc]simplify: iters left: 5 (44 enodes) 1539342053.548 * * [misc]simplify: iters left: 4 (87 enodes) 1539342053.585 * * [misc]simplify: iters left: 3 (180 enodes) 1539342053.650 * * [misc]simplify: iters left: 2 (316 enodes) 1539342053.806 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1539342053.806 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1539342053.806 * * * [misc]progress: adding candidates to table 1539342054.430 * * [misc]progress: iteration 2 / 4 1539342054.430 * * * [misc]progress: picking best candidate 1539342054.435 * * * * [misc]pick: Picked # 1539342054.436 * * * [misc]progress: localizing error 1539342054.465 * * * [misc]progress: generating rewritten candidates 1539342054.466 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2 1) 1539342054.475 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2 1 1) 1539342054.478 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1 2) 1539342054.478 * * * [misc]progress: generating series expansions 1539342054.479 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2 1) 1539342054.479 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1539342054.479 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1539342054.479 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1539342054.479 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342054.479 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342054.479 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.479 * [misc]backup-simplify: Simplify 1 into 1 1539342054.479 * [misc]taylor: Taking taylor expansion of x in x 1539342054.479 * [misc]backup-simplify: Simplify 0 into 0 1539342054.479 * [misc]backup-simplify: Simplify 1 into 1 1539342054.479 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342054.479 * [misc]taylor: Taking taylor expansion of x in x 1539342054.479 * [misc]backup-simplify: Simplify 0 into 0 1539342054.479 * [misc]backup-simplify: Simplify 1 into 1 1539342054.479 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.479 * [misc]backup-simplify: Simplify 1 into 1 1539342054.479 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.479 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.479 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.479 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.480 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.480 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.480 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.480 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.480 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1539342054.480 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1539342054.480 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1539342054.480 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1539342054.480 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342054.480 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.480 * [misc]backup-simplify: Simplify 1 into 1 1539342054.480 * [misc]taylor: Taking taylor expansion of x in x 1539342054.480 * [misc]backup-simplify: Simplify 0 into 0 1539342054.480 * [misc]backup-simplify: Simplify 1 into 1 1539342054.480 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342054.480 * [misc]taylor: Taking taylor expansion of x in x 1539342054.480 * [misc]backup-simplify: Simplify 0 into 0 1539342054.480 * [misc]backup-simplify: Simplify 1 into 1 1539342054.480 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.480 * [misc]backup-simplify: Simplify 1 into 1 1539342054.481 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.481 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.481 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.481 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.481 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.481 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.481 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.481 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.481 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1539342054.481 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1539342054.482 * [misc]backup-simplify: Simplify 1 into 1 1539342054.482 * [misc]backup-simplify: Simplify -1 into -1 1539342054.482 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.482 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1539342054.483 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1539342054.483 * [misc]backup-simplify: Simplify 1/2 into 1/2 1539342054.483 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1539342054.483 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 x))) (sqrt (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1539342054.483 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1539342054.483 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1539342054.483 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342054.483 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.483 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.483 * [misc]backup-simplify: Simplify 1 into 1 1539342054.483 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.483 * [misc]taylor: Taking taylor expansion of x in x 1539342054.483 * [misc]backup-simplify: Simplify 0 into 0 1539342054.483 * [misc]backup-simplify: Simplify 1 into 1 1539342054.484 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.484 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.484 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.484 * [misc]taylor: Taking taylor expansion of x in x 1539342054.484 * [misc]backup-simplify: Simplify 0 into 0 1539342054.484 * [misc]backup-simplify: Simplify 1 into 1 1539342054.484 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.484 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.484 * [misc]backup-simplify: Simplify 1 into 1 1539342054.484 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.484 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.484 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.484 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342054.484 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.484 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.485 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.485 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.485 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.485 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.485 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1539342054.485 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1539342054.485 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1539342054.485 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1539342054.485 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.485 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.485 * [misc]backup-simplify: Simplify 1 into 1 1539342054.485 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.485 * [misc]taylor: Taking taylor expansion of x in x 1539342054.485 * [misc]backup-simplify: Simplify 0 into 0 1539342054.485 * [misc]backup-simplify: Simplify 1 into 1 1539342054.486 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.486 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.486 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.486 * [misc]taylor: Taking taylor expansion of x in x 1539342054.486 * [misc]backup-simplify: Simplify 0 into 0 1539342054.486 * [misc]backup-simplify: Simplify 1 into 1 1539342054.486 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.486 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.486 * [misc]backup-simplify: Simplify 1 into 1 1539342054.486 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.486 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.486 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.486 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539342054.486 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.486 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.487 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.487 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.487 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.487 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.487 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1539342054.487 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1539342054.488 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.488 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1539342054.488 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.488 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.488 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.489 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1539342054.490 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1539342054.491 * [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))) 1539342054.493 * [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)))))) 1539342054.493 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 (- x)))) (sqrt (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1539342054.493 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1539342054.493 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of x in x 1539342054.493 * [misc]backup-simplify: Simplify 0 into 0 1539342054.493 * [misc]backup-simplify: Simplify 1 into 1 1539342054.493 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.493 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.493 * [misc]backup-simplify: Simplify 1 into 1 1539342054.493 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.493 * [misc]backup-simplify: Simplify 1 into 1 1539342054.493 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.493 * [misc]taylor: Taking taylor expansion of x in x 1539342054.493 * [misc]backup-simplify: Simplify 0 into 0 1539342054.493 * [misc]backup-simplify: Simplify 1 into 1 1539342054.493 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.493 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.493 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.494 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.494 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342054.494 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.494 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.494 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.494 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.494 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.494 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.495 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1539342054.495 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1539342054.495 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of x in x 1539342054.495 * [misc]backup-simplify: Simplify 0 into 0 1539342054.495 * [misc]backup-simplify: Simplify 1 into 1 1539342054.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.495 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.495 * [misc]backup-simplify: Simplify 1 into 1 1539342054.495 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.495 * [misc]backup-simplify: Simplify 1 into 1 1539342054.495 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.495 * [misc]taylor: Taking taylor expansion of x in x 1539342054.495 * [misc]backup-simplify: Simplify 0 into 0 1539342054.495 * [misc]backup-simplify: Simplify 1 into 1 1539342054.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.495 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.496 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.496 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.496 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1539342054.496 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.496 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.496 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.496 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.496 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.496 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.497 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1539342054.497 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1539342054.497 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539342054.497 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1539342054.497 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.498 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.498 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.498 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1539342054.499 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1539342054.500 * [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))) 1539342054.502 * [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)))))) 1539342054.502 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2 1 1) 1539342054.502 * [misc]backup-simplify: Simplify (sqrt (- 1 x)) into (sqrt (- 1 x)) 1539342054.502 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 x)) in (x) around 0 1539342054.502 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 x)) in x 1539342054.502 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342054.502 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.502 * [misc]backup-simplify: Simplify 1 into 1 1539342054.502 * [misc]taylor: Taking taylor expansion of x in x 1539342054.502 * [misc]backup-simplify: Simplify 0 into 0 1539342054.502 * [misc]backup-simplify: Simplify 1 into 1 1539342054.502 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.503 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.503 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.503 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.503 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.503 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1539342054.503 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 x)) in x 1539342054.503 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1539342054.503 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.503 * [misc]backup-simplify: Simplify 1 into 1 1539342054.503 * [misc]taylor: Taking taylor expansion of x in x 1539342054.503 * [misc]backup-simplify: Simplify 0 into 0 1539342054.503 * [misc]backup-simplify: Simplify 1 into 1 1539342054.503 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.503 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.504 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.504 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.504 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.504 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1539342054.504 * [misc]backup-simplify: Simplify 1 into 1 1539342054.504 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539342054.504 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.504 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.505 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8 1539342054.505 * [misc]backup-simplify: Simplify -1/8 into -1/8 1539342054.505 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 2)) (+ (* -1/2 x) 1)) into (- 1 (+ (* 1/2 x) (* 1/8 (pow x 2)))) 1539342054.505 * [misc]backup-simplify: Simplify (sqrt (- 1 (/ 1 x))) into (sqrt (- 1 (/ 1 x))) 1539342054.505 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1539342054.505 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1539342054.505 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.505 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.505 * [misc]backup-simplify: Simplify 1 into 1 1539342054.505 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.505 * [misc]taylor: Taking taylor expansion of x in x 1539342054.505 * [misc]backup-simplify: Simplify 0 into 0 1539342054.505 * [misc]backup-simplify: Simplify 1 into 1 1539342054.506 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.506 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.506 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.506 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.506 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539342054.506 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1539342054.506 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.506 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.506 * [misc]backup-simplify: Simplify 1 into 1 1539342054.506 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.506 * [misc]taylor: Taking taylor expansion of x in x 1539342054.506 * [misc]backup-simplify: Simplify 0 into 0 1539342054.506 * [misc]backup-simplify: Simplify 1 into 1 1539342054.507 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.507 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.507 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.507 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.507 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539342054.507 * [misc]backup-simplify: Simplify 0 into 0 1539342054.507 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.507 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.508 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.508 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539342054.508 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.509 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.509 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539342054.509 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.510 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342054.510 * [misc]backup-simplify: Simplify (sqrt (- 1 (/ 1 (- x)))) into (sqrt (+ (/ 1 x) 1)) 1539342054.510 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1539342054.510 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1539342054.510 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.510 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.510 * [misc]taylor: Taking taylor expansion of x in x 1539342054.510 * [misc]backup-simplify: Simplify 0 into 0 1539342054.510 * [misc]backup-simplify: Simplify 1 into 1 1539342054.510 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.510 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.510 * [misc]backup-simplify: Simplify 1 into 1 1539342054.510 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.510 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.511 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539342054.511 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1539342054.511 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.511 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.511 * [misc]taylor: Taking taylor expansion of x in x 1539342054.511 * [misc]backup-simplify: Simplify 0 into 0 1539342054.511 * [misc]backup-simplify: Simplify 1 into 1 1539342054.511 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.511 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.511 * [misc]backup-simplify: Simplify 1 into 1 1539342054.511 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.511 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.511 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539342054.511 * [misc]backup-simplify: Simplify 0 into 0 1539342054.511 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.512 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.512 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.512 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539342054.512 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.513 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.513 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539342054.513 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.514 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342054.514 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1 2) 1539342054.514 * [misc]backup-simplify: Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1)) 1539342054.514 * [misc]approximate: Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0 1539342054.514 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1539342054.514 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342054.514 * [misc]taylor: Taking taylor expansion of x in x 1539342054.514 * [misc]backup-simplify: Simplify 0 into 0 1539342054.514 * [misc]backup-simplify: Simplify 1 into 1 1539342054.514 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.514 * [misc]backup-simplify: Simplify 1 into 1 1539342054.514 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.514 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.514 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.514 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1539342054.514 * [misc]taylor: Taking taylor expansion of (sqrt (+ x 1)) in x 1539342054.514 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539342054.514 * [misc]taylor: Taking taylor expansion of x in x 1539342054.514 * [misc]backup-simplify: Simplify 0 into 0 1539342054.514 * [misc]backup-simplify: Simplify 1 into 1 1539342054.514 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.514 * [misc]backup-simplify: Simplify 1 into 1 1539342054.515 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.515 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539342054.515 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.515 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1539342054.515 * [misc]backup-simplify: Simplify 1 into 1 1539342054.515 * [misc]backup-simplify: Simplify 1/2 into 1/2 1539342054.515 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.516 * [misc]backup-simplify: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 1539342054.516 * [misc]backup-simplify: Simplify -1/8 into -1/8 1539342054.516 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1539342054.516 * [misc]backup-simplify: Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1)) 1539342054.516 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1539342054.516 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1539342054.516 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.516 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.516 * [misc]taylor: Taking taylor expansion of x in x 1539342054.516 * [misc]backup-simplify: Simplify 0 into 0 1539342054.516 * [misc]backup-simplify: Simplify 1 into 1 1539342054.516 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.516 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.516 * [misc]backup-simplify: Simplify 1 into 1 1539342054.516 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.517 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.517 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539342054.517 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1539342054.517 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1539342054.517 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.517 * [misc]taylor: Taking taylor expansion of x in x 1539342054.517 * [misc]backup-simplify: Simplify 0 into 0 1539342054.517 * [misc]backup-simplify: Simplify 1 into 1 1539342054.517 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.517 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.517 * [misc]backup-simplify: Simplify 1 into 1 1539342054.517 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.517 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.518 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539342054.518 * [misc]backup-simplify: Simplify 0 into 0 1539342054.518 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.518 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.518 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539342054.519 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539342054.519 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.519 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.519 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.520 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539342054.520 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.520 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342054.520 * [misc]backup-simplify: Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x))) 1539342054.520 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1539342054.520 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1539342054.520 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.520 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.520 * [misc]backup-simplify: Simplify 1 into 1 1539342054.520 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.520 * [misc]taylor: Taking taylor expansion of x in x 1539342054.520 * [misc]backup-simplify: Simplify 0 into 0 1539342054.520 * [misc]backup-simplify: Simplify 1 into 1 1539342054.520 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.520 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.520 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.520 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.521 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539342054.521 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1539342054.521 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1539342054.521 * [misc]taylor: Taking taylor expansion of 1 in x 1539342054.521 * [misc]backup-simplify: Simplify 1 into 1 1539342054.521 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539342054.521 * [misc]taylor: Taking taylor expansion of x in x 1539342054.521 * [misc]backup-simplify: Simplify 0 into 0 1539342054.521 * [misc]backup-simplify: Simplify 1 into 1 1539342054.521 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539342054.521 * [misc]backup-simplify: Simplify (- 1) into -1 1539342054.521 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539342054.521 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539342054.522 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539342054.522 * [misc]backup-simplify: Simplify 0 into 0 1539342054.522 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.522 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539342054.522 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.522 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539342054.523 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539342054.523 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.523 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539342054.523 * [misc]backup-simplify: Simplify (- 0) into 0 1539342054.523 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539342054.524 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539342054.524 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539342054.524 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342054.524 * * * [misc]progress: simplifying candidates 1539342054.524 * * * * [misc]progress: [ 1 / 102 ] simplifiying candidate # 1539342054.524 * * * * [misc]progress: [ 2 / 102 ] simplifiying candidate # 1539342054.524 * [enter]simplify: Simplifying (- (log (sqrt (- 1 x))) (log (sqrt (+ 1 x)))) 1539342054.524 * * [misc]simplify: iters left: 6 (9 enodes) 1539342054.526 * * [misc]simplify: iters left: 5 (16 enodes) 1539342054.528 * * [misc]simplify: iters left: 4 (18 enodes) 1539342054.530 * [exit]simplify: Simplified to (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))) 1539342054.530 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (exp (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))))))) 1539342054.530 * * * * [misc]progress: [ 3 / 102 ] simplifiying candidate # 1539342054.530 * * * * [misc]progress: [ 4 / 102 ] simplifiying candidate # 1539342054.530 * * * * [misc]progress: [ 5 / 102 ] simplifiying candidate # 1539342054.530 * [enter]simplify: Simplifying (/ (* (* (sqrt (- 1 x)) (sqrt (- 1 x))) (sqrt (- 1 x))) (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))) 1539342054.530 * * [misc]simplify: iters left: 6 (11 enodes) 1539342054.532 * * [misc]simplify: iters left: 5 (25 enodes) 1539342054.538 * * [misc]simplify: iters left: 4 (76 enodes) 1539342054.567 * * [misc]simplify: iters left: 3 (152 enodes) 1539342054.634 * * [misc]simplify: iters left: 2 (494 enodes) 1539342055.677 * [exit]simplify: Simplified to (/ (/ (- 1 x) (+ x 1)) (/ (sqrt (+ x 1)) (sqrt (- 1 x)))) 1539342055.677 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (cbrt (/ (/ (- 1 x) (+ x 1)) (/ (sqrt (+ x 1)) (sqrt (- 1 x)))))))) 1539342055.677 * * * * [misc]progress: [ 6 / 102 ] simplifiying candidate # 1539342055.677 * * * * [misc]progress: [ 7 / 102 ] simplifiying candidate # 1539342055.677 * * * * [misc]progress: [ 8 / 102 ] simplifiying candidate # 1539342055.677 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1539342055.677 * * [misc]simplify: iters left: 4 (5 enodes) 1539342055.679 * * [misc]simplify: iters left: 3 (13 enodes) 1539342055.683 * * [misc]simplify: iters left: 2 (16 enodes) 1539342055.687 * * [misc]simplify: iters left: 1 (18 enodes) 1539342055.691 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1539342055.691 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ x 1)))))) 1539342055.691 * * * * [misc]progress: [ 9 / 102 ] simplifiying candidate # 1539342055.691 * * * * [misc]progress: [ 10 / 102 ] simplifiying candidate # 1539342055.691 * * * * [misc]progress: [ 11 / 102 ] simplifiying candidate # 1539342055.691 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342055.692 * * [misc]simplify: iters left: 6 (11 enodes) 1539342055.695 * * [misc]simplify: iters left: 5 (22 enodes) 1539342055.701 * * [misc]simplify: iters left: 4 (32 enodes) 1539342055.710 * * [misc]simplify: iters left: 3 (35 enodes) 1539342055.718 * * [misc]simplify: iters left: 2 (38 enodes) 1539342055.728 * [exit]simplify: Simplified to (* (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1))))) 1539342055.728 * [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)))))))) 1539342055.728 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1539342055.728 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.731 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.735 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.738 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1539342055.738 * [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)))))))) 1539342055.739 * * * * [misc]progress: [ 12 / 102 ] simplifiying candidate # 1539342055.739 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342055.739 * * [misc]simplify: iters left: 6 (11 enodes) 1539342055.742 * * [misc]simplify: iters left: 5 (19 enodes) 1539342055.747 * * [misc]simplify: iters left: 4 (22 enodes) 1539342055.752 * * [misc]simplify: iters left: 3 (23 enodes) 1539342055.755 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) 1539342055.755 * [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)))))))) 1539342055.755 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1539342055.755 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.756 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.758 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.760 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1539342055.760 * [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)))))))) 1539342055.760 * * * * [misc]progress: [ 13 / 102 ] simplifiying candidate # 1539342055.760 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1539342055.760 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.762 * * [misc]simplify: iters left: 5 (17 enodes) 1539342055.764 * * [misc]simplify: iters left: 4 (20 enodes) 1539342055.766 * * [misc]simplify: iters left: 3 (21 enodes) 1539342055.769 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1539342055.769 * [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)))))))) 1539342055.769 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.769 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.770 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.772 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.774 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.774 * [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)))))))) 1539342055.774 * * * * [misc]progress: [ 14 / 102 ] simplifiying candidate # 1539342055.774 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt 1)) 1539342055.774 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.776 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.778 * * [misc]simplify: iters left: 4 (17 enodes) 1539342055.780 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1539342055.780 * [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))))))) 1539342055.780 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.780 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.781 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.784 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.785 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342055.785 * [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))))))) 1539342055.785 * * * * [misc]progress: [ 15 / 102 ] simplifiying candidate # 1539342055.786 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1539342055.786 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.787 * * [misc]simplify: iters left: 5 (17 enodes) 1539342055.789 * * [misc]simplify: iters left: 4 (20 enodes) 1539342055.792 * * [misc]simplify: iters left: 3 (21 enodes) 1539342055.798 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1539342055.798 * [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)))))))) 1539342055.798 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.798 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.801 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.805 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.809 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.809 * [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)))))))) 1539342055.809 * * * * [misc]progress: [ 16 / 102 ] simplifiying candidate # 1539342055.809 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1) 1539342055.809 * * [misc]simplify: iters left: 6 (7 enodes) 1539342055.812 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.816 * * [misc]simplify: iters left: 4 (20 enodes) 1539342055.821 * * [misc]simplify: iters left: 3 (34 enodes) 1539342055.830 * * [misc]simplify: iters left: 2 (60 enodes) 1539342055.846 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1539342055.846 * [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))))))) 1539342055.846 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.846 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.849 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.852 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.855 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342055.855 * [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))))))) 1539342055.855 * * * * [misc]progress: [ 17 / 102 ] simplifiying candidate # 1539342055.855 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342055.856 * * [misc]simplify: iters left: 6 (11 enodes) 1539342055.859 * * [misc]simplify: iters left: 5 (19 enodes) 1539342055.864 * * [misc]simplify: iters left: 4 (20 enodes) 1539342055.868 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1539342055.869 * [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)))))))) 1539342055.869 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1539342055.869 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.871 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.873 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.875 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1539342055.875 * [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)))))))) 1539342055.875 * * * * [misc]progress: [ 18 / 102 ] simplifiying candidate # 1539342055.875 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342055.875 * * [misc]simplify: iters left: 6 (11 enodes) 1539342055.877 * * [misc]simplify: iters left: 5 (18 enodes) 1539342055.879 * * [misc]simplify: iters left: 4 (19 enodes) 1539342055.881 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1539342055.881 * [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)))))))) 1539342055.881 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1539342055.881 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.883 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.884 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.886 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1539342055.886 * [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)))))))) 1539342055.886 * * * * [misc]progress: [ 19 / 102 ] simplifiying candidate # 1539342055.886 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1539342055.886 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.888 * * [misc]simplify: iters left: 5 (16 enodes) 1539342055.889 * * [misc]simplify: iters left: 4 (17 enodes) 1539342055.891 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.892 * [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)))))))) 1539342055.892 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.892 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.893 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.895 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.897 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.897 * [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)))))))) 1539342055.897 * * * * [misc]progress: [ 20 / 102 ] simplifiying candidate # 1539342055.897 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt 1)) 1539342055.897 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.899 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.901 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.902 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1539342055.902 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342055.902 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.902 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.903 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.905 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.907 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1539342055.907 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))))) 1539342055.907 * * * * [misc]progress: [ 21 / 102 ] simplifiying candidate # 1539342055.907 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1539342055.907 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.909 * * [misc]simplify: iters left: 5 (16 enodes) 1539342055.911 * * [misc]simplify: iters left: 4 (17 enodes) 1539342055.913 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.913 * [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)))))))) 1539342055.913 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.913 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.914 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.916 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.918 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.918 * [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)))))))) 1539342055.918 * * * * [misc]progress: [ 22 / 102 ] simplifiying candidate # 1539342055.918 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1) 1539342055.918 * * [misc]simplify: iters left: 6 (7 enodes) 1539342055.919 * * [misc]simplify: iters left: 5 (12 enodes) 1539342055.921 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.923 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1539342055.923 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342055.923 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.923 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.924 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.926 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.928 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1539342055.928 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))))) 1539342055.928 * * * * [misc]progress: [ 23 / 102 ] simplifiying candidate # 1539342055.928 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342055.928 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.929 * * [misc]simplify: iters left: 5 (17 enodes) 1539342055.931 * * [misc]simplify: iters left: 4 (18 enodes) 1539342055.934 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1539342055.934 * [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)))))))) 1539342055.934 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1539342055.934 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.935 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.937 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.938 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1539342055.938 * [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)))))))) 1539342055.938 * * * * [misc]progress: [ 24 / 102 ] simplifiying candidate # 1539342055.939 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342055.939 * * [misc]simplify: iters left: 6 (10 enodes) 1539342055.940 * * [misc]simplify: iters left: 5 (16 enodes) 1539342055.942 * * [misc]simplify: iters left: 4 (17 enodes) 1539342055.944 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1539342055.944 * [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)))))))) 1539342055.944 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1539342055.944 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.945 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.947 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.949 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1539342055.949 * [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)))))))) 1539342055.949 * * * * [misc]progress: [ 25 / 102 ] simplifiying candidate # 1539342055.949 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.949 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.950 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.952 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.954 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.954 * [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)))))))) 1539342055.954 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.954 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.955 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.957 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.959 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.959 * [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)))))))) 1539342055.959 * * * * [misc]progress: [ 26 / 102 ] simplifiying candidate # 1539342055.959 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1539342055.959 * * [misc]simplify: iters left: 6 (7 enodes) 1539342055.960 * * [misc]simplify: iters left: 5 (11 enodes) 1539342055.961 * * [misc]simplify: iters left: 4 (12 enodes) 1539342055.963 * * [misc]simplify: iters left: 3 (14 enodes) 1539342055.964 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342055.964 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342055.965 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.965 * * [misc]simplify: iters left: 6 (8 enodes) 1539342055.966 * * [misc]simplify: iters left: 5 (13 enodes) 1539342055.967 * * [misc]simplify: iters left: 4 (14 enodes) 1539342055.969 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342055.969 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1539342055.969 * * * * [misc]progress: [ 27 / 102 ] simplifiying candidate # 1539342055.969 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.969 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.971 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.973 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.978 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.979 * [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)))))))) 1539342055.979 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342055.979 * * [misc]simplify: iters left: 6 (9 enodes) 1539342055.982 * * [misc]simplify: iters left: 5 (14 enodes) 1539342055.985 * * [misc]simplify: iters left: 4 (15 enodes) 1539342055.989 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342055.989 * [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)))))))) 1539342055.989 * * * * [misc]progress: [ 28 / 102 ] simplifiying candidate # 1539342055.989 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1539342055.989 * * [misc]simplify: iters left: 6 (6 enodes) 1539342055.991 * * [misc]simplify: iters left: 5 (10 enodes) 1539342055.994 * * [misc]simplify: iters left: 4 (13 enodes) 1539342055.997 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342055.997 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342055.997 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342055.997 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.000 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.003 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.007 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342056.007 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1539342056.007 * * * * [misc]progress: [ 29 / 102 ] simplifiying candidate # 1539342056.007 * [enter]simplify: Simplifying (/ (sqrt 1) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342056.007 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.010 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.013 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.016 * * [misc]simplify: iters left: 3 (16 enodes) 1539342056.020 * * [misc]simplify: iters left: 2 (17 enodes) 1539342056.024 * [exit]simplify: Simplified to (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342056.024 * [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)))))))) 1539342056.025 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1539342056.025 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.027 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.030 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.034 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1539342056.034 * [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)))))))) 1539342056.034 * * * * [misc]progress: [ 30 / 102 ] simplifiying candidate # 1539342056.034 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342056.034 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.037 * * [misc]simplify: iters left: 5 (12 enodes) 1539342056.040 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ 1 x)))) 1539342056.040 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 1539342056.040 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1539342056.040 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.043 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.046 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.050 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1539342056.050 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 1539342056.050 * * * * [misc]progress: [ 31 / 102 ] simplifiying candidate # 1539342056.050 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1539342056.050 * * [misc]simplify: iters left: 6 (7 enodes) 1539342056.053 * * [misc]simplify: iters left: 5 (10 enodes) 1539342056.055 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1539342056.055 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1539342056.055 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1539342056.055 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.058 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.061 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.065 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1539342056.065 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1539342056.065 * * * * [misc]progress: [ 32 / 102 ] simplifiying candidate # 1539342056.065 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt 1)) 1539342056.065 * * [misc]simplify: iters left: 3 (3 enodes) 1539342056.067 * * [misc]simplify: iters left: 2 (5 enodes) 1539342056.068 * [exit]simplify: Simplified to 1 1539342056.068 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1539342056.068 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342056.068 * * [misc]simplify: iters left: 5 (7 enodes) 1539342056.070 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.073 * * [misc]simplify: iters left: 3 (13 enodes) 1539342056.076 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342056.076 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1539342056.076 * * * * [misc]progress: [ 33 / 102 ] simplifiying candidate # 1539342056.077 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1539342056.077 * * [misc]simplify: iters left: 6 (7 enodes) 1539342056.080 * * [misc]simplify: iters left: 5 (10 enodes) 1539342056.082 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1539342056.082 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1539342056.082 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1539342056.082 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.085 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.088 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.091 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1539342056.092 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1539342056.092 * * * * [misc]progress: [ 34 / 102 ] simplifiying candidate # 1539342056.092 * [enter]simplify: Simplifying (/ (sqrt 1) 1) 1539342056.092 * * [misc]simplify: iters left: 3 (3 enodes) 1539342056.094 * * [misc]simplify: iters left: 2 (5 enodes) 1539342056.094 * [exit]simplify: Simplified to 1 1539342056.094 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1539342056.095 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342056.095 * * [misc]simplify: iters left: 5 (7 enodes) 1539342056.097 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.100 * * [misc]simplify: iters left: 3 (13 enodes) 1539342056.103 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342056.103 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1539342056.103 * * * * [misc]progress: [ 35 / 102 ] simplifiying candidate # 1539342056.104 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342056.104 * * [misc]simplify: iters left: 6 (10 enodes) 1539342056.107 * * [misc]simplify: iters left: 5 (17 enodes) 1539342056.111 * * [misc]simplify: iters left: 4 (18 enodes) 1539342056.116 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1539342056.116 * [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)))))))) 1539342056.117 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1539342056.117 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.119 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.123 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.127 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1539342056.128 * [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)))))))) 1539342056.128 * * * * [misc]progress: [ 36 / 102 ] simplifiying candidate # 1539342056.128 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342056.128 * * [misc]simplify: iters left: 6 (10 enodes) 1539342056.131 * * [misc]simplify: iters left: 5 (16 enodes) 1539342056.137 * * [misc]simplify: iters left: 4 (17 enodes) 1539342056.141 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1539342056.141 * [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)))))))) 1539342056.141 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1539342056.141 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.144 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.148 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.151 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1539342056.152 * [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)))))))) 1539342056.152 * * * * [misc]progress: [ 37 / 102 ] simplifiying candidate # 1539342056.152 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342056.152 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.155 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.158 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.162 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342056.162 * [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)))))))) 1539342056.162 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342056.162 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.165 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.169 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.172 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342056.172 * [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)))))))) 1539342056.172 * * * * [misc]progress: [ 38 / 102 ] simplifiying candidate # 1539342056.173 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1539342056.173 * * [misc]simplify: iters left: 6 (7 enodes) 1539342056.176 * * [misc]simplify: iters left: 5 (11 enodes) 1539342056.178 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.181 * * [misc]simplify: iters left: 3 (14 enodes) 1539342056.183 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342056.183 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342056.184 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342056.184 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.185 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.186 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.188 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342056.188 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1539342056.188 * * * * [misc]progress: [ 39 / 102 ] simplifiying candidate # 1539342056.188 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342056.188 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.190 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.191 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.193 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342056.193 * [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)))))))) 1539342056.193 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1539342056.193 * * [misc]simplify: iters left: 6 (9 enodes) 1539342056.195 * * [misc]simplify: iters left: 5 (14 enodes) 1539342056.196 * * [misc]simplify: iters left: 4 (15 enodes) 1539342056.198 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1539342056.198 * [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)))))))) 1539342056.198 * * * * [misc]progress: [ 40 / 102 ] simplifiying candidate # 1539342056.198 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1539342056.198 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.199 * * [misc]simplify: iters left: 5 (10 enodes) 1539342056.201 * * [misc]simplify: iters left: 4 (13 enodes) 1539342056.202 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342056.202 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))))) 1539342056.202 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1539342056.202 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.203 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.205 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.207 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1539342056.207 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))))) 1539342056.207 * * * * [misc]progress: [ 41 / 102 ] simplifiying candidate # 1539342056.207 * [enter]simplify: Simplifying (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1539342056.207 * * [misc]simplify: iters left: 6 (7 enodes) 1539342056.208 * * [misc]simplify: iters left: 5 (12 enodes) 1539342056.209 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) 1539342056.209 * [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)))))))) 1539342056.210 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1539342056.210 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.211 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.212 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.214 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1539342056.214 * [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)))))))) 1539342056.214 * * * * [misc]progress: [ 42 / 102 ] simplifiying candidate # 1539342056.214 * [enter]simplify: Simplifying (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1539342056.214 * * [misc]simplify: iters left: 6 (7 enodes) 1539342056.215 * * [misc]simplify: iters left: 5 (11 enodes) 1539342056.217 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ x 1)))) 1539342056.217 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 1539342056.217 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1539342056.217 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.218 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.219 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.221 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1539342056.221 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 1539342056.221 * * * * [misc]progress: [ 43 / 102 ] simplifiying candidate # 1539342056.221 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1539342056.221 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.222 * * [misc]simplify: iters left: 5 (9 enodes) 1539342056.223 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1539342056.223 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1539342056.223 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1539342056.223 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.225 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.226 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.228 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1539342056.228 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1539342056.228 * * * * [misc]progress: [ 44 / 102 ] simplifiying candidate # 1539342056.228 * [enter]simplify: Simplifying (/ 1 (sqrt 1)) 1539342056.228 * * [misc]simplify: iters left: 3 (3 enodes) 1539342056.229 * * [misc]simplify: iters left: 2 (5 enodes) 1539342056.230 * [exit]simplify: Simplified to 1 1539342056.230 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1539342056.230 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342056.230 * * [misc]simplify: iters left: 5 (7 enodes) 1539342056.231 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.232 * * [misc]simplify: iters left: 3 (13 enodes) 1539342056.234 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342056.234 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1539342056.234 * * * * [misc]progress: [ 45 / 102 ] simplifiying candidate # 1539342056.234 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1539342056.234 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.236 * * [misc]simplify: iters left: 5 (9 enodes) 1539342056.237 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1539342056.237 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 1539342056.237 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1539342056.238 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.239 * * [misc]simplify: iters left: 5 (13 enodes) 1539342056.240 * * [misc]simplify: iters left: 4 (14 enodes) 1539342056.242 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1539342056.242 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 1539342056.242 * * * * [misc]progress: [ 46 / 102 ] simplifiying candidate # 1539342056.242 * [enter]simplify: Simplifying (/ 1 1) 1539342056.242 * * [misc]simplify: iters left: 2 (2 enodes) 1539342056.243 * * [misc]simplify: iters left: 1 (4 enodes) 1539342056.243 * [exit]simplify: Simplified to 1 1539342056.243 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 1539342056.243 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1539342056.243 * * [misc]simplify: iters left: 5 (7 enodes) 1539342056.245 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.248 * * [misc]simplify: iters left: 3 (13 enodes) 1539342056.252 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1539342056.252 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1539342056.252 * * * * [misc]progress: [ 47 / 102 ] simplifiying candidate # 1539342056.252 * * * * [misc]progress: [ 48 / 102 ] simplifiying candidate # 1539342056.252 * * * * [misc]progress: [ 49 / 102 ] simplifiying candidate # 1539342056.252 * * * * [misc]progress: [ 50 / 102 ] simplifiying candidate # 1539342056.253 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 x))) 1539342056.253 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.254 * * [misc]simplify: iters left: 3 (8 enodes) 1539342056.256 * [exit]simplify: Simplified to (cbrt (sqrt (+ x 1))) 1539342056.256 * [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))))))) 1539342056.256 * * * * [misc]progress: [ 51 / 102 ] simplifiying candidate # 1539342056.256 * [enter]simplify: Simplifying (sqrt (cbrt (+ 1 x))) 1539342056.257 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.258 * * [misc]simplify: iters left: 3 (8 enodes) 1539342056.260 * [exit]simplify: Simplified to (sqrt (cbrt (+ x 1))) 1539342056.260 * [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))))))) 1539342056.260 * * * * [misc]progress: [ 52 / 102 ] simplifiying candidate # 1539342056.260 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1539342056.260 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.262 * * [misc]simplify: iters left: 3 (8 enodes) 1539342056.264 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1539342056.264 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 1539342056.264 * * * * [misc]progress: [ 53 / 102 ] simplifiying candidate # 1539342056.264 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1539342056.264 * * [misc]simplify: iters left: 3 (4 enodes) 1539342056.265 * * [misc]simplify: iters left: 2 (7 enodes) 1539342056.267 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1539342056.267 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt 1)) (sqrt (+ x 1)))))) 1539342056.267 * * * * [misc]progress: [ 54 / 102 ] simplifiying candidate # 1539342056.267 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1539342056.267 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.269 * * [misc]simplify: iters left: 3 (8 enodes) 1539342056.270 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1539342056.271 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 1539342056.271 * * * * [misc]progress: [ 55 / 102 ] simplifiying candidate # 1539342056.271 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1539342056.271 * * [misc]simplify: iters left: 3 (4 enodes) 1539342056.272 * * [misc]simplify: iters left: 2 (7 enodes) 1539342056.274 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1539342056.274 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 x)) 1) (sqrt (+ x 1)))))) 1539342056.274 * * * * [misc]progress: [ 56 / 102 ] simplifiying candidate # 1539342056.274 * [enter]simplify: Simplifying (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1539342056.274 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.276 * * [misc]simplify: iters left: 5 (10 enodes) 1539342056.279 * * [misc]simplify: iters left: 4 (11 enodes) 1539342056.281 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1539342056.281 * [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)))))))) 1539342056.281 * * * * [misc]progress: [ 57 / 102 ] simplifiying candidate # 1539342056.282 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1539342056.282 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.284 * * [misc]simplify: iters left: 5 (11 enodes) 1539342056.286 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.289 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1539342056.289 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (fabs (cbrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (cbrt (- 1 x)))))))) 1539342056.289 * * * * [misc]progress: [ 58 / 102 ] simplifiying candidate # 1539342056.290 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1539342056.290 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.291 * * [misc]simplify: iters left: 3 (9 enodes) 1539342056.293 * * [misc]simplify: iters left: 2 (10 enodes) 1539342056.296 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342056.296 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))))) 1539342056.296 * * * * [misc]progress: [ 59 / 102 ] simplifiying candidate # 1539342056.296 * [enter]simplify: Simplifying (sqrt 1) 1539342056.296 * * [misc]simplify: iters left: 1 (2 enodes) 1539342056.298 * [exit]simplify: Simplified to 1 1539342056.298 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ 1 (/ (sqrt (+ 1 x)) (sqrt (- 1 x))))))) 1539342056.298 * * * * [misc]progress: [ 60 / 102 ] simplifiying candidate # 1539342056.298 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1539342056.298 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.299 * * [misc]simplify: iters left: 3 (9 enodes) 1539342056.302 * * [misc]simplify: iters left: 2 (10 enodes) 1539342056.304 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342056.304 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))))) 1539342056.304 * * * * [misc]progress: [ 61 / 102 ] simplifiying candidate # 1539342056.304 * * * * [misc]progress: [ 62 / 102 ] simplifiying candidate # 1539342056.305 * [enter]simplify: Simplifying (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))) 1539342056.305 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.307 * * [misc]simplify: iters left: 5 (15 enodes) 1539342056.309 * * [misc]simplify: iters left: 4 (26 enodes) 1539342056.313 * * [misc]simplify: iters left: 3 (37 enodes) 1539342056.317 * * [misc]simplify: iters left: 2 (41 enodes) 1539342056.322 * * [misc]simplify: iters left: 1 (53 enodes) 1539342056.328 * [exit]simplify: Simplified to (sqrt (+ (* x x) (- 1 x))) 1539342056.328 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (- 1 x)) (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (+ (* x x) (- 1 x))))))) 1539342056.328 * * * * [misc]progress: [ 63 / 102 ] simplifiying candidate # 1539342056.328 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1539342056.328 * * [misc]simplify: iters left: 3 (4 enodes) 1539342056.329 * * [misc]simplify: iters left: 2 (8 enodes) 1539342056.330 * * [misc]simplify: iters left: 1 (9 enodes) 1539342056.331 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342056.331 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (* (/ (sqrt (- 1 x)) (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))))) 1539342056.331 * * * * [misc]progress: [ 64 / 102 ] simplifiying candidate # 1539342056.331 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow x 3))) 1539342056.331 * * [misc]simplify: iters left: 4 (7 enodes) 1539342056.334 * * [misc]simplify: iters left: 3 (16 enodes) 1539342056.337 * * [misc]simplify: iters left: 2 (23 enodes) 1539342056.343 * * [misc]simplify: iters left: 1 (25 enodes) 1539342056.348 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 3))) 1539342056.348 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 (pow x 3))) (* (sqrt (+ 1 x)) (sqrt (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1539342056.349 * * * * [misc]progress: [ 65 / 102 ] simplifiying candidate # 1539342056.349 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1539342056.349 * * [misc]simplify: iters left: 5 (6 enodes) 1539342056.351 * * [misc]simplify: iters left: 4 (10 enodes) 1539342056.354 * * [misc]simplify: iters left: 3 (14 enodes) 1539342056.357 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1539342056.357 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 (* x x))) (* (sqrt (+ 1 x)) (sqrt (+ 1 x))))))) 1539342056.357 * * * * [misc]progress: [ 66 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 67 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 68 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 69 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 70 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 71 / 102 ] simplifiying candidate # 1539342056.358 * * * * [misc]progress: [ 72 / 102 ] simplifiying candidate # 1539342056.358 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1539342056.358 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.360 * * [misc]simplify: iters left: 5 (11 enodes) 1539342056.365 * * [misc]simplify: iters left: 4 (12 enodes) 1539342056.368 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1539342056.368 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (* (fabs (cbrt (- 1 x))) (sqrt (cbrt (- 1 x)))) (sqrt (+ 1 x)))))) 1539342056.368 * * * * [misc]progress: [ 73 / 102 ] simplifiying candidate # 1539342056.368 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1539342056.368 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.369 * * [misc]simplify: iters left: 3 (9 enodes) 1539342056.372 * * [misc]simplify: iters left: 2 (10 enodes) 1539342056.374 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1539342056.374 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (* (sqrt (sqrt (- 1 x))) (sqrt (sqrt (- 1 x)))) (sqrt (+ 1 x)))))) 1539342056.374 * * * * [misc]progress: [ 74 / 102 ] simplifiying candidate # 1539342056.374 * [enter]simplify: Simplifying (sqrt 1) 1539342056.374 * * [misc]simplify: iters left: 1 (2 enodes) 1539342056.376 * [exit]simplify: Simplified to 1 1539342056.376 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (* 1 (sqrt (- 1 x))) (sqrt (+ 1 x)))))) 1539342056.376 * * * * [misc]progress: [ 75 / 102 ] simplifiying candidate # 1539342056.376 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow x 3))) 1539342056.376 * * [misc]simplify: iters left: 4 (7 enodes) 1539342056.379 * * [misc]simplify: iters left: 3 (16 enodes) 1539342056.383 * * [misc]simplify: iters left: 2 (23 enodes) 1539342056.388 * * [misc]simplify: iters left: 1 (25 enodes) 1539342056.394 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 3))) 1539342056.394 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 (pow x 3))) (sqrt (+ (* 1 1) (+ (* x x) (* 1 x))))) (sqrt (+ 1 x)))))) 1539342056.394 * * * * [misc]progress: [ 76 / 102 ] simplifiying candidate # 1539342056.394 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1539342056.394 * * [misc]simplify: iters left: 5 (6 enodes) 1539342056.396 * * [misc]simplify: iters left: 4 (10 enodes) 1539342056.399 * * [misc]simplify: iters left: 3 (14 enodes) 1539342056.403 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1539342056.403 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (/ (sqrt (- 1 (* x x))) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))) 1539342056.403 * * * * [misc]progress: [ 77 / 102 ] simplifiying candidate # 1539342056.403 * * * * [misc]progress: [ 78 / 102 ] simplifiying candidate # 1539342056.403 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1539342056.403 * * [misc]simplify: iters left: 3 (4 enodes) 1539342056.404 * * [misc]simplify: iters left: 2 (8 enodes) 1539342056.406 * * [misc]simplify: iters left: 1 (9 enodes) 1539342056.408 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1539342056.408 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (/ (fabs (sqrt (- 1 x))) (sqrt (+ 1 x)))))) 1539342056.408 * * * * [misc]progress: [ 79 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 80 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 81 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 82 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 83 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 84 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 85 / 102 ] simplifiying candidate # 1539342056.409 * * * * [misc]progress: [ 86 / 102 ] simplifiying candidate # 1539342056.409 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1539342056.409 * * [misc]simplify: iters left: 6 (6 enodes) 1539342056.411 * * [misc]simplify: iters left: 5 (10 enodes) 1539342056.414 * [exit]simplify: Simplified to (fabs (cbrt (+ x 1))) 1539342056.414 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))))))) 1539342056.414 * * * * [misc]progress: [ 87 / 102 ] simplifiying candidate # 1539342056.414 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1539342056.414 * * [misc]simplify: iters left: 4 (5 enodes) 1539342056.415 * * [misc]simplify: iters left: 3 (8 enodes) 1539342056.416 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1539342056.416 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x)))))))) 1539342056.416 * * * * [misc]progress: [ 88 / 102 ] simplifiying candidate # 1539342056.416 * [enter]simplify: Simplifying (sqrt 1) 1539342056.416 * * [misc]simplify: iters left: 1 (2 enodes) 1539342056.417 * [exit]simplify: Simplified to 1 1539342056.417 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (* 1 (sqrt (+ 1 x))))))) 1539342056.417 * * * * [misc]progress: [ 89 / 102 ] simplifiying candidate # 1539342056.417 * [enter]simplify: Simplifying (sqrt (+ (pow 1 3) (pow x 3))) 1539342056.417 * * [misc]simplify: iters left: 4 (7 enodes) 1539342056.419 * * [misc]simplify: iters left: 3 (15 enodes) 1539342056.420 * [exit]simplify: Simplified to (sqrt (+ 1 (pow x 3))) 1539342056.420 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (/ (sqrt (+ 1 (pow x 3))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))) 1539342056.420 * * * * [misc]progress: [ 90 / 102 ] simplifiying candidate # 1539342056.421 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1539342056.421 * * [misc]simplify: iters left: 5 (6 enodes) 1539342056.422 * * [misc]simplify: iters left: 4 (10 enodes) 1539342056.423 * * [misc]simplify: iters left: 3 (14 enodes) 1539342056.424 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1539342056.425 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x))))))) 1539342056.425 * * * * [misc]progress: [ 91 / 102 ] simplifiying candidate # 1539342056.425 * * * * [misc]progress: [ 92 / 102 ] simplifiying candidate # 1539342056.425 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1539342056.425 * * [misc]simplify: iters left: 3 (4 enodes) 1539342056.425 * * [misc]simplify: iters left: 2 (7 enodes) 1539342056.426 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1539342056.426 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (fabs (sqrt (+ x 1))))))) 1539342056.426 * * * * [misc]progress: [ 93 / 102 ] simplifiying candidate # 1539342056.426 * * * * [misc]progress: [ 94 / 102 ] simplifiying candidate # 1539342056.426 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1539342056.426 * * [misc]simplify: iters left: 6 (8 enodes) 1539342056.428 * * [misc]simplify: iters left: 5 (17 enodes) 1539342056.430 * * [misc]simplify: iters left: 4 (29 enodes) 1539342056.434 * * [misc]simplify: iters left: 3 (37 enodes) 1539342056.438 * * [misc]simplify: iters left: 2 (39 enodes) 1539342056.443 * * [misc]simplify: iters left: 1 (53 enodes) 1539342056.450 * [exit]simplify: Simplified to (- (* (* x x) 1/2) (- x 1)) 1539342056.450 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (- (* (* x x) 1/2) (- x 1))))) 1539342056.451 * * * * [misc]progress: [ 95 / 102 ] simplifiying candidate # 1539342056.451 * [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)))))) 1539342056.451 * * [misc]simplify: iters left: 6 (19 enodes) 1539342056.458 * * [misc]simplify: iters left: 5 (44 enodes) 1539342056.472 * * [misc]simplify: iters left: 4 (87 enodes) 1539342056.507 * * [misc]simplify: iters left: 3 (180 enodes) 1539342056.539 * * [misc]simplify: iters left: 2 (316 enodes) 1539342056.714 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1539342056.714 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1539342056.714 * * * * [misc]progress: [ 96 / 102 ] simplifiying candidate # 1539342056.715 * [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)))))) 1539342056.715 * * [misc]simplify: iters left: 6 (19 enodes) 1539342056.719 * * [misc]simplify: iters left: 5 (44 enodes) 1539342056.726 * * [misc]simplify: iters left: 4 (87 enodes) 1539342056.746 * * [misc]simplify: iters left: 3 (180 enodes) 1539342056.798 * * [misc]simplify: iters left: 2 (316 enodes) 1539342056.978 * [exit]simplify: Simplified to (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1))))) 1539342056.978 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (/ -1 (* (* x x) (sqrt -1))) (- (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 x) (* x (sqrt -1)))))))) 1539342056.978 * * * * [misc]progress: [ 97 / 102 ] simplifiying candidate # 1539342056.978 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 x) (* 1/8 (pow x 2)))) 1539342056.978 * * [misc]simplify: iters left: 6 (10 enodes) 1539342056.981 * * [misc]simplify: iters left: 5 (20 enodes) 1539342056.987 * * [misc]simplify: iters left: 4 (32 enodes) 1539342056.993 * * [misc]simplify: iters left: 3 (72 enodes) 1539342057.005 * * [misc]simplify: iters left: 2 (114 enodes) 1539342057.032 * * [misc]simplify: iters left: 1 (157 enodes) 1539342057.063 * [exit]simplify: Simplified to (+ (* -1/8 (* x x)) (+ (* x -1/2) 1)) 1539342057.063 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (+ (* -1/8 (* x x)) (+ (* x -1/2) 1)) (sqrt (+ 1 x)))))) 1539342057.063 * * * * [misc]progress: [ 98 / 102 ] simplifiying candidate # 1539342057.063 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342057.064 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ +nan.0 (sqrt (+ 1 x)))))) 1539342057.064 * * * * [misc]progress: [ 99 / 102 ] simplifiying candidate # 1539342057.064 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342057.064 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ +nan.0 (sqrt (+ 1 x)))))) 1539342057.064 * * * * [misc]progress: [ 100 / 102 ] simplifiying candidate # 1539342057.064 * [enter]simplify: Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))) 1539342057.064 * * [misc]simplify: iters left: 6 (10 enodes) 1539342057.067 * * [misc]simplify: iters left: 5 (20 enodes) 1539342057.074 * * [misc]simplify: iters left: 4 (39 enodes) 1539342057.083 * * [misc]simplify: iters left: 3 (57 enodes) 1539342057.090 * * [misc]simplify: iters left: 2 (74 enodes) 1539342057.100 * * [misc]simplify: iters left: 1 (88 enodes) 1539342057.111 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)) 1539342057.111 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (+ (+ 1 (* 1/2 x)) (* (* x x) -1/8)))))) 1539342057.111 * * * * [misc]progress: [ 101 / 102 ] simplifiying candidate # 1539342057.111 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342057.111 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) +nan.0)))) 1539342057.112 * * * * [misc]progress: [ 102 / 102 ] simplifiying candidate # 1539342057.112 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1539342057.112 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) +nan.0)))) 1539342057.112 * * * [misc]progress: adding candidates to table 1539342058.219 * [misc]progress: [Phase 3 of 3] Extracting. 1539342058.219 * * [misc]regime: Finding splitpoints for: (# #) 1539342058.221 * * * [misc]regime-changes: Trying 5 branch expressions: (x (/ (- 1 x) (+ 1 x)) (sqrt (/ (- 1 x) (+ 1 x))) (atan (sqrt (/ (- 1 x) (+ 1 x)))) (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 1539342058.221 * * * * [misc]regimes: Trying to branch on x from (# #) 1539342058.262 * * * * [misc]regimes: Trying to branch on (/ (- 1 x) (+ 1 x)) from (# #) 1539342058.284 * * * * [misc]regimes: Trying to branch on (sqrt (/ (- 1 x) (+ 1 x))) from (# #) 1539342058.300 * * * * [misc]regimes: Trying to branch on (atan (sqrt (/ (- 1 x) (+ 1 x)))) from (# #) 1539342058.333 * * * * [misc]regimes: Trying to branch on (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) from (# #) 1539342058.353 * * * [misc]regime: Found split indices: #