1544003438.392 * [misc]progress:  [Phase 1 of 3] Setting up.
1544003438.393 * * * [misc]progress:  [1/2] Preparing points
1544003438.394 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544003438.396 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544003438.450 * * * * [misc]points:  Setting MPFR precision to 64
1544003438.452 * * * * [misc]points:  Setting MPFR precision to 320
1544003438.454 * * * * [misc]points:  Setting MPFR precision to 576
1544003438.456 * * * * [misc]points:  Setting MPFR precision to 832
1544003438.457 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.460 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.463 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544003438.474 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.478 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.481 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544003438.493 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.499 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.504 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544003438.595 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.607 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.618 * * * * [misc]points:  Computing exacts for 256 points
1544003438.669 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.736 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.767 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003438.768 * * * * [misc]points:  Sampling 73 additional inputs, on iter 1 have 183 / 256
1544003438.768 * * * * [misc]points:  Computing exacts on every 4 of 73 points to ramp up precision
1544003438.780 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.781 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.782 * * * * [misc]points:  Computing exacts on every 2 of 73 points to ramp up precision
1544003438.794 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.798 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.800 * * * * [misc]points:  Computing exacts for 73 points
1544003438.811 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.818 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.825 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003438.825 * * * * [misc]points:  Sampling 21 additional inputs, on iter 2 have 235 / 256
1544003438.825 * * * * [misc]points:  Computing exacts for 21 points
1544003438.853 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.855 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.858 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003438.858 * * * * [misc]points:  Sampling 9 additional inputs, on iter 3 have 247 / 256
1544003438.858 * * * * [misc]points:  Computing exacts for 9 points
1544003438.869 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.870 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003438.872 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 255 / 256
1544003438.872 * * * * [misc]points:  Computing exacts for 4 points
1544003438.881 * * * * [misc]points:  Setting MPFR precision to 1088
1544003438.882 * * * * [misc]points:  Setting MPFR precision to 1344
1544003438.882 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003438.882 * * * * [exit]points:  Sampled 258 points with exact outputs
1544003438.883 * * * [misc]progress:  [2/2] Setting up program.
1544003438.890 * [misc]progress:  [Phase 2 of 3] Improving.
1544003438.891 * [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
1544003438.893 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003438.903 * * [misc]simplify:  iters left: 5 (24 enodes)
1544003438.910 * * [misc]simplify:  iters left: 4 (27 enodes)
1544003438.918 * * [misc]simplify:  iters left: 3 (37 enodes)
1544003438.928 * * [misc]simplify:  iters left: 2 (54 enodes)
1544003438.950 * * [misc]simplify:  iters left: 1 (90 enodes)
1544003438.998 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1544003439.012 * * [misc]progress:  iteration 1 / 4
1544003439.012 * * * [misc]progress:  picking best candidate
1544003439.014 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1544003439.014 * * * [misc]progress:  localizing error
1544003439.030 * * * [misc]progress:  generating rewritten candidates
1544003439.030 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1544003439.035 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544003439.038 * * * [misc]progress:  generating series expansions
1544003439.038 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1544003439.045 * [misc]backup-simplify:  Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
1544003439.045 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
1544003439.046 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1544003439.046 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1544003439.046 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.046 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.046 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.046 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.047 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.047 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.047 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.048 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.048 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.051 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.051 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544003439.052 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1544003439.052 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1544003439.052 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1544003439.052 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.052 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.052 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.052 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.052 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.052 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.052 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.052 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.052 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.054 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.054 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544003439.054 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1544003439.055 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.056 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
1544003439.059 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.059 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1544003439.061 * [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)))
1544003439.062 * [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)))
1544003439.064 * [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))))
1544003439.064 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1544003439.064 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
1544003439.064 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1544003439.064 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1544003439.064 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.064 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.064 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.064 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.065 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.065 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.065 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.065 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.065 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.065 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1544003439.065 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1544003439.065 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.065 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.065 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1544003439.065 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1544003439.065 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.065 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.065 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.065 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.065 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.065 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.065 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.065 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.065 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.066 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1544003439.066 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1544003439.066 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.066 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.066 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1544003439.066 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.066 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.067 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.067 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.067 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.067 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.067 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.067 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.068 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.068 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.068 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.068 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.068 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.069 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.069 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1544003439.069 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.069 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
1544003439.069 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1544003439.069 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
1544003439.069 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1544003439.069 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1544003439.069 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.069 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.069 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.069 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.070 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.070 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.070 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.070 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.070 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.070 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.070 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.070 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1544003439.070 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1544003439.070 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.070 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.070 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1544003439.070 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1544003439.070 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.070 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.070 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.070 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.071 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.071 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.071 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.071 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.071 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.071 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.071 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.071 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1544003439.071 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1544003439.071 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.071 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.071 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1544003439.071 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.071 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.072 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.072 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.072 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.072 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.072 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.073 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.073 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.073 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.073 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.073 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.074 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.074 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.074 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1544003439.074 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.074 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
1544003439.074 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544003439.074 * [misc]backup-simplify:  Simplify (+ (exp x) 1) into (+ (exp x) 1)
1544003439.075 * [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
1544003439.075 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1544003439.075 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.075 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.075 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.075 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.075 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.075 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.075 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.075 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1544003439.075 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.075 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.075 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.075 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.075 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.075 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.075 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.075 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.075 * [misc]backup-simplify:  Simplify 2 into 2
1544003439.076 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.076 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544003439.076 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.078 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.078 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1544003439.078 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544003439.078 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
1544003439.079 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1544003439.079 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
1544003439.079 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.079 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.079 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.079 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.079 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.079 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.079 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.079 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.079 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.079 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.079 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.079 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.079 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.080 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.080 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.080 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1544003439.080 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1544003439.080 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.080 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.080 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.080 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.080 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.080 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.081 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.081 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.081 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.081 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.081 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.081 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.081 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
1544003439.081 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
1544003439.081 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
1544003439.081 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1544003439.081 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.081 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.081 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.081 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.082 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.082 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.082 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.082 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.082 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.082 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.082 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.082 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1544003439.082 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.082 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.082 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.082 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.082 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.082 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.082 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.082 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.082 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.082 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.082 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.083 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1544003439.083 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1544003439.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.083 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.083 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.083 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.084 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.084 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.084 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.084 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.084 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.084 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
1544003439.084 * * * [misc]progress:  simplifying candidates
1544003439.084 * * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
1544003439.085 * * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
1544003439.085 * * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
1544003439.085 * * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
1544003439.086 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
1544003439.086 * * [misc]simplify:  iters left: 6 (7 enodes)
1544003439.088 * * [misc]simplify:  iters left: 5 (11 enodes)
1544003439.091 * [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
1544003439.091 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1)))))
1544003439.091 * * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1544003439.091 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
1544003439.091 * * [misc]simplify:  iters left: 5 (6 enodes)
1544003439.093 * * [misc]simplify:  iters left: 4 (9 enodes)
1544003439.096 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
1544003439.096 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))
1544003439.096 * * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
1544003439.096 * [enter]simplify:  Simplifying (sqrt 1)
1544003439.096 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003439.109 * [exit]simplify:  Simplified to 1
1544003439.109 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1))))
1544003439.109 * * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003439.109 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
1544003439.110 * * [misc]simplify:  iters left: 5 (8 enodes)
1544003439.113 * * [misc]simplify:  iters left: 4 (16 enodes)
1544003439.117 * * [misc]simplify:  iters left: 3 (20 enodes)
1544003439.119 * * [misc]simplify:  iters left: 2 (24 enodes)
1544003439.122 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1))
1544003439.122 * [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))))))
1544003439.122 * * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
1544003439.122 * [enter]simplify:  Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1)))
1544003439.122 * * [misc]simplify:  iters left: 6 (7 enodes)
1544003439.125 * * [misc]simplify:  iters left: 5 (16 enodes)
1544003439.127 * * [misc]simplify:  iters left: 4 (24 enodes)
1544003439.132 * * [misc]simplify:  iters left: 3 (28 enodes)
1544003439.136 * * [misc]simplify:  iters left: 2 (44 enodes)
1544003439.147 * * [misc]simplify:  iters left: 1 (75 enodes)
1544003439.162 * [exit]simplify:  Simplified to (sqrt (expm1 (+ x x)))
1544003439.163 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1))))
1544003439.163 * * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1544003439.163 * * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
1544003439.163 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1544003439.163 * * [misc]simplify:  iters left: 4 (5 enodes)
1544003439.164 * * [misc]simplify:  iters left: 3 (8 enodes)
1544003439.165 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1544003439.165 * [misc]simplify:  Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1))))
1544003439.165 * * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
1544003439.165 * * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
1544003439.165 * * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
1544003439.165 * * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
1544003439.165 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1544003439.165 * * [misc]simplify:  iters left: 4 (4 enodes)
1544003439.166 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1544003439.166 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))
1544003439.166 * * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
1544003439.166 * [enter]simplify:  Simplifying (sqrt (exp x))
1544003439.166 * * [misc]simplify:  iters left: 2 (3 enodes)
1544003439.166 * [exit]simplify:  Simplified to (sqrt (exp x))
1544003439.166 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))
1544003439.166 * * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 (exp x) 1)))>
1544003439.166 * * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
1544003439.166 * * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
1544003439.166 * * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
1544003439.166 * * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
1544003439.166 * * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
1544003439.166 * * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
1544003439.166 * * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003439.167 * * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
1544003439.167 * * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
1544003439.167 * * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
1544003439.167 * * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
1544003439.167 * [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))))
1544003439.167 * * [misc]simplify:  iters left: 6 (18 enodes)
1544003439.170 * * [misc]simplify:  iters left: 5 (40 enodes)
1544003439.179 * * [misc]simplify:  iters left: 4 (111 enodes)
1544003439.202 * * [misc]simplify:  iters left: 3 (276 enodes)
1544003439.319 * [exit]simplify:  Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))
1544003439.319 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))))
1544003439.319 * * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1544003439.320 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1544003439.320 * * [misc]simplify:  iters left: 4 (5 enodes)
1544003439.321 * * [misc]simplify:  iters left: 3 (8 enodes)
1544003439.323 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1544003439.324 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1544003439.324 * * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1544003439.324 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1544003439.324 * * [misc]simplify:  iters left: 4 (5 enodes)
1544003439.326 * * [misc]simplify:  iters left: 3 (8 enodes)
1544003439.327 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1544003439.327 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1544003439.327 * * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
1544003439.328 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (pow x 2)) 2))
1544003439.328 * * [misc]simplify:  iters left: 6 (7 enodes)
1544003439.330 * * [misc]simplify:  iters left: 5 (14 enodes)
1544003439.334 * * [misc]simplify:  iters left: 4 (25 enodes)
1544003439.342 * * [misc]simplify:  iters left: 3 (39 enodes)
1544003439.350 * * [misc]simplify:  iters left: 2 (46 enodes)
1544003439.359 * * [misc]simplify:  iters left: 1 (52 enodes)
1544003439.383 * [exit]simplify:  Simplified to (fma (fma x 1/2 1) x 2)
1544003439.383 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2)))
1544003439.383 * * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1544003439.383 * [enter]simplify:  Simplifying (+ (exp x) 1)
1544003439.383 * * [misc]simplify:  iters left: 3 (4 enodes)
1544003439.384 * * [misc]simplify:  iters left: 2 (7 enodes)
1544003439.386 * [exit]simplify:  Simplified to (+ (exp x) 1)
1544003439.386 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1544003439.386 * * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1544003439.386 * [enter]simplify:  Simplifying (+ (exp x) 1)
1544003439.386 * * [misc]simplify:  iters left: 3 (4 enodes)
1544003439.387 * * [misc]simplify:  iters left: 2 (7 enodes)
1544003439.389 * [exit]simplify:  Simplified to (+ (exp x) 1)
1544003439.389 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1544003439.389 * * * [misc]progress:  adding candidates to table
1544003439.646 * * [misc]progress:  iteration 2 / 4
1544003439.646 * * * [misc]progress:  picking best candidate
1544003439.650 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003439.650 * * * [misc]progress:  localizing error
1544003439.695 * * * [misc]progress:  generating rewritten candidates
1544003439.695 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1544003439.711 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1544003439.757 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1544003439.772 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 1)
1544003439.782 * * * [misc]progress:  generating series expansions
1544003439.782 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1544003439.783 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1544003439.783 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1544003439.783 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1544003439.783 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.783 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.783 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.783 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.783 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.783 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.783 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.783 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1544003439.783 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.783 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.784 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.784 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.784 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.784 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.784 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.784 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.784 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1544003439.784 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.786 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.786 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.786 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544003439.787 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.789 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.789 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1544003439.789 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1544003439.789 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544003439.793 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1544003439.793 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1544003439.794 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1544003439.794 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1544003439.794 * [misc]backup-simplify:  Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1544003439.795 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1544003439.795 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1544003439.795 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.795 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.795 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.795 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.795 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.795 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.795 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.795 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.795 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.795 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.795 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.795 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.795 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.796 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.796 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.796 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1544003439.796 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1544003439.796 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1544003439.796 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.796 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.796 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.797 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.797 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.797 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.797 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.798 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.798 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.798 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.798 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.798 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1544003439.799 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1544003439.799 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1544003439.799 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.799 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.799 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.799 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.799 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.799 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.799 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.799 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.799 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.799 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.799 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.799 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.799 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.799 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.799 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.799 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.799 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.800 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.800 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.800 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1544003439.800 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1544003439.800 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1544003439.800 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.800 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.800 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.800 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.801 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.801 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.801 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.801 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.802 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.802 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.802 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.802 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.802 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.802 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1544003439.802 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1544003439.803 * [misc]backup-simplify:  Simplify (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) into (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))
1544003439.803 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ (pow (exp x) 2) 1) (exp x))) in (x) around 0
1544003439.803 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (pow (exp x) 2) 1) (exp x))) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.803 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.803 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.803 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.803 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.803 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.803 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.803 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.803 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.803 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.803 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.804 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.804 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.804 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.804 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1544003439.805 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544003439.806 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.806 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1544003439.806 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1544003439.808 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.808 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.808 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1544003439.808 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544003439.808 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (pow (exp x) 2) 1) (exp x))) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.809 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.809 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.809 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.809 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.809 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.809 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.809 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.809 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.809 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.809 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.809 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.809 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.809 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.810 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1544003439.810 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544003439.811 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.811 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1544003439.812 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1544003439.813 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.813 * [misc]backup-simplify:  Simplify (- 1) into -1
1544003439.813 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1544003439.813 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544003439.814 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.814 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544003439.816 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.816 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1544003439.816 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1544003439.819 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.819 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1544003439.819 * [misc]backup-simplify:  Simplify (+ 2 -1/2) into 3/2
1544003439.820 * [misc]backup-simplify:  Simplify (/ (- 3/2 (pow 1/2 2) (+)) (* 2 1)) into 5/8
1544003439.820 * [misc]backup-simplify:  Simplify 5/8 into 5/8
1544003439.820 * [misc]backup-simplify:  Simplify (+ (* 5/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 5/8 (pow x 2)) 1))
1544003439.821 * [misc]backup-simplify:  Simplify (sqrt (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (- (* 1 1) (* (exp (/ 1 x)) 1)))) into (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))
1544003439.821 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) in (x) around 0
1544003439.821 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.821 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.821 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.821 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.821 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.822 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.822 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.822 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.822 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.822 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.822 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.822 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.822 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.822 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.822 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.822 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.822 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
1544003439.822 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1544003439.823 * [misc]backup-simplify:  Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1544003439.823 * [misc]backup-simplify:  Simplify (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))
1544003439.823 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1544003439.823 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.823 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.824 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.824 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.824 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.824 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.824 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.824 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.824 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.824 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.825 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.825 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.825 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.825 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.825 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.825 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.825 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.825 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.825 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.825 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.825 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
1544003439.825 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1544003439.826 * [misc]backup-simplify:  Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1544003439.826 * [misc]backup-simplify:  Simplify (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))
1544003439.826 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1544003439.826 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.826 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.826 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.827 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.827 * [misc]backup-simplify:  Simplify (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))
1544003439.827 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.827 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1544003439.828 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.828 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.828 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.829 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.829 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.830 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1544003439.830 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.830 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.830 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.831 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.831 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.831 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1544003439.831 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.832 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.832 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.833 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.833 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.833 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1544003439.834 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.834 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.834 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.835 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.835 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.835 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1544003439.836 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.836 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.836 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.837 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))))) into 0
1544003439.837 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.837 * [misc]backup-simplify:  Simplify (sqrt (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x))))) into (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))
1544003439.838 * [misc]backup-simplify:  Simplify (sqrt (+ (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) (- (* 1 1) (* (exp (/ 1 (- x))) 1)))) into (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
1544003439.838 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) in (x) around 0
1544003439.838 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.838 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.838 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.838 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.838 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.838 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.838 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.838 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.838 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.839 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.839 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.839 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.839 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.839 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.839 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.839 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.839 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.839 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.839 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.839 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1544003439.839 * [misc]backup-simplify:  Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
1544003439.839 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1544003439.840 * [misc]backup-simplify:  Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1544003439.840 * [misc]backup-simplify:  Simplify (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
1544003439.840 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1544003439.840 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.840 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.840 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.841 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.841 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.841 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.841 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.841 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.841 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.841 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.841 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.841 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.841 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.841 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.841 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.841 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.841 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.841 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.841 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.842 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.842 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.842 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1544003439.842 * [misc]backup-simplify:  Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
1544003439.842 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1544003439.842 * [misc]backup-simplify:  Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1544003439.842 * [misc]backup-simplify:  Simplify (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
1544003439.843 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1544003439.843 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.843 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.843 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.843 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.844 * [misc]backup-simplify:  Simplify (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
1544003439.844 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.844 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1544003439.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.844 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.845 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.845 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.846 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1544003439.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.846 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.847 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.847 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.847 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1544003439.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.849 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.850 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.850 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.851 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1544003439.851 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.851 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.852 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.852 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.853 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1544003439.853 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.853 * [misc]backup-simplify:  Simplify (- 0) into 0
1544003439.853 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.855 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))))) into 0
1544003439.855 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.856 * [misc]backup-simplify:  Simplify (sqrt (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x)))))) into (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))
1544003439.856 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1544003439.856 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp x) 3) (pow 1 3))) into (sqrt (+ (pow (exp x) 3) 1))
1544003439.856 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (pow (exp x) 3) 1)) in (x) around 0
1544003439.856 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp x) 3) 1)) in x
1544003439.856 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 3) 1) in x
1544003439.856 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1544003439.856 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.856 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.856 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.856 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.856 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.857 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.857 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.857 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.857 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.857 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.858 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.859 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.859 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1544003439.860 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1544003439.860 * [misc]backup-simplify:  Simplify (+ 3 0) into 3
1544003439.860 * [misc]backup-simplify:  Simplify (/ 3 (* 2 (sqrt 2))) into (/ 3/2 (sqrt 2))
1544003439.860 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp x) 3) 1)) in x
1544003439.860 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 3) 1) in x
1544003439.860 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1544003439.860 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.860 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.860 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.861 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.861 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.861 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.861 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.861 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.861 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.861 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544003439.861 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.863 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.863 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1544003439.863 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1544003439.863 * [misc]backup-simplify:  Simplify (+ 3 0) into 3
1544003439.864 * [misc]backup-simplify:  Simplify (/ 3 (* 2 (sqrt 2))) into (/ 3/2 (sqrt 2))
1544003439.864 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1544003439.864 * [misc]backup-simplify:  Simplify (/ 3/2 (sqrt 2)) into (/ 3/2 (sqrt 2))
1544003439.867 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.867 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1544003439.867 * [misc]backup-simplify:  Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
1544003439.867 * [misc]backup-simplify:  Simplify (+ 9/2 0) into 9/2
1544003439.869 * [misc]backup-simplify:  Simplify (/ (- 9/2 (pow (/ 3/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 9/2 (* 9/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
1544003439.872 * [misc]backup-simplify:  Simplify (* 1/2 (/ (- 9/2 (* 9/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 9/2 (* 9/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
1544003439.875 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (/ (- 9/2 (* 9/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 3/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 9/4 (/ (pow x 2) (sqrt 2))) (* 3/2 (/ x (sqrt 2))))) (* 9/8 (/ (pow x 2) (pow (sqrt 2) 3))))
1544003439.876 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 x)) 3) (pow 1 3))) into (sqrt (+ (pow (exp (/ 1 x)) 3) 1))
1544003439.876 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) in (x) around 0
1544003439.876 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) in x
1544003439.876 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) 1) in x
1544003439.876 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1544003439.876 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.876 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.876 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.876 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.876 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.876 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.876 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.876 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.876 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.876 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.876 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1544003439.877 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 3) 1) into (+ (pow (exp (/ 1 x)) 3) 1)
1544003439.877 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ 1 x)) 3) 1))
1544003439.877 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1544003439.877 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1544003439.877 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.877 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.877 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) in x
1544003439.877 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) 1) in x
1544003439.878 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1544003439.878 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.878 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.878 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.878 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.878 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.878 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.878 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.878 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.878 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.878 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.878 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1544003439.878 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 3) 1) into (+ (pow (exp (/ 1 x)) 3) 1)
1544003439.879 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ 1 x)) 3) 1))
1544003439.879 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1544003439.879 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1544003439.879 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.879 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.879 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ 1 x)) 3) 1))
1544003439.880 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.880 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1544003439.880 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
1544003439.880 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.881 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.881 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.882 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1544003439.882 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
1544003439.882 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.883 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.883 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.883 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1544003439.884 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
1544003439.884 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.885 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.885 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.886 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1544003439.887 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
1544003439.887 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.887 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.887 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.888 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1544003439.889 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
1544003439.889 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.890 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1 x)) 3) 1)))) into 0
1544003439.890 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.890 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 (/ 1 x))) 3) 1)) into (sqrt (+ (pow (exp x) 3) 1))
1544003439.891 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ 1 (- x))) 3) (pow 1 3))) into (sqrt (+ (pow (exp (/ -1 x)) 3) 1))
1544003439.891 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) in (x) around 0
1544003439.891 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) in x
1544003439.891 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) 1) in x
1544003439.891 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1544003439.891 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.891 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.891 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.891 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.891 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.891 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.891 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.891 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.891 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.891 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.891 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.891 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1544003439.892 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1544003439.892 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ -1 x)) 3) 1) into (+ (pow (exp (/ -1 x)) 3) 1)
1544003439.892 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ -1 x)) 3) 1))
1544003439.892 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1544003439.892 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1544003439.892 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.892 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.892 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) in x
1544003439.892 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) 1) in x
1544003439.892 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1544003439.892 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.892 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.892 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.892 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.892 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.892 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.892 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.892 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.893 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.893 * [misc]taylor:  Taking taylor expansion of 1 in x
1544003439.893 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.893 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1544003439.893 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1544003439.893 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ -1 x)) 3) 1) into (+ (pow (exp (/ -1 x)) 3) 1)
1544003439.893 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ -1 x)) 3) 1))
1544003439.893 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1544003439.893 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1544003439.893 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.893 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.893 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ -1 x)) 3) 1)) into (sqrt (+ (pow (exp (/ -1 x)) 3) 1))
1544003439.894 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.894 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1544003439.894 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
1544003439.894 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.895 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.895 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.895 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1544003439.895 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
1544003439.895 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.896 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.896 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.896 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1544003439.896 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
1544003439.896 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.897 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.897 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.897 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1544003439.898 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
1544003439.898 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.898 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.898 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.899 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1544003439.899 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
1544003439.900 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544003439.900 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1 x)) 3) 1)))) into 0
1544003439.900 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.900 * [misc]backup-simplify:  Simplify (sqrt (+ (pow (exp (/ -1 (/ 1 (- x)))) 3) 1)) into (sqrt (+ (pow (exp x) 3) 1))
1544003439.900 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 1)
1544003439.900 * [misc]backup-simplify:  Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
1544003439.900 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 2) in (x) around 0
1544003439.900 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1544003439.900 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.900 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.900 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.901 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.901 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.901 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1544003439.901 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1544003439.901 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.901 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.901 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.901 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544003439.901 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544003439.901 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.902 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544003439.902 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1544003439.902 * [misc]backup-simplify:  Simplify 2 into 2
1544003439.903 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544003439.903 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1544003439.903 * [misc]backup-simplify:  Simplify 2 into 2
1544003439.903 * [misc]backup-simplify:  Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1544003439.904 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.904 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
1544003439.904 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.904 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.904 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.904 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.904 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.904 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544003439.904 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.904 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.904 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.904 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544003439.904 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1544003439.904 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1544003439.904 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
1544003439.904 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1544003439.904 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.905 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1544003439.905 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.905 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1544003439.905 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.905 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1544003439.905 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.906 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1544003439.906 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.906 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1544003439.906 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.907 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
1544003439.907 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
1544003439.907 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
1544003439.907 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.907 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.907 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.907 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.907 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.907 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.907 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.907 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544003439.907 * [misc]taylor:  Taking taylor expansion of -1 in x
1544003439.907 * [misc]backup-simplify:  Simplify -1 into -1
1544003439.907 * [misc]taylor:  Taking taylor expansion of x in x
1544003439.907 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.907 * [misc]backup-simplify:  Simplify 1 into 1
1544003439.907 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544003439.907 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1544003439.907 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1544003439.907 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
1544003439.908 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1544003439.908 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.908 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1544003439.908 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.908 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1544003439.908 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.908 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1544003439.908 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.909 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1544003439.909 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.909 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1544003439.909 * [misc]backup-simplify:  Simplify 0 into 0
1544003439.910 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
1544003439.910 * * * [misc]progress:  simplifying candidates
1544003439.910 * * * * [misc]progress:  [ 1 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (fma 1 1 (- (* 1 (exp x)))) (fma (- 1) (exp x) (* 1 (exp x))))))))>
1544003439.910 * [enter]simplify:  Simplifying (fma 1 1 (- (* 1 (exp x))))
1544003439.910 * * [misc]simplify:  iters left: 6 (6 enodes)
1544003439.912 * * [misc]simplify:  iters left: 5 (16 enodes)
1544003439.915 * * [misc]simplify:  iters left: 4 (20 enodes)
1544003439.922 * * [misc]simplify:  iters left: 3 (29 enodes)
1544003439.928 * * [misc]simplify:  iters left: 2 (32 enodes)
1544003439.934 * [exit]simplify:  Simplified to (- 1 (exp x))
1544003439.934 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) (fma (- 1) (exp x) (* 1 (exp x))))))))
1544003439.934 * [enter]simplify:  Simplifying (fma (- 1) (exp x) (* 1 (exp x)))
1544003439.934 * * [misc]simplify:  iters left: 4 (6 enodes)
1544003439.937 * * [misc]simplify:  iters left: 3 (12 enodes)
1544003439.941 * * [misc]simplify:  iters left: 2 (20 enodes)
1544003439.951 * * [misc]simplify:  iters left: 1 (38 enodes)
1544003439.958 * [exit]simplify:  Simplified to 0
1544003439.958 * [misc]simplify:  Simplified (2 2 1 2 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) 0)))))
1544003439.958 * * * * [misc]progress:  [ 2 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (log1p (expm1 (- (* 1 1) (* (exp x) 1))))))))>
1544003439.958 * * * * [misc]progress:  [ 3 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (expm1 (log1p (- (* 1 1) (* (exp x) 1))))))))>
1544003439.959 * * * * [misc]progress:  [ 4 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (fma 1 1 (- (* (exp x) 1)))))))>
1544003439.959 * * * * [misc]progress:  [ 5 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (log (/ (exp (* 1 1)) (exp (* (exp x) 1))))))))>
1544003439.959 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1544003439.959 * * [misc]simplify:  iters left: 6 (8 enodes)
1544003439.963 * * [misc]simplify:  iters left: 5 (17 enodes)
1544003439.967 * * [misc]simplify:  iters left: 4 (25 enodes)
1544003439.973 * * [misc]simplify:  iters left: 3 (34 enodes)
1544003439.980 * * [misc]simplify:  iters left: 2 (45 enodes)
1544003439.988 * * [misc]simplify:  iters left: 1 (49 enodes)
1544003440.001 * [exit]simplify:  Simplified to (/ E (exp (exp x)))
1544003440.001 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (log (/ E (exp (exp x))))))))
1544003440.001 * * * * [misc]progress:  [ 6 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (pow (- (* 1 1) (* (exp x) 1)) 1)))))>
1544003440.002 * * * * [misc]progress:  [ 7 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (exp (log (- (* 1 1) (* (exp x) 1))))))))>
1544003440.002 * * * * [misc]progress:  [ 8 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (log (exp (- (* 1 1) (* (exp x) 1))))))))>
1544003440.002 * * * * [misc]progress:  [ 9 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1))))))))>
1544003440.002 * * * * [misc]progress:  [ 10 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.002 * * * * [misc]progress:  [ 11 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1))))))))>
1544003440.002 * * * * [misc]progress:  [ 12 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (/ (- (pow (* 1 1) 3) (pow (* (exp x) 1) 3)) (+ (* (* 1 1) (* 1 1)) (+ (* (* (exp x) 1) (* (exp x) 1)) (* (* 1 1) (* (exp x) 1)))))))))>
1544003440.002 * * * * [misc]progress:  [ 13 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1544003440.002 * * * * [misc]progress:  [ 14 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (* 1 (- (* 1 1) (* (exp x) 1)))))))>
1544003440.002 * * * * [misc]progress:  [ 15 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1)))))))>
1544003440.002 * * * * [misc]progress:  [ 16 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))>
1544003440.002 * [enter]simplify:  Simplifying (- 1 (exp x))
1544003440.003 * * [misc]simplify:  iters left: 3 (4 enodes)
1544003440.004 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003440.006 * * [misc]simplify:  iters left: 1 (9 enodes)
1544003440.008 * [exit]simplify:  Simplified to (- 1 (exp x))
1544003440.008 * [misc]simplify:  Simplified (2 2 1 2 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))
1544003440.008 * * * * [misc]progress:  [ 17 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1544003440.008 * * * * [misc]progress:  [ 18 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (log1p (expm1 (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.008 * * * * [misc]progress:  [ 19 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (expm1 (log1p (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.008 * * * * [misc]progress:  [ 20 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (hypot (exp x) (sqrt (- (* 1 1) (* (exp x) 1))))))>
1544003440.008 * [enter]simplify:  Simplifying (exp x)
1544003440.008 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003440.009 * [exit]simplify:  Simplified to (exp x)
1544003440.009 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (hypot (exp x) (sqrt (- (* 1 1) (* (exp x) 1))))))
1544003440.009 * * * * [misc]progress:  [ 21 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (pow (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) 1/2)))>
1544003440.009 * * * * [misc]progress:  [ 22 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (pow (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) 1)))>
1544003440.009 * * * * [misc]progress:  [ 23 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (exp (log (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.009 * * * * [misc]progress:  [ 24 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (log (exp (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.009 * * * * [misc]progress:  [ 25 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (* (cbrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (cbrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) (cbrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.009 * * * * [misc]progress:  [ 26 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (cbrt (* (* (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.009 * * * * [misc]progress:  [ 27 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (sqrt (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) (sqrt (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.010 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003440.010 * * [misc]simplify:  iters left: 6 (11 enodes)
1544003440.014 * * [misc]simplify:  iters left: 5 (25 enodes)
1544003440.020 * * [misc]simplify:  iters left: 4 (37 enodes)
1544003440.025 * * [misc]simplify:  iters left: 3 (49 enodes)
1544003440.032 * * [misc]simplify:  iters left: 2 (70 enodes)
1544003440.050 * * [misc]simplify:  iters left: 1 (107 enodes)
1544003440.082 * [exit]simplify:  Simplified to (fabs (cbrt (fma (exp x) (expm1 x) 1)))
1544003440.082 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (fabs (cbrt (fma (exp x) (expm1 x) 1))) (sqrt (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))
1544003440.082 * * * * [misc]progress:  [ 28 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003440.082 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
1544003440.082 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003440.084 * * [misc]simplify:  iters left: 5 (23 enodes)
1544003440.089 * * [misc]simplify:  iters left: 4 (35 enodes)
1544003440.094 * * [misc]simplify:  iters left: 3 (48 enodes)
1544003440.100 * * [misc]simplify:  iters left: 2 (69 enodes)
1544003440.119 * * [misc]simplify:  iters left: 1 (106 enodes)
1544003440.154 * [exit]simplify:  Simplified to (sqrt (sqrt (fma (exp x) (expm1 x) 1)))
1544003440.154 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (sqrt (sqrt (fma (exp x) (expm1 x) 1))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))
1544003440.154 * * * * [misc]progress:  [ 29 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (sqrt 1) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))>
1544003440.154 * [enter]simplify:  Simplifying (sqrt 1)
1544003440.154 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003440.156 * [exit]simplify:  Simplified to 1
1544003440.156 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* 1 (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))
1544003440.156 * * * * [misc]progress:  [ 30 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (/ (sqrt (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3))) (sqrt (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1544003440.156 * [enter]simplify:  Simplifying (sqrt (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)))
1544003440.156 * * [misc]simplify:  iters left: 6 (12 enodes)
1544003440.160 * * [misc]simplify:  iters left: 5 (30 enodes)
1544003440.172 * * [misc]simplify:  iters left: 4 (69 enodes)
1544003440.199 * * [misc]simplify:  iters left: 3 (129 enodes)
1544003440.254 * * [misc]simplify:  iters left: 2 (262 enodes)
1544003440.491 * [exit]simplify:  Simplified to (sqrt (fma (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)) (* (pow (exp x) 3) (pow (exp x) 3))))
1544003440.491 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (/ (sqrt (fma (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)) (* (pow (exp x) 3) (pow (exp x) 3)))) (sqrt (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1544003440.491 * * * * [misc]progress:  [ 31 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (/ (sqrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))))) (sqrt (- (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))>
1544003440.491 * [enter]simplify:  Simplifying (sqrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1)))))
1544003440.491 * * [misc]simplify:  iters left: 6 (11 enodes)
1544003440.496 * * [misc]simplify:  iters left: 5 (30 enodes)
1544003440.507 * * [misc]simplify:  iters left: 4 (72 enodes)
1544003440.536 * * [misc]simplify:  iters left: 3 (167 enodes)
1544003440.628 * * [misc]simplify:  iters left: 2 (392 enodes)
1544003441.298 * [exit]simplify:  Simplified to (sqrt (fma (fma (exp x) (exp x) (expm1 x)) (* (exp x) (expm1 x)) (fma (exp x) (exp x) (expm1 x))))
1544003441.298 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (/ (sqrt (fma (fma (exp x) (exp x) (expm1 x)) (* (exp x) (expm1 x)) (fma (exp x) (exp x) (expm1 x)))) (sqrt (- (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))
1544003441.298 * * * * [misc]progress:  [ 32 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1544003441.298 * * * * [misc]progress:  [ 33 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (fabs (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))>
1544003441.299 * [enter]simplify:  Simplifying (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
1544003441.299 * * [misc]simplify:  iters left: 6 (9 enodes)
1544003441.302 * * [misc]simplify:  iters left: 5 (22 enodes)
1544003441.309 * * [misc]simplify:  iters left: 4 (34 enodes)
1544003441.318 * * [misc]simplify:  iters left: 3 (47 enodes)
1544003441.331 * * [misc]simplify:  iters left: 2 (68 enodes)
1544003441.371 * * [misc]simplify:  iters left: 1 (105 enodes)
1544003441.398 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (expm1 x) 1))
1544003441.398 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (fabs (sqrt (fma (exp x) (expm1 x) 1)))))
1544003441.398 * * * * [misc]progress:  [ 34 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* 1 (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))>
1544003441.399 * * * * [misc]progress:  [ 35 / 90 ] simplifiying candidate #<alt (λ (x) (/ (log1p (expm1 (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.399 * * * * [misc]progress:  [ 36 / 90 ] simplifiying candidate #<alt (λ (x) (/ (expm1 (log1p (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.399 * * * * [misc]progress:  [ 37 / 90 ] simplifiying candidate #<alt (λ (x) (/ (hypot (pow (sqrt (exp x)) 3) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.399 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1544003441.399 * * [misc]simplify:  iters left: 3 (5 enodes)
1544003441.400 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003441.401 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1544003441.401 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (hypot (* (sqrt (exp x)) (exp x)) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.401 * * * * [misc]progress:  [ 38 / 90 ] simplifiying candidate #<alt (λ (x) (/ (hypot (pow (sqrt (exp x)) 3) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.401 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1544003441.401 * * [misc]simplify:  iters left: 3 (5 enodes)
1544003441.402 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003441.403 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1544003441.403 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (hypot (* (sqrt (exp x)) (exp x)) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.403 * * * * [misc]progress:  [ 39 / 90 ] simplifiying candidate #<alt (λ (x) (/ (hypot (sqrt (pow (exp x) 3)) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.403 * [enter]simplify:  Simplifying (sqrt (pow (exp x) 3))
1544003441.403 * * [misc]simplify:  iters left: 3 (5 enodes)
1544003441.404 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003441.405 * * [misc]simplify:  iters left: 1 (10 enodes)
1544003441.406 * [exit]simplify:  Simplified to (sqrt (pow (exp x) 3))
1544003441.406 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (hypot (sqrt (pow (exp x) 3)) (sqrt (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.406 * * * * [misc]progress:  [ 40 / 90 ] simplifiying candidate #<alt (λ (x) (/ (pow (+ (pow (exp x) 3) (pow 1 3)) 1/2) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.406 * * * * [misc]progress:  [ 41 / 90 ] simplifiying candidate #<alt (λ (x) (/ (pow (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.406 * * * * [misc]progress:  [ 42 / 90 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.406 * * * * [misc]progress:  [ 43 / 90 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.406 * * * * [misc]progress:  [ 44 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (cbrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (cbrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.407 * * * * [misc]progress:  [ 45 / 90 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.407 * * * * [misc]progress:  [ 46 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (* (cbrt (+ (pow (exp x) 3) (pow 1 3))) (cbrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (cbrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.407 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (pow (exp x) 3) (pow 1 3))) (cbrt (+ (pow (exp x) 3) (pow 1 3)))))
1544003441.407 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003441.409 * * [misc]simplify:  iters left: 5 (19 enodes)
1544003441.411 * * [misc]simplify:  iters left: 4 (23 enodes)
1544003441.413 * * [misc]simplify:  iters left: 3 (27 enodes)
1544003441.416 * [exit]simplify:  Simplified to (fabs (cbrt (fma (exp x) (exp (+ x x)) 1)))
1544003441.416 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (fabs (cbrt (fma (exp x) (exp (+ x x)) 1))) (sqrt (cbrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.416 * * * * [misc]progress:  [ 47 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.417 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))
1544003441.417 * * [misc]simplify:  iters left: 6 (9 enodes)
1544003441.418 * * [misc]simplify:  iters left: 5 (17 enodes)
1544003441.420 * * [misc]simplify:  iters left: 4 (21 enodes)
1544003441.422 * * [misc]simplify:  iters left: 3 (25 enodes)
1544003441.425 * [exit]simplify:  Simplified to (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1)))
1544003441.425 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (sqrt (sqrt (fma (exp x) (exp (+ x x)) 1))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.425 * * * * [misc]progress:  [ 48 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (+ (exp x) 1))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.425 * [enter]simplify:  Simplifying (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
1544003441.426 * * [misc]simplify:  iters left: 6 (9 enodes)
1544003441.427 * * [misc]simplify:  iters left: 5 (22 enodes)
1544003441.431 * * [misc]simplify:  iters left: 4 (34 enodes)
1544003441.435 * * [misc]simplify:  iters left: 3 (47 enodes)
1544003441.443 * * [misc]simplify:  iters left: 2 (68 enodes)
1544003441.469 * * [misc]simplify:  iters left: 1 (105 enodes)
1544003441.493 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (expm1 x) 1))
1544003441.493 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (sqrt (fma (exp x) (expm1 x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.494 * * * * [misc]progress:  [ 49 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.494 * [enter]simplify:  Simplifying (sqrt 1)
1544003441.494 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.494 * [exit]simplify:  Simplified to 1
1544003441.495 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* 1 (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.495 * * * * [misc]progress:  [ 50 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt (+ (pow (exp x) 3) (* 1 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.495 * [enter]simplify:  Simplifying (sqrt 1)
1544003441.495 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.495 * [exit]simplify:  Simplified to 1
1544003441.495 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* 1 (sqrt (+ (pow (exp x) 3) (* 1 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.495 * * * * [misc]progress:  [ 51 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.495 * [enter]simplify:  Simplifying (sqrt 1)
1544003441.495 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.496 * [exit]simplify:  Simplified to 1
1544003441.496 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* 1 (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.496 * * * * [misc]progress:  [ 52 / 90 ] simplifiying candidate #<alt (λ (x) (/ (/ (sqrt (+ (pow (pow (exp x) 3) 3) (pow (pow 1 3) 3))) (sqrt (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (pow 1 3) (pow 1 3)) (* (pow (exp x) 3) (pow 1 3)))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.496 * [enter]simplify:  Simplifying (sqrt (+ (pow (pow (exp x) 3) 3) (pow (pow 1 3) 3)))
1544003441.496 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003441.499 * * [misc]simplify:  iters left: 5 (23 enodes)
1544003441.501 * * [misc]simplify:  iters left: 4 (46 enodes)
1544003441.512 * * [misc]simplify:  iters left: 3 (82 enodes)
1544003441.535 * * [misc]simplify:  iters left: 2 (110 enodes)
1544003441.570 * * [misc]simplify:  iters left: 1 (227 enodes)
1544003441.621 * [exit]simplify:  Simplified to (sqrt (fma (pow (exp x) 3) (pow (exp x) 6) 1))
1544003441.621 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (/ (sqrt (fma (pow (exp x) 3) (pow (exp x) 6) 1)) (sqrt (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (pow 1 3) (pow 1 3)) (* (pow (exp x) 3) (pow 1 3)))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.621 * * * * [misc]progress:  [ 53 / 90 ] simplifiying candidate #<alt (λ (x) (/ (/ (sqrt (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1 3) (pow 1 3)))) (sqrt (- (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.621 * [enter]simplify:  Simplifying (sqrt (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1 3) (pow 1 3))))
1544003441.622 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003441.624 * * [misc]simplify:  iters left: 5 (24 enodes)
1544003441.628 * * [misc]simplify:  iters left: 4 (44 enodes)
1544003441.636 * * [misc]simplify:  iters left: 3 (69 enodes)
1544003441.662 * * [misc]simplify:  iters left: 2 (123 enodes)
1544003441.687 * * [misc]simplify:  iters left: 1 (251 enodes)
1544003441.814 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (pow (exp x) 5) -1))
1544003441.814 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (/ (sqrt (fma (exp x) (pow (exp x) 5) -1)) (sqrt (- (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.814 * * * * [misc]progress:  [ 54 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.814 * * * * [misc]progress:  [ 55 / 90 ] simplifiying candidate #<alt (λ (x) (/ (fabs (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.814 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
1544003441.814 * * [misc]simplify:  iters left: 5 (8 enodes)
1544003441.818 * * [misc]simplify:  iters left: 4 (16 enodes)
1544003441.821 * * [misc]simplify:  iters left: 3 (20 enodes)
1544003441.825 * * [misc]simplify:  iters left: 2 (24 enodes)
1544003441.827 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1))
1544003441.828 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (fabs (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.828 * * * * [misc]progress:  [ 56 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.828 * * * * [misc]progress:  [ 57 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (log1p (expm1 (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.828 * * * * [misc]progress:  [ 58 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (expm1 (log1p (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.828 * * * * [misc]progress:  [ 59 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.828 * [enter]simplify:  Simplifying (exp x)
1544003441.828 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.828 * [exit]simplify:  Simplified to (exp x)
1544003441.828 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1544003441.828 * [enter]simplify:  Simplifying (+ 1 1)
1544003441.828 * * [misc]simplify:  iters left: 2 (2 enodes)
1544003441.829 * * [misc]simplify:  iters left: 1 (5 enodes)
1544003441.830 * [exit]simplify:  Simplified to 2
1544003441.830 * [misc]simplify:  Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))
1544003441.830 * * * * [misc]progress:  [ 60 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1544003441.830 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1544003441.830 * * [misc]simplify:  iters left: 3 (3 enodes)
1544003441.830 * * [misc]simplify:  iters left: 2 (5 enodes)
1544003441.831 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1544003441.831 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))
1544003441.831 * * * * [misc]progress:  [ 61 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1544003441.831 * * * * [misc]progress:  [ 62 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.831 * [enter]simplify:  Simplifying (exp x)
1544003441.831 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.832 * [exit]simplify:  Simplified to (exp x)
1544003441.832 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1544003441.832 * * * * [misc]progress:  [ 63 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1544003441.832 * * * * [misc]progress:  [ 64 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.832 * [enter]simplify:  Simplifying (+ x x)
1544003441.832 * * [misc]simplify:  iters left: 2 (2 enodes)
1544003441.832 * [exit]simplify:  Simplified to (+ x x)
1544003441.832 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.832 * * * * [misc]progress:  [ 65 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (exp (log (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.832 * * * * [misc]progress:  [ 66 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (log (exp (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.832 * * * * [misc]progress:  [ 67 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.832 * [enter]simplify:  Simplifying (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
1544003441.833 * * [misc]simplify:  iters left: 6 (5 enodes)
1544003441.833 * * [misc]simplify:  iters left: 5 (12 enodes)
1544003441.835 * * [misc]simplify:  iters left: 4 (24 enodes)
1544003441.840 * * [misc]simplify:  iters left: 3 (56 enodes)
1544003441.849 * * [misc]simplify:  iters left: 2 (104 enodes)
1544003441.870 * * [misc]simplify:  iters left: 1 (107 enodes)
1544003441.880 * [exit]simplify:  Simplified to (pow (exp x) 6)
1544003441.881 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (cbrt (pow (exp x) 6)) (- (* 1 1) (* (exp x) 1))))))
1544003441.881 * * * * [misc]progress:  [ 68 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.881 * * * * [misc]progress:  [ 69 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.881 * * * * [misc]progress:  [ 70 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.881 * * * * [misc]progress:  [ 71 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.881 * * * * [misc]progress:  [ 72 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.881 * [enter]simplify:  Simplifying (cbrt (exp x))
1544003441.881 * * [misc]simplify:  iters left: 2 (3 enodes)
1544003441.881 * [exit]simplify:  Simplified to (cbrt (exp x))
1544003441.881 * [misc]simplify:  Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1544003441.881 * * * * [misc]progress:  [ 73 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.882 * [enter]simplify:  Simplifying (sqrt (exp x))
1544003441.882 * * [misc]simplify:  iters left: 2 (3 enodes)
1544003441.882 * [exit]simplify:  Simplified to (sqrt (exp x))
1544003441.882 * [misc]simplify:  Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1544003441.882 * * * * [misc]progress:  [ 74 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.882 * [enter]simplify:  Simplifying (exp x)
1544003441.882 * * [misc]simplify:  iters left: 1 (2 enodes)
1544003441.883 * [exit]simplify:  Simplified to (exp x)
1544003441.883 * [misc]simplify:  Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003441.883 * * * * [misc]progress:  [ 75 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.883 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1544003441.883 * * [misc]simplify:  iters left: 4 (4 enodes)
1544003441.883 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1544003441.883 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1544003441.883 * * * * [misc]progress:  [ 76 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.884 * [enter]simplify:  Simplifying (sqrt (exp x))
1544003441.884 * * [misc]simplify:  iters left: 2 (3 enodes)
1544003441.884 * [exit]simplify:  Simplified to (sqrt (exp x))
1544003441.884 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1544003441.884 * * * * [misc]progress:  [ 77 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1544003441.884 * * * * [misc]progress:  [ 78 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003441.884 * * * * [misc]progress:  [ 79 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))))))>
1544003441.884 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1544003441.884 * * [misc]simplify:  iters left: 6 (12 enodes)
1544003441.886 * * [misc]simplify:  iters left: 5 (25 enodes)
1544003441.891 * * [misc]simplify:  iters left: 4 (55 enodes)
1544003441.903 * * [misc]simplify:  iters left: 3 (157 enodes)
1544003441.951 * * [misc]simplify:  iters left: 2 (387 enodes)
1544003442.161 * [exit]simplify:  Simplified to (fma (* x x) (fma -1/6 x -1/2) (- x))
1544003442.161 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (fma (* x x) (fma -1/6 x -1/2) (- x))))))
1544003442.161 * * * * [misc]progress:  [ 80 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1544003442.162 * [enter]simplify:  Simplifying (- 1 (exp x))
1544003442.162 * * [misc]simplify:  iters left: 3 (4 enodes)
1544003442.163 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003442.165 * * [misc]simplify:  iters left: 1 (9 enodes)
1544003442.167 * [exit]simplify:  Simplified to (- 1 (exp x))
1544003442.171 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1544003442.171 * * * * [misc]progress:  [ 81 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1544003442.172 * [enter]simplify:  Simplifying (- 1 (exp x))
1544003442.172 * * [misc]simplify:  iters left: 3 (4 enodes)
1544003442.173 * * [misc]simplify:  iters left: 2 (8 enodes)
1544003442.175 * * [misc]simplify:  iters left: 1 (9 enodes)
1544003442.177 * [exit]simplify:  Simplified to (- 1 (exp x))
1544003442.177 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1544003442.177 * * * * [misc]progress:  [ 82 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (+ (* 1/2 x) (+ (* 5/8 (pow x 2)) 1))))>
1544003442.178 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 5/8 (pow x 2)) 1))
1544003442.178 * * [misc]simplify:  iters left: 6 (10 enodes)
1544003442.181 * * [misc]simplify:  iters left: 5 (21 enodes)
1544003442.187 * * [misc]simplify:  iters left: 4 (35 enodes)
1544003442.199 * * [misc]simplify:  iters left: 3 (56 enodes)
1544003442.212 * * [misc]simplify:  iters left: 2 (76 enodes)
1544003442.234 * * [misc]simplify:  iters left: 1 (91 enodes)
1544003442.247 * [exit]simplify:  Simplified to (fma x (fma x 5/8 1/2) 1)
1544003442.247 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (fma x (fma x 5/8 1/2) 1)))
1544003442.247 * * * * [misc]progress:  [ 83 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))))>
1544003442.248 * [enter]simplify:  Simplifying (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))
1544003442.248 * * [misc]simplify:  iters left: 6 (8 enodes)
1544003442.250 * * [misc]simplify:  iters left: 5 (16 enodes)
1544003442.255 * * [misc]simplify:  iters left: 4 (28 enodes)
1544003442.263 * * [misc]simplify:  iters left: 3 (36 enodes)
1544003442.271 * * [misc]simplify:  iters left: 2 (38 enodes)
1544003442.278 * * [misc]simplify:  iters left: 1 (42 enodes)
1544003442.290 * [exit]simplify:  Simplified to (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
1544003442.290 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))))
1544003442.290 * * * * [misc]progress:  [ 84 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))))>
1544003442.290 * [enter]simplify:  Simplifying (sqrt (- (+ (pow (exp x) 2) 1) (exp x)))
1544003442.291 * * [misc]simplify:  iters left: 6 (8 enodes)
1544003442.293 * * [misc]simplify:  iters left: 5 (16 enodes)
1544003442.300 * * [misc]simplify:  iters left: 4 (28 enodes)
1544003442.308 * * [misc]simplify:  iters left: 3 (36 enodes)
1544003442.316 * * [misc]simplify:  iters left: 2 (38 enodes)
1544003442.324 * * [misc]simplify:  iters left: 1 (42 enodes)
1544003442.336 * [exit]simplify:  Simplified to (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
1544003442.336 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))))
1544003442.336 * * * * [misc]progress:  [ 85 / 90 ] simplifiying candidate #<alt (λ (x) (/ (- (+ (sqrt 2) (+ (* 9/4 (/ (pow x 2) (sqrt 2))) (* 3/2 (/ x (sqrt 2))))) (* 9/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003442.336 * [enter]simplify:  Simplifying (- (+ (sqrt 2) (+ (* 9/4 (/ (pow x 2) (sqrt 2))) (* 3/2 (/ x (sqrt 2))))) (* 9/8 (/ (pow x 2) (pow (sqrt 2) 3))))
1544003442.336 * * [misc]simplify:  iters left: 6 (18 enodes)
1544003442.343 * * [misc]simplify:  iters left: 5 (40 enodes)
1544003442.351 * * [misc]simplify:  iters left: 4 (111 enodes)
1544003442.373 * * [misc]simplify:  iters left: 3 (276 enodes)
1544003442.525 * [exit]simplify:  Simplified to (+ (* (/ (* x x) (sqrt 2)) 27/16) (fma 3/2 (/ x (sqrt 2)) (sqrt 2)))
1544003442.525 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ (* (/ (* x x) (sqrt 2)) 27/16) (fma 3/2 (/ x (sqrt 2)) (sqrt 2))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003442.525 * * * * [misc]progress:  [ 86 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003442.526 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) 1))
1544003442.526 * * [misc]simplify:  iters left: 5 (7 enodes)
1544003442.528 * * [misc]simplify:  iters left: 4 (13 enodes)
1544003442.531 * * [misc]simplify:  iters left: 3 (17 enodes)
1544003442.535 * * [misc]simplify:  iters left: 2 (21 enodes)
1544003442.541 * [exit]simplify:  Simplified to (sqrt (fma (* (exp x) (exp x)) (exp x) 1))
1544003442.541 * [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))))))
1544003442.541 * * * * [misc]progress:  [ 87 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1544003442.541 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) 1))
1544003442.541 * * [misc]simplify:  iters left: 5 (7 enodes)
1544003442.543 * * [misc]simplify:  iters left: 4 (13 enodes)
1544003442.547 * * [misc]simplify:  iters left: 3 (17 enodes)
1544003442.551 * * [misc]simplify:  iters left: 2 (21 enodes)
1544003442.556 * [exit]simplify:  Simplified to (sqrt (fma (* (exp x) (exp x)) (exp x) 1))
1544003442.557 * [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))))))
1544003442.557 * * * * [misc]progress:  [ 88 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (+ (* 2 x) (+ (* 2 (pow x 2)) 1)) (- (* 1 1) (* (exp x) 1))))))>
1544003442.557 * [enter]simplify:  Simplifying (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1544003442.557 * * [misc]simplify:  iters left: 6 (8 enodes)
1544003442.560 * * [misc]simplify:  iters left: 5 (19 enodes)
1544003442.565 * * [misc]simplify:  iters left: 4 (33 enodes)
1544003442.576 * * [misc]simplify:  iters left: 3 (55 enodes)
1544003442.590 * * [misc]simplify:  iters left: 2 (68 enodes)
1544003442.625 * * [misc]simplify:  iters left: 1 (81 enodes)
1544003442.709 * [exit]simplify:  Simplified to (fma x (fma x 2 2) 1)
1544003442.709 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (fma x (fma x 2 2) 1) (- (* 1 1) (* (exp x) 1))))))
1544003442.709 * * * * [misc]progress:  [ 89 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1544003442.710 * [enter]simplify:  Simplifying (pow (exp x) 2)
1544003442.710 * * [misc]simplify:  iters left: 2 (4 enodes)
1544003442.711 * * [misc]simplify:  iters left: 1 (5 enodes)
1544003442.712 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1544003442.712 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003442.712 * * * * [misc]progress:  [ 90 / 90 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1544003442.713 * [enter]simplify:  Simplifying (pow (exp x) 2)
1544003442.713 * * [misc]simplify:  iters left: 2 (4 enodes)
1544003442.714 * * [misc]simplify:  iters left: 1 (5 enodes)
1544003442.715 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1544003442.715 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1544003442.716 * * * [misc]progress:  adding candidates to table
1544003443.998 * [misc]progress:  [Phase 3 of 3] Extracting.
1544003443.998 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (sqrt (+ (exp x) 1)))> #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>)
1544003443.999 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1544003444.000 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (sqrt (+ (exp x) 1)))> #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>)
1544003444.027 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1544003444.027 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1544003444.027 * * [misc]simplify:  iters left: 4 (5 enodes)
1544003444.028 * * [misc]simplify:  iters left: 3 (8 enodes)
1544003444.028 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1544003444.028 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544003444.063 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544003444.072 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.073 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.074 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544003444.079 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.081 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.083 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544003444.087 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.091 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.095 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544003444.110 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.120 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.126 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544003444.131 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.149 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.179 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544003444.188 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.244 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.300 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544003444.327 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.417 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.482 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544003444.487 * * * * [misc]points:  Setting MPFR precision to 1088
1544003444.676 * * * * [misc]points:  Setting MPFR precision to 1344
1544003444.900 * * * * [misc]points:  Computing exacts for 8000 points
1544003444.913 * * * * [misc]points:  Setting MPFR precision to 1088
1544003445.983 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.789 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003446.792 * * * * [misc]points:  Sampling 2020 additional inputs, on iter 1 have 5980 / 8000
1544003446.802 * * * * [misc]points:  Computing exacts on every 126 of 2020 points to ramp up precision
1544003446.812 * * * * [misc]points:  Setting MPFR precision to 1088
1544003446.813 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.815 * * * * [misc]points:  Computing exacts on every 63 of 2020 points to ramp up precision
1544003446.824 * * * * [misc]points:  Setting MPFR precision to 1088
1544003446.827 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.830 * * * * [misc]points:  Computing exacts on every 31 of 2020 points to ramp up precision
1544003446.839 * * * * [misc]points:  Setting MPFR precision to 1088
1544003446.862 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.869 * * * * [misc]points:  Computing exacts on every 15 of 2020 points to ramp up precision
1544003446.878 * * * * [misc]points:  Setting MPFR precision to 1088
1544003446.887 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.894 * * * * [misc]points:  Computing exacts on every 7 of 2020 points to ramp up precision
1544003446.898 * * * * [misc]points:  Setting MPFR precision to 1088
1544003446.912 * * * * [misc]points:  Setting MPFR precision to 1344
1544003446.940 * * * * [misc]points:  Computing exacts on every 3 of 2020 points to ramp up precision
1544003446.950 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.006 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.066 * * * * [misc]points:  Computing exacts for 2020 points
1544003447.078 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.276 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.471 * * * * [misc]points:  Sampling 493 additional inputs, on iter 2 have 7507 / 8000
1544003447.472 * * * * [misc]points:  Computing exacts on every 30 of 493 points to ramp up precision
1544003447.477 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.478 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.479 * * * * [misc]points:  Computing exacts on every 15 of 493 points to ramp up precision
1544003447.487 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.492 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.496 * * * * [misc]points:  Computing exacts on every 7 of 493 points to ramp up precision
1544003447.503 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.507 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.511 * * * * [misc]points:  Computing exacts on every 3 of 493 points to ramp up precision
1544003447.535 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.553 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.570 * * * * [misc]points:  Computing exacts for 493 points
1544003447.580 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.640 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.680 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.681 * * * * [misc]points:  Sampling 108 additional inputs, on iter 3 have 7892 / 8000
1544003447.681 * * * * [misc]points:  Computing exacts on every 6 of 108 points to ramp up precision
1544003447.691 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.692 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.693 * * * * [misc]points:  Computing exacts on every 3 of 108 points to ramp up precision
1544003447.714 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.715 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.717 * * * * [misc]points:  Computing exacts for 108 points
1544003447.722 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.729 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.735 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.735 * * * * [misc]points:  Sampling 29 additional inputs, on iter 4 have 7971 / 8000
1544003447.736 * * * * [misc]points:  Computing exacts for 29 points
1544003447.741 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.744 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.746 * * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 7994 / 8000
1544003447.746 * * * * [misc]points:  Computing exacts for 6 points
1544003447.756 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.757 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.759 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7998 / 8000
1544003447.759 * * * * [misc]points:  Computing exacts for 4 points
1544003447.769 * * * * [misc]points:  Setting MPFR precision to 1088
1544003447.769 * * * * [misc]points:  Setting MPFR precision to 1344
1544003447.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544003447.770 * * * * [exit]points:  Sampled 8001 points with exact outputs
1544003448.030 * [misc]regime-testing:  Baseline error score: 0.03576452781325888
1544003448.030 * [misc]regime-testing:  End program error score: 0.03576452781325888
1544003448.031 * [misc]regime-testing:  Oracle error score: 0.03263952781325888