1537029473.985 * [misc]progress: [Phase 1 of 3] Setting up. 1537029473.987 * * * [misc]progress: [1/2] Preparing points 1537029473.988 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537029473.991 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537029474.088 * * * * [misc]points: Setting MPFR precision to 64 1537029474.091 * * * * [misc]points: Setting MPFR precision to 320 1537029474.092 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537029474.095 * * * * [misc]points: Setting MPFR precision to 64 1537029474.097 * * * * [misc]points: Setting MPFR precision to 320 1537029474.099 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537029474.100 * * * * [misc]points: Setting MPFR precision to 64 1537029474.102 * * * * [misc]points: Setting MPFR precision to 320 1537029474.104 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537029474.106 * * * * [misc]points: Setting MPFR precision to 64 1537029474.173 * * * * [misc]points: Setting MPFR precision to 320 1537029474.210 * * * * [misc]points: Computing exacts for 256 points 1537029474.244 * * * * [misc]points: Setting MPFR precision to 64 1537029474.326 * * * * [misc]points: Setting MPFR precision to 320 1537029474.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.346 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1537029474.347 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1537029474.350 * * * * [misc]points: Setting MPFR precision to 64 1537029474.351 * * * * [misc]points: Setting MPFR precision to 320 1537029474.352 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1537029474.355 * * * * [misc]points: Setting MPFR precision to 64 1537029474.357 * * * * [misc]points: Setting MPFR precision to 320 1537029474.359 * * * * [misc]points: Computing exacts for 107 points 1537029474.362 * * * * [misc]points: Setting MPFR precision to 64 1537029474.370 * * * * [misc]points: Setting MPFR precision to 320 1537029474.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.378 * * * * [misc]points: Sampling 50 additional inputs, on iter 2 have 206 / 256 1537029474.380 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1537029474.383 * * * * [misc]points: Setting MPFR precision to 64 1537029474.384 * * * * [misc]points: Setting MPFR precision to 320 1537029474.385 * * * * [misc]points: Computing exacts for 50 points 1537029474.388 * * * * [misc]points: Setting MPFR precision to 64 1537029474.391 * * * * [misc]points: Setting MPFR precision to 320 1537029474.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.395 * * * * [misc]points: Sampling 26 additional inputs, on iter 3 have 230 / 256 1537029474.396 * * * * [misc]points: Computing exacts for 26 points 1537029474.397 * * * * [misc]points: Setting MPFR precision to 64 1537029474.398 * * * * [misc]points: Setting MPFR precision to 320 1537029474.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.399 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1537029474.400 * * * * [misc]points: Computing exacts for 13 points 1537029474.401 * * * * [misc]points: Setting MPFR precision to 64 1537029474.402 * * * * [misc]points: Setting MPFR precision to 320 1537029474.402 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.402 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1537029474.403 * * * * [misc]points: Computing exacts for 4 points 1537029474.406 * * * * [misc]points: Setting MPFR precision to 64 1537029474.406 * * * * [misc]points: Setting MPFR precision to 320 1537029474.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.407 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1537029474.407 * * * * [misc]points: Computing exacts for 4 points 1537029474.410 * * * * [misc]points: Setting MPFR precision to 64 1537029474.463 * * * * [misc]points: Setting MPFR precision to 320 1537029474.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029474.463 * * * * [exit]points: Sampled 258 points with exact outputs 1537029474.464 * * * [misc]progress: [2/2] Setting up program. 1537029474.474 * [misc]progress: [Phase 2 of 3] Improving. 1537029474.475 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1537029474.476 * * [misc]simplify: iters left: 6 (9 enodes) 1537029474.484 * * [misc]simplify: iters left: 5 (18 enodes) 1537029474.492 * * [misc]simplify: iters left: 4 (21 enodes) 1537029474.497 * * [misc]simplify: iters left: 3 (23 enodes) 1537029474.505 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1537029474.529 * * [misc]progress: iteration 1 / 4 1537029474.529 * * * [misc]progress: picking best candidate 1537029474.539 * * * * [misc]pick: Picked # 1537029474.539 * * * [misc]progress: localizing error 1537029474.585 * * * [misc]progress: generating rewritten candidates 1537029474.586 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1537029474.616 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1537029474.618 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1537029474.640 * * * [misc]progress: generating series expansions 1537029474.640 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1537029474.645 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1537029474.646 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1537029474.646 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1537029474.646 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029474.646 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029474.646 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.647 * [misc]backup-simplify: Simplify 1 into 1 1537029474.647 * [misc]taylor: Taking taylor expansion of x in x 1537029474.647 * [misc]backup-simplify: Simplify 0 into 0 1537029474.647 * [misc]backup-simplify: Simplify 1 into 1 1537029474.647 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029474.647 * [misc]taylor: Taking taylor expansion of x in x 1537029474.647 * [misc]backup-simplify: Simplify 0 into 0 1537029474.647 * [misc]backup-simplify: Simplify 1 into 1 1537029474.647 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.647 * [misc]backup-simplify: Simplify 1 into 1 1537029474.647 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.648 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.648 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.648 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.648 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029474.649 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.649 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.649 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.649 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1537029474.649 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1537029474.649 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1537029474.649 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029474.649 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029474.649 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.649 * [misc]backup-simplify: Simplify 1 into 1 1537029474.649 * [misc]taylor: Taking taylor expansion of x in x 1537029474.649 * [misc]backup-simplify: Simplify 0 into 0 1537029474.649 * [misc]backup-simplify: Simplify 1 into 1 1537029474.649 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029474.649 * [misc]taylor: Taking taylor expansion of x in x 1537029474.649 * [misc]backup-simplify: Simplify 0 into 0 1537029474.649 * [misc]backup-simplify: Simplify 1 into 1 1537029474.649 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.649 * [misc]backup-simplify: Simplify 1 into 1 1537029474.649 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.650 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.650 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.650 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.650 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029474.650 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.650 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.650 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.650 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1537029474.651 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1537029474.651 * [misc]backup-simplify: Simplify 1 into 1 1537029474.651 * [misc]backup-simplify: Simplify -1 into -1 1537029474.652 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.652 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1537029474.654 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1537029474.654 * [misc]backup-simplify: Simplify 1/2 into 1/2 1537029474.655 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1537029474.655 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1537029474.655 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1537029474.655 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.656 * [misc]backup-simplify: Simplify 1 into 1 1537029474.656 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of x in x 1537029474.656 * [misc]backup-simplify: Simplify 0 into 0 1537029474.656 * [misc]backup-simplify: Simplify 1 into 1 1537029474.656 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.656 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.656 * [misc]taylor: Taking taylor expansion of x in x 1537029474.656 * [misc]backup-simplify: Simplify 0 into 0 1537029474.656 * [misc]backup-simplify: Simplify 1 into 1 1537029474.656 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.656 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.656 * [misc]backup-simplify: Simplify 1 into 1 1537029474.656 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.656 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.657 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.657 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029474.657 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.657 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.657 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.657 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.657 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.658 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.658 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1537029474.658 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1537029474.658 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.658 * [misc]backup-simplify: Simplify 1 into 1 1537029474.658 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of x in x 1537029474.658 * [misc]backup-simplify: Simplify 0 into 0 1537029474.658 * [misc]backup-simplify: Simplify 1 into 1 1537029474.658 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.658 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.658 * [misc]taylor: Taking taylor expansion of x in x 1537029474.658 * [misc]backup-simplify: Simplify 0 into 0 1537029474.658 * [misc]backup-simplify: Simplify 1 into 1 1537029474.658 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.658 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.658 * [misc]backup-simplify: Simplify 1 into 1 1537029474.659 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.659 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.659 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.659 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029474.659 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.659 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.659 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.659 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.659 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.660 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.660 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1537029474.660 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1537029474.660 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.660 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1537029474.661 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.661 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.661 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.661 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1537029474.663 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1537029474.664 * [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))) 1537029474.666 * [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)))))) 1537029474.666 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1537029474.666 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1537029474.667 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of x in x 1537029474.667 * [misc]backup-simplify: Simplify 0 into 0 1537029474.667 * [misc]backup-simplify: Simplify 1 into 1 1537029474.667 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.667 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.667 * [misc]backup-simplify: Simplify 1 into 1 1537029474.667 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.667 * [misc]backup-simplify: Simplify 1 into 1 1537029474.667 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.667 * [misc]taylor: Taking taylor expansion of x in x 1537029474.667 * [misc]backup-simplify: Simplify 0 into 0 1537029474.667 * [misc]backup-simplify: Simplify 1 into 1 1537029474.667 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.667 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.667 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.667 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.667 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029474.668 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.668 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.668 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.668 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.668 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.668 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.668 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1537029474.669 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1537029474.669 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of x in x 1537029474.669 * [misc]backup-simplify: Simplify 0 into 0 1537029474.669 * [misc]backup-simplify: Simplify 1 into 1 1537029474.669 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.669 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.669 * [misc]backup-simplify: Simplify 1 into 1 1537029474.669 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.669 * [misc]backup-simplify: Simplify 1 into 1 1537029474.669 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.669 * [misc]taylor: Taking taylor expansion of x in x 1537029474.669 * [misc]backup-simplify: Simplify 0 into 0 1537029474.669 * [misc]backup-simplify: Simplify 1 into 1 1537029474.669 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.669 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.669 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.669 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.669 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029474.670 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.670 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.670 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.670 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.670 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.670 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.670 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1537029474.671 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1537029474.671 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029474.671 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1537029474.671 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.671 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.672 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.672 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1537029474.673 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1537029474.675 * [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))) 1537029474.677 * [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)))))) 1537029474.677 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1537029474.677 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ 1 x)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.677 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in (x) around 0 1537029474.677 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.679 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify 0 into 0 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029474.679 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in (x) around 0 1537029474.679 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x 1537029474.679 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029474.679 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify 0 into 0 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 (/ 1 x))) (+ (/ 1 (/ 1 x)) 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029474.680 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in (x) around 0 1537029474.680 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029474.680 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029474.680 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 (/ 1 (- x))) 1) (- 1 (/ 1 (/ 1 (- x))))))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.681 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1537029474.681 * [misc]backup-simplify: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1537029474.681 * [misc]approximate: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1537029474.681 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029474.681 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029474.681 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.681 * [misc]backup-simplify: Simplify 1 into 1 1537029474.681 * [misc]taylor: Taking taylor expansion of x in x 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 1 into 1 1537029474.681 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029474.681 * [misc]taylor: Taking taylor expansion of x in x 1537029474.681 * [misc]backup-simplify: Simplify 0 into 0 1537029474.681 * [misc]backup-simplify: Simplify 1 into 1 1537029474.681 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.681 * [misc]backup-simplify: Simplify 1 into 1 1537029474.681 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.682 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.682 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.682 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029474.682 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029474.682 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.682 * [misc]backup-simplify: Simplify 1 into 1 1537029474.682 * [misc]taylor: Taking taylor expansion of x in x 1537029474.682 * [misc]backup-simplify: Simplify 0 into 0 1537029474.682 * [misc]backup-simplify: Simplify 1 into 1 1537029474.682 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029474.682 * [misc]taylor: Taking taylor expansion of x in x 1537029474.682 * [misc]backup-simplify: Simplify 0 into 0 1537029474.682 * [misc]backup-simplify: Simplify 1 into 1 1537029474.682 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.682 * [misc]backup-simplify: Simplify 1 into 1 1537029474.682 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.682 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.682 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.682 * [misc]backup-simplify: Simplify 1 into 1 1537029474.683 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.683 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.683 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.683 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1537029474.683 * [misc]backup-simplify: Simplify -2 into -2 1537029474.683 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.683 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.683 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.683 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1537029474.683 * [misc]backup-simplify: Simplify 2 into 2 1537029474.684 * [misc]backup-simplify: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1537029474.684 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1537029474.684 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1537029474.684 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029474.684 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.684 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.684 * [misc]backup-simplify: Simplify 1 into 1 1537029474.684 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.684 * [misc]taylor: Taking taylor expansion of x in x 1537029474.684 * [misc]backup-simplify: Simplify 0 into 0 1537029474.684 * [misc]backup-simplify: Simplify 1 into 1 1537029474.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.684 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.684 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.684 * [misc]taylor: Taking taylor expansion of x in x 1537029474.684 * [misc]backup-simplify: Simplify 0 into 0 1537029474.684 * [misc]backup-simplify: Simplify 1 into 1 1537029474.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.684 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.684 * [misc]backup-simplify: Simplify 1 into 1 1537029474.684 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.684 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.685 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.685 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029474.685 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029474.685 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.685 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.685 * [misc]backup-simplify: Simplify 1 into 1 1537029474.685 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.685 * [misc]taylor: Taking taylor expansion of x in x 1537029474.685 * [misc]backup-simplify: Simplify 0 into 0 1537029474.685 * [misc]backup-simplify: Simplify 1 into 1 1537029474.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.685 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.685 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.685 * [misc]taylor: Taking taylor expansion of x in x 1537029474.685 * [misc]backup-simplify: Simplify 0 into 0 1537029474.685 * [misc]backup-simplify: Simplify 1 into 1 1537029474.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.685 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.685 * [misc]backup-simplify: Simplify 1 into 1 1537029474.685 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.685 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.685 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.685 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029474.686 * [misc]backup-simplify: Simplify -1 into -1 1537029474.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.686 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.686 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.686 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.686 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1537029474.686 * [misc]backup-simplify: Simplify 2 into 2 1537029474.687 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.687 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.687 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.687 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1537029474.687 * [misc]backup-simplify: Simplify -2 into -2 1537029474.688 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1537029474.688 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1537029474.688 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1537029474.688 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029474.688 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.688 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.688 * [misc]taylor: Taking taylor expansion of x in x 1537029474.688 * [misc]backup-simplify: Simplify 0 into 0 1537029474.688 * [misc]backup-simplify: Simplify 1 into 1 1537029474.688 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.688 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.688 * [misc]backup-simplify: Simplify 1 into 1 1537029474.688 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.688 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.688 * [misc]backup-simplify: Simplify 1 into 1 1537029474.688 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.688 * [misc]taylor: Taking taylor expansion of x in x 1537029474.688 * [misc]backup-simplify: Simplify 0 into 0 1537029474.688 * [misc]backup-simplify: Simplify 1 into 1 1537029474.688 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.688 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.688 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.688 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.689 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029474.689 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029474.689 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029474.689 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.689 * [misc]taylor: Taking taylor expansion of x in x 1537029474.689 * [misc]backup-simplify: Simplify 0 into 0 1537029474.689 * [misc]backup-simplify: Simplify 1 into 1 1537029474.689 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.689 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.689 * [misc]backup-simplify: Simplify 1 into 1 1537029474.689 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029474.689 * [misc]taylor: Taking taylor expansion of 1 in x 1537029474.689 * [misc]backup-simplify: Simplify 1 into 1 1537029474.689 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029474.689 * [misc]taylor: Taking taylor expansion of x in x 1537029474.689 * [misc]backup-simplify: Simplify 0 into 0 1537029474.689 * [misc]backup-simplify: Simplify 1 into 1 1537029474.689 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029474.689 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.689 * [misc]backup-simplify: Simplify (- 1) into -1 1537029474.689 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029474.689 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029474.689 * [misc]backup-simplify: Simplify -1 into -1 1537029474.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.690 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029474.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029474.690 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.690 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029474.690 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1537029474.690 * [misc]backup-simplify: Simplify -2 into -2 1537029474.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.691 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029474.691 * [misc]backup-simplify: Simplify (- 0) into 0 1537029474.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029474.691 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1537029474.691 * [misc]backup-simplify: Simplify -2 into -2 1537029474.691 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1537029474.691 * * * [misc]progress: simplifying candidates 1537029474.692 * * * * [misc]progress: [ 1 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 2 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 3 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 4 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 5 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 6 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 7 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 8 / 80 ] simplifiying candidate # 1537029474.692 * * * * [misc]progress: [ 9 / 80 ] simplifiying candidate # 1537029474.692 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1537029474.693 * * [misc]simplify: iters left: 6 (8 enodes) 1537029474.701 * * [misc]simplify: iters left: 5 (17 enodes) 1537029474.704 * * [misc]simplify: iters left: 4 (20 enodes) 1537029474.707 * * [misc]simplify: iters left: 3 (22 enodes) 1537029474.710 * [exit]simplify: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1537029474.710 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))) 2)) 1537029474.711 * * * * [misc]progress: [ 10 / 80 ] simplifiying candidate # 1537029474.711 * [enter]simplify: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1537029474.711 * * [misc]simplify: iters left: 6 (7 enodes) 1537029474.713 * * [misc]simplify: iters left: 5 (15 enodes) 1537029474.715 * * [misc]simplify: iters left: 4 (18 enodes) 1537029474.718 * * [misc]simplify: iters left: 3 (20 enodes) 1537029474.721 * [exit]simplify: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1537029474.721 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))) 2)) 1537029474.721 * * * * [misc]progress: [ 11 / 80 ] simplifiying candidate # 1537029474.721 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029474.722 * * [misc]simplify: iters left: 6 (10 enodes) 1537029474.724 * * [misc]simplify: iters left: 5 (21 enodes) 1537029474.729 * * [misc]simplify: iters left: 4 (32 enodes) 1537029474.734 * * [misc]simplify: iters left: 3 (35 enodes) 1537029474.739 * * [misc]simplify: iters left: 2 (38 enodes) 1537029474.746 * [exit]simplify: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1537029474.746 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2)) 1537029474.746 * * * * [misc]progress: [ 12 / 80 ] simplifiying candidate # 1537029474.746 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1537029474.747 * * [misc]simplify: iters left: 6 (9 enodes) 1537029474.749 * * [misc]simplify: iters left: 5 (16 enodes) 1537029474.751 * * [misc]simplify: iters left: 4 (19 enodes) 1537029474.754 * * [misc]simplify: iters left: 3 (20 enodes) 1537029474.758 * [exit]simplify: Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) 1537029474.758 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2)) 1537029474.758 * * * * [misc]progress: [ 13 / 80 ] simplifiying candidate # 1537029474.758 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1537029474.758 * * [misc]simplify: iters left: 6 (7 enodes) 1537029474.761 * * [misc]simplify: iters left: 5 (13 enodes) 1537029474.767 * * [misc]simplify: iters left: 4 (21 enodes) 1537029474.773 * * [misc]simplify: iters left: 3 (23 enodes) 1537029474.783 * * [misc]simplify: iters left: 2 (28 enodes) 1537029474.791 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1537029474.791 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))) 2)) 1537029474.791 * * * * [misc]progress: [ 14 / 80 ] simplifiying candidate # 1537029474.792 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029474.793 * * [misc]simplify: iters left: 6 (9 enodes) 1537029474.797 * * [misc]simplify: iters left: 5 (16 enodes) 1537029474.802 * * [misc]simplify: iters left: 4 (17 enodes) 1537029474.808 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1537029474.809 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2)) 1537029474.809 * * * * [misc]progress: [ 15 / 80 ] simplifiying candidate # 1537029474.809 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1537029474.810 * * [misc]simplify: iters left: 6 (8 enodes) 1537029474.813 * * [misc]simplify: iters left: 5 (13 enodes) 1537029474.817 * * [misc]simplify: iters left: 4 (14 enodes) 1537029474.822 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1537029474.822 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2)) 1537029474.822 * * * * [misc]progress: [ 16 / 80 ] simplifiying candidate # 1537029474.822 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1537029474.823 * * [misc]simplify: iters left: 6 (6 enodes) 1537029474.825 * * [misc]simplify: iters left: 5 (10 enodes) 1537029474.830 * * [misc]simplify: iters left: 4 (13 enodes) 1537029474.833 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029474.833 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))) 2)) 1537029474.833 * * * * [misc]progress: [ 17 / 80 ] simplifiying candidate # 1537029474.833 * [enter]simplify: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029474.834 * * [misc]simplify: iters left: 6 (7 enodes) 1537029474.837 * * [misc]simplify: iters left: 5 (12 enodes) 1537029474.842 * [exit]simplify: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1537029474.842 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))) 2)) 1537029474.842 * * * * [misc]progress: [ 18 / 80 ] simplifiying candidate # 1537029474.842 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1537029474.843 * * [misc]simplify: iters left: 6 (6 enodes) 1537029474.845 * * [misc]simplify: iters left: 5 (9 enodes) 1537029474.848 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1537029474.848 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2)) 1537029474.848 * * * * [misc]progress: [ 19 / 80 ] simplifiying candidate # 1537029474.849 * [enter]simplify: Simplifying (sqrt (/ 1 1)) 1537029474.849 * * [misc]simplify: iters left: 3 (3 enodes) 1537029474.851 * * [misc]simplify: iters left: 2 (5 enodes) 1537029474.852 * [exit]simplify: Simplified to 1 1537029474.852 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))) 2)) 1537029474.852 * * * * [misc]progress: [ 20 / 80 ] simplifiying candidate # 1537029474.852 * [enter]simplify: Simplifying (sqrt 1) 1537029474.852 * * [misc]simplify: iters left: 1 (2 enodes) 1537029474.854 * [exit]simplify: Simplified to 1 1537029474.854 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))) 2)) 1537029474.854 * * * * [misc]progress: [ 21 / 80 ] simplifiying candidate # 1537029474.854 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1537029474.855 * * [misc]simplify: iters left: 3 (4 enodes) 1537029474.857 * * [misc]simplify: iters left: 2 (8 enodes) 1537029474.859 * * [misc]simplify: iters left: 1 (9 enodes) 1537029474.862 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029474.862 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))) 2)) 1537029474.862 * * * * [misc]progress: [ 22 / 80 ] simplifiying candidate # 1537029474.862 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1537029474.863 * * [misc]simplify: iters left: 6 (9 enodes) 1537029474.869 * * [misc]simplify: iters left: 5 (22 enodes) 1537029474.876 * * [misc]simplify: iters left: 4 (27 enodes) 1537029474.883 * * [misc]simplify: iters left: 3 (29 enodes) 1537029474.892 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (fma (* x x) x 1))) 1537029474.892 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (- 1 x) (fma (* x x) x 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) 2)) 1537029474.892 * * * * [misc]progress: [ 23 / 80 ] simplifiying candidate # 1537029474.892 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1537029474.894 * * [misc]simplify: iters left: 6 (8 enodes) 1537029474.898 * * [misc]simplify: iters left: 5 (18 enodes) 1537029474.902 * * [misc]simplify: iters left: 4 (24 enodes) 1537029474.906 * * [misc]simplify: iters left: 3 (28 enodes) 1537029474.910 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1537029474.910 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))) 2)) 1537029474.910 * * * * [misc]progress: [ 24 / 80 ] simplifiying candidate # 1537029474.911 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1537029474.911 * * [misc]simplify: iters left: 3 (4 enodes) 1537029474.912 * * [misc]simplify: iters left: 2 (8 enodes) 1537029474.915 * * [misc]simplify: iters left: 1 (9 enodes) 1537029474.917 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029474.917 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 2)) 1537029474.917 * * * * [misc]progress: [ 25 / 80 ] simplifiying candidate # 1537029474.917 * * * * [misc]progress: [ 26 / 80 ] simplifiying candidate # 1537029474.917 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1537029474.917 * * [misc]simplify: iters left: 5 (6 enodes) 1537029474.919 * * [misc]simplify: iters left: 4 (14 enodes) 1537029474.921 * * [misc]simplify: iters left: 3 (17 enodes) 1537029474.924 * * [misc]simplify: iters left: 2 (19 enodes) 1537029474.927 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1537029474.927 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))) 2)) 1537029474.927 * * * * [misc]progress: [ 27 / 80 ] simplifiying candidate # 1537029474.927 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029474.927 * * [misc]simplify: iters left: 5 (7 enodes) 1537029474.929 * * [misc]simplify: iters left: 4 (12 enodes) 1537029474.931 * * [misc]simplify: iters left: 3 (13 enodes) 1537029474.933 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029474.933 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2)) 1537029474.933 * * * * [misc]progress: [ 28 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 29 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 30 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 31 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 32 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 33 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 34 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 35 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 36 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 37 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 38 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 39 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 40 / 80 ] simplifiying candidate # 1537029474.933 * * * * [misc]progress: [ 41 / 80 ] simplifiying candidate # 1537029474.934 * [enter]simplify: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1537029474.934 * * [misc]simplify: iters left: 5 (7 enodes) 1537029474.936 * * [misc]simplify: iters left: 4 (15 enodes) 1537029474.938 * * [misc]simplify: iters left: 3 (18 enodes) 1537029474.941 * [exit]simplify: Simplified to (- (log (- 1 x)) (log1p x)) 1537029474.941 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (exp (- (log (- 1 x)) (log1p x))))) 2)) 1537029474.941 * * * * [misc]progress: [ 42 / 80 ] simplifiying candidate # 1537029474.941 * * * * [misc]progress: [ 43 / 80 ] simplifiying candidate # 1537029474.941 * * * * [misc]progress: [ 44 / 80 ] simplifiying candidate # 1537029474.941 * [enter]simplify: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1537029474.943 * * [misc]simplify: iters left: 6 (9 enodes) 1537029474.950 * * [misc]simplify: iters left: 5 (35 enodes) 1537029474.971 * * [misc]simplify: iters left: 4 (100 enodes) 1537029475.055 * * [misc]simplify: iters left: 3 (313 enodes) 1537029475.475 * [exit]simplify: Simplified to (pow (/ (- 1 x) (+ x 1)) 3) 1537029475.475 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))) 2)) 1537029475.475 * * * * [misc]progress: [ 45 / 80 ] simplifiying candidate # 1537029475.475 * * * * [misc]progress: [ 46 / 80 ] simplifiying candidate # 1537029475.475 * * * * [misc]progress: [ 47 / 80 ] simplifiying candidate # 1537029475.475 * * * * [misc]progress: [ 48 / 80 ] simplifiying candidate # 1537029475.475 * * * * [misc]progress: [ 49 / 80 ] simplifiying candidate # 1537029475.476 * [enter]simplify: Simplifying (/ 1 (+ 1 x)) 1537029475.476 * * [misc]simplify: iters left: 4 (4 enodes) 1537029475.480 * * [misc]simplify: iters left: 3 (7 enodes) 1537029475.481 * [exit]simplify: Simplified to (/ 1 (+ x 1)) 1537029475.481 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))) 2)) 1537029475.481 * * * * [misc]progress: [ 50 / 80 ] simplifiying candidate # 1537029475.481 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1537029475.482 * * [misc]simplify: iters left: 6 (9 enodes) 1537029475.484 * * [misc]simplify: iters left: 5 (20 enodes) 1537029475.488 * * [misc]simplify: iters left: 4 (30 enodes) 1537029475.493 * * [misc]simplify: iters left: 3 (33 enodes) 1537029475.498 * * [misc]simplify: iters left: 2 (36 enodes) 1537029475.504 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1537029475.504 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2)) 1537029475.504 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1537029475.505 * * [misc]simplify: iters left: 5 (7 enodes) 1537029475.507 * * [misc]simplify: iters left: 4 (12 enodes) 1537029475.508 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.510 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1537029475.510 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))) 2)) 1537029475.510 * * * * [misc]progress: [ 51 / 80 ] simplifiying candidate # 1537029475.511 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1537029475.511 * * [misc]simplify: iters left: 6 (8 enodes) 1537029475.515 * * [misc]simplify: iters left: 5 (15 enodes) 1537029475.520 * * [misc]simplify: iters left: 4 (18 enodes) 1537029475.525 * * [misc]simplify: iters left: 3 (19 enodes) 1537029475.532 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) 1537029475.532 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2)) 1537029475.533 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1537029475.533 * * [misc]simplify: iters left: 5 (7 enodes) 1537029475.536 * * [misc]simplify: iters left: 4 (12 enodes) 1537029475.540 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.544 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1537029475.544 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))) 2)) 1537029475.544 * * * * [misc]progress: [ 52 / 80 ] simplifiying candidate # 1537029475.544 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1537029475.545 * * [misc]simplify: iters left: 6 (6 enodes) 1537029475.548 * * [misc]simplify: iters left: 5 (12 enodes) 1537029475.554 * * [misc]simplify: iters left: 4 (19 enodes) 1537029475.560 * * [misc]simplify: iters left: 3 (21 enodes) 1537029475.565 * * [misc]simplify: iters left: 2 (26 enodes) 1537029475.572 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1537029475.572 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))) 2)) 1537029475.573 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1537029475.573 * * [misc]simplify: iters left: 5 (6 enodes) 1537029475.576 * * [misc]simplify: iters left: 4 (11 enodes) 1537029475.579 * * [misc]simplify: iters left: 3 (12 enodes) 1537029475.583 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1537029475.583 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))) 2)) 1537029475.583 * * * * [misc]progress: [ 53 / 80 ] simplifiying candidate # 1537029475.583 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1537029475.584 * * [misc]simplify: iters left: 6 (8 enodes) 1537029475.590 * * [misc]simplify: iters left: 5 (15 enodes) 1537029475.595 * * [misc]simplify: iters left: 4 (16 enodes) 1537029475.600 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1537029475.600 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2)) 1537029475.601 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1537029475.601 * * [misc]simplify: iters left: 5 (7 enodes) 1537029475.604 * * [misc]simplify: iters left: 4 (12 enodes) 1537029475.608 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.612 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1537029475.612 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))) 2)) 1537029475.612 * * * * [misc]progress: [ 54 / 80 ] simplifiying candidate # 1537029475.613 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029475.614 * * [misc]simplify: iters left: 5 (7 enodes) 1537029475.617 * * [misc]simplify: iters left: 4 (12 enodes) 1537029475.621 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.625 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029475.625 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2)) 1537029475.625 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029475.626 * * [misc]simplify: iters left: 5 (7 enodes) 1537029475.629 * * [misc]simplify: iters left: 4 (12 enodes) 1537029475.633 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.637 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029475.637 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))) 2)) 1537029475.637 * * * * [misc]progress: [ 55 / 80 ] simplifiying candidate # 1537029475.637 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) 1) 1537029475.638 * * [misc]simplify: iters left: 5 (5 enodes) 1537029475.640 * * [misc]simplify: iters left: 4 (9 enodes) 1537029475.644 * * [misc]simplify: iters left: 3 (12 enodes) 1537029475.647 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029475.647 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))) 2)) 1537029475.647 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1537029475.648 * * [misc]simplify: iters left: 5 (6 enodes) 1537029475.651 * * [misc]simplify: iters left: 4 (11 enodes) 1537029475.654 * * [misc]simplify: iters left: 3 (12 enodes) 1537029475.658 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1537029475.658 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))) 2)) 1537029475.658 * * * * [misc]progress: [ 56 / 80 ] simplifiying candidate # 1537029475.658 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1537029475.659 * * [misc]simplify: iters left: 6 (6 enodes) 1537029475.662 * * [misc]simplify: iters left: 5 (11 enodes) 1537029475.665 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) 1537029475.665 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) (/ (- 1 x) (cbrt (+ 1 x)))))) 2)) 1537029475.665 * [enter]simplify: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1537029475.666 * * [misc]simplify: iters left: 5 (6 enodes) 1537029475.669 * * [misc]simplify: iters left: 4 (14 enodes) 1537029475.673 * * [misc]simplify: iters left: 3 (17 enodes) 1537029475.677 * * [misc]simplify: iters left: 2 (19 enodes) 1537029475.684 * [exit]simplify: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1537029475.684 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))) 2)) 1537029475.684 * * * * [misc]progress: [ 57 / 80 ] simplifiying candidate # 1537029475.684 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 x))) 1537029475.684 * * [misc]simplify: iters left: 5 (5 enodes) 1537029475.687 * * [misc]simplify: iters left: 4 (8 enodes) 1537029475.689 * [exit]simplify: Simplified to (/ 1 (sqrt (+ x 1))) 1537029475.689 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))) 2)) 1537029475.690 * [enter]simplify: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1537029475.690 * * [misc]simplify: iters left: 5 (6 enodes) 1537029475.694 * * [misc]simplify: iters left: 4 (14 enodes) 1537029475.699 * * [misc]simplify: iters left: 3 (17 enodes) 1537029475.704 * * [misc]simplify: iters left: 2 (19 enodes) 1537029475.710 * [exit]simplify: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1537029475.710 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))) 2)) 1537029475.710 * * * * [misc]progress: [ 58 / 80 ] simplifiying candidate # 1537029475.710 * [enter]simplify: Simplifying (/ 1 1) 1537029475.710 * * [misc]simplify: iters left: 2 (2 enodes) 1537029475.711 * * [misc]simplify: iters left: 1 (4 enodes) 1537029475.712 * [exit]simplify: Simplified to 1 1537029475.712 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))) 2)) 1537029475.712 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1537029475.713 * * [misc]simplify: iters left: 4 (5 enodes) 1537029475.716 * * [misc]simplify: iters left: 3 (13 enodes) 1537029475.720 * * [misc]simplify: iters left: 2 (16 enodes) 1537029475.725 * * [misc]simplify: iters left: 1 (18 enodes) 1537029475.731 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1537029475.731 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))) 2)) 1537029475.731 * * * * [misc]progress: [ 59 / 80 ] simplifiying candidate # 1537029475.731 * * * * [misc]progress: [ 60 / 80 ] simplifiying candidate # 1537029475.731 * * * * [misc]progress: [ 61 / 80 ] simplifiying candidate # 1537029475.731 * * * * [misc]progress: [ 62 / 80 ] simplifiying candidate # 1537029475.731 * [enter]simplify: Simplifying (cbrt (+ 1 x)) 1537029475.734 * * [misc]simplify: iters left: 3 (4 enodes) 1537029475.735 * * [misc]simplify: iters left: 2 (7 enodes) 1537029475.738 * [exit]simplify: Simplified to (cbrt (+ x 1)) 1537029475.738 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))) 2)) 1537029475.738 * * * * [misc]progress: [ 63 / 80 ] simplifiying candidate # 1537029475.738 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1537029475.738 * * [misc]simplify: iters left: 3 (4 enodes) 1537029475.740 * * [misc]simplify: iters left: 2 (7 enodes) 1537029475.742 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1537029475.742 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))) 2)) 1537029475.742 * * * * [misc]progress: [ 64 / 80 ] simplifiying candidate # 1537029475.742 * [enter]simplify: Simplifying (+ 1 x) 1537029475.743 * * [misc]simplify: iters left: 2 (3 enodes) 1537029475.744 * * [misc]simplify: iters left: 1 (6 enodes) 1537029475.746 * [exit]simplify: Simplified to (+ x 1) 1537029475.746 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))) 2)) 1537029475.746 * * * * [misc]progress: [ 65 / 80 ] simplifiying candidate # 1537029475.746 * [enter]simplify: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1537029475.747 * * [misc]simplify: iters left: 5 (5 enodes) 1537029475.749 * * [misc]simplify: iters left: 4 (9 enodes) 1537029475.751 * * [misc]simplify: iters left: 3 (10 enodes) 1537029475.755 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1537029475.755 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))) 2)) 1537029475.755 * * * * [misc]progress: [ 66 / 80 ] simplifiying candidate # 1537029475.755 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1537029475.755 * * [misc]simplify: iters left: 3 (4 enodes) 1537029475.757 * * [misc]simplify: iters left: 2 (8 enodes) 1537029475.760 * * [misc]simplify: iters left: 1 (9 enodes) 1537029475.762 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029475.762 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))) 2)) 1537029475.762 * * * * [misc]progress: [ 67 / 80 ] simplifiying candidate # 1537029475.762 * * * * [misc]progress: [ 68 / 80 ] simplifiying candidate # 1537029475.763 * [enter]simplify: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1537029475.763 * * [misc]simplify: iters left: 6 (7 enodes) 1537029475.769 * * [misc]simplify: iters left: 5 (17 enodes) 1537029475.775 * * [misc]simplify: iters left: 4 (28 enodes) 1537029475.787 * * [misc]simplify: iters left: 3 (49 enodes) 1537029475.806 * * [misc]simplify: iters left: 2 (66 enodes) 1537029475.830 * * [misc]simplify: iters left: 1 (92 enodes) 1537029475.860 * [exit]simplify: Simplified to (fma x x (- 1 x)) 1537029475.860 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (fma x x (- 1 x))))) 2)) 1537029475.860 * * * * [misc]progress: [ 69 / 80 ] simplifiying candidate # 1537029475.861 * [enter]simplify: Simplifying (- 1 x) 1537029475.861 * * [misc]simplify: iters left: 2 (3 enodes) 1537029475.862 * * [misc]simplify: iters left: 1 (7 enodes) 1537029475.865 * [exit]simplify: Simplified to (- 1 x) 1537029475.865 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))) 2)) 1537029475.865 * * * * [misc]progress: [ 70 / 80 ] simplifiying candidate # 1537029475.865 * [enter]simplify: Simplifying (- (pow 1 3) (pow x 3)) 1537029475.867 * * [misc]simplify: iters left: 3 (6 enodes) 1537029475.872 * * [misc]simplify: iters left: 2 (15 enodes) 1537029475.877 * * [misc]simplify: iters left: 1 (22 enodes) 1537029475.885 * [exit]simplify: Simplified to (fma (- x) (* x x) 1) 1537029475.885 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (fma (- x) (* x x) 1) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))) 2)) 1537029475.885 * * * * [misc]progress: [ 71 / 80 ] simplifiying candidate # 1537029475.885 * [enter]simplify: Simplifying (- (* 1 1) (* x x)) 1537029475.886 * * [misc]simplify: iters left: 4 (5 enodes) 1537029475.889 * * [misc]simplify: iters left: 3 (10 enodes) 1537029475.892 * * [misc]simplify: iters left: 2 (14 enodes) 1537029475.896 * * [misc]simplify: iters left: 1 (16 enodes) 1537029475.900 * [exit]simplify: Simplified to (- 1 (* x x)) 1537029475.900 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))) 2)) 1537029475.900 * * * * [misc]progress: [ 72 / 80 ] simplifiying candidate # 1537029475.900 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1537029475.901 * * [misc]simplify: iters left: 6 (8 enodes) 1537029475.904 * * [misc]simplify: iters left: 5 (18 enodes) 1537029475.908 * * [misc]simplify: iters left: 4 (33 enodes) 1537029475.915 * * [misc]simplify: iters left: 3 (47 enodes) 1537029475.921 * * [misc]simplify: iters left: 2 (49 enodes) 1537029475.927 * * [misc]simplify: iters left: 1 (63 enodes) 1537029475.940 * [exit]simplify: Simplified to (fma (* 1/2 x) x (- 1 x)) 1537029475.940 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (fma (* 1/2 x) x (- 1 x))) 2)) 1537029475.940 * * * * [misc]progress: [ 73 / 80 ] simplifiying candidate # 1537029475.940 * [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)))))) 1537029475.942 * * [misc]simplify: iters left: 6 (19 enodes) 1537029475.948 * * [misc]simplify: iters left: 5 (44 enodes) 1537029475.970 * * [misc]simplify: iters left: 4 (89 enodes) 1537029476.001 * * [misc]simplify: iters left: 3 (182 enodes) 1537029476.130 * * [misc]simplify: iters left: 2 (368 enodes) 1537029478.024 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1537029478.024 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2)) 1537029478.024 * * * * [misc]progress: [ 74 / 80 ] simplifiying candidate # 1537029478.024 * [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)))))) 1537029478.026 * * [misc]simplify: iters left: 6 (19 enodes) 1537029478.038 * * [misc]simplify: iters left: 5 (44 enodes) 1537029478.062 * * [misc]simplify: iters left: 4 (89 enodes) 1537029478.105 * * [misc]simplify: iters left: 3 (182 enodes) 1537029478.203 * * [misc]simplify: iters left: 2 (368 enodes) 1537029480.395 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1537029480.395 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2)) 1537029480.395 * * * * [misc]progress: [ 75 / 80 ] simplifiying candidate # 1537029480.395 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.396 * * [misc]simplify: iters left: 6 (7 enodes) 1537029480.398 * * [misc]simplify: iters left: 5 (15 enodes) 1537029480.400 * * [misc]simplify: iters left: 4 (18 enodes) 1537029480.403 * * [misc]simplify: iters left: 3 (20 enodes) 1537029480.406 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.406 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029480.406 * * * * [misc]progress: [ 76 / 80 ] simplifiying candidate # 1537029480.406 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.406 * * [misc]simplify: iters left: 6 (7 enodes) 1537029480.408 * * [misc]simplify: iters left: 5 (15 enodes) 1537029480.411 * * [misc]simplify: iters left: 4 (18 enodes) 1537029480.414 * * [misc]simplify: iters left: 3 (20 enodes) 1537029480.417 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.417 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029480.417 * * * * [misc]progress: [ 77 / 80 ] simplifiying candidate # 1537029480.417 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.417 * * [misc]simplify: iters left: 6 (7 enodes) 1537029480.419 * * [misc]simplify: iters left: 5 (15 enodes) 1537029480.422 * * [misc]simplify: iters left: 4 (18 enodes) 1537029480.424 * * [misc]simplify: iters left: 3 (20 enodes) 1537029480.427 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029480.427 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029480.427 * * * * [misc]progress: [ 78 / 80 ] simplifiying candidate # 1537029480.428 * [enter]simplify: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1537029480.428 * * [misc]simplify: iters left: 6 (8 enodes) 1537029480.433 * * [misc]simplify: iters left: 5 (19 enodes) 1537029480.443 * * [misc]simplify: iters left: 4 (39 enodes) 1537029480.460 * * [misc]simplify: iters left: 3 (62 enodes) 1537029480.490 * * [misc]simplify: iters left: 2 (92 enodes) 1537029480.511 * * [misc]simplify: iters left: 1 (111 enodes) 1537029480.535 * [exit]simplify: Simplified to (fma (fma x 2 -2) x 1) 1537029480.535 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (fma (fma x 2 -2) x 1))) 2)) 1537029480.535 * * * * [misc]progress: [ 79 / 80 ] simplifiying candidate # 1537029480.535 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1537029480.536 * * [misc]simplify: iters left: 6 (10 enodes) 1537029480.540 * * [misc]simplify: iters left: 5 (25 enodes) 1537029480.551 * * [misc]simplify: iters left: 4 (44 enodes) 1537029480.575 * * [misc]simplify: iters left: 3 (91 enodes) 1537029480.623 * * [misc]simplify: iters left: 2 (158 enodes) 1537029480.656 * * [misc]simplify: iters left: 1 (216 enodes) 1537029480.710 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1537029480.710 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))) 2)) 1537029480.710 * * * * [misc]progress: [ 80 / 80 ] simplifiying candidate # 1537029480.710 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1537029480.711 * * [misc]simplify: iters left: 6 (10 enodes) 1537029480.715 * * [misc]simplify: iters left: 5 (25 enodes) 1537029480.726 * * [misc]simplify: iters left: 4 (44 enodes) 1537029480.752 * * [misc]simplify: iters left: 3 (91 enodes) 1537029480.828 * * [misc]simplify: iters left: 2 (158 enodes) 1537029480.891 * * [misc]simplify: iters left: 1 (216 enodes) 1537029480.952 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1537029480.952 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))) 2)) 1537029480.953 * * * [misc]progress: adding candidates to table 1537029482.420 * * [misc]progress: iteration 2 / 4 1537029482.420 * * * [misc]progress: picking best candidate 1537029482.425 * * * * [misc]pick: Picked # 1537029482.425 * * * [misc]progress: localizing error 1537029482.442 * * * [misc]progress: generating rewritten candidates 1537029482.442 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1537029482.482 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1537029482.490 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1537029482.494 * * * [misc]progress: generating series expansions 1537029482.494 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1537029482.495 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1537029482.495 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1537029482.495 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1537029482.495 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029482.495 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029482.495 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.495 * [misc]backup-simplify: Simplify 1 into 1 1537029482.495 * [misc]taylor: Taking taylor expansion of x in x 1537029482.495 * [misc]backup-simplify: Simplify 0 into 0 1537029482.495 * [misc]backup-simplify: Simplify 1 into 1 1537029482.495 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029482.495 * [misc]taylor: Taking taylor expansion of x in x 1537029482.495 * [misc]backup-simplify: Simplify 0 into 0 1537029482.495 * [misc]backup-simplify: Simplify 1 into 1 1537029482.495 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.495 * [misc]backup-simplify: Simplify 1 into 1 1537029482.496 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.496 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.496 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.496 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.496 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029482.496 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.497 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.497 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.497 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1537029482.497 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1537029482.497 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1537029482.497 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1537029482.497 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029482.497 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.497 * [misc]backup-simplify: Simplify 1 into 1 1537029482.497 * [misc]taylor: Taking taylor expansion of x in x 1537029482.497 * [misc]backup-simplify: Simplify 0 into 0 1537029482.497 * [misc]backup-simplify: Simplify 1 into 1 1537029482.497 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1537029482.497 * [misc]taylor: Taking taylor expansion of x in x 1537029482.497 * [misc]backup-simplify: Simplify 0 into 0 1537029482.497 * [misc]backup-simplify: Simplify 1 into 1 1537029482.498 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.498 * [misc]backup-simplify: Simplify 1 into 1 1537029482.498 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.498 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.498 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.498 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.498 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029482.498 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.499 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.499 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.499 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1537029482.499 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1537029482.499 * [misc]backup-simplify: Simplify 1 into 1 1537029482.499 * [misc]backup-simplify: Simplify -1 into -1 1537029482.500 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.500 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.500 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.500 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1537029482.501 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1537029482.501 * [misc]backup-simplify: Simplify 1/2 into 1/2 1537029482.502 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1537029482.502 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 x))) (sqrt (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1537029482.502 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1537029482.502 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.502 * [misc]backup-simplify: Simplify 1 into 1 1537029482.502 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of x in x 1537029482.502 * [misc]backup-simplify: Simplify 0 into 0 1537029482.502 * [misc]backup-simplify: Simplify 1 into 1 1537029482.502 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.502 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.502 * [misc]taylor: Taking taylor expansion of x in x 1537029482.502 * [misc]backup-simplify: Simplify 0 into 0 1537029482.502 * [misc]backup-simplify: Simplify 1 into 1 1537029482.502 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.503 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.503 * [misc]backup-simplify: Simplify 1 into 1 1537029482.503 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.503 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.503 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.503 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029482.503 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.504 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.504 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.504 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.504 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.505 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.505 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1537029482.505 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1537029482.506 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.506 * [misc]backup-simplify: Simplify 1 into 1 1537029482.506 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of x in x 1537029482.506 * [misc]backup-simplify: Simplify 0 into 0 1537029482.506 * [misc]backup-simplify: Simplify 1 into 1 1537029482.506 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.506 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.506 * [misc]taylor: Taking taylor expansion of x in x 1537029482.506 * [misc]backup-simplify: Simplify 0 into 0 1537029482.506 * [misc]backup-simplify: Simplify 1 into 1 1537029482.506 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.506 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.506 * [misc]backup-simplify: Simplify 1 into 1 1537029482.506 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.507 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.507 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.507 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1537029482.507 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.507 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.507 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.508 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.508 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1537029482.508 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1537029482.508 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.509 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1537029482.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.509 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.509 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1537029482.511 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1537029482.512 * [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))) 1537029482.514 * [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)))))) 1537029482.514 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (/ 1 (- x)))) (sqrt (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1537029482.514 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1537029482.514 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of x in x 1537029482.515 * [misc]backup-simplify: Simplify 0 into 0 1537029482.515 * [misc]backup-simplify: Simplify 1 into 1 1537029482.515 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.515 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.515 * [misc]backup-simplify: Simplify 1 into 1 1537029482.515 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.515 * [misc]backup-simplify: Simplify 1 into 1 1537029482.515 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.515 * [misc]taylor: Taking taylor expansion of x in x 1537029482.515 * [misc]backup-simplify: Simplify 0 into 0 1537029482.515 * [misc]backup-simplify: Simplify 1 into 1 1537029482.515 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.515 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.515 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.515 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.515 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029482.515 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.516 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.516 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.516 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.516 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1537029482.516 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1537029482.517 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of x in x 1537029482.517 * [misc]backup-simplify: Simplify 0 into 0 1537029482.517 * [misc]backup-simplify: Simplify 1 into 1 1537029482.517 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.517 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.517 * [misc]backup-simplify: Simplify 1 into 1 1537029482.517 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.517 * [misc]backup-simplify: Simplify 1 into 1 1537029482.517 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.517 * [misc]taylor: Taking taylor expansion of x in x 1537029482.517 * [misc]backup-simplify: Simplify 0 into 0 1537029482.517 * [misc]backup-simplify: Simplify 1 into 1 1537029482.517 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.517 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.517 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.517 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.517 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1537029482.517 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.518 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.518 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.518 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.518 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.518 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.518 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1537029482.518 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1537029482.519 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537029482.519 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1537029482.519 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.519 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.519 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.519 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.520 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.520 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1537029482.521 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1537029482.522 * [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))) 1537029482.525 * [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)))))) 1537029482.525 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1537029482.525 * [misc]backup-simplify: Simplify (sqrt (- 1 x)) into (sqrt (- 1 x)) 1537029482.525 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 x)) in (x) around 0 1537029482.525 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 x)) in x 1537029482.525 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029482.525 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.525 * [misc]backup-simplify: Simplify 1 into 1 1537029482.525 * [misc]taylor: Taking taylor expansion of x in x 1537029482.525 * [misc]backup-simplify: Simplify 0 into 0 1537029482.525 * [misc]backup-simplify: Simplify 1 into 1 1537029482.525 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.525 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.525 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029482.526 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.526 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.526 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1537029482.526 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 x)) in x 1537029482.526 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1537029482.526 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.526 * [misc]backup-simplify: Simplify 1 into 1 1537029482.526 * [misc]taylor: Taking taylor expansion of x in x 1537029482.526 * [misc]backup-simplify: Simplify 0 into 0 1537029482.526 * [misc]backup-simplify: Simplify 1 into 1 1537029482.526 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.526 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.526 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537029482.526 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.526 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.527 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1537029482.527 * [misc]backup-simplify: Simplify 1 into 1 1537029482.527 * [misc]backup-simplify: Simplify -1/2 into -1/2 1537029482.527 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.527 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.527 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8 1537029482.528 * [misc]backup-simplify: Simplify -1/8 into -1/8 1537029482.528 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 2)) (+ (* -1/2 x) 1)) into (- 1 (+ (* 1/2 x) (* 1/8 (pow x 2)))) 1537029482.528 * [misc]backup-simplify: Simplify (sqrt (- 1 (/ 1 x))) into (sqrt (- 1 (/ 1 x))) 1537029482.528 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0 1537029482.528 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1537029482.528 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.528 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.528 * [misc]backup-simplify: Simplify 1 into 1 1537029482.528 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.528 * [misc]taylor: Taking taylor expansion of x in x 1537029482.528 * [misc]backup-simplify: Simplify 0 into 0 1537029482.528 * [misc]backup-simplify: Simplify 1 into 1 1537029482.528 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.528 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.528 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.528 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537029482.529 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1537029482.529 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1537029482.529 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1537029482.529 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.529 * [misc]backup-simplify: Simplify 1 into 1 1537029482.529 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.529 * [misc]taylor: Taking taylor expansion of x in x 1537029482.529 * [misc]backup-simplify: Simplify 0 into 0 1537029482.529 * [misc]backup-simplify: Simplify 1 into 1 1537029482.529 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.529 * [misc]backup-simplify: Simplify (- 1) into -1 1537029482.529 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537029482.529 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537029482.529 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1537029482.529 * [misc]backup-simplify: Simplify 0 into 0 1537029482.530 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.530 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.530 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.530 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1537029482.531 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.531 * [misc]backup-simplify: Simplify (- 0) into 0 1537029482.531 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.532 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1537029482.532 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.532 * [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))))) 1537029482.532 * [misc]backup-simplify: Simplify (sqrt (- 1 (/ 1 (- x)))) into (sqrt (+ (/ 1 x) 1)) 1537029482.532 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0 1537029482.532 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1537029482.532 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.532 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.532 * [misc]taylor: Taking taylor expansion of x in x 1537029482.532 * [misc]backup-simplify: Simplify 0 into 0 1537029482.532 * [misc]backup-simplify: Simplify 1 into 1 1537029482.532 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.532 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.532 * [misc]backup-simplify: Simplify 1 into 1 1537029482.532 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.533 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537029482.533 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1537029482.533 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x 1537029482.533 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1537029482.533 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537029482.533 * [misc]taylor: Taking taylor expansion of x in x 1537029482.533 * [misc]backup-simplify: Simplify 0 into 0 1537029482.533 * [misc]backup-simplify: Simplify 1 into 1 1537029482.533 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537029482.533 * [misc]taylor: Taking taylor expansion of 1 in x 1537029482.533 * [misc]backup-simplify: Simplify 1 into 1 1537029482.533 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537029482.533 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537029482.534 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1537029482.534 * [misc]backup-simplify: Simplify 0 into 0 1537029482.534 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537029482.534 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1537029482.535 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1537029482.535 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.535 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537029482.535 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537029482.536 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1537029482.536 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537029482.536 * [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))))) 1537029482.536 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1537029482.536 * [misc]backup-simplify: Simplify (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.536 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in (x) around 0 1537029482.536 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x 1537029482.536 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.536 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x 1537029482.536 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.537 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.537 * [misc]backup-simplify: Simplify (atan (/ (sqrt (- 1 (/ 1 x))) (sqrt (+ 1 (/ 1 x))))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029482.537 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in (x) around 0 1537029482.537 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x 1537029482.537 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029482.537 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x 1537029482.537 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029482.537 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.537 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify (atan (sqrt (/ (- 1 (/ 1 (/ 1 x))) (+ (/ 1 (/ 1 x)) 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.538 * [misc]backup-simplify: Simplify (atan (/ (sqrt (- 1 (/ 1 (- x)))) (sqrt (+ 1 (/ 1 (- x)))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029482.538 * [misc]approximate: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in (x) around 0 1537029482.538 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x 1537029482.538 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029482.538 * [misc]taylor: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x 1537029482.538 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029482.538 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify 0 into 0 1537029482.538 * [misc]backup-simplify: Simplify (atan (sqrt (/ (+ (/ 1 (/ 1 (- x))) 1) (- 1 (/ 1 (/ 1 (- x))))))) into (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029482.539 * * * [misc]progress: simplifying candidates 1537029482.539 * * * * [misc]progress: [ 1 / 101 ] simplifiying candidate # 1537029482.539 * * * * [misc]progress: [ 2 / 101 ] simplifiying candidate # 1537029482.539 * * * * [misc]progress: [ 3 / 101 ] simplifiying candidate # 1537029482.539 * * * * [misc]progress: [ 4 / 101 ] simplifiying candidate # 1537029482.539 * [enter]simplify: Simplifying (- (log (sqrt (- 1 x))) (log (sqrt (+ 1 x)))) 1537029482.539 * * [misc]simplify: iters left: 6 (9 enodes) 1537029482.541 * * [misc]simplify: iters left: 5 (16 enodes) 1537029482.544 * * [misc]simplify: iters left: 4 (18 enodes) 1537029482.547 * [exit]simplify: Simplified to (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))) 1537029482.547 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (exp (- (log (sqrt (- 1 x))) (log (sqrt (+ x 1)))))) 2)) 1537029482.547 * * * * [misc]progress: [ 5 / 101 ] simplifiying candidate # 1537029482.547 * * * * [misc]progress: [ 6 / 101 ] simplifiying candidate # 1537029482.547 * * * * [misc]progress: [ 7 / 101 ] simplifiying candidate # 1537029482.547 * [enter]simplify: Simplifying (/ (* (* (sqrt (- 1 x)) (sqrt (- 1 x))) (sqrt (- 1 x))) (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))) 1537029482.548 * * [misc]simplify: iters left: 6 (11 enodes) 1537029482.554 * * [misc]simplify: iters left: 5 (25 enodes) 1537029482.568 * * [misc]simplify: iters left: 4 (76 enodes) 1537029482.594 * * [misc]simplify: iters left: 3 (158 enodes) 1537029482.739 * [exit]simplify: Simplified to (* (/ (sqrt (- 1 x)) (+ x 1)) (/ (- 1 x) (sqrt (+ x 1)))) 1537029482.739 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (cbrt (* (/ (sqrt (- 1 x)) (+ x 1)) (/ (- 1 x) (sqrt (+ x 1)))))) 2)) 1537029482.739 * * * * [misc]progress: [ 8 / 101 ] simplifiying candidate # 1537029482.739 * * * * [misc]progress: [ 9 / 101 ] simplifiying candidate # 1537029482.739 * * * * [misc]progress: [ 10 / 101 ] simplifiying candidate # 1537029482.739 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1537029482.744 * * [misc]simplify: iters left: 4 (5 enodes) 1537029482.747 * * [misc]simplify: iters left: 3 (13 enodes) 1537029482.751 * * [misc]simplify: iters left: 2 (16 enodes) 1537029482.756 * * [misc]simplify: iters left: 1 (18 enodes) 1537029482.762 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1537029482.762 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029482.762 * * * * [misc]progress: [ 11 / 101 ] simplifiying candidate # 1537029482.762 * * * * [misc]progress: [ 12 / 101 ] simplifiying candidate # 1537029482.762 * * * * [misc]progress: [ 13 / 101 ] simplifiying candidate # 1537029482.763 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029482.764 * * [misc]simplify: iters left: 6 (11 enodes) 1537029482.769 * * [misc]simplify: iters left: 5 (22 enodes) 1537029482.778 * * [misc]simplify: iters left: 4 (32 enodes) 1537029482.783 * * [misc]simplify: iters left: 3 (35 enodes) 1537029482.788 * * [misc]simplify: iters left: 2 (38 enodes) 1537029482.795 * [exit]simplify: Simplified to (* (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1))))) 1537029482.795 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (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)))))) 2)) 1537029482.796 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1537029482.796 * * [misc]simplify: iters left: 6 (9 enodes) 1537029482.798 * * [misc]simplify: iters left: 5 (14 enodes) 1537029482.800 * * [misc]simplify: iters left: 4 (15 enodes) 1537029482.803 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1537029482.803 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (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)))))) 2)) 1537029482.803 * * * * [misc]progress: [ 14 / 101 ] simplifiying candidate # 1537029482.803 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029482.804 * * [misc]simplify: iters left: 6 (11 enodes) 1537029482.806 * * [misc]simplify: iters left: 5 (19 enodes) 1537029482.811 * * [misc]simplify: iters left: 4 (22 enodes) 1537029482.818 * * [misc]simplify: iters left: 3 (23 enodes) 1537029482.827 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) 1537029482.827 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029482.827 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1537029482.828 * * [misc]simplify: iters left: 6 (9 enodes) 1537029482.831 * * [misc]simplify: iters left: 5 (14 enodes) 1537029482.836 * * [misc]simplify: iters left: 4 (15 enodes) 1537029482.840 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1537029482.841 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))) 2)) 1537029482.841 * * * * [misc]progress: [ 15 / 101 ] simplifiying candidate # 1537029482.841 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1537029482.842 * * [misc]simplify: iters left: 6 (10 enodes) 1537029482.846 * * [misc]simplify: iters left: 5 (17 enodes) 1537029482.855 * * [misc]simplify: iters left: 4 (20 enodes) 1537029482.861 * * [misc]simplify: iters left: 3 (21 enodes) 1537029482.869 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1537029482.869 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029482.870 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029482.871 * * [misc]simplify: iters left: 6 (9 enodes) 1537029482.874 * * [misc]simplify: iters left: 5 (14 enodes) 1537029482.879 * * [misc]simplify: iters left: 4 (15 enodes) 1537029482.884 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029482.884 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029482.884 * * * * [misc]progress: [ 16 / 101 ] simplifiying candidate # 1537029482.884 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt 1)) 1537029482.885 * * [misc]simplify: iters left: 6 (8 enodes) 1537029482.890 * * [misc]simplify: iters left: 5 (14 enodes) 1537029482.894 * * [misc]simplify: iters left: 4 (17 enodes) 1537029482.900 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1537029482.900 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029482.900 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029482.901 * * [misc]simplify: iters left: 6 (8 enodes) 1537029482.904 * * [misc]simplify: iters left: 5 (13 enodes) 1537029482.909 * * [misc]simplify: iters left: 4 (14 enodes) 1537029482.913 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029482.913 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029482.913 * * * * [misc]progress: [ 17 / 101 ] simplifiying candidate # 1537029482.914 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1537029482.915 * * [misc]simplify: iters left: 6 (10 enodes) 1537029482.919 * * [misc]simplify: iters left: 5 (17 enodes) 1537029482.925 * * [misc]simplify: iters left: 4 (20 enodes) 1537029482.929 * * [misc]simplify: iters left: 3 (21 enodes) 1537029482.933 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) 1537029482.933 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1))))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029482.933 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029482.934 * * [misc]simplify: iters left: 6 (9 enodes) 1537029482.935 * * [misc]simplify: iters left: 5 (14 enodes) 1537029482.937 * * [misc]simplify: iters left: 4 (15 enodes) 1537029482.940 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029482.940 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029482.940 * * * * [misc]progress: [ 18 / 101 ] simplifiying candidate # 1537029482.940 * [enter]simplify: Simplifying (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1) 1537029482.940 * * [misc]simplify: iters left: 6 (7 enodes) 1537029482.942 * * [misc]simplify: iters left: 5 (13 enodes) 1537029482.945 * * [misc]simplify: iters left: 4 (20 enodes) 1537029482.949 * * [misc]simplify: iters left: 3 (34 enodes) 1537029482.956 * * [misc]simplify: iters left: 2 (60 enodes) 1537029482.974 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1537029482.974 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029482.974 * [enter]simplify: Simplifying (/ (cbrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029482.975 * * [misc]simplify: iters left: 6 (8 enodes) 1537029482.978 * * [misc]simplify: iters left: 5 (13 enodes) 1537029482.982 * * [misc]simplify: iters left: 4 (14 enodes) 1537029482.987 * [exit]simplify: Simplified to (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029482.987 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (cbrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029482.987 * * * * [misc]progress: [ 19 / 101 ] simplifiying candidate # 1537029482.987 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029482.989 * * [misc]simplify: iters left: 6 (11 enodes) 1537029482.994 * * [misc]simplify: iters left: 5 (19 enodes) 1537029482.999 * * [misc]simplify: iters left: 4 (20 enodes) 1537029483.007 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1537029483.007 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))) 2)) 1537029483.007 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1537029483.009 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.013 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.017 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.022 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1537029483.022 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (cbrt (- 1 x))) (cbrt (sqrt (+ x 1)))))) 2)) 1537029483.022 * * * * [misc]progress: [ 20 / 101 ] simplifiying candidate # 1537029483.022 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029483.023 * * [misc]simplify: iters left: 6 (11 enodes) 1537029483.028 * * [misc]simplify: iters left: 5 (18 enodes) 1537029483.033 * * [misc]simplify: iters left: 4 (19 enodes) 1537029483.039 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1537029483.040 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029483.040 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1537029483.041 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.045 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.049 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.054 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1537029483.054 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (cbrt (+ x 1)))))) 2)) 1537029483.054 * * * * [misc]progress: [ 21 / 101 ] simplifiying candidate # 1537029483.054 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1537029483.055 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.057 * * [misc]simplify: iters left: 5 (16 enodes) 1537029483.060 * * [misc]simplify: iters left: 4 (17 enodes) 1537029483.062 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.062 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.063 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.063 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.065 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.067 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.069 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.069 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.069 * * * * [misc]progress: [ 22 / 101 ] simplifiying candidate # 1537029483.070 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt 1)) 1537029483.070 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.073 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.074 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.076 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1537029483.076 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.076 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.077 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.079 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.082 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.086 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1537029483.086 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.086 * * * * [misc]progress: [ 23 / 101 ] simplifiying candidate # 1537029483.086 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (sqrt (sqrt (+ 1 x)))) 1537029483.087 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.090 * * [misc]simplify: iters left: 5 (16 enodes) 1537029483.092 * * [misc]simplify: iters left: 4 (17 enodes) 1537029483.094 * [exit]simplify: Simplified to (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.094 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.095 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.095 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.097 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.099 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.101 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.101 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (fabs (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.101 * * * * [misc]progress: [ 24 / 101 ] simplifiying candidate # 1537029483.102 * [enter]simplify: Simplifying (/ (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1) 1537029483.102 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.104 * * [misc]simplify: iters left: 5 (12 enodes) 1537029483.106 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.108 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1537029483.108 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.108 * [enter]simplify: Simplifying (/ (sqrt (cbrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.109 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.111 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.112 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.114 * [exit]simplify: Simplified to (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))) 1537029483.114 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (/ (sqrt (cbrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.115 * * * * [misc]progress: [ 25 / 101 ] simplifiying candidate # 1537029483.115 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029483.115 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.118 * * [misc]simplify: iters left: 5 (17 enodes) 1537029483.121 * * [misc]simplify: iters left: 4 (18 enodes) 1537029483.127 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1537029483.127 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))) 2)) 1537029483.128 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1537029483.129 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.132 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.136 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.141 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1537029483.141 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))))) 2)) 1537029483.141 * * * * [misc]progress: [ 26 / 101 ] simplifiying candidate # 1537029483.142 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029483.143 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.147 * * [misc]simplify: iters left: 5 (16 enodes) 1537029483.152 * * [misc]simplify: iters left: 4 (17 enodes) 1537029483.157 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1537029483.157 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029483.158 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1537029483.159 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.163 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.165 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.168 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1537029483.168 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))) 2)) 1537029483.168 * * * * [misc]progress: [ 27 / 101 ] simplifiying candidate # 1537029483.168 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.168 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.170 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.172 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.175 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.175 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.175 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.177 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.179 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.181 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.184 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.184 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.184 * * * * [misc]progress: [ 28 / 101 ] simplifiying candidate # 1537029483.184 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1537029483.184 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.186 * * [misc]simplify: iters left: 5 (11 enodes) 1537029483.188 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.190 * * [misc]simplify: iters left: 3 (14 enodes) 1537029483.192 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.192 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.192 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.193 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.195 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.196 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.199 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029483.199 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.199 * * * * [misc]progress: [ 29 / 101 ] simplifiying candidate # 1537029483.199 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.200 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.201 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.203 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.206 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.206 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.206 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.206 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.209 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.214 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.218 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.218 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.219 * * * * [misc]progress: [ 30 / 101 ] simplifiying candidate # 1537029483.219 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1537029483.219 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.222 * * [misc]simplify: iters left: 5 (10 enodes) 1537029483.225 * * [misc]simplify: iters left: 4 (13 enodes) 1537029483.226 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.226 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.226 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.227 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.229 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.230 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.233 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029483.233 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.233 * * * * [misc]progress: [ 31 / 101 ] simplifiying candidate # 1537029483.233 * [enter]simplify: Simplifying (/ (sqrt 1) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029483.233 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.236 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.237 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.239 * * [misc]simplify: iters left: 3 (16 enodes) 1537029483.241 * * [misc]simplify: iters left: 2 (17 enodes) 1537029483.244 * [exit]simplify: Simplified to (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029483.244 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))) 2)) 1537029483.244 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1537029483.245 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.246 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.248 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.250 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1537029483.250 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))))) 2)) 1537029483.250 * * * * [misc]progress: [ 32 / 101 ] simplifiying candidate # 1537029483.250 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029483.251 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.253 * * [misc]simplify: iters left: 5 (12 enodes) 1537029483.255 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ 1 x)))) 1537029483.255 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029483.255 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1537029483.259 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.263 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.267 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.269 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1537029483.269 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (fabs (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))) 2)) 1537029483.269 * * * * [misc]progress: [ 33 / 101 ] simplifiying candidate # 1537029483.270 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1537029483.270 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.272 * * [misc]simplify: iters left: 5 (10 enodes) 1537029483.273 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1537029483.273 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.273 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1537029483.274 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.276 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.277 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.280 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1537029483.280 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.280 * * * * [misc]progress: [ 34 / 101 ] simplifiying candidate # 1537029483.280 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt 1)) 1537029483.280 * * [misc]simplify: iters left: 3 (3 enodes) 1537029483.281 * * [misc]simplify: iters left: 2 (5 enodes) 1537029483.282 * [exit]simplify: Simplified to 1 1537029483.282 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 2)) 1537029483.282 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029483.282 * * [misc]simplify: iters left: 5 (7 enodes) 1537029483.284 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.285 * * [misc]simplify: iters left: 3 (13 enodes) 1537029483.287 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029483.287 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2)) 1537029483.287 * * * * [misc]progress: [ 35 / 101 ] simplifiying candidate # 1537029483.288 * [enter]simplify: Simplifying (/ (sqrt 1) (sqrt (sqrt (+ 1 x)))) 1537029483.288 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.290 * * [misc]simplify: iters left: 5 (10 enodes) 1537029483.291 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ 1 x)))) 1537029483.291 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.291 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1537029483.292 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.294 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.296 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.298 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1537029483.298 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.298 * * * * [misc]progress: [ 36 / 101 ] simplifiying candidate # 1537029483.298 * [enter]simplify: Simplifying (/ (sqrt 1) 1) 1537029483.298 * * [misc]simplify: iters left: 3 (3 enodes) 1537029483.299 * * [misc]simplify: iters left: 2 (5 enodes) 1537029483.300 * [exit]simplify: Simplified to 1 1537029483.300 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 2)) 1537029483.300 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029483.300 * * [misc]simplify: iters left: 5 (7 enodes) 1537029483.302 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.304 * * [misc]simplify: iters left: 3 (13 enodes) 1537029483.308 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029483.308 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2)) 1537029483.308 * * * * [misc]progress: [ 37 / 101 ] simplifiying candidate # 1537029483.309 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029483.310 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.315 * * [misc]simplify: iters left: 5 (17 enodes) 1537029483.320 * * [misc]simplify: iters left: 4 (18 enodes) 1537029483.327 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) 1537029483.327 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))))) 2)) 1537029483.327 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ 1 x)))) 1537029483.328 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.332 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.336 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.341 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))) 1537029483.341 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (sqrt (- 1 x))) (cbrt (sqrt (+ x 1)))))) 2)) 1537029483.341 * * * * [misc]progress: [ 38 / 101 ] simplifiying candidate # 1537029483.342 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029483.343 * * [misc]simplify: iters left: 6 (10 enodes) 1537029483.347 * * [misc]simplify: iters left: 5 (16 enodes) 1537029483.352 * * [misc]simplify: iters left: 4 (17 enodes) 1537029483.357 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) 1537029483.357 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029483.357 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ 1 x)))) 1537029483.359 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.365 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.370 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.374 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))) 1537029483.375 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (cbrt (+ x 1)))))) 2)) 1537029483.375 * * * * [misc]progress: [ 39 / 101 ] simplifiying candidate # 1537029483.375 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.376 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.379 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.384 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.389 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.389 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.389 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.390 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.394 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.398 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.402 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.403 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.403 * * * * [misc]progress: [ 40 / 101 ] simplifiying candidate # 1537029483.403 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt 1)) 1537029483.404 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.407 * * [misc]simplify: iters left: 5 (11 enodes) 1537029483.410 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.415 * * [misc]simplify: iters left: 3 (14 enodes) 1537029483.418 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.418 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.418 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.419 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.422 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.426 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.431 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029483.431 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.431 * * * * [misc]progress: [ 41 / 101 ] simplifiying candidate # 1537029483.431 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.432 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.436 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.440 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.445 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.445 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.446 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) 1537029483.447 * * [misc]simplify: iters left: 6 (9 enodes) 1537029483.450 * * [misc]simplify: iters left: 5 (14 enodes) 1537029483.454 * * [misc]simplify: iters left: 4 (15 enodes) 1537029483.459 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))) 1537029483.459 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (sqrt (- 1 x))) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.459 * * * * [misc]progress: [ 42 / 101 ] simplifiying candidate # 1537029483.460 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) 1) 1537029483.460 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.463 * * [misc]simplify: iters left: 5 (10 enodes) 1537029483.467 * * [misc]simplify: iters left: 4 (13 enodes) 1537029483.470 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.470 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))))) 2)) 1537029483.471 * [enter]simplify: Simplifying (/ (sqrt (sqrt (- 1 x))) (sqrt (+ 1 x))) 1537029483.472 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.475 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.479 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.483 * [exit]simplify: Simplified to (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))) 1537029483.483 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (/ (sqrt (sqrt (- 1 x))) (sqrt (+ x 1))))) 2)) 1537029483.483 * * * * [misc]progress: [ 43 / 101 ] simplifiying candidate # 1537029483.484 * [enter]simplify: Simplifying (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) 1537029483.484 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.487 * * [misc]simplify: iters left: 5 (12 enodes) 1537029483.492 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) 1537029483.492 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))) 2)) 1537029483.492 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))) 1537029483.493 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.496 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.500 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.507 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))) 1537029483.507 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))))) 2)) 1537029483.507 * * * * [misc]progress: [ 44 / 101 ] simplifiying candidate # 1537029483.508 * [enter]simplify: Simplifying (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1537029483.508 * * [misc]simplify: iters left: 6 (7 enodes) 1537029483.511 * * [misc]simplify: iters left: 5 (11 enodes) 1537029483.515 * [exit]simplify: Simplified to (/ 1 (fabs (cbrt (+ x 1)))) 1537029483.515 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))) 2)) 1537029483.516 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))) 1537029483.517 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.520 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.524 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.529 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))) 1537029483.529 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))) 2)) 1537029483.529 * * * * [misc]progress: [ 45 / 101 ] simplifiying candidate # 1537029483.529 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1537029483.530 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.532 * * [misc]simplify: iters left: 5 (9 enodes) 1537029483.535 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1537029483.535 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.535 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1537029483.536 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.539 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.543 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.547 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1537029483.547 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.547 * * * * [misc]progress: [ 46 / 101 ] simplifiying candidate # 1537029483.548 * [enter]simplify: Simplifying (/ 1 (sqrt 1)) 1537029483.548 * * [misc]simplify: iters left: 3 (3 enodes) 1537029483.551 * * [misc]simplify: iters left: 2 (5 enodes) 1537029483.551 * [exit]simplify: Simplified to 1 1537029483.551 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 2)) 1537029483.552 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029483.552 * * [misc]simplify: iters left: 5 (7 enodes) 1537029483.555 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.559 * * [misc]simplify: iters left: 3 (13 enodes) 1537029483.563 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029483.563 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2)) 1537029483.563 * * * * [misc]progress: [ 47 / 101 ] simplifiying candidate # 1537029483.563 * [enter]simplify: Simplifying (/ 1 (sqrt (sqrt (+ 1 x)))) 1537029483.564 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.566 * * [misc]simplify: iters left: 5 (9 enodes) 1537029483.569 * [exit]simplify: Simplified to (/ 1 (sqrt (sqrt (+ x 1)))) 1537029483.569 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))) 2)) 1537029483.570 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) 1537029483.571 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.574 * * [misc]simplify: iters left: 5 (13 enodes) 1537029483.579 * * [misc]simplify: iters left: 4 (14 enodes) 1537029483.583 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) 1537029483.583 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))) 2)) 1537029483.584 * * * * [misc]progress: [ 48 / 101 ] simplifiying candidate # 1537029483.584 * [enter]simplify: Simplifying (/ 1 1) 1537029483.584 * * [misc]simplify: iters left: 2 (2 enodes) 1537029483.585 * * [misc]simplify: iters left: 1 (4 enodes) 1537029483.586 * [exit]simplify: Simplified to 1 1537029483.586 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 2)) 1537029483.586 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1537029483.587 * * [misc]simplify: iters left: 5 (7 enodes) 1537029483.590 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.594 * * [misc]simplify: iters left: 3 (13 enodes) 1537029483.598 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1537029483.598 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* 1 (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2)) 1537029483.598 * * * * [misc]progress: [ 49 / 101 ] simplifiying candidate # 1537029483.598 * * * * [misc]progress: [ 50 / 101 ] simplifiying candidate # 1537029483.598 * * * * [misc]progress: [ 51 / 101 ] simplifiying candidate # 1537029483.598 * * * * [misc]progress: [ 52 / 101 ] simplifiying candidate # 1537029483.598 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 x))) 1537029483.599 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.600 * * [misc]simplify: iters left: 3 (8 enodes) 1537029483.603 * [exit]simplify: Simplified to (cbrt (sqrt (+ x 1))) 1537029483.603 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ x 1))))) 2)) 1537029483.603 * * * * [misc]progress: [ 53 / 101 ] simplifiying candidate # 1537029483.603 * [enter]simplify: Simplifying (sqrt (cbrt (+ 1 x))) 1537029483.604 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.606 * * [misc]simplify: iters left: 3 (8 enodes) 1537029483.608 * [exit]simplify: Simplified to (sqrt (cbrt (+ x 1))) 1537029483.608 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ x 1))))) 2)) 1537029483.608 * * * * [misc]progress: [ 54 / 101 ] simplifiying candidate # 1537029483.608 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1537029483.609 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.611 * * [misc]simplify: iters left: 3 (8 enodes) 1537029483.613 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1537029483.613 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))) 2)) 1537029483.613 * * * * [misc]progress: [ 55 / 101 ] simplifiying candidate # 1537029483.614 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1537029483.614 * * [misc]simplify: iters left: 3 (4 enodes) 1537029483.616 * * [misc]simplify: iters left: 2 (7 enodes) 1537029483.618 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1537029483.618 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) (sqrt 1)) (sqrt (+ x 1)))) 2)) 1537029483.618 * * * * [misc]progress: [ 56 / 101 ] simplifiying candidate # 1537029483.618 * [enter]simplify: Simplifying (sqrt (sqrt (+ 1 x))) 1537029483.618 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.620 * * [misc]simplify: iters left: 3 (8 enodes) 1537029483.623 * [exit]simplify: Simplified to (sqrt (sqrt (+ x 1))) 1537029483.623 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))) 2)) 1537029483.623 * * * * [misc]progress: [ 57 / 101 ] simplifiying candidate # 1537029483.623 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1537029483.623 * * [misc]simplify: iters left: 3 (4 enodes) 1537029483.625 * * [misc]simplify: iters left: 2 (7 enodes) 1537029483.627 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1537029483.627 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (/ (/ (sqrt (- 1 x)) 1) (sqrt (+ x 1)))) 2)) 1537029483.627 * * * * [misc]progress: [ 58 / 101 ] simplifiying candidate # 1537029483.627 * [enter]simplify: Simplifying (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1537029483.628 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.630 * * [misc]simplify: iters left: 5 (10 enodes) 1537029483.634 * * [misc]simplify: iters left: 4 (11 enodes) 1537029483.637 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) 1537029483.637 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (* (cbrt (sqrt (- 1 x))) (cbrt (sqrt (- 1 x)))) (/ (sqrt (+ 1 x)) (cbrt (sqrt (- 1 x)))))) 2)) 1537029483.637 * * * * [misc]progress: [ 59 / 101 ] simplifiying candidate # 1537029483.638 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1537029483.638 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.641 * * [misc]simplify: iters left: 5 (11 enodes) 1537029483.644 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.648 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1537029483.648 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (fabs (cbrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (cbrt (- 1 x)))))) 2)) 1537029483.648 * * * * [misc]progress: [ 60 / 101 ] simplifiying candidate # 1537029483.648 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1537029483.652 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.654 * * [misc]simplify: iters left: 3 (9 enodes) 1537029483.657 * * [misc]simplify: iters left: 2 (10 enodes) 1537029483.660 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.660 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))) 2)) 1537029483.660 * * * * [misc]progress: [ 61 / 101 ] simplifiying candidate # 1537029483.661 * [enter]simplify: Simplifying (sqrt 1) 1537029483.661 * * [misc]simplify: iters left: 1 (2 enodes) 1537029483.663 * [exit]simplify: Simplified to 1 1537029483.663 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ 1 (/ (sqrt (+ 1 x)) (sqrt (- 1 x))))) 2)) 1537029483.663 * * * * [misc]progress: [ 62 / 101 ] simplifiying candidate # 1537029483.663 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1537029483.664 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.666 * * [misc]simplify: iters left: 3 (9 enodes) 1537029483.668 * * [misc]simplify: iters left: 2 (10 enodes) 1537029483.671 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.671 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (sqrt (- 1 x))) (/ (sqrt (+ 1 x)) (sqrt (sqrt (- 1 x)))))) 2)) 1537029483.671 * * * * [misc]progress: [ 63 / 101 ] simplifiying candidate # 1537029483.672 * * * * [misc]progress: [ 64 / 101 ] simplifiying candidate # 1537029483.672 * [enter]simplify: Simplifying (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))) 1537029483.673 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.678 * * [misc]simplify: iters left: 5 (18 enodes) 1537029483.685 * * [misc]simplify: iters left: 4 (29 enodes) 1537029483.698 * * [misc]simplify: iters left: 3 (51 enodes) 1537029483.718 * * [misc]simplify: iters left: 2 (68 enodes) 1537029483.742 * * [misc]simplify: iters left: 1 (95 enodes) 1537029483.761 * [exit]simplify: Simplified to (sqrt (fma x x (- 1 x))) 1537029483.761 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (- 1 x)) (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (fma x x (- 1 x))))) 2)) 1537029483.761 * * * * [misc]progress: [ 65 / 101 ] simplifiying candidate # 1537029483.761 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1537029483.761 * * [misc]simplify: iters left: 3 (4 enodes) 1537029483.762 * * [misc]simplify: iters left: 2 (8 enodes) 1537029483.764 * * [misc]simplify: iters left: 1 (9 enodes) 1537029483.765 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029483.765 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (atan (* (/ (sqrt (- 1 x)) (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))) 2)) 1537029483.765 * * * * [misc]progress: [ 66 / 101 ] simplifiying candidate # 1537029483.765 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow x 3))) 1537029483.765 * * [misc]simplify: iters left: 4 (7 enodes) 1537029483.770 * * [misc]simplify: iters left: 3 (16 enodes) 1537029483.772 * * [misc]simplify: iters left: 2 (23 enodes) 1537029483.776 * * [misc]simplify: iters left: 1 (29 enodes) 1537029483.780 * [exit]simplify: Simplified to (sqrt (fma (- x) (* x x) 1)) 1537029483.780 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (fma (- x) (* x x) 1)) (* (sqrt (+ 1 x)) (sqrt (+ (* 1 1) (+ (* x x) (* 1 x))))))) 2)) 1537029483.780 * * * * [misc]progress: [ 67 / 101 ] simplifiying candidate # 1537029483.780 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1537029483.781 * * [misc]simplify: iters left: 5 (6 enodes) 1537029483.782 * * [misc]simplify: iters left: 4 (11 enodes) 1537029483.784 * * [misc]simplify: iters left: 3 (15 enodes) 1537029483.789 * * [misc]simplify: iters left: 2 (17 enodes) 1537029483.794 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1537029483.794 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (- 1 (* x x))) (* (sqrt (+ 1 x)) (sqrt (+ 1 x))))) 2)) 1537029483.794 * * * * [misc]progress: [ 68 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 69 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 70 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 71 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 72 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 73 / 101 ] simplifiying candidate # 1537029483.794 * * * * [misc]progress: [ 74 / 101 ] simplifiying candidate # 1537029483.795 * * * * [misc]progress: [ 75 / 101 ] simplifiying candidate # 1537029483.795 * * * * [misc]progress: [ 76 / 101 ] simplifiying candidate # 1537029483.795 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1537029483.796 * * [misc]simplify: iters left: 6 (6 enodes) 1537029483.798 * * [misc]simplify: iters left: 5 (11 enodes) 1537029483.801 * * [misc]simplify: iters left: 4 (12 enodes) 1537029483.805 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1537029483.805 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (* (fabs (cbrt (- 1 x))) (sqrt (cbrt (- 1 x)))) (sqrt (+ 1 x)))) 2)) 1537029483.805 * * * * [misc]progress: [ 77 / 101 ] simplifiying candidate # 1537029483.805 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 x))) 1537029483.806 * * [misc]simplify: iters left: 4 (5 enodes) 1537029483.808 * * [misc]simplify: iters left: 3 (9 enodes) 1537029483.810 * * [misc]simplify: iters left: 2 (10 enodes) 1537029483.812 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1537029483.812 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (* (sqrt (sqrt (- 1 x))) (sqrt (sqrt (- 1 x)))) (sqrt (+ 1 x)))) 2)) 1537029483.812 * * * * [misc]progress: [ 78 / 101 ] simplifiying candidate # 1537029483.813 * [enter]simplify: Simplifying (sqrt 1) 1537029483.813 * * [misc]simplify: iters left: 1 (2 enodes) 1537029483.814 * [exit]simplify: Simplified to 1 1537029483.814 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (* 1 (sqrt (- 1 x))) (sqrt (+ 1 x)))) 2)) 1537029483.814 * * * * [misc]progress: [ 79 / 101 ] simplifiying candidate # 1537029483.814 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow x 3))) 1537029483.814 * * [misc]simplify: iters left: 4 (7 enodes) 1537029483.817 * * [misc]simplify: iters left: 3 (16 enodes) 1537029483.820 * * [misc]simplify: iters left: 2 (23 enodes) 1537029483.823 * * [misc]simplify: iters left: 1 (29 enodes) 1537029483.827 * [exit]simplify: Simplified to (sqrt (fma (- x) (* x x) 1)) 1537029483.827 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (/ (sqrt (fma (- x) (* x x) 1)) (sqrt (+ (* 1 1) (+ (* x x) (* 1 x))))) (sqrt (+ 1 x)))) 2)) 1537029483.827 * * * * [misc]progress: [ 80 / 101 ] simplifiying candidate # 1537029483.827 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* x x))) 1537029483.828 * * [misc]simplify: iters left: 5 (6 enodes) 1537029483.829 * * [misc]simplify: iters left: 4 (11 enodes) 1537029483.831 * * [misc]simplify: iters left: 3 (15 enodes) 1537029483.833 * * [misc]simplify: iters left: 2 (17 enodes) 1537029483.835 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1537029483.835 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (/ (sqrt (- 1 (* x x))) (sqrt (+ 1 x))) (sqrt (+ 1 x)))) 2)) 1537029483.835 * * * * [misc]progress: [ 81 / 101 ] simplifiying candidate # 1537029483.835 * * * * [misc]progress: [ 82 / 101 ] simplifiying candidate # 1537029483.835 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1537029483.836 * * [misc]simplify: iters left: 3 (4 enodes) 1537029483.837 * * [misc]simplify: iters left: 2 (8 enodes) 1537029483.838 * * [misc]simplify: iters left: 1 (9 enodes) 1537029483.839 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1537029483.839 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (* (atan (/ (fabs (sqrt (- 1 x))) (sqrt (+ 1 x)))) 2)) 1537029483.839 * * * * [misc]progress: [ 83 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 84 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 85 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 86 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 87 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 88 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 89 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 90 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 91 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 92 / 101 ] simplifiying candidate # 1537029483.839 * * * * [misc]progress: [ 93 / 101 ] simplifiying candidate # 1537029483.840 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1537029483.840 * * [misc]simplify: iters left: 6 (8 enodes) 1537029483.842 * * [misc]simplify: iters left: 5 (18 enodes) 1537029483.847 * * [misc]simplify: iters left: 4 (33 enodes) 1537029483.853 * * [misc]simplify: iters left: 3 (47 enodes) 1537029483.862 * * [misc]simplify: iters left: 2 (49 enodes) 1537029483.868 * * [misc]simplify: iters left: 1 (63 enodes) 1537029483.881 * [exit]simplify: Simplified to (fma (* 1/2 x) x (- 1 x)) 1537029483.881 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (fma (* 1/2 x) x (- 1 x))) 2)) 1537029483.881 * * * * [misc]progress: [ 94 / 101 ] simplifiying candidate # 1537029483.881 * [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)))))) 1537029483.882 * * [misc]simplify: iters left: 6 (19 enodes) 1537029483.889 * * [misc]simplify: iters left: 5 (44 enodes) 1537029483.901 * * [misc]simplify: iters left: 4 (89 enodes) 1537029483.949 * * [misc]simplify: iters left: 3 (182 enodes) 1537029484.096 * * [misc]simplify: iters left: 2 (368 enodes) 1537029485.922 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1537029485.922 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2)) 1537029485.922 * * * * [misc]progress: [ 95 / 101 ] simplifiying candidate # 1537029485.922 * [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)))))) 1537029485.925 * * [misc]simplify: iters left: 6 (19 enodes) 1537029485.937 * * [misc]simplify: iters left: 5 (44 enodes) 1537029485.964 * * [misc]simplify: iters left: 4 (89 enodes) 1537029486.017 * * [misc]simplify: iters left: 3 (182 enodes) 1537029486.134 * * [misc]simplify: iters left: 2 (368 enodes) 1537029487.836 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1537029487.836 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2)) 1537029487.836 * * * * [misc]progress: [ 96 / 101 ] simplifiying candidate # 1537029487.837 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 x) (* 1/8 (pow x 2)))) 1537029487.838 * * [misc]simplify: iters left: 6 (10 enodes) 1537029487.843 * * [misc]simplify: iters left: 5 (21 enodes) 1537029487.852 * * [misc]simplify: iters left: 4 (36 enodes) 1537029487.871 * * [misc]simplify: iters left: 3 (77 enodes) 1537029487.905 * * [misc]simplify: iters left: 2 (168 enodes) 1537029487.972 * * [misc]simplify: iters left: 1 (252 enodes) 1537029488.065 * [exit]simplify: Simplified to (fma x (fma -1/8 x -1/2) 1) 1537029488.065 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ (fma x (fma -1/8 x -1/2) 1) (sqrt (+ 1 x)))) 2)) 1537029488.065 * * * * [misc]progress: [ 97 / 101 ] simplifiying candidate # 1537029488.065 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1537029488.065 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ +nan.0 (sqrt (+ 1 x)))) 2)) 1537029488.065 * * * * [misc]progress: [ 98 / 101 ] simplifiying candidate # 1537029488.066 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1537029488.066 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (atan (/ +nan.0 (sqrt (+ 1 x)))) 2)) 1537029488.066 * * * * [misc]progress: [ 99 / 101 ] simplifiying candidate # 1537029488.066 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.067 * * [misc]simplify: iters left: 6 (7 enodes) 1537029488.070 * * [misc]simplify: iters left: 5 (15 enodes) 1537029488.075 * * [misc]simplify: iters left: 4 (18 enodes) 1537029488.081 * * [misc]simplify: iters left: 3 (20 enodes) 1537029488.087 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.087 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029488.087 * * * * [misc]progress: [ 100 / 101 ] simplifiying candidate # 1537029488.087 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.088 * * [misc]simplify: iters left: 6 (7 enodes) 1537029488.092 * * [misc]simplify: iters left: 5 (15 enodes) 1537029488.100 * * [misc]simplify: iters left: 4 (18 enodes) 1537029488.105 * * [misc]simplify: iters left: 3 (20 enodes) 1537029488.111 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.111 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029488.112 * * * * [misc]progress: [ 101 / 101 ] simplifiying candidate # 1537029488.112 * [enter]simplify: Simplifying (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.113 * * [misc]simplify: iters left: 6 (7 enodes) 1537029488.116 * * [misc]simplify: iters left: 5 (15 enodes) 1537029488.121 * * [misc]simplify: iters left: 4 (18 enodes) 1537029488.127 * * [misc]simplify: iters left: 3 (20 enodes) 1537029488.133 * [exit]simplify: Simplified to (atan (sqrt (/ (- 1 x) (+ x 1)))) 1537029488.133 * [misc]simplify: Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2)) 1537029488.133 * * * [misc]progress: adding candidates to table 1537029490.211 * [misc]progress: [Phase 3 of 3] Extracting. 1537029490.217 * [enter]simplify: Simplifying (* (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 2) 1537029490.218 * * [misc]simplify: iters left: 6 (10 enodes) 1537029490.218 * * [misc]simplify: iters left: 5 (14 enodes) 1537029490.220 * [exit]simplify: Simplified to (* (atan (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 2) 1537029490.220 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537029490.247 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537029490.248 * * * * [misc]points: Setting MPFR precision to 64 1537029490.249 * * * * [misc]points: Setting MPFR precision to 320 1537029490.249 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537029490.250 * * * * [misc]points: Setting MPFR precision to 64 1537029490.252 * * * * [misc]points: Setting MPFR precision to 320 1537029490.253 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537029490.254 * * * * [misc]points: Setting MPFR precision to 64 1537029490.256 * * * * [misc]points: Setting MPFR precision to 320 1537029490.258 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537029490.259 * * * * [misc]points: Setting MPFR precision to 64 1537029490.263 * * * * [misc]points: Setting MPFR precision to 320 1537029490.267 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537029490.269 * * * * [misc]points: Setting MPFR precision to 64 1537029490.284 * * * * [misc]points: Setting MPFR precision to 320 1537029490.301 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537029490.304 * * * * [misc]points: Setting MPFR precision to 64 1537029490.331 * * * * [misc]points: Setting MPFR precision to 320 1537029490.363 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537029490.364 * * * * [misc]points: Setting MPFR precision to 64 1537029490.437 * * * * [misc]points: Setting MPFR precision to 320 1537029490.475 * * * * [misc]points: Setting MPFR precision to 576 1537029490.530 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537029490.531 * * * * [misc]points: Setting MPFR precision to 320 1537029490.635 * * * * [misc]points: Setting MPFR precision to 576 1537029490.714 * * * * [misc]points: Computing exacts for 8000 points 1537029490.715 * * * * [misc]points: Setting MPFR precision to 320 1537029491.229 * * * * [misc]points: Setting MPFR precision to 576 1537029491.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029491.911 * * * * [misc]points: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000 1537029491.920 * * * * [misc]points: Computing exacts on every 249 of 3992 points to ramp up precision 1537029491.922 * * * * [misc]points: Setting MPFR precision to 320 1537029492.332 * * * * [misc]points: Setting MPFR precision to 576 1537029492.333 * * * * [misc]points: Computing exacts on every 124 of 3992 points to ramp up precision 1537029492.336 * * * * [misc]points: Setting MPFR precision to 320 1537029492.338 * * * * [misc]points: Setting MPFR precision to 576 1537029492.340 * * * * [misc]points: Computing exacts on every 62 of 3992 points to ramp up precision 1537029492.346 * * * * [misc]points: Setting MPFR precision to 320 1537029492.351 * * * * [misc]points: Setting MPFR precision to 576 1537029492.356 * * * * [misc]points: Computing exacts on every 31 of 3992 points to ramp up precision 1537029492.359 * * * * [misc]points: Setting MPFR precision to 320 1537029492.368 * * * * [misc]points: Setting MPFR precision to 576 1537029492.378 * * * * [misc]points: Computing exacts on every 15 of 3992 points to ramp up precision 1537029492.380 * * * * [misc]points: Setting MPFR precision to 320 1537029492.398 * * * * [misc]points: Setting MPFR precision to 576 1537029492.419 * * * * [misc]points: Computing exacts on every 7 of 3992 points to ramp up precision 1537029492.422 * * * * [misc]points: Setting MPFR precision to 320 1537029492.452 * * * * [misc]points: Setting MPFR precision to 576 1537029492.472 * * * * [misc]points: Computing exacts on every 3 of 3992 points to ramp up precision 1537029492.474 * * * * [misc]points: Setting MPFR precision to 320 1537029492.518 * * * * [misc]points: Setting MPFR precision to 576 1537029492.607 * * * * [misc]points: Computing exacts for 3992 points 1537029492.610 * * * * [misc]points: Setting MPFR precision to 320 1537029492.872 * * * * [misc]points: Setting MPFR precision to 576 1537029493.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029493.157 * * * * [misc]points: Sampling 2004 additional inputs, on iter 2 have 5996 / 8000 1537029493.162 * * * * [misc]points: Computing exacts on every 125 of 2004 points to ramp up precision 1537029493.163 * * * * [misc]points: Setting MPFR precision to 320 1537029493.164 * * * * [misc]points: Setting MPFR precision to 576 1537029493.165 * * * * [misc]points: Computing exacts on every 62 of 2004 points to ramp up precision 1537029493.166 * * * * [misc]points: Setting MPFR precision to 320 1537029493.167 * * * * [misc]points: Setting MPFR precision to 576 1537029493.168 * * * * [misc]points: Computing exacts on every 31 of 2004 points to ramp up precision 1537029493.170 * * * * [misc]points: Setting MPFR precision to 320 1537029493.172 * * * * [misc]points: Setting MPFR precision to 576 1537029493.175 * * * * [misc]points: Computing exacts on every 15 of 2004 points to ramp up precision 1537029493.177 * * * * [misc]points: Setting MPFR precision to 320 1537029493.186 * * * * [misc]points: Setting MPFR precision to 576 1537029493.197 * * * * [misc]points: Computing exacts on every 7 of 2004 points to ramp up precision 1537029493.199 * * * * [misc]points: Setting MPFR precision to 320 1537029493.218 * * * * [misc]points: Setting MPFR precision to 576 1537029493.266 * * * * [misc]points: Computing exacts on every 3 of 2004 points to ramp up precision 1537029493.267 * * * * [misc]points: Setting MPFR precision to 320 1537029493.292 * * * * [misc]points: Setting MPFR precision to 576 1537029493.336 * * * * [misc]points: Computing exacts for 2004 points 1537029493.338 * * * * [misc]points: Setting MPFR precision to 320 1537029493.480 * * * * [misc]points: Setting MPFR precision to 576 1537029493.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029493.705 * * * * [misc]points: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1537029493.709 * * * * [misc]points: Computing exacts on every 61 of 984 points to ramp up precision 1537029493.712 * * * * [misc]points: Setting MPFR precision to 320 1537029493.713 * * * * [misc]points: Setting MPFR precision to 576 1537029493.715 * * * * [misc]points: Computing exacts on every 30 of 984 points to ramp up precision 1537029493.717 * * * * [misc]points: Setting MPFR precision to 320 1537029493.720 * * * * [misc]points: Setting MPFR precision to 576 1537029493.722 * * * * [misc]points: Computing exacts on every 15 of 984 points to ramp up precision 1537029493.725 * * * * [misc]points: Setting MPFR precision to 320 1537029493.729 * * * * [misc]points: Setting MPFR precision to 576 1537029493.734 * * * * [misc]points: Computing exacts on every 7 of 984 points to ramp up precision 1537029493.737 * * * * [misc]points: Setting MPFR precision to 320 1537029493.745 * * * * [misc]points: Setting MPFR precision to 576 1537029493.755 * * * * [misc]points: Computing exacts on every 3 of 984 points to ramp up precision 1537029493.757 * * * * [misc]points: Setting MPFR precision to 320 1537029493.774 * * * * [misc]points: Setting MPFR precision to 576 1537029493.795 * * * * [misc]points: Computing exacts for 984 points 1537029493.798 * * * * [misc]points: Setting MPFR precision to 320 1537029493.894 * * * * [misc]points: Setting MPFR precision to 576 1537029493.962 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029493.962 * * * * [misc]points: Sampling 511 additional inputs, on iter 4 have 7489 / 8000 1537029493.964 * * * * [misc]points: Computing exacts on every 31 of 511 points to ramp up precision 1537029493.965 * * * * [misc]points: Setting MPFR precision to 320 1537029493.966 * * * * [misc]points: Setting MPFR precision to 576 1537029493.966 * * * * [misc]points: Computing exacts on every 15 of 511 points to ramp up precision 1537029493.967 * * * * [misc]points: Setting MPFR precision to 320 1537029493.969 * * * * [misc]points: Setting MPFR precision to 576 1537029493.970 * * * * [misc]points: Computing exacts on every 7 of 511 points to ramp up precision 1537029493.971 * * * * [misc]points: Setting MPFR precision to 320 1537029493.973 * * * * [misc]points: Setting MPFR precision to 576 1537029493.976 * * * * [misc]points: Computing exacts on every 3 of 511 points to ramp up precision 1537029493.977 * * * * [misc]points: Setting MPFR precision to 320 1537029493.981 * * * * [misc]points: Setting MPFR precision to 576 1537029493.987 * * * * [misc]points: Computing exacts for 511 points 1537029493.989 * * * * [misc]points: Setting MPFR precision to 320 1537029494.022 * * * * [misc]points: Setting MPFR precision to 576 1537029494.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.092 * * * * [misc]points: Sampling 246 additional inputs, on iter 5 have 7754 / 8000 1537029494.098 * * * * [misc]points: Computing exacts on every 15 of 246 points to ramp up precision 1537029494.100 * * * * [misc]points: Setting MPFR precision to 320 1537029494.102 * * * * [misc]points: Setting MPFR precision to 576 1537029494.103 * * * * [misc]points: Computing exacts on every 7 of 246 points to ramp up precision 1537029494.106 * * * * [misc]points: Setting MPFR precision to 320 1537029494.108 * * * * [misc]points: Setting MPFR precision to 576 1537029494.110 * * * * [misc]points: Computing exacts on every 3 of 246 points to ramp up precision 1537029494.113 * * * * [misc]points: Setting MPFR precision to 320 1537029494.118 * * * * [misc]points: Setting MPFR precision to 576 1537029494.123 * * * * [misc]points: Computing exacts for 246 points 1537029494.126 * * * * [misc]points: Setting MPFR precision to 320 1537029494.135 * * * * [misc]points: Setting MPFR precision to 576 1537029494.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.146 * * * * [misc]points: Sampling 111 additional inputs, on iter 6 have 7889 / 8000 1537029494.146 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1537029494.148 * * * * [misc]points: Setting MPFR precision to 320 1537029494.149 * * * * [misc]points: Setting MPFR precision to 576 1537029494.150 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1537029494.153 * * * * [misc]points: Setting MPFR precision to 320 1537029494.155 * * * * [misc]points: Setting MPFR precision to 576 1537029494.157 * * * * [misc]points: Computing exacts for 111 points 1537029494.160 * * * * [misc]points: Setting MPFR precision to 320 1537029494.168 * * * * [misc]points: Setting MPFR precision to 576 1537029494.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.177 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1537029494.178 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1537029494.180 * * * * [misc]points: Setting MPFR precision to 320 1537029494.181 * * * * [misc]points: Setting MPFR precision to 576 1537029494.182 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1537029494.185 * * * * [misc]points: Setting MPFR precision to 320 1537029494.187 * * * * [misc]points: Setting MPFR precision to 576 1537029494.189 * * * * [misc]points: Computing exacts for 65 points 1537029494.191 * * * * [misc]points: Setting MPFR precision to 320 1537029494.196 * * * * [misc]points: Setting MPFR precision to 576 1537029494.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.202 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1537029494.202 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1537029494.205 * * * * [misc]points: Setting MPFR precision to 320 1537029494.206 * * * * [misc]points: Setting MPFR precision to 576 1537029494.206 * * * * [misc]points: Computing exacts for 32 points 1537029494.208 * * * * [misc]points: Setting MPFR precision to 320 1537029494.211 * * * * [misc]points: Setting MPFR precision to 576 1537029494.213 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.213 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 1537029494.214 * * * * [misc]points: Computing exacts for 20 points 1537029494.216 * * * * [misc]points: Setting MPFR precision to 320 1537029494.217 * * * * [misc]points: Setting MPFR precision to 576 1537029494.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.219 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1537029494.219 * * * * [misc]points: Computing exacts for 10 points 1537029494.222 * * * * [misc]points: Setting MPFR precision to 320 1537029494.223 * * * * [misc]points: Setting MPFR precision to 576 1537029494.223 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.223 * * * * [misc]points: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 1537029494.224 * * * * [misc]points: Computing exacts for 6 points 1537029494.226 * * * * [misc]points: Setting MPFR precision to 320 1537029494.226 * * * * [misc]points: Setting MPFR precision to 576 1537029494.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.227 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1537029494.227 * * * * [misc]points: Computing exacts for 4 points 1537029494.229 * * * * [misc]points: Setting MPFR precision to 320 1537029494.230 * * * * [misc]points: Setting MPFR precision to 576 1537029494.230 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.230 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 1537029494.230 * * * * [misc]points: Computing exacts for 4 points 1537029494.232 * * * * [misc]points: Setting MPFR precision to 320 1537029494.233 * * * * [misc]points: Setting MPFR precision to 576 1537029494.233 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.233 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7999 / 8000 1537029494.233 * * * * [misc]points: Computing exacts for 4 points 1537029494.236 * * * * [misc]points: Setting MPFR precision to 320 1537029494.236 * * * * [misc]points: Setting MPFR precision to 576 1537029494.237 * * * * [misc]points: Filtering points with unrepresentable outputs 1537029494.237 * * * * [exit]points: Sampled 8002 points with exact outputs