1539340231.946 * [misc]progress:  [Phase 1 of 3] Setting up.
1539340231.947 * * * [misc]progress:  [1/2] Preparing points
1539340231.948 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1539340231.950 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1539340232.090 * * * * [misc]points:  Setting MPFR precision to 64
1539340232.092 * * * * [misc]points:  Setting MPFR precision to 320
1539340232.095 * * * * [misc]points:  Setting MPFR precision to 576
1539340232.096 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1539340232.100 * * * * [misc]points:  Setting MPFR precision to 320
1539340232.101 * * * * [misc]points:  Setting MPFR precision to 576
1539340232.102 * * * * [misc]points:  Setting MPFR precision to 832
1539340232.104 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.106 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.108 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1539340232.114 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.118 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.121 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1539340232.171 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.183 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.192 * * * * [misc]points:  Computing exacts for 256 points
1539340232.271 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.319 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340232.444 * * * * [misc]points:  Sampling 55 additional inputs, on iter 1 have 201 / 256
1539340232.444 * * * * [misc]points:  Computing exacts on every 3 of 55 points to ramp up precision
1539340232.455 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.456 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.457 * * * * [misc]points:  Computing exacts for 55 points
1539340232.498 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.503 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.507 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340232.507 * * * * [misc]points:  Sampling 14 additional inputs, on iter 2 have 242 / 256
1539340232.507 * * * * [misc]points:  Computing exacts for 14 points
1539340232.516 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.517 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.518 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340232.518 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 255 / 256
1539340232.518 * * * * [misc]points:  Computing exacts for 4 points
1539340232.525 * * * * [misc]points:  Setting MPFR precision to 1088
1539340232.540 * * * * [misc]points:  Setting MPFR precision to 1344
1539340232.542 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340232.542 * * * * [exit]points:  Sampled 259 points with exact outputs
1539340232.542 * * * [misc]progress:  [2/2] Setting up program.
1539340232.552 * [misc]progress:  [Phase 2 of 3] Improving.
1539340232.553 * [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
1539340232.555 * * [misc]simplify:  iters left: 6 (10 enodes)
1539340232.567 * * [misc]simplify:  iters left: 5 (22 enodes)
1539340232.574 * * [misc]simplify:  iters left: 4 (27 enodes)
1539340232.582 * * [misc]simplify:  iters left: 3 (36 enodes)
1539340232.592 * * [misc]simplify:  iters left: 2 (53 enodes)
1539340232.651 * * [misc]simplify:  iters left: 1 (84 enodes)
1539340232.721 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1539340232.739 * * [misc]progress:  iteration 1 / 4
1539340232.739 * * * [misc]progress:  picking best candidate
1539340232.750 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1539340232.750 * * * [misc]progress:  localizing error
1539340232.819 * * * [misc]progress:  generating rewritten candidates
1539340232.819 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1539340232.827 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1539340232.834 * * * [misc]progress:  generating series expansions
1539340232.834 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1539340232.840 * [misc]backup-simplify:  Simplify (+ (exp x) 1) into (+ (exp x) 1)
1539340232.840 * [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
1539340232.841 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1539340232.842 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340232.842 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.842 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.842 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.842 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340232.842 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.842 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.842 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1539340232.842 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340232.842 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.842 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.842 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.842 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340232.842 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.842 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.844 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539340232.844 * [misc]backup-simplify:  Simplify 2 into 2
1539340232.849 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340232.850 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539340232.850 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.852 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340232.852 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539340232.852 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539340232.853 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
1539340232.853 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1539340232.853 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
1539340232.853 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1539340232.853 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340232.853 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340232.853 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.853 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.853 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.854 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340232.854 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340232.854 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.854 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.854 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1539340232.854 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340232.854 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340232.854 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.854 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.854 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.854 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340232.854 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340232.854 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.854 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.854 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1539340232.854 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1539340232.854 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.855 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.855 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.855 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.855 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.855 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.855 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.855 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.856 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.856 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.856 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.856 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.856 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
1539340232.856 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
1539340232.856 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
1539340232.856 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1539340232.856 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340232.856 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340232.856 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340232.856 * [misc]backup-simplify:  Simplify -1 into -1
1539340232.856 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.856 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.856 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.857 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340232.857 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340232.857 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.857 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.857 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1539340232.857 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340232.857 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340232.857 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340232.857 * [misc]backup-simplify:  Simplify -1 into -1
1539340232.857 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.857 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.857 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.857 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340232.857 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340232.857 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.858 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.858 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1539340232.858 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1539340232.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.858 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.858 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.859 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.859 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.859 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.859 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.859 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
1539340232.859 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1539340232.860 * [misc]backup-simplify:  Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
1539340232.860 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
1539340232.860 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1539340232.860 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1539340232.860 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340232.860 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.860 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.860 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.860 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340232.860 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.860 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.860 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539340232.861 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1539340232.862 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340232.863 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539340232.863 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1539340232.863 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1539340232.863 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1539340232.863 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340232.863 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.863 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.863 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.863 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340232.863 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.863 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.864 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539340232.864 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1539340232.865 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340232.866 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539340232.866 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1539340232.866 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1539340232.867 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
1539340232.870 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340232.870 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539340232.874 * [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)))
1539340232.876 * [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)))
1539340232.880 * [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))))
1539340232.880 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1539340232.880 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
1539340232.880 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1539340232.880 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1539340232.880 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340232.880 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340232.880 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.880 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.880 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.881 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340232.881 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340232.881 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.881 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.881 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1539340232.881 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1539340232.881 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.881 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.881 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1539340232.881 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1539340232.881 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340232.881 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340232.881 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.881 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.881 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.882 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340232.882 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340232.882 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.882 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.882 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1539340232.882 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1539340232.882 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.882 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.883 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1539340232.883 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.883 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.884 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.884 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.884 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.884 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.885 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.885 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.886 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.886 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.886 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.887 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.887 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.887 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.889 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1539340232.889 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.889 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
1539340232.889 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1539340232.889 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
1539340232.889 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1539340232.889 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1539340232.889 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340232.889 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340232.889 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340232.889 * [misc]backup-simplify:  Simplify -1 into -1
1539340232.889 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.889 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.889 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.890 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340232.890 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340232.890 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.890 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.890 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1539340232.890 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1539340232.890 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.890 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.890 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1539340232.890 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1539340232.890 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340232.890 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340232.890 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340232.890 * [misc]backup-simplify:  Simplify -1 into -1
1539340232.891 * [misc]taylor:  Taking taylor expansion of x in x
1539340232.891 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.891 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.891 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340232.891 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340232.891 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340232.891 * [misc]backup-simplify:  Simplify 1 into 1
1539340232.891 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1539340232.891 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1539340232.891 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.891 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.892 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1539340232.892 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.892 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.893 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.893 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.893 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.894 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.894 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.894 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.895 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.895 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.895 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.896 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.896 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.896 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340232.897 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1539340232.897 * [misc]backup-simplify:  Simplify 0 into 0
1539340232.897 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
1539340232.897 * * * [misc]progress:  simplifying candidates
1539340232.897 * * * * [misc]progress:  [ 1 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
1539340232.898 * * * * [misc]progress:  [ 2 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 3 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 4 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 5 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 6 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 7 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340232.898 * * * * [misc]progress:  [ 8 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
1539340232.898 * * * * [misc]progress:  [ 9 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
1539340232.898 * * * * [misc]progress:  [ 10 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
1539340232.898 * * * * [misc]progress:  [ 11 / 30 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
1539340232.898 * * * * [misc]progress:  [ 12 / 30 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
1539340232.898 * * * * [misc]progress:  [ 13 / 30 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 14 / 30 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
1539340232.898 * * * * [misc]progress:  [ 15 / 30 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
1539340232.899 * * * * [misc]progress:  [ 16 / 30 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
1539340232.899 * * * * [misc]progress:  [ 17 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
1539340232.899 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
1539340232.899 * * [misc]simplify:  iters left: 6 (7 enodes)
1539340232.901 * * [misc]simplify:  iters left: 5 (11 enodes)
1539340232.904 * [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
1539340232.904 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1)))))
1539340232.904 * * * * [misc]progress:  [ 18 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1539340232.904 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
1539340232.904 * * [misc]simplify:  iters left: 5 (6 enodes)
1539340232.907 * * [misc]simplify:  iters left: 4 (9 enodes)
1539340232.909 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
1539340232.910 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))
1539340232.910 * * * * [misc]progress:  [ 19 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
1539340232.910 * [enter]simplify:  Simplifying (sqrt 1)
1539340232.910 * * [misc]simplify:  iters left: 1 (2 enodes)
1539340232.911 * [exit]simplify:  Simplified to 1
1539340232.911 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1))))
1539340232.911 * * * * [misc]progress:  [ 20 / 30 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340232.912 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
1539340232.912 * * [misc]simplify:  iters left: 5 (8 enodes)
1539340232.915 * * [misc]simplify:  iters left: 4 (16 enodes)
1539340232.919 * * [misc]simplify:  iters left: 3 (18 enodes)
1539340232.923 * * [misc]simplify:  iters left: 2 (22 enodes)
1539340232.929 * [exit]simplify:  Simplified to (sqrt (+ 1 (pow (exp x) 3)))
1539340232.929 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (+ 1 (pow (exp x) 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340232.929 * * * * [misc]progress:  [ 21 / 30 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
1539340232.929 * [enter]simplify:  Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1)))
1539340232.929 * * [misc]simplify:  iters left: 6 (7 enodes)
1539340232.933 * * [misc]simplify:  iters left: 5 (14 enodes)
1539340232.936 * * [misc]simplify:  iters left: 4 (17 enodes)
1539340232.942 * * [misc]simplify:  iters left: 3 (20 enodes)
1539340232.947 * * [misc]simplify:  iters left: 2 (36 enodes)
1539340232.964 * * [misc]simplify:  iters left: 1 (61 enodes)
1539340232.984 * [exit]simplify:  Simplified to (sqrt (+ -1 (exp (+ x x))))
1539340232.984 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (+ -1 (exp (+ x x)))) (sqrt (- (exp x) 1))))
1539340232.984 * * * * [misc]progress:  [ 22 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1539340232.984 * * * * [misc]progress:  [ 23 / 30 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
1539340232.985 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1539340232.985 * * [misc]simplify:  iters left: 4 (5 enodes)
1539340232.986 * * [misc]simplify:  iters left: 3 (8 enodes)
1539340232.988 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1539340232.988 * [misc]simplify:  Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1))))
1539340232.988 * * * * [misc]progress:  [ 24 / 30 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
1539340232.988 * * * * [misc]progress:  [ 25 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
1539340232.989 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (pow x 2)) 2))
1539340232.989 * * [misc]simplify:  iters left: 6 (7 enodes)
1539340232.991 * * [misc]simplify:  iters left: 5 (13 enodes)
1539340232.996 * * [misc]simplify:  iters left: 4 (23 enodes)
1539340233.011 * * [misc]simplify:  iters left: 3 (28 enodes)
1539340233.017 * * [misc]simplify:  iters left: 2 (32 enodes)
1539340233.024 * * [misc]simplify:  iters left: 1 (38 enodes)
1539340233.035 * [exit]simplify:  Simplified to (+ (+ x 2) (* (* x x) 1/2))
1539340233.035 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (+ x 2) (* (* x x) 1/2))))
1539340233.035 * * * * [misc]progress:  [ 26 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1539340233.035 * [enter]simplify:  Simplifying (+ (exp x) 1)
1539340233.035 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340233.036 * * [misc]simplify:  iters left: 2 (7 enodes)
1539340233.067 * [exit]simplify:  Simplified to (+ (exp x) 1)
1539340233.067 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1539340233.068 * * * * [misc]progress:  [ 27 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1539340233.068 * [enter]simplify:  Simplifying (+ (exp x) 1)
1539340233.068 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340233.070 * * [misc]simplify:  iters left: 2 (7 enodes)
1539340233.072 * [exit]simplify:  Simplified to (+ (exp x) 1)
1539340233.072 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1539340233.072 * * * * [misc]progress:  [ 28 / 30 ] 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)))))>
1539340233.073 * [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))))
1539340233.073 * * [misc]simplify:  iters left: 6 (18 enodes)
1539340233.082 * * [misc]simplify:  iters left: 5 (39 enodes)
1539340233.103 * * [misc]simplify:  iters left: 4 (107 enodes)
1539340233.181 * * [misc]simplify:  iters left: 3 (255 enodes)
1539340233.366 * [exit]simplify:  Simplified to (+ (+ (/ (* x 1/2) (sqrt 2)) (sqrt 2)) (* (/ (* x x) (sqrt 2)) 3/16))
1539340233.366 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ (* x 1/2) (sqrt 2)) (sqrt 2)) (* (/ (* x x) (sqrt 2)) 3/16)))
1539340233.366 * * * * [misc]progress:  [ 29 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1539340233.367 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1539340233.367 * * [misc]simplify:  iters left: 4 (5 enodes)
1539340233.368 * * [misc]simplify:  iters left: 3 (8 enodes)
1539340233.370 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1539340233.370 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1539340233.370 * * * * [misc]progress:  [ 30 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1539340233.371 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1539340233.371 * * [misc]simplify:  iters left: 4 (5 enodes)
1539340233.372 * * [misc]simplify:  iters left: 3 (8 enodes)
1539340233.374 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1539340233.374 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1539340233.374 * * * [misc]progress:  adding candidates to table
1539340233.571 * * [misc]progress:  iteration 2 / 4
1539340233.571 * * * [misc]progress:  picking best candidate
1539340233.580 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.580 * * * [misc]progress:  localizing error
1539340233.642 * * * [misc]progress:  generating rewritten candidates
1539340233.642 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2)
1539340233.653 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1539340233.655 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1)
1539340233.664 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1539340233.695 * * * [misc]progress:  generating series expansions
1539340233.695 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2)
1539340233.696 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1539340233.696 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1539340233.696 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340233.696 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.696 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.696 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.696 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.696 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.696 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.696 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.696 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340233.696 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.696 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.696 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.696 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.696 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.696 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.696 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.697 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340233.697 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539340233.697 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.698 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340233.699 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340233.699 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539340233.699 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.701 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340233.701 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340233.701 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539340233.701 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539340233.705 * [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
1539340233.706 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1539340233.706 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1539340233.706 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1539340233.706 * [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)))))
1539340233.707 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1539340233.707 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1539340233.707 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.707 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.707 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.707 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.707 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.707 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.707 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.707 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.707 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.707 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.707 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.707 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.707 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.708 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.708 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.708 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340233.708 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1539340233.708 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1539340233.708 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.708 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.708 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.708 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.709 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.709 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.709 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.709 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.710 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.710 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.710 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.710 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1539340233.710 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1539340233.710 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1539340233.710 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340233.710 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.710 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.710 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.710 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.710 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.710 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.710 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.711 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.711 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.711 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.711 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.711 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340233.711 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.711 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.711 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.711 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.711 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.711 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.711 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.711 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.711 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.711 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.711 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.711 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340233.711 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539340233.712 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539340233.712 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.712 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.712 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.712 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.712 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.712 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.712 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.713 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.713 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.713 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.713 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.714 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.714 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.714 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1539340233.714 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1539340233.714 * [misc]backup-simplify:  Simplify (pow (exp x) 3) into (pow (exp x) 3)
1539340233.714 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 3) in (x) around 0
1539340233.714 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1539340233.714 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.714 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.714 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.714 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.714 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.714 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1539340233.714 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.714 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.714 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.714 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.715 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.715 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539340233.715 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539340233.715 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.717 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340233.717 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1539340233.717 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1539340233.717 * [misc]backup-simplify:  Simplify 3 into 3
1539340233.719 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340233.720 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1539340233.720 * [misc]backup-simplify:  Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
1539340233.720 * [misc]backup-simplify:  Simplify 9/2 into 9/2
1539340233.720 * [misc]backup-simplify:  Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1539340233.720 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1539340233.720 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
1539340233.720 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.720 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.720 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.720 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.720 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.720 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.720 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.720 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.720 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.721 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.721 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.721 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1539340233.721 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1539340233.721 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1539340233.721 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1539340233.721 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1539340233.721 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.721 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1539340233.722 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
1539340233.722 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.722 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1539340233.722 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
1539340233.722 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.723 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1539340233.723 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
1539340233.723 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.724 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1539340233.724 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
1539340233.724 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.724 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1539340233.725 * [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
1539340233.725 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.725 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
1539340233.725 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
1539340233.725 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
1539340233.725 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1539340233.725 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.725 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.725 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.725 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.725 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.725 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.725 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.725 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.726 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.726 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1539340233.726 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.726 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.726 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.726 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.726 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.726 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.726 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.726 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.726 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.726 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1539340233.726 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1539340233.726 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
1539340233.726 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1539340233.726 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1539340233.726 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.726 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1539340233.727 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
1539340233.727 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.727 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1539340233.727 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
1539340233.727 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.728 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1539340233.728 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
1539340233.728 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.729 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1539340233.729 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
1539340233.729 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.729 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1539340233.730 * [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
1539340233.730 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.730 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
1539340233.730 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1)
1539340233.730 * [misc]backup-simplify:  Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
1539340233.730 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 2) in (x) around 0
1539340233.730 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1539340233.730 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.730 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.730 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.730 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.730 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.730 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1539340233.730 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.730 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.730 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.730 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.730 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.731 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539340233.731 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.732 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340233.732 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1539340233.732 * [misc]backup-simplify:  Simplify 2 into 2
1539340233.733 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340233.733 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1539340233.733 * [misc]backup-simplify:  Simplify 2 into 2
1539340233.733 * [misc]backup-simplify:  Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1539340233.733 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1539340233.734 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
1539340233.734 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.734 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.734 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.734 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.734 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.734 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.734 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.734 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.734 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.734 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.734 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.734 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1539340233.734 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
1539340233.734 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1539340233.734 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.734 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1539340233.735 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.735 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1539340233.735 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.735 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1539340233.735 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.736 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1539340233.736 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.736 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1539340233.736 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.736 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
1539340233.736 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
1539340233.736 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
1539340233.736 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1539340233.736 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.737 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.737 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.737 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.737 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.737 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.737 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.737 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.737 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.737 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1539340233.737 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.737 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.737 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.737 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.737 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.737 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.737 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.737 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.737 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.737 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1539340233.737 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
1539340233.737 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1539340233.737 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.738 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1539340233.738 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.738 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1539340233.738 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.738 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1539340233.738 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.739 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1539340233.739 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.739 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1539340233.739 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.740 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
1539340233.740 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1539340233.740 * [misc]backup-simplify:  Simplify (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) into (- (+ (pow (exp x) 2) 1) (exp x))
1539340233.740 * [misc]approximate:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in (x) around 0
1539340233.740 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.740 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.740 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.740 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.740 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.740 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.740 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340233.740 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.740 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.740 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.740 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340233.740 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539340233.741 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1539340233.741 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340233.741 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1539340233.741 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.742 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340233.742 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1539340233.742 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1539340233.743 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340233.743 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340233.743 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1539340233.743 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.745 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340233.745 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1539340233.745 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1539340233.748 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340233.748 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340233.748 * [misc]backup-simplify:  Simplify (+ 2 -1/2) into 3/2
1539340233.748 * [misc]backup-simplify:  Simplify 3/2 into 3/2
1539340233.748 * [misc]backup-simplify:  Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
1539340233.749 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (- (* 1 1) (* (exp (/ 1 x)) 1))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1539340233.749 * [misc]approximate:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in (x) around 0
1539340233.749 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.749 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.749 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.749 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.749 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.749 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.749 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.749 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.749 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.749 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.749 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.749 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.750 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.750 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.750 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.750 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.750 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.750 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.750 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.750 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.750 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340233.750 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.750 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.750 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.750 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340233.750 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340233.751 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1539340233.751 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
1539340233.751 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340233.751 * [misc]backup-simplify:  Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1539340233.751 * [misc]backup-simplify:  Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1539340233.751 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1539340233.752 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.752 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.752 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.752 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.752 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1539340233.752 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.753 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.753 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.753 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.753 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1539340233.753 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.753 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.754 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.754 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.754 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1539340233.754 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.754 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.755 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.755 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.755 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1539340233.755 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.756 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.756 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.756 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.756 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1539340233.759 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.759 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.760 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.760 * [misc]backup-simplify:  Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
1539340233.760 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) (- (* 1 1) (* (exp (/ 1 (- x))) 1))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1539340233.760 * [misc]approximate:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in (x) around 0
1539340233.760 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1539340233.760 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.761 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.761 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.761 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.761 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.761 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.761 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.761 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.761 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.761 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.761 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.761 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.761 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.761 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.761 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.761 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.761 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1539340233.761 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340233.762 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.762 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1539340233.762 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.762 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.762 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.762 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.762 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.762 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.762 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.762 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.762 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.762 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340233.762 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340233.762 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340233.762 * [misc]backup-simplify:  Simplify -1 into -1
1539340233.762 * [misc]taylor:  Taking taylor expansion of x in x
1539340233.762 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.762 * [misc]backup-simplify:  Simplify 1 into 1
1539340233.762 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340233.762 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340233.763 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1539340233.763 * [misc]backup-simplify:  Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
1539340233.763 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340233.763 * [misc]backup-simplify:  Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1539340233.763 * [misc]backup-simplify:  Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1539340233.763 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1539340233.764 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.764 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.764 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.764 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.764 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1539340233.764 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.765 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.765 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.765 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1539340233.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.766 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.766 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.766 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.766 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1539340233.766 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.767 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.767 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.767 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.768 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1539340233.768 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.768 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.768 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.768 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.769 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1539340233.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.769 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340233.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340233.769 * [misc]backup-simplify:  Simplify 0 into 0
1539340233.770 * [misc]backup-simplify:  Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
1539340233.770 * * * [misc]progress:  simplifying candidates
1539340233.770 * * * * [misc]progress:  [ 1 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (/ (exp (* 1 1)) (exp (* (exp x) 1))))))))>
1539340233.770 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1539340233.770 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340233.774 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340233.777 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340233.780 * * [misc]simplify:  iters left: 3 (34 enodes)
1539340233.784 * * [misc]simplify:  iters left: 2 (41 enodes)
1539340233.789 * * [misc]simplify:  iters left: 1 (45 enodes)
1539340233.794 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1539340233.794 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (exp (- 1 (exp x))))))))
1539340233.794 * * * * [misc]progress:  [ 2 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (pow (- (* 1 1) (* (exp x) 1)) 1)))))>
1539340233.794 * * * * [misc]progress:  [ 3 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (exp (log (- (* 1 1) (* (exp x) 1))))))))>
1539340233.794 * * * * [misc]progress:  [ 4 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (exp (- (* 1 1) (* (exp x) 1))))))))>
1539340233.794 * * * * [misc]progress:  [ 5 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1))))))))>
1539340233.794 * * * * [misc]progress:  [ 6 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))))))))>
1539340233.794 * * * * [misc]progress:  [ 7 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1))))))))>
1539340233.794 * * * * [misc]progress:  [ 8 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (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)))))))))>
1539340233.794 * * * * [misc]progress:  [ 9 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1539340233.794 * * * * [misc]progress:  [ 10 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- (* 1 1) (* (exp x) 1)))))))>
1539340233.794 * * * * [misc]progress:  [ 11 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1)))))))>
1539340233.794 * * * * [misc]progress:  [ 12 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))>
1539340233.794 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340233.794 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340233.795 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340233.796 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340233.797 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340233.797 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))
1539340233.797 * * * * [misc]progress:  [ 13 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1539340233.797 * * * * [misc]progress:  [ 14 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* x 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.797 * [enter]simplify:  Simplifying (* x 3)
1539340233.797 * * [misc]simplify:  iters left: 2 (3 enodes)
1539340233.798 * * [misc]simplify:  iters left: 1 (4 enodes)
1539340233.798 * [exit]simplify:  Simplified to (* x 3)
1539340233.798 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (exp (* x 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.798 * * * * [misc]progress:  [ 15 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* (log (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.798 * * * * [misc]progress:  [ 16 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) (* 1 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.799 * [enter]simplify:  Simplifying (exp x)
1539340233.799 * * [misc]simplify:  iters left: 1 (2 enodes)
1539340233.799 * [exit]simplify:  Simplified to (exp x)
1539340233.799 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) (* 1 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.799 * * * * [misc]progress:  [ 17 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.799 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1539340233.799 * * [misc]simplify:  iters left: 5 (6 enodes)
1539340233.800 * * [misc]simplify:  iters left: 4 (11 enodes)
1539340233.802 * * [misc]simplify:  iters left: 3 (19 enodes)
1539340233.805 * * [misc]simplify:  iters left: 2 (27 enodes)
1539340233.809 * * [misc]simplify:  iters left: 1 (32 enodes)
1539340233.815 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340233.815 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.815 * * * * [misc]progress:  [ 18 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.816 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1539340233.816 * * [misc]simplify:  iters left: 3 (5 enodes)
1539340233.817 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340233.820 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1539340233.820 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.820 * * * * [misc]progress:  [ 19 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow 1 3) (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.820 * [enter]simplify:  Simplifying (pow 1 3)
1539340233.820 * * [misc]simplify:  iters left: 1 (3 enodes)
1539340233.822 * [exit]simplify:  Simplified to 1
1539340233.822 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.822 * * * * [misc]progress:  [ 20 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 21 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (pow (exp x) 3) 1) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 22 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (log (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 23 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log (exp (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 24 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 25 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.822 * * * * [misc]progress:  [ 26 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.823 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1539340233.823 * * [misc]simplify:  iters left: 5 (6 enodes)
1539340233.825 * * [misc]simplify:  iters left: 4 (11 enodes)
1539340233.828 * * [misc]simplify:  iters left: 3 (19 enodes)
1539340233.835 * * [misc]simplify:  iters left: 2 (27 enodes)
1539340233.841 * * [misc]simplify:  iters left: 1 (32 enodes)
1539340233.849 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340233.849 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.849 * * * * [misc]progress:  [ 27 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.849 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1539340233.849 * * [misc]simplify:  iters left: 3 (5 enodes)
1539340233.851 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340233.853 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1539340233.853 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.853 * * * * [misc]progress:  [ 28 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow 1 3) (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.853 * [enter]simplify:  Simplifying (pow 1 3)
1539340233.853 * * [misc]simplify:  iters left: 1 (3 enodes)
1539340233.855 * [exit]simplify:  Simplified to 1
1539340233.855 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.855 * * * * [misc]progress:  [ 29 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.855 * * * * [misc]progress:  [ 30 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.856 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1539340233.856 * * [misc]simplify:  iters left: 3 (3 enodes)
1539340233.857 * * [misc]simplify:  iters left: 2 (5 enodes)
1539340233.858 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340233.858 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.858 * * * * [misc]progress:  [ 31 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.858 * * * * [misc]progress:  [ 32 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.858 * * * * [misc]progress:  [ 33 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.859 * [enter]simplify:  Simplifying (exp x)
1539340233.859 * * [misc]simplify:  iters left: 1 (2 enodes)
1539340233.859 * [exit]simplify:  Simplified to (exp x)
1539340233.859 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1539340233.860 * [enter]simplify:  Simplifying (+ 1 1)
1539340233.860 * * [misc]simplify:  iters left: 2 (2 enodes)
1539340233.861 * * [misc]simplify:  iters left: 1 (5 enodes)
1539340233.862 * [exit]simplify:  Simplified to 2
1539340233.862 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))
1539340233.862 * * * * [misc]progress:  [ 34 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1539340233.862 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1539340233.862 * * [misc]simplify:  iters left: 3 (3 enodes)
1539340233.863 * * [misc]simplify:  iters left: 2 (5 enodes)
1539340233.865 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340233.865 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))
1539340233.865 * * * * [misc]progress:  [ 35 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1539340233.865 * * * * [misc]progress:  [ 36 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.865 * [enter]simplify:  Simplifying (exp x)
1539340233.865 * * [misc]simplify:  iters left: 1 (2 enodes)
1539340233.866 * [exit]simplify:  Simplified to (exp x)
1539340233.866 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1539340233.866 * * * * [misc]progress:  [ 37 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1539340233.866 * * * * [misc]progress:  [ 38 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.866 * [enter]simplify:  Simplifying (+ x x)
1539340233.866 * * [misc]simplify:  iters left: 2 (2 enodes)
1539340233.867 * [exit]simplify:  Simplified to (+ x x)
1539340233.867 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.867 * * * * [misc]progress:  [ 39 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (log (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.867 * * * * [misc]progress:  [ 40 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (log (exp (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.867 * * * * [misc]progress:  [ 41 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.867 * [enter]simplify:  Simplifying (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
1539340233.867 * * [misc]simplify:  iters left: 6 (5 enodes)
1539340233.869 * * [misc]simplify:  iters left: 5 (12 enodes)
1539340233.873 * * [misc]simplify:  iters left: 4 (24 enodes)
1539340233.882 * * [misc]simplify:  iters left: 3 (56 enodes)
1539340233.898 * * [misc]simplify:  iters left: 2 (104 enodes)
1539340233.916 * * [misc]simplify:  iters left: 1 (107 enodes)
1539340233.921 * [exit]simplify:  Simplified to (pow (exp x) 6)
1539340233.921 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (pow (exp x) 6)) (- (* 1 1) (* (exp x) 1))))))
1539340233.922 * * * * [misc]progress:  [ 42 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.922 * * * * [misc]progress:  [ 43 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.922 * * * * [misc]progress:  [ 44 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.922 * * * * [misc]progress:  [ 45 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.922 * * * * [misc]progress:  [ 46 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.922 * [enter]simplify:  Simplifying (cbrt (exp x))
1539340233.922 * * [misc]simplify:  iters left: 2 (3 enodes)
1539340233.922 * [exit]simplify:  Simplified to (cbrt (exp x))
1539340233.922 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1539340233.922 * * * * [misc]progress:  [ 47 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.923 * [enter]simplify:  Simplifying (sqrt (exp x))
1539340233.923 * * [misc]simplify:  iters left: 2 (3 enodes)
1539340233.923 * [exit]simplify:  Simplified to (sqrt (exp x))
1539340233.923 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1539340233.923 * * * * [misc]progress:  [ 48 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.923 * [enter]simplify:  Simplifying (exp x)
1539340233.923 * * [misc]simplify:  iters left: 1 (2 enodes)
1539340233.923 * [exit]simplify:  Simplified to (exp x)
1539340233.923 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340233.923 * * * * [misc]progress:  [ 49 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.924 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1539340233.924 * * [misc]simplify:  iters left: 4 (4 enodes)
1539340233.924 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1539340233.924 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1539340233.924 * * * * [misc]progress:  [ 50 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.924 * [enter]simplify:  Simplifying (sqrt (exp x))
1539340233.924 * * [misc]simplify:  iters left: 2 (3 enodes)
1539340233.925 * [exit]simplify:  Simplified to (sqrt (exp x))
1539340233.925 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1539340233.925 * * * * [misc]progress:  [ 51 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1539340233.925 * * * * [misc]progress:  [ 52 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340233.925 * * * * [misc]progress:  [ 53 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (log (* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))))))>
1539340233.925 * [enter]simplify:  Simplifying (* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
1539340233.925 * * [misc]simplify:  iters left: 6 (11 enodes)
1539340233.928 * * [misc]simplify:  iters left: 5 (27 enodes)
1539340233.931 * * [misc]simplify:  iters left: 4 (49 enodes)
1539340233.938 * * [misc]simplify:  iters left: 3 (75 enodes)
1539340233.948 * * [misc]simplify:  iters left: 2 (107 enodes)
1539340233.962 * * [misc]simplify:  iters left: 1 (158 enodes)
1539340234.019 * [exit]simplify:  Simplified to (exp (- (* (exp x) (exp x)) (+ (exp x) -1)))
1539340234.019 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (log (exp (- (* (exp x) (exp x)) (+ (exp x) -1)))))))
1539340234.019 * * * * [misc]progress:  [ 54 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (log (* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))))))>
1539340234.019 * [enter]simplify:  Simplifying (* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
1539340234.019 * * [misc]simplify:  iters left: 6 (10 enodes)
1539340234.022 * * [misc]simplify:  iters left: 5 (26 enodes)
1539340234.026 * * [misc]simplify:  iters left: 4 (52 enodes)
1539340234.033 * * [misc]simplify:  iters left: 3 (89 enodes)
1539340234.054 * * [misc]simplify:  iters left: 2 (134 enodes)
1539340234.099 * * [misc]simplify:  iters left: 1 (194 enodes)
1539340234.155 * [exit]simplify:  Simplified to (exp (- (* (exp x) (exp x)) (+ -1 (exp x))))
1539340234.155 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (log (exp (- (* (exp x) (exp x)) (+ -1 (exp x))))))))
1539340234.155 * * * * [misc]progress:  [ 55 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (pow (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) 1))))>
1539340234.156 * * * * [misc]progress:  [ 56 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (exp (log (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1539340234.156 * * * * [misc]progress:  [ 57 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (log (exp (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1539340234.156 * * * * [misc]progress:  [ 58 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (* (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1539340234.156 * * * * [misc]progress:  [ 59 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (cbrt (* (* (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1539340234.156 * * * * [misc]progress:  [ 60 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (* (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
1539340234.156 * * * * [misc]progress:  [ 61 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340234.156 * * * * [misc]progress:  [ 62 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (* 1 (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))>
1539340234.156 * * * * [misc]progress:  [ 63 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (- (* (* (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)))))))>
1539340234.156 * * * * [misc]progress:  [ 64 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* (exp x) (exp x)) (* 1 1)) (- (* (exp x) 1))))))>
1539340234.156 * [enter]simplify:  Simplifying (- (* (exp x) 1))
1539340234.156 * * [misc]simplify:  iters left: 5 (5 enodes)
1539340234.157 * * [misc]simplify:  iters left: 4 (13 enodes)
1539340234.159 * * [misc]simplify:  iters left: 3 (17 enodes)
1539340234.162 * * [misc]simplify:  iters left: 2 (21 enodes)
1539340234.163 * [exit]simplify:  Simplified to (- (exp x))
1539340234.163 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* (exp x) (exp x)) (* 1 1)) (- (exp x))))))
1539340234.163 * * * * [misc]progress:  [ 65 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* (exp x) (exp x)) (* 1 1)) (- (* (exp x) 1))))))>
1539340234.164 * [enter]simplify:  Simplifying (- (* (exp x) 1))
1539340234.164 * * [misc]simplify:  iters left: 5 (5 enodes)
1539340234.165 * * [misc]simplify:  iters left: 4 (13 enodes)
1539340234.167 * * [misc]simplify:  iters left: 3 (17 enodes)
1539340234.171 * * [misc]simplify:  iters left: 2 (21 enodes)
1539340234.174 * [exit]simplify:  Simplified to (- (exp x))
1539340234.174 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* (exp x) (exp x)) (* 1 1)) (- (exp x))))))
1539340234.174 * * * * [misc]progress:  [ 66 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (* (exp x) (exp x)) (* 1 1)) (* (exp x) 1)))))>
1539340234.174 * [enter]simplify:  Simplifying (* (exp x) 1)
1539340234.174 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340234.176 * * [misc]simplify:  iters left: 2 (7 enodes)
1539340234.178 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340234.179 * [exit]simplify:  Simplified to (exp x)
1539340234.179 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (* (exp x) (exp x)) (* 1 1)) (exp x)))))
1539340234.179 * * * * [misc]progress:  [ 67 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (- (* 1 1) (* (exp x) 1)) (* (exp x) (exp x))))))>
1539340234.179 * * * * [misc]progress:  [ 68 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))))))>
1539340234.180 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1539340234.180 * * [misc]simplify:  iters left: 6 (12 enodes)
1539340234.183 * * [misc]simplify:  iters left: 5 (24 enodes)
1539340234.187 * * [misc]simplify:  iters left: 4 (51 enodes)
1539340234.199 * * [misc]simplify:  iters left: 3 (132 enodes)
1539340234.224 * * [misc]simplify:  iters left: 2 (255 enodes)
1539340234.328 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1539340234.329 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* (* x x) (- -1/2 (* x 1/6))) x)))))
1539340234.329 * * * * [misc]progress:  [ 69 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1539340234.329 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340234.329 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340234.329 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340234.330 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340234.331 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340234.331 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1539340234.331 * * * * [misc]progress:  [ 70 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1539340234.332 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340234.332 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340234.332 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340234.333 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340234.334 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340234.334 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1539340234.334 * * * * [misc]progress:  [ 71 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340234.334 * [enter]simplify:  Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1539340234.334 * * [misc]simplify:  iters left: 6 (10 enodes)
1539340234.338 * * [misc]simplify:  iters left: 5 (19 enodes)
1539340234.340 * * [misc]simplify:  iters left: 4 (29 enodes)
1539340234.345 * * [misc]simplify:  iters left: 3 (40 enodes)
1539340234.349 * * [misc]simplify:  iters left: 2 (52 enodes)
1539340234.356 * [exit]simplify:  Simplified to (+ (+ 1 (* 3 x)) (* 9/2 (* x x)))
1539340234.356 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (+ (+ 1 (* 3 x)) (* 9/2 (* x x))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340234.356 * * * * [misc]progress:  [ 72 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340234.356 * [enter]simplify:  Simplifying (pow (exp x) 3)
1539340234.356 * * [misc]simplify:  iters left: 2 (4 enodes)
1539340234.356 * * [misc]simplify:  iters left: 1 (7 enodes)
1539340234.357 * [exit]simplify:  Simplified to (pow (exp x) 3)
1539340234.357 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340234.358 * * * * [misc]progress:  [ 73 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1539340234.358 * [enter]simplify:  Simplifying (pow (exp x) 3)
1539340234.358 * * [misc]simplify:  iters left: 2 (4 enodes)
1539340234.358 * * [misc]simplify:  iters left: 1 (7 enodes)
1539340234.359 * [exit]simplify:  Simplified to (pow (exp x) 3)
1539340234.359 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340234.359 * * * * [misc]progress:  [ 74 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* 2 x) (+ (* 2 (pow x 2)) 1)) (- (* 1 1) (* (exp x) 1))))))>
1539340234.360 * [enter]simplify:  Simplifying (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1539340234.360 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340234.362 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340234.366 * * [misc]simplify:  iters left: 4 (27 enodes)
1539340234.371 * * [misc]simplify:  iters left: 3 (38 enodes)
1539340234.376 * * [misc]simplify:  iters left: 2 (44 enodes)
1539340234.384 * * [misc]simplify:  iters left: 1 (57 enodes)
1539340234.400 * [exit]simplify:  Simplified to (+ 1 (* (* x 2) (+ x 1)))
1539340234.400 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ 1 (* (* x 2) (+ x 1))) (- (* 1 1) (* (exp x) 1))))))
1539340234.400 * * * * [misc]progress:  [ 75 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1539340234.401 * [enter]simplify:  Simplifying (pow (exp x) 2)
1539340234.401 * * [misc]simplify:  iters left: 2 (4 enodes)
1539340234.402 * * [misc]simplify:  iters left: 1 (5 enodes)
1539340234.403 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340234.403 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340234.403 * * * * [misc]progress:  [ 76 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1539340234.404 * [enter]simplify:  Simplifying (pow (exp x) 2)
1539340234.404 * * [misc]simplify:  iters left: 2 (4 enodes)
1539340234.405 * * [misc]simplify:  iters left: 1 (5 enodes)
1539340234.406 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1539340234.406 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1539340234.406 * * * * [misc]progress:  [ 77 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
1539340234.406 * [enter]simplify:  Simplifying (+ x (+ (* 3/2 (pow x 2)) 1))
1539340234.406 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340234.408 * * [misc]simplify:  iters left: 5 (16 enodes)
1539340234.412 * * [misc]simplify:  iters left: 4 (26 enodes)
1539340234.418 * * [misc]simplify:  iters left: 3 (31 enodes)
1539340234.426 * * [misc]simplify:  iters left: 2 (33 enodes)
1539340234.432 * * [misc]simplify:  iters left: 1 (39 enodes)
1539340234.443 * [exit]simplify:  Simplified to (+ (* (* x x) 3/2) (+ 1 x))
1539340234.443 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* x x) 3/2) (+ 1 x)))))
1539340234.443 * * * * [misc]progress:  [ 78 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (pow (exp x) 2) 1) (exp x)))))>
1539340234.443 * [enter]simplify:  Simplifying (- (+ (pow (exp x) 2) 1) (exp x))
1539340234.443 * * [misc]simplify:  iters left: 6 (7 enodes)
1539340234.445 * * [misc]simplify:  iters left: 5 (15 enodes)
1539340234.449 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340234.454 * * [misc]simplify:  iters left: 3 (32 enodes)
1539340234.461 * * [misc]simplify:  iters left: 2 (34 enodes)
1539340234.468 * * [misc]simplify:  iters left: 1 (38 enodes)
1539340234.477 * [exit]simplify:  Simplified to (+ (- 1 (exp x)) (* (exp x) (exp x)))
1539340234.478 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))
1539340234.478 * * * * [misc]progress:  [ 79 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (pow (exp x) 2) 1) (exp x)))))>
1539340234.478 * [enter]simplify:  Simplifying (- (+ (pow (exp x) 2) 1) (exp x))
1539340234.478 * * [misc]simplify:  iters left: 6 (7 enodes)
1539340234.480 * * [misc]simplify:  iters left: 5 (15 enodes)
1539340234.482 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340234.485 * * [misc]simplify:  iters left: 3 (32 enodes)
1539340234.489 * * [misc]simplify:  iters left: 2 (34 enodes)
1539340234.492 * * [misc]simplify:  iters left: 1 (38 enodes)
1539340234.497 * [exit]simplify:  Simplified to (+ (- 1 (exp x)) (* (exp x) (exp x)))
1539340234.497 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))
1539340234.497 * * * [misc]progress:  adding candidates to table
1539340235.410 * * [misc]progress:  iteration 3 / 4
1539340235.411 * * * [misc]progress:  picking best candidate
1539340235.420 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340235.420 * * * [misc]progress:  localizing error
1539340235.469 * * * [misc]progress:  generating rewritten candidates
1539340235.469 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2 2 2 2)
1539340235.483 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 2 2 1 2)
1539340235.492 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1)
1539340235.502 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1539340235.512 * * * [misc]progress:  generating series expansions
1539340235.512 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2 2 2 2)
1539340235.512 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1539340235.513 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1539340235.513 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.513 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.513 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.513 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.513 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.513 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.513 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.513 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.513 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.513 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.513 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.513 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.513 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.513 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.513 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.513 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.513 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.514 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539340235.514 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.515 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340235.515 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.516 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539340235.516 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.518 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340235.518 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340235.518 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539340235.518 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539340235.522 * [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
1539340235.522 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1539340235.522 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1539340235.522 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1539340235.523 * [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)))))
1539340235.523 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1539340235.523 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1539340235.523 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.523 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.523 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.523 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.523 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.523 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.523 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.523 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.524 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.524 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.524 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.524 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.524 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.524 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.524 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.524 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.524 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.524 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.524 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.524 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.524 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340235.524 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1539340235.525 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1539340235.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.525 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.525 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.525 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.525 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.526 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.526 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.526 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.527 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.527 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.527 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.527 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1539340235.527 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1539340235.527 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1539340235.527 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.527 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.527 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.527 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.527 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.527 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.527 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.527 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.527 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.528 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.528 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.528 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.528 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.528 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.528 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.528 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.528 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.528 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.528 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.528 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.528 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.528 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.528 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.528 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.528 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340235.529 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539340235.529 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539340235.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.529 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.529 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.530 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.530 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.530 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.530 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.530 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.531 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.531 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.531 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.531 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.531 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1539340235.531 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 2 2 1 2)
1539340235.531 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1539340235.531 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1539340235.531 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.531 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.532 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.532 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.532 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.532 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.532 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.532 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.532 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.532 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.532 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.532 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.532 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.532 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.532 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.532 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.532 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.532 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539340235.532 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.534 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340235.534 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.534 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539340235.534 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.536 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340235.537 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340235.537 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539340235.537 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539340235.540 * [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
1539340235.541 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1539340235.541 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1539340235.541 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1539340235.541 * [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)))))
1539340235.541 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1539340235.542 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1539340235.542 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.542 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.542 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.542 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.542 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.542 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.542 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.542 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.542 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.542 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.542 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.542 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.542 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.542 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.542 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.543 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340235.543 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1539340235.543 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1539340235.543 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.543 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.543 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.543 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.544 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.544 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.544 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.544 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.545 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.545 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.545 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.546 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1539340235.546 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1539340235.546 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1539340235.546 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.546 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.546 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.546 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.546 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.546 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.546 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.546 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.546 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.546 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.546 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.547 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.547 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.547 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.547 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.547 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.547 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.547 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.547 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.547 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.547 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.547 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.547 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.547 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.547 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340235.547 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539340235.548 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539340235.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.548 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.548 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.548 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.548 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.549 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.549 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.549 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.550 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.550 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.550 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.550 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1539340235.550 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2 2 1 1)
1539340235.550 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1539340235.550 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1539340235.550 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.550 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.550 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.550 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.550 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.550 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.550 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.550 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.550 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.550 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.550 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.550 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.550 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.551 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.551 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.551 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.551 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.551 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539340235.551 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.553 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340235.553 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.553 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539340235.553 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.555 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340235.555 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340235.556 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539340235.556 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539340235.559 * [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
1539340235.559 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1539340235.559 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1539340235.560 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1539340235.560 * [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)))))
1539340235.560 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1539340235.560 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1539340235.560 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.560 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.560 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.560 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.560 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.560 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.560 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.560 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.561 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.561 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.561 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.561 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.561 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.561 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.561 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.561 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.561 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.561 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.561 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.561 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.561 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340235.561 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1539340235.562 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1539340235.562 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.562 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.562 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.562 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.562 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.562 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.563 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.563 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.563 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.563 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.564 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.564 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.564 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.564 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1539340235.564 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1539340235.564 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1539340235.564 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.564 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.564 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.564 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.564 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.564 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.564 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.564 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.564 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.564 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.565 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.565 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.565 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.565 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.565 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.565 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.565 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.565 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.565 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.565 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.565 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.565 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.565 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.565 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.565 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340235.566 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539340235.566 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539340235.566 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.566 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.566 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.566 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.566 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.566 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.567 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.568 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.568 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.568 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.568 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1539340235.568 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1539340235.568 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1539340235.568 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1539340235.568 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.568 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.568 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.568 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.568 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.568 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.568 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.569 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.569 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1539340235.569 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.569 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.569 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539340235.569 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.569 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.569 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.569 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539340235.569 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.569 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539340235.569 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.571 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539340235.571 * [misc]backup-simplify:  Simplify (- 1) into -1
1539340235.571 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539340235.571 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.573 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539340235.573 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539340235.574 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539340235.574 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539340235.577 * [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
1539340235.577 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1539340235.578 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1539340235.578 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1539340235.578 * [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)))))
1539340235.578 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1539340235.578 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1539340235.578 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.578 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.578 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.578 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.578 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.578 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.578 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.578 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.579 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.579 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.579 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1539340235.579 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.579 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.579 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539340235.579 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539340235.579 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.579 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.579 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.579 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539340235.579 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539340235.579 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1539340235.579 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1539340235.579 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1539340235.579 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.580 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.580 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.580 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.580 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.580 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.581 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.581 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.581 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.581 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.581 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1539340235.581 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1539340235.581 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1539340235.581 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.581 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.581 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.581 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.581 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.581 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.581 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.581 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.581 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.581 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of 1 in x
1539340235.581 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.581 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539340235.581 * [misc]taylor:  Taking taylor expansion of -1 in x
1539340235.581 * [misc]backup-simplify:  Simplify -1 into -1
1539340235.581 * [misc]taylor:  Taking taylor expansion of x in x
1539340235.581 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.581 * [misc]backup-simplify:  Simplify 1 into 1
1539340235.582 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539340235.582 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539340235.582 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539340235.582 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539340235.582 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539340235.582 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.582 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.582 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.582 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.582 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.583 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.583 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.583 * [misc]backup-simplify:  Simplify (- 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539340235.583 * [misc]backup-simplify:  Simplify 0 into 0
1539340235.583 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1539340235.583 * * * [misc]progress:  simplifying candidates
1539340235.583 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (log (/ (exp (* 1 1)) (exp (* (exp x) 1)))))))))))>
1539340235.584 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1539340235.584 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340235.586 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340235.588 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340235.591 * * [misc]simplify:  iters left: 3 (34 enodes)
1539340235.594 * * [misc]simplify:  iters left: 2 (41 enodes)
1539340235.598 * * [misc]simplify:  iters left: 1 (45 enodes)
1539340235.603 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1539340235.603 * [misc]simplify:  Simplified (2 1 2 2 2 2 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (log (exp (- 1 (exp x)))))))))))
1539340235.603 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (pow (- (* 1 1) (* (exp x) 1)) 1))))))))>
1539340235.603 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (exp (log (- (* 1 1) (* (exp x) 1)))))))))))>
1539340235.603 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (log (exp (- (* 1 1) (* (exp x) 1)))))))))))>
1539340235.603 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1)))))))))))>
1539340235.603 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1)))))))))))>
1539340235.603 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1)))))))))))>
1539340235.603 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (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))))))))))))>
1539340235.603 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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))))))))))>
1539340235.603 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (* 1 (- (* 1 1) (* (exp x) 1))))))))))>
1539340235.603 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1))))))))))>
1539340235.603 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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))))))))))>
1539340235.603 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.603 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.604 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.605 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.606 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.606 * [misc]simplify:  Simplified (2 1 2 2 2 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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))))))))))
1539340235.606 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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))))))))))>
1539340235.606 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (log (/ (exp (* 1 1)) (exp (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.606 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1539340235.606 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340235.609 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340235.612 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340235.615 * * [misc]simplify:  iters left: 3 (34 enodes)
1539340235.618 * * [misc]simplify:  iters left: 2 (41 enodes)
1539340235.621 * * [misc]simplify:  iters left: 1 (45 enodes)
1539340235.626 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1539340235.626 * [misc]simplify:  Simplified (2 1 2 2 2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (log (exp (- 1 (exp x))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340235.626 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (pow (- (* 1 1) (* (exp x) 1)) 1)) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (exp (log (- (* 1 1) (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (log (exp (- (* 1 1) (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.626 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (/ (- (pow (* 1 1) 3) (pow (* (exp x) 1) 3)) (+ (* (* 1 1) (* 1 1)) (+ (* (* (exp x) 1) (* (exp x) 1)) (* (* 1 1) (* (exp x) 1)))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.627 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340235.627 * * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (* 1 (- (* 1 1) (* (exp x) 1)))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.627 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1)))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.627 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (* 1 (- 1 (exp x)))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.627 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.627 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.627 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.628 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.629 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.629 * [misc]simplify:  Simplified (2 1 2 2 2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (* 1 (- 1 (exp x)))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340235.629 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340235.630 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (log (/ (exp (* 1 1)) (exp (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.630 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1539340235.630 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340235.632 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340235.634 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340235.637 * * [misc]simplify:  iters left: 3 (34 enodes)
1539340235.640 * * [misc]simplify:  iters left: 2 (41 enodes)
1539340235.644 * * [misc]simplify:  iters left: 1 (45 enodes)
1539340235.648 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1539340235.648 * [misc]simplify:  Simplified (2 1 2 2 2 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (log (exp (- 1 (exp x)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340235.648 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (pow (- (* 1 1) (* (exp x) 1)) 1) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (exp (log (- (* 1 1) (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (log (exp (- (* 1 1) (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1)))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (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))))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340235.649 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (* 1 (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (* 1 (- 1 (exp x))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.649 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.649 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.650 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.651 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.653 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.653 * [misc]simplify:  Simplified (2 1 2 2 2 1 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (* 1 (- 1 (exp x))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340235.653 * * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>
1539340235.653 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (log (/ (exp (* 1 1)) (exp (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.653 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1539340235.653 * * [misc]simplify:  iters left: 6 (8 enodes)
1539340235.657 * * [misc]simplify:  iters left: 5 (17 enodes)
1539340235.661 * * [misc]simplify:  iters left: 4 (25 enodes)
1539340235.667 * * [misc]simplify:  iters left: 3 (34 enodes)
1539340235.674 * * [misc]simplify:  iters left: 2 (41 enodes)
1539340235.681 * * [misc]simplify:  iters left: 1 (45 enodes)
1539340235.690 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1539340235.690 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (log (exp (- 1 (exp x)))) 3)) (+ (* (* (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)))))))))
1539340235.690 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (pow (- (* 1 1) (* (exp x) 1)) 1) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (exp (log (- (* 1 1) (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (log (exp (- (* 1 1) (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1)))) 3)) (+ (* (* (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)))))))))>
1539340235.690 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (/ (- (pow (* 1 1) 3) (pow (* (exp x) 1) 3)) (+ (* (* 1 1) (* 1 1)) (+ (* (* (exp x) 1) (* (exp x) 1)) (* (* 1 1) (* (exp x) 1))))) 3)) (+ (* (* (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)))))))))>
1539340235.691 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (+ (* 1 1) (- (* (exp x) 1))) 3)) (+ (* (* (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)))))))))>
1539340235.691 * * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (* 1 (- (* 1 1) (* (exp x) 1))) 3)) (+ (* (* (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)))))))))>
1539340235.691 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1))) 3)) (+ (* (* (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)))))))))>
1539340235.691 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (* 1 (- 1 (exp x))) 3)) (+ (* (* (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)))))))))>
1539340235.691 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.691 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.692 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.694 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.696 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.696 * [misc]simplify:  Simplified (2 1 2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (* 1 (- 1 (exp x))) 3)) (+ (* (* (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)))))))))
1539340235.696 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (+ (* 1 1) (- (* (exp x) 1))) 3)) (+ (* (* (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)))))))))>
1539340235.697 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))))))))))>
1539340235.697 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1539340235.697 * * [misc]simplify:  iters left: 6 (12 enodes)
1539340235.701 * * [misc]simplify:  iters left: 5 (24 enodes)
1539340235.709 * * [misc]simplify:  iters left: 4 (51 enodes)
1539340235.730 * * [misc]simplify:  iters left: 3 (132 enodes)
1539340235.781 * * [misc]simplify:  iters left: 2 (255 enodes)
1539340235.896 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1539340235.896 * [misc]simplify:  Simplified (2 1 2 2 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* (* x x) (- -1/2 (* x 1/6))) x))))))))
1539340235.896 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- 1 (exp x)))))))))>
1539340235.896 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.896 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.897 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.898 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.899 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.899 * [misc]simplify:  Simplified (2 1 2 2 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- 1 (exp x)))))))))
1539340235.899 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- 1 (exp x)))))))))>
1539340235.899 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340235.899 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340235.899 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340235.900 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340235.901 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340235.901 * [misc]simplify:  Simplified (2 1 2 2 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- 1 (exp x)))))))))
1539340235.901 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340235.902 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1539340235.902 * * [misc]simplify:  iters left: 6 (12 enodes)
1539340235.903 * * [misc]simplify:  iters left: 5 (24 enodes)
1539340235.909 * * [misc]simplify:  iters left: 4 (51 enodes)
1539340235.920 * * [misc]simplify:  iters left: 3 (132 enodes)
1539340235.966 * * [misc]simplify:  iters left: 2 (255 enodes)
1539340236.095 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1539340236.095 * [misc]simplify:  Simplified (2 1 2 2 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* (* x x) (- -1/2 (* x 1/6))) x)) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.095 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- 1 (exp x))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340236.095 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.095 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.099 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.101 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.103 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.103 * [misc]simplify:  Simplified (2 1 2 2 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- 1 (exp x))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.103 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- 1 (exp x))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340236.103 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.103 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.105 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.106 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.108 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.108 * [misc]simplify:  Simplified (2 1 2 2 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- 1 (exp x))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.109 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340236.109 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1539340236.109 * * [misc]simplify:  iters left: 6 (12 enodes)
1539340236.113 * * [misc]simplify:  iters left: 5 (24 enodes)
1539340236.120 * * [misc]simplify:  iters left: 4 (51 enodes)
1539340236.138 * * [misc]simplify:  iters left: 3 (132 enodes)
1539340236.189 * * [misc]simplify:  iters left: 2 (255 enodes)
1539340236.330 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1539340236.330 * [misc]simplify:  Simplified (2 1 2 2 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* (* x x) (- -1/2 (* x 1/6))) x) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.330 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- 1 (exp x)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340236.330 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.330 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.331 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.332 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.334 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.334 * [misc]simplify:  Simplified (2 1 2 2 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- 1 (exp x)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.334 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- 1 (exp x)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))>
1539340236.334 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.335 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.336 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.338 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.340 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.340 * [misc]simplify:  Simplified (2 1 2 2 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- 1 (exp x)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))))
1539340236.340 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) 3)) (+ (* (* (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)))))))))>
1539340236.340 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1539340236.340 * * [misc]simplify:  iters left: 6 (12 enodes)
1539340236.342 * * [misc]simplify:  iters left: 5 (24 enodes)
1539340236.346 * * [misc]simplify:  iters left: 4 (51 enodes)
1539340236.356 * * [misc]simplify:  iters left: 3 (132 enodes)
1539340236.388 * * [misc]simplify:  iters left: 2 (255 enodes)
1539340236.492 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1539340236.493 * [misc]simplify:  Simplified (2 1 2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (* x x) (- -1/2 (* x 1/6))) x) 3)) (+ (* (* (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)))))))))
1539340236.493 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- 1 (exp x)) 3)) (+ (* (* (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)))))))))>
1539340236.493 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.493 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.493 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.494 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.495 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.495 * [misc]simplify:  Simplified (2 1 2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- 1 (exp x)) 3)) (+ (* (* (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)))))))))
1539340236.495 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- 1 (exp x)) 3)) (+ (* (* (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)))))))))>
1539340236.496 * [enter]simplify:  Simplifying (- 1 (exp x))
1539340236.496 * * [misc]simplify:  iters left: 3 (4 enodes)
1539340236.496 * * [misc]simplify:  iters left: 2 (8 enodes)
1539340236.497 * * [misc]simplify:  iters left: 1 (9 enodes)
1539340236.498 * [exit]simplify:  Simplified to (- 1 (exp x))
1539340236.498 * [misc]simplify:  Simplified (2 1 2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- 1 (exp x)) 3)) (+ (* (* (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)))))))))
1539340236.498 * * * [misc]progress:  adding candidates to table
1539340237.650 * [misc]progress:  [Phase 3 of 3] Extracting.
1539340237.651 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>)
1539340237.653 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1539340237.653 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (/ (+ (pow (* (exp x) (exp x)) 3) (pow (- (* 1 1) (* (exp x) 1)) 3)) (+ (* (* (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)))))))))>)
1539340237.687 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1539340237.688 * [enter]simplify:  Simplifying (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
1539340237.688 * * [misc]simplify:  iters left: 6 (14 enodes)
1539340237.689 * * [misc]simplify:  iters left: 5 (20 enodes)
1539340237.690 * [exit]simplify:  Simplified to (sqrt (/ (+ (pow (exp x) 3) 1) (+ (* (exp x) (exp x)) (- 1 (exp x)))))
1539340237.690 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1539340237.710 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1539340237.722 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.723 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.724 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1539340237.733 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.738 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.741 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1539340237.750 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.757 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.764 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1539340237.773 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.785 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.798 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1539340237.807 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.832 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.865 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1539340237.870 * * * * [misc]points:  Setting MPFR precision to 1088
1539340237.906 * * * * [misc]points:  Setting MPFR precision to 1344
1539340237.937 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1539340237.942 * * * * [misc]points:  Setting MPFR precision to 1088
1539340238.011 * * * * [misc]points:  Setting MPFR precision to 1344
1539340238.104 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1539340238.109 * * * * [misc]points:  Setting MPFR precision to 1088
1539340238.282 * * * * [misc]points:  Setting MPFR precision to 1344
1539340238.560 * * * * [misc]points:  Computing exacts for 8000 points
1539340238.569 * * * * [misc]points:  Setting MPFR precision to 1088
1539340239.780 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340240.494 * * * * [misc]points:  Sampling 2000 additional inputs, on iter 1 have 6000 / 8000
1539340240.504 * * * * [misc]points:  Computing exacts on every 125 of 2000 points to ramp up precision
1539340240.544 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.550 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.552 * * * * [misc]points:  Computing exacts on every 62 of 2000 points to ramp up precision
1539340240.562 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.566 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.570 * * * * [misc]points:  Computing exacts on every 31 of 2000 points to ramp up precision
1539340240.580 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.585 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.592 * * * * [misc]points:  Computing exacts on every 15 of 2000 points to ramp up precision
1539340240.602 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.613 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.619 * * * * [misc]points:  Computing exacts on every 7 of 2000 points to ramp up precision
1539340240.624 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.646 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.659 * * * * [misc]points:  Computing exacts on every 3 of 2000 points to ramp up precision
1539340240.664 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.691 * * * * [misc]points:  Setting MPFR precision to 1344
1539340240.722 * * * * [misc]points:  Computing exacts for 2000 points
1539340240.731 * * * * [misc]points:  Setting MPFR precision to 1088
1539340240.997 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.159 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.160 * * * * [misc]points:  Sampling 516 additional inputs, on iter 2 have 7484 / 8000
1539340241.161 * * * * [misc]points:  Computing exacts on every 32 of 516 points to ramp up precision
1539340241.209 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.211 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.214 * * * * [misc]points:  Computing exacts on every 16 of 516 points to ramp up precision
1539340241.227 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.230 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.234 * * * * [misc]points:  Computing exacts on every 8 of 516 points to ramp up precision
1539340241.243 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.249 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.255 * * * * [misc]points:  Computing exacts on every 4 of 516 points to ramp up precision
1539340241.265 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.278 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.291 * * * * [misc]points:  Computing exacts on every 2 of 516 points to ramp up precision
1539340241.300 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.317 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.336 * * * * [misc]points:  Computing exacts for 516 points
1539340241.364 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.420 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.470 * * * * [misc]points:  Sampling 129 additional inputs, on iter 3 have 7871 / 8000
1539340241.471 * * * * [misc]points:  Computing exacts on every 8 of 129 points to ramp up precision
1539340241.475 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.476 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.477 * * * * [misc]points:  Computing exacts on every 4 of 129 points to ramp up precision
1539340241.481 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.484 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.486 * * * * [misc]points:  Computing exacts on every 2 of 129 points to ramp up precision
1539340241.494 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.498 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.516 * * * * [misc]points:  Computing exacts for 129 points
1539340241.520 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.528 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.536 * * * * [misc]points:  Sampling 29 additional inputs, on iter 4 have 7971 / 8000
1539340241.536 * * * * [misc]points:  Computing exacts for 29 points
1539340241.541 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.542 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.544 * * * * [misc]points:  Sampling 5 additional inputs, on iter 5 have 7995 / 8000
1539340241.544 * * * * [misc]points:  Computing exacts for 5 points
1539340241.549 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.549 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.549 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.550 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7999 / 8000
1539340241.550 * * * * [misc]points:  Computing exacts for 4 points
1539340241.554 * * * * [misc]points:  Setting MPFR precision to 1088
1539340241.554 * * * * [misc]points:  Setting MPFR precision to 1344
1539340241.555 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539340241.555 * * * * [exit]points:  Sampled 8001 points with exact outputs
1539340241.916 * [misc]regime-testing:  Baseline error score: 0.046341499013961514
1539340241.916 * [misc]regime-testing:  End program error score: 0.046341499013961514
1539340241.919 * [misc]regime-testing:  Oracle error score: 0.04496649901396152