1536752119.038 * [misc]progress: [Phase 1 of 3] Setting up. 1536752119.040 * * * [misc]progress: [1/2] Preparing points 1536752119.041 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536752119.044 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536752119.172 * * * * [misc]points: Setting MPFR precision to 64 1536752119.174 * * * * [misc]points: Setting MPFR precision to 320 1536752119.176 * * * * [misc]points: Setting MPFR precision to 576 1536752119.177 * * * * [misc]points: Setting MPFR precision to 832 1536752119.179 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.182 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.184 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536752119.195 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.199 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.204 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536752119.213 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.220 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.227 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536752119.237 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.247 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.258 * * * * [misc]points: Computing exacts for 256 points 1536752119.268 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.309 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.347 * * * * [misc]points: Sampling 52 additional inputs, on iter 1 have 204 / 256 1536752119.347 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1536752119.372 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.373 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.375 * * * * [misc]points: Computing exacts for 52 points 1536752119.385 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.391 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.397 * * * * [misc]points: Sampling 15 additional inputs, on iter 2 have 241 / 256 1536752119.397 * * * * [misc]points: Computing exacts for 15 points 1536752119.407 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.410 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.412 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.412 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 253 / 256 1536752119.412 * * * * [misc]points: Computing exacts for 4 points 1536752119.422 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.423 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.424 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.424 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1536752119.424 * * * * [misc]points: Computing exacts for 4 points 1536752119.434 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.435 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.435 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.436 * * * * [exit]points: Sampled 258 points with exact outputs 1536752119.436 * * * [misc]progress: [2/2] Setting up program. 1536752119.447 * [misc]progress: [Phase 2 of 3] Improving. 1536752119.449 * [enter]simplify: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1536752119.462 * * [misc]simplify: iters left: 6 (10 enodes) 1536752119.476 * * [misc]simplify: iters left: 5 (24 enodes) 1536752119.484 * * [misc]simplify: iters left: 4 (27 enodes) 1536752119.494 * * [misc]simplify: iters left: 3 (37 enodes) 1536752119.508 * * [misc]simplify: iters left: 2 (54 enodes) 1536752119.536 * * [misc]simplify: iters left: 1 (90 enodes) 1536752119.599 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752119.623 * * [misc]progress: iteration 1 / 4 1536752119.623 * * * [misc]progress: picking best candidate 1536752119.630 * * * * [misc]pick: Picked # 1536752119.630 * * * [misc]progress: localizing error 1536752119.665 * * * [misc]progress: generating rewritten candidates 1536752119.665 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536752119.700 * * * [misc]progress: generating series expansions 1536752119.701 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536752119.710 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1536752119.710 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1536752119.712 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752119.712 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752119.712 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752119.712 * [misc]taylor: Taking taylor expansion of x in x 1536752119.712 * [misc]backup-simplify: Simplify 0 into 0 1536752119.712 * [misc]backup-simplify: Simplify 1 into 1 1536752119.712 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752119.712 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.712 * [misc]backup-simplify: Simplify 1 into 1 1536752119.713 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752119.713 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752119.716 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752119.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752119.716 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752119.716 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752119.716 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752119.716 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752119.716 * [misc]taylor: Taking taylor expansion of x in x 1536752119.717 * [misc]backup-simplify: Simplify 0 into 0 1536752119.717 * [misc]backup-simplify: Simplify 1 into 1 1536752119.717 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752119.717 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.717 * [misc]backup-simplify: Simplify 1 into 1 1536752119.717 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752119.717 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752119.718 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752119.718 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752119.719 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752119.720 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752119.720 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1536752119.723 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536752119.723 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536752119.726 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752119.729 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752119.733 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752119.733 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752119.733 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1536752119.733 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752119.733 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752119.733 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752119.733 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752119.733 * [misc]taylor: Taking taylor expansion of x in x 1536752119.733 * [misc]backup-simplify: Simplify 0 into 0 1536752119.734 * [misc]backup-simplify: Simplify 1 into 1 1536752119.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752119.734 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752119.734 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.734 * [misc]backup-simplify: Simplify 1 into 1 1536752119.734 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752119.734 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752119.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.734 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.735 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752119.735 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752119.735 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752119.735 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752119.735 * [misc]taylor: Taking taylor expansion of x in x 1536752119.735 * [misc]backup-simplify: Simplify 0 into 0 1536752119.735 * [misc]backup-simplify: Simplify 1 into 1 1536752119.735 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752119.735 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752119.735 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.735 * [misc]backup-simplify: Simplify 1 into 1 1536752119.735 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752119.735 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752119.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.736 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.736 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752119.736 * [misc]backup-simplify: Simplify 0 into 0 1536752119.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.737 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.737 * [misc]backup-simplify: Simplify 0 into 0 1536752119.737 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.738 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.738 * [misc]backup-simplify: Simplify 0 into 0 1536752119.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.739 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.739 * [misc]backup-simplify: Simplify 0 into 0 1536752119.739 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.740 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.740 * [misc]backup-simplify: Simplify 0 into 0 1536752119.740 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.741 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752119.741 * [misc]backup-simplify: Simplify 0 into 0 1536752119.741 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1536752119.741 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752119.741 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1536752119.741 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752119.741 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752119.741 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752119.741 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752119.741 * [misc]taylor: Taking taylor expansion of -1 in x 1536752119.741 * [misc]backup-simplify: Simplify -1 into -1 1536752119.741 * [misc]taylor: Taking taylor expansion of x in x 1536752119.741 * [misc]backup-simplify: Simplify 0 into 0 1536752119.741 * [misc]backup-simplify: Simplify 1 into 1 1536752119.742 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752119.742 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752119.742 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.742 * [misc]backup-simplify: Simplify 1 into 1 1536752119.742 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752119.742 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752119.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.742 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.742 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752119.742 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752119.742 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752119.742 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752119.742 * [misc]taylor: Taking taylor expansion of -1 in x 1536752119.742 * [misc]backup-simplify: Simplify -1 into -1 1536752119.742 * [misc]taylor: Taking taylor expansion of x in x 1536752119.742 * [misc]backup-simplify: Simplify 0 into 0 1536752119.742 * [misc]backup-simplify: Simplify 1 into 1 1536752119.743 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752119.743 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752119.743 * [misc]taylor: Taking taylor expansion of 1 in x 1536752119.743 * [misc]backup-simplify: Simplify 1 into 1 1536752119.743 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752119.743 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752119.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.743 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.743 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752119.743 * [misc]backup-simplify: Simplify 0 into 0 1536752119.744 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.744 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.744 * [misc]backup-simplify: Simplify 0 into 0 1536752119.745 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.745 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.745 * [misc]backup-simplify: Simplify 0 into 0 1536752119.745 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.746 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.746 * [misc]backup-simplify: Simplify 0 into 0 1536752119.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.747 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.747 * [misc]backup-simplify: Simplify 0 into 0 1536752119.747 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752119.748 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752119.748 * [misc]backup-simplify: Simplify 0 into 0 1536752119.748 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1536752119.748 * * * [misc]progress: simplifying candidates 1536752119.748 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1536752119.748 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1536752119.748 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1536752119.749 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1536752119.749 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1536752119.750 * * [misc]simplify: iters left: 6 (7 enodes) 1536752119.753 * * [misc]simplify: iters left: 5 (11 enodes) 1536752119.756 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1536752119.756 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) 1536752119.766 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1536752119.766 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752119.767 * * [misc]simplify: iters left: 5 (6 enodes) 1536752119.770 * * [misc]simplify: iters left: 4 (9 enodes) 1536752119.772 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752119.772 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752119.773 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1536752119.773 * [enter]simplify: Simplifying (sqrt 1) 1536752119.773 * * [misc]simplify: iters left: 1 (2 enodes) 1536752119.775 * [exit]simplify: Simplified to 1 1536752119.775 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1)))) 1536752119.775 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1536752119.776 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1536752119.776 * * [misc]simplify: iters left: 5 (8 enodes) 1536752119.781 * * [misc]simplify: iters left: 4 (16 enodes) 1536752119.785 * * [misc]simplify: iters left: 3 (20 enodes) 1536752119.790 * * [misc]simplify: iters left: 2 (24 enodes) 1536752119.794 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1536752119.794 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1536752119.794 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1536752119.794 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1536752119.795 * * [misc]simplify: iters left: 6 (7 enodes) 1536752119.798 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.801 * * [misc]simplify: iters left: 4 (24 enodes) 1536752119.803 * * [misc]simplify: iters left: 3 (28 enodes) 1536752119.808 * * [misc]simplify: iters left: 2 (44 enodes) 1536752119.822 * * [misc]simplify: iters left: 1 (75 enodes) 1536752119.864 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1536752119.864 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) 1536752119.864 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1536752119.864 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1536752119.864 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752119.864 * * [misc]simplify: iters left: 4 (5 enodes) 1536752119.865 * * [misc]simplify: iters left: 3 (8 enodes) 1536752119.867 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752119.867 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1536752119.867 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1536752119.867 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1536752119.867 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752119.871 * * [misc]simplify: iters left: 6 (18 enodes) 1536752119.877 * * [misc]simplify: iters left: 5 (40 enodes) 1536752119.895 * * [misc]simplify: iters left: 4 (111 enodes) 1536752119.964 * * [misc]simplify: iters left: 3 (276 enodes) 1536752120.163 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1536752120.163 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1536752120.163 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1536752120.163 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752120.164 * * [misc]simplify: iters left: 4 (5 enodes) 1536752120.167 * * [misc]simplify: iters left: 3 (8 enodes) 1536752120.169 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752120.169 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1536752120.169 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1536752120.169 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752120.169 * * [misc]simplify: iters left: 4 (5 enodes) 1536752120.170 * * [misc]simplify: iters left: 3 (8 enodes) 1536752120.171 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752120.171 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1536752120.171 * * * [misc]progress: adding candidates to table 1536752120.396 * * [misc]progress: iteration 2 / 4 1536752120.396 * * * [misc]progress: picking best candidate 1536752120.404 * * * * [misc]pick: Picked # 1536752120.404 * * * [misc]progress: localizing error 1536752120.417 * * * [misc]progress: generating rewritten candidates 1536752120.417 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) 1536752120.555 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1) 1536752120.577 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1536752120.613 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1536752120.639 * * * [misc]progress: generating series expansions 1536752120.639 * * * * [misc]progress: [ 1 / 4 ] generating series at (2) 1536752120.640 * [misc]backup-simplify: Simplify (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))) into (sqrt (+ (exp x) 1)) 1536752120.640 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1536752120.640 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.640 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.640 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.640 * [misc]taylor: Taking taylor expansion of x in x 1536752120.640 * [misc]backup-simplify: Simplify 0 into 0 1536752120.640 * [misc]backup-simplify: Simplify 1 into 1 1536752120.640 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.640 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.640 * [misc]backup-simplify: Simplify 1 into 1 1536752120.640 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.641 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.641 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.642 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.642 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.642 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.642 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.642 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.642 * [misc]taylor: Taking taylor expansion of x in x 1536752120.642 * [misc]backup-simplify: Simplify 0 into 0 1536752120.642 * [misc]backup-simplify: Simplify 1 into 1 1536752120.642 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.642 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.642 * [misc]backup-simplify: Simplify 1 into 1 1536752120.642 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.642 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.643 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.643 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.643 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.644 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.644 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1536752120.645 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536752120.645 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536752120.647 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.648 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.651 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752120.652 * [misc]backup-simplify: Simplify (* (sqrt (sqrt (+ (exp (/ 1 x)) 1))) (sqrt (sqrt (+ (exp (/ 1 x)) 1)))) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.652 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1536752120.652 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.652 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.652 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.652 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.652 * [misc]taylor: Taking taylor expansion of x in x 1536752120.652 * [misc]backup-simplify: Simplify 0 into 0 1536752120.652 * [misc]backup-simplify: Simplify 1 into 1 1536752120.652 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.652 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.652 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.652 * [misc]backup-simplify: Simplify 1 into 1 1536752120.652 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.652 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.652 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.652 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.652 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.653 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.653 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.653 * [misc]taylor: Taking taylor expansion of x in x 1536752120.653 * [misc]backup-simplify: Simplify 0 into 0 1536752120.653 * [misc]backup-simplify: Simplify 1 into 1 1536752120.653 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.653 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.653 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.653 * [misc]backup-simplify: Simplify 1 into 1 1536752120.653 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.653 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.653 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.653 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.653 * [misc]backup-simplify: Simplify 0 into 0 1536752120.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.654 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.654 * [misc]backup-simplify: Simplify 0 into 0 1536752120.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.654 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.654 * [misc]backup-simplify: Simplify 0 into 0 1536752120.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.655 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.655 * [misc]backup-simplify: Simplify 0 into 0 1536752120.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.655 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.656 * [misc]backup-simplify: Simplify 0 into 0 1536752120.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.656 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.656 * [misc]backup-simplify: Simplify 0 into 0 1536752120.656 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.657 * [misc]backup-simplify: Simplify (* (sqrt (sqrt (+ (exp (/ 1 (- x))) 1))) (sqrt (sqrt (+ (exp (/ 1 (- x))) 1)))) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.657 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1536752120.657 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.657 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.657 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.657 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.657 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.657 * [misc]backup-simplify: Simplify -1 into -1 1536752120.657 * [misc]taylor: Taking taylor expansion of x in x 1536752120.657 * [misc]backup-simplify: Simplify 0 into 0 1536752120.657 * [misc]backup-simplify: Simplify 1 into 1 1536752120.657 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.657 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.657 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.657 * [misc]backup-simplify: Simplify 1 into 1 1536752120.657 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.657 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.657 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.658 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.658 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.658 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.658 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.658 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.658 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.658 * [misc]backup-simplify: Simplify -1 into -1 1536752120.658 * [misc]taylor: Taking taylor expansion of x in x 1536752120.658 * [misc]backup-simplify: Simplify 0 into 0 1536752120.658 * [misc]backup-simplify: Simplify 1 into 1 1536752120.658 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.658 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.658 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.658 * [misc]backup-simplify: Simplify 1 into 1 1536752120.658 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.658 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.658 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.658 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.658 * [misc]backup-simplify: Simplify 0 into 0 1536752120.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.659 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.659 * [misc]backup-simplify: Simplify 0 into 0 1536752120.659 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.659 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.659 * [misc]backup-simplify: Simplify 0 into 0 1536752120.659 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.660 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.660 * [misc]backup-simplify: Simplify 0 into 0 1536752120.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.660 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.660 * [misc]backup-simplify: Simplify 0 into 0 1536752120.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.661 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.661 * [misc]backup-simplify: Simplify 0 into 0 1536752120.661 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.661 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1) 1536752120.662 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1536752120.662 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1536752120.662 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.662 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.662 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.662 * [misc]taylor: Taking taylor expansion of x in x 1536752120.662 * [misc]backup-simplify: Simplify 0 into 0 1536752120.662 * [misc]backup-simplify: Simplify 1 into 1 1536752120.662 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.662 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.662 * [misc]backup-simplify: Simplify 1 into 1 1536752120.662 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.662 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.663 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.663 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.663 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.663 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.663 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.663 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.663 * [misc]taylor: Taking taylor expansion of x in x 1536752120.663 * [misc]backup-simplify: Simplify 0 into 0 1536752120.663 * [misc]backup-simplify: Simplify 1 into 1 1536752120.663 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.663 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.663 * [misc]backup-simplify: Simplify 1 into 1 1536752120.663 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.664 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.664 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.665 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.665 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.665 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.665 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1536752120.667 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536752120.667 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536752120.668 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.670 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.673 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752120.673 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.673 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1536752120.673 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.673 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.673 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.673 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.673 * [misc]taylor: Taking taylor expansion of x in x 1536752120.673 * [misc]backup-simplify: Simplify 0 into 0 1536752120.673 * [misc]backup-simplify: Simplify 1 into 1 1536752120.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.674 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.674 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.674 * [misc]backup-simplify: Simplify 1 into 1 1536752120.674 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.674 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.674 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.674 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.674 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.674 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.674 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.674 * [misc]taylor: Taking taylor expansion of x in x 1536752120.674 * [misc]backup-simplify: Simplify 0 into 0 1536752120.674 * [misc]backup-simplify: Simplify 1 into 1 1536752120.675 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.675 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.675 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.675 * [misc]backup-simplify: Simplify 1 into 1 1536752120.675 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.675 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.675 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.676 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.676 * [misc]backup-simplify: Simplify 0 into 0 1536752120.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.677 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.677 * [misc]backup-simplify: Simplify 0 into 0 1536752120.677 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.677 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.677 * [misc]backup-simplify: Simplify 0 into 0 1536752120.677 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.678 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.678 * [misc]backup-simplify: Simplify 0 into 0 1536752120.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.679 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.679 * [misc]backup-simplify: Simplify 0 into 0 1536752120.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.680 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.680 * [misc]backup-simplify: Simplify 0 into 0 1536752120.680 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.681 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.681 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1536752120.681 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.681 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.681 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.681 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.681 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.681 * [misc]backup-simplify: Simplify -1 into -1 1536752120.681 * [misc]taylor: Taking taylor expansion of x in x 1536752120.681 * [misc]backup-simplify: Simplify 0 into 0 1536752120.681 * [misc]backup-simplify: Simplify 1 into 1 1536752120.681 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.681 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.681 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.681 * [misc]backup-simplify: Simplify 1 into 1 1536752120.681 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.681 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.682 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.682 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.682 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.682 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.682 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.682 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.682 * [misc]backup-simplify: Simplify -1 into -1 1536752120.682 * [misc]taylor: Taking taylor expansion of x in x 1536752120.682 * [misc]backup-simplify: Simplify 0 into 0 1536752120.682 * [misc]backup-simplify: Simplify 1 into 1 1536752120.682 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.682 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.682 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.682 * [misc]backup-simplify: Simplify 1 into 1 1536752120.682 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.683 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.683 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.683 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.683 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.683 * [misc]backup-simplify: Simplify 0 into 0 1536752120.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.685 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.685 * [misc]backup-simplify: Simplify 0 into 0 1536752120.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.685 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.685 * [misc]backup-simplify: Simplify 0 into 0 1536752120.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.686 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.686 * [misc]backup-simplify: Simplify 0 into 0 1536752120.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.687 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.687 * [misc]backup-simplify: Simplify 0 into 0 1536752120.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.688 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.688 * [misc]backup-simplify: Simplify 0 into 0 1536752120.688 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.689 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1536752120.689 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1536752120.689 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1536752120.689 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.689 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.689 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.689 * [misc]taylor: Taking taylor expansion of x in x 1536752120.689 * [misc]backup-simplify: Simplify 0 into 0 1536752120.689 * [misc]backup-simplify: Simplify 1 into 1 1536752120.689 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.689 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.689 * [misc]backup-simplify: Simplify 1 into 1 1536752120.690 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.690 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.691 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.691 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.692 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.692 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1536752120.692 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.692 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.692 * [misc]taylor: Taking taylor expansion of x in x 1536752120.692 * [misc]backup-simplify: Simplify 0 into 0 1536752120.692 * [misc]backup-simplify: Simplify 1 into 1 1536752120.692 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.692 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.692 * [misc]backup-simplify: Simplify 1 into 1 1536752120.692 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.692 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.694 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.694 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.695 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1536752120.695 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1536752120.695 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1536752120.696 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536752120.697 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536752120.698 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.700 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1536752120.702 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752120.703 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.703 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1536752120.703 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of x in x 1536752120.703 * [misc]backup-simplify: Simplify 0 into 0 1536752120.703 * [misc]backup-simplify: Simplify 1 into 1 1536752120.703 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.703 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.703 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.703 * [misc]backup-simplify: Simplify 1 into 1 1536752120.703 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.703 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.703 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.703 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.703 * [misc]taylor: Taking taylor expansion of x in x 1536752120.703 * [misc]backup-simplify: Simplify 0 into 0 1536752120.703 * [misc]backup-simplify: Simplify 1 into 1 1536752120.703 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.704 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.704 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.704 * [misc]backup-simplify: Simplify 1 into 1 1536752120.704 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.704 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.704 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.704 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.704 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1536752120.704 * [misc]backup-simplify: Simplify 0 into 0 1536752120.704 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.705 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.705 * [misc]backup-simplify: Simplify 0 into 0 1536752120.705 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.705 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.705 * [misc]backup-simplify: Simplify 0 into 0 1536752120.705 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.706 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.706 * [misc]backup-simplify: Simplify 0 into 0 1536752120.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.706 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.706 * [misc]backup-simplify: Simplify 0 into 0 1536752120.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.707 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1536752120.707 * [misc]backup-simplify: Simplify 0 into 0 1536752120.707 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.707 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.707 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1536752120.707 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.707 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.707 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.707 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.707 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.707 * [misc]backup-simplify: Simplify -1 into -1 1536752120.707 * [misc]taylor: Taking taylor expansion of x in x 1536752120.708 * [misc]backup-simplify: Simplify 0 into 0 1536752120.708 * [misc]backup-simplify: Simplify 1 into 1 1536752120.708 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.708 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.708 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.708 * [misc]backup-simplify: Simplify 1 into 1 1536752120.708 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.708 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.708 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.708 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.708 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1536752120.708 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.708 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.708 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.708 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.708 * [misc]backup-simplify: Simplify -1 into -1 1536752120.708 * [misc]taylor: Taking taylor expansion of x in x 1536752120.708 * [misc]backup-simplify: Simplify 0 into 0 1536752120.708 * [misc]backup-simplify: Simplify 1 into 1 1536752120.708 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.708 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.708 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.708 * [misc]backup-simplify: Simplify 1 into 1 1536752120.708 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.709 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.709 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.709 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1536752120.709 * [misc]backup-simplify: Simplify 0 into 0 1536752120.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.710 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.710 * [misc]backup-simplify: Simplify 0 into 0 1536752120.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.710 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.710 * [misc]backup-simplify: Simplify 0 into 0 1536752120.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.711 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.711 * [misc]backup-simplify: Simplify 0 into 0 1536752120.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.711 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.711 * [misc]backup-simplify: Simplify 0 into 0 1536752120.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.712 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1536752120.712 * [misc]backup-simplify: Simplify 0 into 0 1536752120.712 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1536752120.712 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1536752120.715 * [misc]backup-simplify: Simplify (sqrt (sqrt (+ (exp x) 1))) into (pow (+ (exp x) 1) 1/4) 1536752120.715 * [misc]approximate: Taking taylor expansion of (pow (+ (exp x) 1) 1/4) in (x) around 0 1536752120.716 * [misc]taylor: Taking taylor expansion of (pow (+ (exp x) 1) 1/4) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp x) 1)))) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp x) 1))) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.716 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.716 * [misc]taylor: Taking taylor expansion of (log (+ (exp x) 1)) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.716 * [misc]taylor: Taking taylor expansion of x in x 1536752120.716 * [misc]backup-simplify: Simplify 0 into 0 1536752120.716 * [misc]backup-simplify: Simplify 1 into 1 1536752120.716 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.716 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.716 * [misc]backup-simplify: Simplify 1 into 1 1536752120.716 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.717 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1536752120.717 * [misc]backup-simplify: Simplify (* 1/4 (log 2)) into (* 1/4 (log 2)) 1536752120.718 * [misc]backup-simplify: Simplify (exp (* 1/4 (log 2))) into (pow 2 1/4) 1536752120.718 * [misc]taylor: Taking taylor expansion of (pow (+ (exp x) 1) 1/4) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp x) 1)))) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp x) 1))) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.718 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.718 * [misc]taylor: Taking taylor expansion of (log (+ (exp x) 1)) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536752120.718 * [misc]taylor: Taking taylor expansion of x in x 1536752120.718 * [misc]backup-simplify: Simplify 0 into 0 1536752120.718 * [misc]backup-simplify: Simplify 1 into 1 1536752120.718 * [misc]backup-simplify: Simplify (exp 0) into 1 1536752120.718 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.718 * [misc]backup-simplify: Simplify 1 into 1 1536752120.719 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536752120.719 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1536752120.719 * [misc]backup-simplify: Simplify (* 1/4 (log 2)) into (* 1/4 (log 2)) 1536752120.720 * [misc]backup-simplify: Simplify (exp (* 1/4 (log 2))) into (pow 2 1/4) 1536752120.720 * [misc]backup-simplify: Simplify (pow 2 1/4) into (pow 2 1/4) 1536752120.722 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536752120.722 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752120.725 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 1536752120.726 * [misc]backup-simplify: Simplify (+ (* 1/4 1/2) (* 0 (log 2))) into 1/8 1536752120.728 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log 2))) (+ (* (/ (pow 1/8 1) 1)))) into (* 1/8 (pow 2 1/4)) 1536752120.728 * [misc]backup-simplify: Simplify (* 1/8 (pow 2 1/4)) into (* 1/8 (pow 2 1/4)) 1536752120.732 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536752120.732 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536752120.738 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 1536752120.739 * [misc]backup-simplify: Simplify (+ (* 1/4 1/8) (+ (* 0 1/2) (* 0 (log 2)))) into 1/32 1536752120.742 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log 2))) (+ (* (/ (pow 1/8 2) 2)) (* (/ (pow 1/32 1) 1)))) into (* 5/128 (pow 2 1/4)) 1536752120.742 * [misc]backup-simplify: Simplify (* 5/128 (pow 2 1/4)) into (* 5/128 (pow 2 1/4)) 1536752120.744 * [misc]backup-simplify: Simplify (+ (* (* 5/128 (pow 2 1/4)) (pow x 2)) (+ (* (* 1/8 (pow 2 1/4)) x) (pow 2 1/4))) into (+ (* 1/8 (* x (pow 2 1/4))) (+ (* 5/128 (* (pow x 2) (pow 2 1/4))) (pow 2 1/4))) 1536752120.745 * [misc]backup-simplify: Simplify (sqrt (sqrt (+ (exp (/ 1 x)) 1))) into (pow (+ (exp (/ 1 x)) 1) 1/4) 1536752120.745 * [misc]approximate: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/4) in (x) around 0 1536752120.745 * [misc]taylor: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/4) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp (/ 1 x)) 1))) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.745 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.745 * [misc]taylor: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.745 * [misc]taylor: Taking taylor expansion of x in x 1536752120.745 * [misc]backup-simplify: Simplify 0 into 0 1536752120.745 * [misc]backup-simplify: Simplify 1 into 1 1536752120.745 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.745 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.746 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.746 * [misc]backup-simplify: Simplify 1 into 1 1536752120.746 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.746 * [misc]backup-simplify: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 1536752120.746 * [misc]backup-simplify: Simplify (* 1/4 (log (+ (exp (/ 1 x)) 1))) into (* 1/4 (log (+ (exp (/ 1 x)) 1))) 1536752120.746 * [misc]backup-simplify: Simplify (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) into (pow (+ (exp (/ 1 x)) 1) 1/4) 1536752120.746 * [misc]taylor: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/4) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp (/ 1 x)) 1))) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.746 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.746 * [misc]taylor: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536752120.746 * [misc]taylor: Taking taylor expansion of x in x 1536752120.746 * [misc]backup-simplify: Simplify 0 into 0 1536752120.746 * [misc]backup-simplify: Simplify 1 into 1 1536752120.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752120.747 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536752120.747 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.747 * [misc]backup-simplify: Simplify 1 into 1 1536752120.747 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1536752120.747 * [misc]backup-simplify: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 1536752120.747 * [misc]backup-simplify: Simplify (* 1/4 (log (+ (exp (/ 1 x)) 1))) into (* 1/4 (log (+ (exp (/ 1 x)) 1))) 1536752120.747 * [misc]backup-simplify: Simplify (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) into (pow (+ (exp (/ 1 x)) 1) 1/4) 1536752120.748 * [misc]backup-simplify: Simplify (pow (+ (exp (/ 1 x)) 1) 1/4) into (pow (+ (exp (/ 1 x)) 1) 1/4) 1536752120.748 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.749 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 1536752120.749 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (* 0 (log (+ (exp (/ 1 x)) 1)))) into 0 1536752120.751 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0 1536752120.751 * [misc]backup-simplify: Simplify 0 into 0 1536752120.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.752 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 1536752120.753 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))) into 0 1536752120.754 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.754 * [misc]backup-simplify: Simplify 0 into 0 1536752120.754 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.757 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 1536752120.758 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1)))))) into 0 1536752120.760 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1536752120.760 * [misc]backup-simplify: Simplify 0 into 0 1536752120.760 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.764 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 1536752120.765 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))))) into 0 1536752120.768 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.768 * [misc]backup-simplify: Simplify 0 into 0 1536752120.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.775 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 1536752120.776 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1)))))))) into 0 1536752120.786 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1536752120.786 * [misc]backup-simplify: Simplify 0 into 0 1536752120.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.804 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 1536752120.805 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))))))) into 0 1536752120.819 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.819 * [misc]backup-simplify: Simplify 0 into 0 1536752120.820 * [misc]backup-simplify: Simplify (pow (+ (exp (/ 1 (/ 1 x))) 1) 1/4) into (pow (+ (exp x) 1) 1/4) 1536752120.820 * [misc]backup-simplify: Simplify (sqrt (sqrt (+ (exp (/ 1 (- x))) 1))) into (pow (+ (exp (/ -1 x)) 1) 1/4) 1536752120.820 * [misc]approximate: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/4) in (x) around 0 1536752120.820 * [misc]taylor: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/4) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp (/ -1 x)) 1))) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.820 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.820 * [misc]taylor: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.820 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.820 * [misc]backup-simplify: Simplify -1 into -1 1536752120.820 * [misc]taylor: Taking taylor expansion of x in x 1536752120.820 * [misc]backup-simplify: Simplify 0 into 0 1536752120.820 * [misc]backup-simplify: Simplify 1 into 1 1536752120.821 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.821 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.821 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.821 * [misc]backup-simplify: Simplify 1 into 1 1536752120.821 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.821 * [misc]backup-simplify: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 1536752120.821 * [misc]backup-simplify: Simplify (* 1/4 (log (+ (exp (/ -1 x)) 1))) into (* 1/4 (log (+ (exp (/ -1 x)) 1))) 1536752120.821 * [misc]backup-simplify: Simplify (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) into (pow (+ (exp (/ -1 x)) 1) 1/4) 1536752120.821 * [misc]taylor: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/4) in x 1536752120.821 * [misc]taylor: Taking taylor expansion of (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) in x 1536752120.821 * [misc]taylor: Taking taylor expansion of (* 1/4 (log (+ (exp (/ -1 x)) 1))) in x 1536752120.821 * [misc]taylor: Taking taylor expansion of 1/4 in x 1536752120.821 * [misc]backup-simplify: Simplify 1/4 into 1/4 1536752120.821 * [misc]taylor: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x 1536752120.821 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1536752120.822 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536752120.822 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536752120.822 * [misc]taylor: Taking taylor expansion of -1 in x 1536752120.822 * [misc]backup-simplify: Simplify -1 into -1 1536752120.822 * [misc]taylor: Taking taylor expansion of x in x 1536752120.822 * [misc]backup-simplify: Simplify 0 into 0 1536752120.822 * [misc]backup-simplify: Simplify 1 into 1 1536752120.822 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752120.822 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536752120.822 * [misc]taylor: Taking taylor expansion of 1 in x 1536752120.822 * [misc]backup-simplify: Simplify 1 into 1 1536752120.822 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1536752120.822 * [misc]backup-simplify: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 1536752120.822 * [misc]backup-simplify: Simplify (* 1/4 (log (+ (exp (/ -1 x)) 1))) into (* 1/4 (log (+ (exp (/ -1 x)) 1))) 1536752120.822 * [misc]backup-simplify: Simplify (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) into (pow (+ (exp (/ -1 x)) 1) 1/4) 1536752120.823 * [misc]backup-simplify: Simplify (pow (+ (exp (/ -1 x)) 1) 1/4) into (pow (+ (exp (/ -1 x)) 1) 1/4) 1536752120.823 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.824 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 1536752120.825 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (* 0 (log (+ (exp (/ -1 x)) 1)))) into 0 1536752120.826 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0 1536752120.826 * [misc]backup-simplify: Simplify 0 into 0 1536752120.826 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.828 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 1536752120.829 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))) into 0 1536752120.831 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.831 * [misc]backup-simplify: Simplify 0 into 0 1536752120.831 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.835 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 1536752120.835 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1)))))) into 0 1536752120.839 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1536752120.839 * [misc]backup-simplify: Simplify 0 into 0 1536752120.839 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.846 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 1536752120.847 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))))) into 0 1536752120.852 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.852 * [misc]backup-simplify: Simplify 0 into 0 1536752120.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.864 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 1536752120.865 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1)))))))) into 0 1536752120.877 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1536752120.877 * [misc]backup-simplify: Simplify 0 into 0 1536752120.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752120.895 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 1536752120.896 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))))))) into 0 1536752120.910 * [misc]backup-simplify: Simplify (* (exp (* 1/4 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536752120.911 * [misc]backup-simplify: Simplify 0 into 0 1536752120.911 * [misc]backup-simplify: Simplify (pow (+ (exp (/ -1 (/ 1 (- x)))) 1) 1/4) into (pow (+ (exp x) 1) 1/4) 1536752120.911 * * * [misc]progress: simplifying candidates 1536752120.911 * * * * [misc]progress: [ 1 / 110 ] simplifiying candidate # 1536752120.911 * * * * [misc]progress: [ 2 / 110 ] simplifiying candidate # 1536752120.911 * * * * [misc]progress: [ 3 / 110 ] simplifiying candidate # 1536752120.912 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752120.912 * * [misc]simplify: iters left: 4 (5 enodes) 1536752120.914 * * [misc]simplify: iters left: 3 (8 enodes) 1536752120.917 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752120.917 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (+ (exp x) 1)) (+ 1/2 1/2))) 1536752120.917 * [enter]simplify: Simplifying (+ 1/2 1/2) 1536752120.917 * * [misc]simplify: iters left: 2 (2 enodes) 1536752120.919 * * [misc]simplify: iters left: 1 (3 enodes) 1536752120.920 * [exit]simplify: Simplified to 1 1536752120.920 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (sqrt (+ (exp x) 1)) 1)) 1536752120.920 * * * * [misc]progress: [ 4 / 110 ] simplifiying candidate # 1536752120.920 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752120.921 * * [misc]simplify: iters left: 5 (6 enodes) 1536752120.923 * * [misc]simplify: iters left: 4 (9 enodes) 1536752120.926 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752120.926 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (sqrt (+ (exp x) 1))) (+ 1 1))) 1536752120.927 * [enter]simplify: Simplifying (+ 1 1) 1536752120.927 * * [misc]simplify: iters left: 2 (2 enodes) 1536752120.929 * * [misc]simplify: iters left: 1 (5 enodes) 1536752120.930 * [exit]simplify: Simplified to 2 1536752120.930 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (sqrt (sqrt (+ (exp x) 1))) 2)) 1536752120.930 * * * * [misc]progress: [ 5 / 110 ] simplifiying candidate # 1536752120.930 * [enter]simplify: Simplifying (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) 1536752120.931 * * [misc]simplify: iters left: 6 (6 enodes) 1536752120.933 * * [misc]simplify: iters left: 5 (9 enodes) 1536752120.936 * * [misc]simplify: iters left: 4 (10 enodes) 1536752120.938 * [exit]simplify: Simplified to (+ (exp x) 1) 1536752120.939 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (+ (exp x) 1) 1/2)) 1536752120.939 * * * * [misc]progress: [ 6 / 110 ] simplifiying candidate # 1536752120.939 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))) 1536752120.940 * * [misc]simplify: iters left: 6 (7 enodes) 1536752120.942 * * [misc]simplify: iters left: 5 (10 enodes) 1536752120.945 * * [misc]simplify: iters left: 4 (11 enodes) 1536752120.948 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752120.948 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (+ (exp x) 1)) 1)) 1536752120.948 * * * * [misc]progress: [ 7 / 110 ] simplifiying candidate # 1536752120.948 * * * * [misc]progress: [ 8 / 110 ] simplifiying candidate # 1536752120.949 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752120.949 * * [misc]simplify: iters left: 5 (6 enodes) 1536752120.951 * * [misc]simplify: iters left: 4 (9 enodes) 1536752120.954 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752120.954 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (sqrt (+ (exp x) 1))) (+ 1 1))) 1536752120.954 * * * * [misc]progress: [ 9 / 110 ] simplifiying candidate # 1536752120.954 * * * * [misc]progress: [ 10 / 110 ] simplifiying candidate # 1536752120.955 * [enter]simplify: Simplifying (+ (log (sqrt (sqrt (+ (exp x) 1)))) (log (sqrt (sqrt (+ (exp x) 1))))) 1536752120.956 * * [misc]simplify: iters left: 6 (8 enodes) 1536752120.959 * * [misc]simplify: iters left: 5 (11 enodes) 1536752120.963 * [exit]simplify: Simplified to (+ (log (sqrt (sqrt (+ (exp x) 1)))) (log (sqrt (sqrt (+ (exp x) 1))))) 1536752120.963 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt (sqrt (+ (exp x) 1)))) (log (sqrt (sqrt (+ (exp x) 1))))))) 1536752120.964 * * * * [misc]progress: [ 11 / 110 ] simplifiying candidate # 1536752120.964 * * * * [misc]progress: [ 12 / 110 ] simplifiying candidate # 1536752120.964 * * * * [misc]progress: [ 13 / 110 ] simplifiying candidate # 1536752120.964 * [enter]simplify: Simplifying (* (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1))))) 1536752120.965 * * [misc]simplify: iters left: 6 (9 enodes) 1536752120.970 * * [misc]simplify: iters left: 5 (17 enodes) 1536752120.976 * * [misc]simplify: iters left: 4 (26 enodes) 1536752120.982 * * [misc]simplify: iters left: 3 (31 enodes) 1536752120.988 * * [misc]simplify: iters left: 2 (48 enodes) 1536752120.998 * * [misc]simplify: iters left: 1 (61 enodes) 1536752121.023 * [exit]simplify: Simplified to (* (+ (exp x) 1) (sqrt (+ (exp x) 1))) 1536752121.023 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (* (+ (exp x) 1) (sqrt (+ (exp x) 1))))) 1536752121.023 * * * * [misc]progress: [ 14 / 110 ] simplifiying candidate # 1536752121.023 * * * * [misc]progress: [ 15 / 110 ] simplifiying candidate # 1536752121.023 * * * * [misc]progress: [ 16 / 110 ] simplifiying candidate # 1536752121.024 * [enter]simplify: Simplifying (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) 1536752121.024 * * [misc]simplify: iters left: 6 (6 enodes) 1536752121.025 * * [misc]simplify: iters left: 5 (9 enodes) 1536752121.027 * * [misc]simplify: iters left: 4 (10 enodes) 1536752121.028 * [exit]simplify: Simplified to (+ (exp x) 1) 1536752121.028 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1536752121.028 * * * * [misc]progress: [ 17 / 110 ] simplifiying candidate # 1536752121.028 * * * * [misc]progress: [ 18 / 110 ] simplifiying candidate # 1536752121.028 * [enter]simplify: Simplifying (+ (exp x) 1) 1536752121.028 * * [misc]simplify: iters left: 3 (4 enodes) 1536752121.029 * * [misc]simplify: iters left: 2 (7 enodes) 1536752121.030 * [exit]simplify: Simplified to (+ (exp x) 1) 1536752121.030 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1536752121.030 * * * * [misc]progress: [ 19 / 110 ] simplifiying candidate # 1536752121.030 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) 1536752121.031 * * [misc]simplify: iters left: 6 (10 enodes) 1536752121.034 * * [misc]simplify: iters left: 5 (18 enodes) 1536752121.036 * * [misc]simplify: iters left: 4 (23 enodes) 1536752121.039 * * [misc]simplify: iters left: 3 (27 enodes) 1536752121.043 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1536752121.043 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))) 1536752121.043 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1536752121.044 * * [misc]simplify: iters left: 6 (11 enodes) 1536752121.047 * * [misc]simplify: iters left: 5 (24 enodes) 1536752121.052 * * [misc]simplify: iters left: 4 (37 enodes) 1536752121.059 * * [misc]simplify: iters left: 3 (49 enodes) 1536752121.068 * * [misc]simplify: iters left: 2 (70 enodes) 1536752121.091 * * [misc]simplify: iters left: 1 (107 enodes) 1536752121.127 * [exit]simplify: Simplified to (sqrt (fma (exp x) (expm1 x) 1)) 1536752121.127 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (fma (exp x) (expm1 x) 1)))) 1536752121.128 * * * * [misc]progress: [ 20 / 110 ] simplifiying candidate # 1536752121.128 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1))))) 1536752121.130 * * [misc]simplify: iters left: 6 (15 enodes) 1536752121.138 * * [misc]simplify: iters left: 5 (29 enodes) 1536752121.144 * * [misc]simplify: iters left: 4 (43 enodes) 1536752121.149 * * [misc]simplify: iters left: 3 (47 enodes) 1536752121.155 * * [misc]simplify: iters left: 2 (63 enodes) 1536752121.172 * * [misc]simplify: iters left: 1 (94 enodes) 1536752121.215 * [exit]simplify: Simplified to (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))) 1536752121.215 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))) (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (- (exp x) 1)))))) 1536752121.216 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (- (exp x) 1)))) 1536752121.217 * * [misc]simplify: iters left: 6 (14 enodes) 1536752121.226 * * [misc]simplify: iters left: 5 (32 enodes) 1536752121.237 * * [misc]simplify: iters left: 4 (44 enodes) 1536752121.249 * * [misc]simplify: iters left: 3 (64 enodes) 1536752121.261 * * [misc]simplify: iters left: 2 (87 enodes) 1536752121.279 * * [misc]simplify: iters left: 1 (109 enodes) 1536752121.309 * [exit]simplify: Simplified to (* (sqrt (sqrt (fma (exp x) (expm1 x) 1))) (sqrt (sqrt (expm1 x)))) 1536752121.309 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))) (* (sqrt (sqrt (fma (exp x) (expm1 x) 1))) (sqrt (sqrt (expm1 x)))))) 1536752121.309 * * * * [misc]progress: [ 21 / 110 ] simplifiying candidate # 1536752121.310 * [enter]simplify: Simplifying (* (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1)))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) 1536752121.311 * * [misc]simplify: iters left: 6 (15 enodes) 1536752121.316 * * [misc]simplify: iters left: 5 (29 enodes) 1536752121.321 * * [misc]simplify: iters left: 4 (43 enodes) 1536752121.327 * * [misc]simplify: iters left: 3 (47 enodes) 1536752121.337 * * [misc]simplify: iters left: 2 (63 enodes) 1536752121.363 * * [misc]simplify: iters left: 1 (94 enodes) 1536752121.410 * [exit]simplify: Simplified to (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp (+ x x)) (exp x) 1)))) 1536752121.410 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp (+ x x)) (exp x) 1)))) (* (sqrt (sqrt (- (exp x) 1))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))) 1536752121.410 * [enter]simplify: Simplifying (* (sqrt (sqrt (- (exp x) 1))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1536752121.412 * * [misc]simplify: iters left: 6 (14 enodes) 1536752121.416 * * [misc]simplify: iters left: 5 (32 enodes) 1536752121.422 * * [misc]simplify: iters left: 4 (45 enodes) 1536752121.432 * * [misc]simplify: iters left: 3 (64 enodes) 1536752121.444 * * [misc]simplify: iters left: 2 (87 enodes) 1536752121.462 * * [misc]simplify: iters left: 1 (108 enodes) 1536752121.504 * [exit]simplify: Simplified to (* (sqrt (sqrt (fma (expm1 x) (exp x) 1))) (sqrt (sqrt (expm1 x)))) 1536752121.504 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (fma (exp (+ x x)) (exp x) 1)))) (* (sqrt (sqrt (fma (expm1 x) (exp x) 1))) (sqrt (sqrt (expm1 x)))))) 1536752121.504 * * * * [misc]progress: [ 22 / 110 ] simplifiying candidate # 1536752121.505 * [enter]simplify: Simplifying (* (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1)))) (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1))))) 1536752121.506 * * [misc]simplify: iters left: 6 (9 enodes) 1536752121.511 * * [misc]simplify: iters left: 5 (18 enodes) 1536752121.517 * * [misc]simplify: iters left: 4 (27 enodes) 1536752121.524 * * [misc]simplify: iters left: 3 (31 enodes) 1536752121.533 * * [misc]simplify: iters left: 2 (47 enodes) 1536752121.560 * * [misc]simplify: iters left: 1 (78 enodes) 1536752121.614 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1536752121.614 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (* (sqrt (sqrt (- (exp x) 1))) (sqrt (sqrt (- (exp x) 1)))))) 1536752121.614 * [enter]simplify: Simplifying (* (sqrt (sqrt (- (exp x) 1))) (sqrt (sqrt (- (exp x) 1)))) 1536752121.615 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.619 * * [misc]simplify: iters left: 5 (13 enodes) 1536752121.622 * * [misc]simplify: iters left: 4 (14 enodes) 1536752121.626 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1536752121.626 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x)))) 1536752121.626 * * * * [misc]progress: [ 23 / 110 ] simplifiying candidate # 1536752121.626 * * * * [misc]progress: [ 24 / 110 ] simplifiying candidate # 1536752121.626 * [enter]simplify: Simplifying (cbrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.627 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.630 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.633 * [exit]simplify: Simplified to (cbrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.633 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (sqrt (+ (exp x) 1)))))) (cbrt (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.633 * * * * [misc]progress: [ 25 / 110 ] simplifiying candidate # 1536752121.633 * [enter]simplify: Simplifying (sqrt (cbrt (sqrt (+ (exp x) 1)))) 1536752121.634 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.637 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.640 * [exit]simplify: Simplified to (sqrt (cbrt (sqrt (+ (exp x) 1)))) 1536752121.640 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))))) (sqrt (cbrt (sqrt (+ (exp x) 1)))))) 1536752121.640 * * * * [misc]progress: [ 26 / 110 ] simplifiying candidate # 1536752121.640 * [enter]simplify: Simplifying (sqrt (sqrt (cbrt (+ (exp x) 1)))) 1536752121.640 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.641 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.643 * [exit]simplify: Simplified to (sqrt (sqrt (cbrt (+ (exp x) 1)))) 1536752121.643 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))))) (sqrt (sqrt (cbrt (+ (exp x) 1)))))) 1536752121.643 * * * * [misc]progress: [ 27 / 110 ] simplifiying candidate # 1536752121.643 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.644 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.645 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.646 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.646 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (sqrt (+ (exp x) 1))))) (sqrt (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.646 * * * * [misc]progress: [ 28 / 110 ] simplifiying candidate # 1536752121.646 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752121.647 * * [misc]simplify: iters left: 5 (6 enodes) 1536752121.648 * * [misc]simplify: iters left: 4 (9 enodes) 1536752121.649 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752121.649 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752121.649 * * * * [misc]progress: [ 29 / 110 ] simplifiying candidate # 1536752121.649 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.650 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.651 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.653 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.653 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (sqrt (+ (exp x) 1))))) (sqrt (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.653 * * * * [misc]progress: [ 30 / 110 ] simplifiying candidate # 1536752121.653 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752121.653 * * [misc]simplify: iters left: 5 (6 enodes) 1536752121.655 * * [misc]simplify: iters left: 4 (9 enodes) 1536752121.656 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752121.656 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt 1)) (sqrt (sqrt (+ (exp x) 1))))) 1536752121.656 * * * * [misc]progress: [ 31 / 110 ] simplifiying candidate # 1536752121.656 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.656 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.658 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.659 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.659 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (sqrt (+ (exp x) 1))))) (sqrt (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.659 * * * * [misc]progress: [ 32 / 110 ] simplifiying candidate # 1536752121.660 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752121.660 * * [misc]simplify: iters left: 5 (6 enodes) 1536752121.662 * * [misc]simplify: iters left: 4 (9 enodes) 1536752121.665 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752121.665 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (+ (exp x) 1))) 1) (sqrt (sqrt (+ (exp x) 1))))) 1536752121.665 * * * * [misc]progress: [ 33 / 110 ] simplifiying candidate # 1536752121.665 * [enter]simplify: Simplifying (* (cbrt (sqrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (sqrt (+ (exp x) 1))))) 1536752121.666 * * [misc]simplify: iters left: 6 (8 enodes) 1536752121.669 * * [misc]simplify: iters left: 5 (11 enodes) 1536752121.673 * [exit]simplify: Simplified to (* (cbrt (sqrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (sqrt (+ (exp x) 1))))) 1536752121.673 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (sqrt (+ (exp x) 1))))) (* (cbrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.673 * * * * [misc]progress: [ 34 / 110 ] simplifiying candidate # 1536752121.673 * [enter]simplify: Simplifying (sqrt (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))) 1536752121.674 * * [misc]simplify: iters left: 6 (8 enodes) 1536752121.677 * * [misc]simplify: iters left: 5 (12 enodes) 1536752121.681 * [exit]simplify: Simplified to (fabs (cbrt (sqrt (+ (exp x) 1)))) 1536752121.681 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (sqrt (+ (exp x) 1)))) (* (sqrt (cbrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.681 * * * * [misc]progress: [ 35 / 110 ] simplifiying candidate # 1536752121.682 * [enter]simplify: Simplifying (sqrt (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))) 1536752121.683 * * [misc]simplify: iters left: 6 (8 enodes) 1536752121.686 * * [misc]simplify: iters left: 5 (12 enodes) 1536752121.688 * [exit]simplify: Simplified to (sqrt (fabs (cbrt (+ (exp x) 1)))) 1536752121.688 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (fabs (cbrt (+ (exp x) 1)))) (* (sqrt (sqrt (cbrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.688 * * * * [misc]progress: [ 36 / 110 ] simplifiying candidate # 1536752121.689 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.689 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.690 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.692 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.692 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.692 * * * * [misc]progress: [ 37 / 110 ] simplifiying candidate # 1536752121.692 * [enter]simplify: Simplifying (sqrt (sqrt 1)) 1536752121.692 * * [misc]simplify: iters left: 2 (3 enodes) 1536752121.693 * * [misc]simplify: iters left: 1 (5 enodes) 1536752121.694 * [exit]simplify: Simplified to 1 1536752121.694 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.694 * * * * [misc]progress: [ 38 / 110 ] simplifiying candidate # 1536752121.694 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.694 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.696 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.697 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.697 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.697 * * * * [misc]progress: [ 39 / 110 ] simplifiying candidate # 1536752121.697 * [enter]simplify: Simplifying (sqrt 1) 1536752121.697 * * [misc]simplify: iters left: 1 (2 enodes) 1536752121.700 * [exit]simplify: Simplified to 1 1536752121.700 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.700 * * * * [misc]progress: [ 40 / 110 ] simplifiying candidate # 1536752121.701 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.701 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.702 * * [misc]simplify: iters left: 5 (10 enodes) 1536752121.704 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752121.704 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1)))))) 1536752121.704 * * * * [misc]progress: [ 41 / 110 ] simplifiying candidate # 1536752121.704 * * * * [misc]progress: [ 42 / 110 ] simplifiying candidate # 1536752121.704 * [enter]simplify: Simplifying (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) 1536752121.705 * * [misc]simplify: iters left: 6 (10 enodes) 1536752121.708 * * [misc]simplify: iters left: 5 (23 enodes) 1536752121.713 * * [misc]simplify: iters left: 4 (35 enodes) 1536752121.719 * * [misc]simplify: iters left: 3 (48 enodes) 1536752121.728 * * [misc]simplify: iters left: 2 (69 enodes) 1536752121.750 * * [misc]simplify: iters left: 1 (106 enodes) 1536752121.803 * [exit]simplify: Simplified to (sqrt (sqrt (fma (exp x) (expm1 x) 1))) 1536752121.803 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (sqrt (fma (exp x) (expm1 x) 1))))) 1536752121.804 * * * * [misc]progress: [ 43 / 110 ] simplifiying candidate # 1536752121.804 * [enter]simplify: Simplifying (sqrt (sqrt (- (exp x) 1))) 1536752121.804 * * [misc]simplify: iters left: 5 (6 enodes) 1536752121.808 * * [misc]simplify: iters left: 4 (12 enodes) 1536752121.811 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 x))) 1536752121.812 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1))))) (sqrt (sqrt (expm1 x))))) 1536752121.812 * * * * [misc]progress: [ 44 / 110 ] simplifiying candidate # 1536752121.812 * [enter]simplify: Simplifying (* (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (sqrt (+ (exp x) 1)))) 1536752121.814 * * [misc]simplify: iters left: 6 (13 enodes) 1536752121.822 * * [misc]simplify: iters left: 5 (23 enodes) 1536752121.829 * * [misc]simplify: iters left: 4 (27 enodes) 1536752121.836 * * [misc]simplify: iters left: 3 (31 enodes) 1536752121.845 * [exit]simplify: Simplified to (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))) 1536752121.845 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))) 1536752121.845 * * * * [misc]progress: [ 45 / 110 ] simplifiying candidate # 1536752121.845 * [enter]simplify: Simplifying (* (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1)))) (sqrt (sqrt (+ (exp x) 1)))) 1536752121.847 * * [misc]simplify: iters left: 6 (12 enodes) 1536752121.854 * * [misc]simplify: iters left: 5 (23 enodes) 1536752121.862 * * [misc]simplify: iters left: 4 (30 enodes) 1536752121.869 * * [misc]simplify: iters left: 3 (33 enodes) 1536752121.879 * * [misc]simplify: iters left: 2 (49 enodes) 1536752121.903 * * [misc]simplify: iters left: 1 (80 enodes) 1536752121.932 * [exit]simplify: Simplified to (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (+ (exp x) 1)))) 1536752121.933 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (- (exp x) 1))))) 1536752121.933 * * * * [misc]progress: [ 46 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 47 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 48 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 49 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 50 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 51 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 52 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 53 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 54 / 110 ] simplifiying candidate # 1536752121.933 * * * * [misc]progress: [ 55 / 110 ] simplifiying candidate # 1536752121.933 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1536752121.934 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.935 * * [misc]simplify: iters left: 5 (11 enodes) 1536752121.937 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1536752121.937 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))))) 1536752121.937 * * * * [misc]progress: [ 56 / 110 ] simplifiying candidate # 1536752121.937 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752121.937 * * [misc]simplify: iters left: 5 (6 enodes) 1536752121.938 * * [misc]simplify: iters left: 4 (9 enodes) 1536752121.940 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752121.940 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))))) 1536752121.940 * * * * [misc]progress: [ 57 / 110 ] simplifiying candidate # 1536752121.941 * [enter]simplify: Simplifying (sqrt 1) 1536752121.941 * * [misc]simplify: iters left: 1 (2 enodes) 1536752121.942 * [exit]simplify: Simplified to 1 1536752121.942 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (* 1 (sqrt (+ (exp x) 1)))))) 1536752121.942 * * * * [misc]progress: [ 58 / 110 ] simplifiying candidate # 1536752121.943 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1536752121.943 * * [misc]simplify: iters left: 5 (8 enodes) 1536752121.948 * * [misc]simplify: iters left: 4 (16 enodes) 1536752121.953 * * [misc]simplify: iters left: 3 (20 enodes) 1536752121.958 * * [misc]simplify: iters left: 2 (24 enodes) 1536752121.965 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1536752121.965 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))) 1536752121.965 * * * * [misc]progress: [ 59 / 110 ] simplifiying candidate # 1536752121.965 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1536752121.966 * * [misc]simplify: iters left: 6 (7 enodes) 1536752121.971 * * [misc]simplify: iters left: 5 (16 enodes) 1536752121.977 * * [misc]simplify: iters left: 4 (24 enodes) 1536752121.983 * * [misc]simplify: iters left: 3 (28 enodes) 1536752121.991 * * [misc]simplify: iters left: 2 (44 enodes) 1536752122.016 * * [misc]simplify: iters left: 1 (75 enodes) 1536752122.068 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1536752122.068 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))))) 1536752122.068 * * * * [misc]progress: [ 60 / 110 ] simplifiying candidate # 1536752122.068 * * * * [misc]progress: [ 61 / 110 ] simplifiying candidate # 1536752122.069 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.069 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.071 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.073 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.073 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (fabs (sqrt (+ (exp x) 1)))))) 1536752122.073 * * * * [misc]progress: [ 62 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 63 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 64 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 65 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 66 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 67 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 68 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 69 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 70 / 110 ] simplifiying candidate # 1536752122.074 * * * * [misc]progress: [ 71 / 110 ] simplifiying candidate # 1536752122.074 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1536752122.075 * * [misc]simplify: iters left: 6 (7 enodes) 1536752122.078 * * [misc]simplify: iters left: 5 (11 enodes) 1536752122.082 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1536752122.082 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.082 * * * * [misc]progress: [ 72 / 110 ] simplifiying candidate # 1536752122.082 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752122.083 * * [misc]simplify: iters left: 5 (6 enodes) 1536752122.086 * * [misc]simplify: iters left: 4 (9 enodes) 1536752122.088 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752122.089 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.089 * * * * [misc]progress: [ 73 / 110 ] simplifiying candidate # 1536752122.089 * [enter]simplify: Simplifying (sqrt 1) 1536752122.089 * * [misc]simplify: iters left: 1 (2 enodes) 1536752122.091 * [exit]simplify: Simplified to 1 1536752122.091 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (* 1 (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.091 * * * * [misc]progress: [ 74 / 110 ] simplifiying candidate # 1536752122.091 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1536752122.092 * * [misc]simplify: iters left: 5 (8 enodes) 1536752122.097 * * [misc]simplify: iters left: 4 (16 enodes) 1536752122.102 * * [misc]simplify: iters left: 3 (20 enodes) 1536752122.108 * * [misc]simplify: iters left: 2 (24 enodes) 1536752122.115 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1536752122.115 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.115 * * * * [misc]progress: [ 75 / 110 ] simplifiying candidate # 1536752122.115 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1536752122.116 * * [misc]simplify: iters left: 6 (7 enodes) 1536752122.121 * * [misc]simplify: iters left: 5 (16 enodes) 1536752122.127 * * [misc]simplify: iters left: 4 (24 enodes) 1536752122.132 * * [misc]simplify: iters left: 3 (28 enodes) 1536752122.140 * * [misc]simplify: iters left: 2 (44 enodes) 1536752122.167 * * [misc]simplify: iters left: 1 (75 enodes) 1536752122.213 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1536752122.213 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.213 * * * * [misc]progress: [ 76 / 110 ] simplifiying candidate # 1536752122.213 * * * * [misc]progress: [ 77 / 110 ] simplifiying candidate # 1536752122.214 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.214 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.215 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.216 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.216 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (* (sqrt (fabs (sqrt (+ (exp x) 1)))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.216 * * * * [misc]progress: [ 78 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 79 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 80 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 81 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 82 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 83 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 84 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 85 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 86 / 110 ] simplifiying candidate # 1536752122.216 * * * * [misc]progress: [ 87 / 110 ] simplifiying candidate # 1536752122.216 * [enter]simplify: Simplifying (sqrt (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))) 1536752122.217 * * [misc]simplify: iters left: 6 (8 enodes) 1536752122.218 * * [misc]simplify: iters left: 5 (12 enodes) 1536752122.220 * [exit]simplify: Simplified to (fabs (cbrt (sqrt (+ (exp x) 1)))) 1536752122.220 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* (fabs (cbrt (sqrt (+ (exp x) 1)))) (sqrt (cbrt (sqrt (+ (exp x) 1))))))) 1536752122.220 * * * * [misc]progress: [ 88 / 110 ] simplifiying candidate # 1536752122.220 * [enter]simplify: Simplifying (sqrt (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))) 1536752122.221 * * [misc]simplify: iters left: 6 (8 enodes) 1536752122.222 * * [misc]simplify: iters left: 5 (12 enodes) 1536752122.224 * [exit]simplify: Simplified to (sqrt (fabs (cbrt (+ (exp x) 1)))) 1536752122.224 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* (sqrt (fabs (cbrt (+ (exp x) 1)))) (sqrt (sqrt (cbrt (+ (exp x) 1))))))) 1536752122.224 * * * * [misc]progress: [ 89 / 110 ] simplifiying candidate # 1536752122.225 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752122.225 * * [misc]simplify: iters left: 6 (7 enodes) 1536752122.226 * * [misc]simplify: iters left: 5 (10 enodes) 1536752122.228 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752122.228 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (sqrt (+ (exp x) 1))))))) 1536752122.228 * * * * [misc]progress: [ 90 / 110 ] simplifiying candidate # 1536752122.228 * [enter]simplify: Simplifying (sqrt (sqrt 1)) 1536752122.228 * * [misc]simplify: iters left: 2 (3 enodes) 1536752122.229 * * [misc]simplify: iters left: 1 (5 enodes) 1536752122.229 * [exit]simplify: Simplified to 1 1536752122.230 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* 1 (sqrt (sqrt (+ (exp x) 1)))))) 1536752122.230 * * * * [misc]progress: [ 91 / 110 ] simplifiying candidate # 1536752122.230 * [enter]simplify: Simplifying (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752122.230 * * [misc]simplify: iters left: 6 (7 enodes) 1536752122.231 * * [misc]simplify: iters left: 5 (10 enodes) 1536752122.233 * [exit]simplify: Simplified to (sqrt (sqrt (sqrt (+ (exp x) 1)))) 1536752122.233 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* (sqrt (sqrt (sqrt (+ (exp x) 1)))) (sqrt (sqrt (sqrt (+ (exp x) 1))))))) 1536752122.233 * * * * [misc]progress: [ 92 / 110 ] simplifiying candidate # 1536752122.233 * [enter]simplify: Simplifying (sqrt 1) 1536752122.233 * * [misc]simplify: iters left: 1 (2 enodes) 1536752122.234 * [exit]simplify: Simplified to 1 1536752122.234 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (* 1 (sqrt (sqrt (+ (exp x) 1)))))) 1536752122.234 * * * * [misc]progress: [ 93 / 110 ] simplifiying candidate # 1536752122.234 * [enter]simplify: Simplifying (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) 1536752122.235 * * [misc]simplify: iters left: 6 (9 enodes) 1536752122.237 * * [misc]simplify: iters left: 5 (17 enodes) 1536752122.240 * * [misc]simplify: iters left: 4 (21 enodes) 1536752122.242 * * [misc]simplify: iters left: 3 (25 enodes) 1536752122.248 * [exit]simplify: Simplified to (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1))) 1536752122.248 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (/ (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))) 1536752122.248 * * * * [misc]progress: [ 94 / 110 ] simplifiying candidate # 1536752122.249 * [enter]simplify: Simplifying (sqrt (sqrt (- (* (exp x) (exp x)) (* 1 1)))) 1536752122.250 * * [misc]simplify: iters left: 6 (8 enodes) 1536752122.255 * * [misc]simplify: iters left: 5 (17 enodes) 1536752122.261 * * [misc]simplify: iters left: 4 (25 enodes) 1536752122.267 * * [misc]simplify: iters left: 3 (29 enodes) 1536752122.276 * * [misc]simplify: iters left: 2 (45 enodes) 1536752122.297 * * [misc]simplify: iters left: 1 (76 enodes) 1536752122.333 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 (+ x x)))) 1536752122.333 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (/ (sqrt (sqrt (expm1 (+ x x)))) (sqrt (sqrt (- (exp x) 1)))))) 1536752122.333 * * * * [misc]progress: [ 95 / 110 ] simplifiying candidate # 1536752122.333 * * * * [misc]progress: [ 96 / 110 ] simplifiying candidate # 1536752122.333 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752122.334 * * [misc]simplify: iters left: 5 (6 enodes) 1536752122.335 * * [misc]simplify: iters left: 4 (9 enodes) 1536752122.336 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752122.336 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (fabs (sqrt (sqrt (+ (exp x) 1)))))) 1536752122.337 * * * * [misc]progress: [ 97 / 110 ] simplifiying candidate # 1536752122.337 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1536752122.337 * * [misc]simplify: iters left: 5 (6 enodes) 1536752122.338 * * [misc]simplify: iters left: 4 (9 enodes) 1536752122.340 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1536752122.340 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (fabs (sqrt (sqrt (+ (exp x) 1)))))) 1536752122.340 * * * * [misc]progress: [ 98 / 110 ] simplifiying candidate # 1536752122.340 * * * * [misc]progress: [ 99 / 110 ] simplifiying candidate # 1536752122.340 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752122.341 * * [misc]simplify: iters left: 6 (18 enodes) 1536752122.347 * * [misc]simplify: iters left: 5 (40 enodes) 1536752122.363 * * [misc]simplify: iters left: 4 (111 enodes) 1536752122.438 * * [misc]simplify: iters left: 3 (276 enodes) 1536752122.660 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1536752122.660 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1536752122.660 * * * * [misc]progress: [ 100 / 110 ] simplifiying candidate # 1536752122.661 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.661 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.662 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.663 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.663 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1536752122.663 * * * * [misc]progress: [ 101 / 110 ] simplifiying candidate # 1536752122.663 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.664 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.665 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.666 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.666 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1536752122.666 * * * * [misc]progress: [ 102 / 110 ] simplifiying candidate # 1536752122.666 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752122.667 * * [misc]simplify: iters left: 6 (18 enodes) 1536752122.677 * * [misc]simplify: iters left: 5 (40 enodes) 1536752122.692 * * [misc]simplify: iters left: 4 (111 enodes) 1536752122.740 * * [misc]simplify: iters left: 3 (276 enodes) 1536752122.916 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1536752122.916 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))))) 1536752122.916 * * * * [misc]progress: [ 103 / 110 ] simplifiying candidate # 1536752122.916 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.917 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.918 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.919 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.919 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.919 * * * * [misc]progress: [ 104 / 110 ] simplifiying candidate # 1536752122.919 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752122.919 * * [misc]simplify: iters left: 4 (5 enodes) 1536752122.920 * * [misc]simplify: iters left: 3 (8 enodes) 1536752122.922 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752122.922 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752122.922 * * * * [misc]progress: [ 105 / 110 ] simplifiying candidate # 1536752122.922 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1536752122.923 * * [misc]simplify: iters left: 6 (18 enodes) 1536752122.929 * * [misc]simplify: iters left: 5 (40 enodes) 1536752122.946 * * [misc]simplify: iters left: 4 (111 enodes) 1536752123.005 * * [misc]simplify: iters left: 3 (276 enodes) 1536752123.196 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1536752123.196 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) (sqrt (sqrt (+ (exp x) 1))))) 1536752123.196 * * * * [misc]progress: [ 106 / 110 ] simplifiying candidate # 1536752123.196 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752123.197 * * [misc]simplify: iters left: 4 (5 enodes) 1536752123.198 * * [misc]simplify: iters left: 3 (8 enodes) 1536752123.199 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752123.199 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752123.199 * * * * [misc]progress: [ 107 / 110 ] simplifiying candidate # 1536752123.199 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1536752123.200 * * [misc]simplify: iters left: 4 (5 enodes) 1536752123.201 * * [misc]simplify: iters left: 3 (8 enodes) 1536752123.202 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1536752123.202 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1536752123.202 * * * * [misc]progress: [ 108 / 110 ] simplifiying candidate # 1536752123.202 * [enter]simplify: Simplifying (+ (* 1/8 (* x (pow 2 1/4))) (+ (* 5/128 (* (pow x 2) (pow 2 1/4))) (pow 2 1/4))) 1536752123.203 * * [misc]simplify: iters left: 6 (13 enodes) 1536752123.207 * * [misc]simplify: iters left: 5 (28 enodes) 1536752123.219 * * [misc]simplify: iters left: 4 (62 enodes) 1536752123.255 * * [misc]simplify: iters left: 3 (125 enodes) 1536752123.316 * * [misc]simplify: iters left: 2 (193 enodes) 1536752123.394 * * [misc]simplify: iters left: 1 (386 enodes) 1536752123.793 * [exit]simplify: Simplified to (fma (fma 5/128 x 1/8) (* (pow 2 1/4) x) (pow 2 1/4)) 1536752123.793 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (fma (fma 5/128 x 1/8) (* (pow 2 1/4) x) (pow 2 1/4)))) 1536752123.793 * * * * [misc]progress: [ 109 / 110 ] simplifiying candidate # 1536752123.793 * [enter]simplify: Simplifying (pow (+ (exp x) 1) 1/4) 1536752123.794 * * [misc]simplify: iters left: 4 (6 enodes) 1536752123.796 * * [misc]simplify: iters left: 3 (9 enodes) 1536752123.797 * [exit]simplify: Simplified to (pow (+ (exp x) 1) 1/4) 1536752123.797 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (pow (+ (exp x) 1) 1/4))) 1536752123.797 * * * * [misc]progress: [ 110 / 110 ] simplifiying candidate # 1536752123.797 * [enter]simplify: Simplifying (pow (+ (exp x) 1) 1/4) 1536752123.798 * * [misc]simplify: iters left: 4 (6 enodes) 1536752123.799 * * [misc]simplify: iters left: 3 (9 enodes) 1536752123.800 * [exit]simplify: Simplified to (pow (+ (exp x) 1) 1/4) 1536752123.800 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (pow (+ (exp x) 1) 1/4))) 1536752123.800 * * * [misc]progress: adding candidates to table 1536752125.634 * [misc]progress: [Phase 3 of 3] Extracting. 1536752125.635 * * [misc]regime: Finding splitpoints for: (# #) 1536752125.636 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1536752125.636 * * * * [misc]regimes: Trying to branch on x from (# #) 1536752125.670 * * * [misc]regime: Found split indices: #