1538425339.716 * [misc]progress:  [Phase 1 of 3] Setting up.
1538425339.716 * * * [misc]progress:  [1/2] Preparing points
1538425339.717 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538425340.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425340.129 * * * * [misc]points:  Sampling 65 additional inputs, on iter 1 have 191 / 256
1538425340.235 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425340.236 * * * * [misc]points:  Sampling 15 additional inputs, on iter 2 have 241 / 256
1538425340.254 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425340.254 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 252 / 256
1538425340.257 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425340.257 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 255 / 256
1538425340.261 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425340.261 * * * * [exit]points:  Sampled 258 points with exact outputs
1538425340.261 * * * [misc]progress:  [2/2] Setting up program.
1538425340.267 * [misc]progress:  [Phase 2 of 3] Improving.
1538425340.268 * [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
1538425340.269 * * [misc]simplify:  iters left: 6 (10 enodes)
1538425340.276 * * [misc]simplify:  iters left: 5 (22 enodes)
1538425340.279 * * [misc]simplify:  iters left: 4 (27 enodes)
1538425340.285 * * [misc]simplify:  iters left: 3 (36 enodes)
1538425340.291 * * [misc]simplify:  iters left: 2 (53 enodes)
1538425340.305 * * [misc]simplify:  iters left: 1 (84 enodes)
1538425340.362 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1538425340.380 * * [misc]progress:  iteration 1 / 4
1538425340.380 * * * [misc]progress:  picking best candidate
1538425340.384 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1538425340.384 * * * [misc]progress:  localizing error
1538425340.395 * * * [misc]progress:  generating rewritten candidates
1538425340.395 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1538425340.409 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1538425340.440 * * * [misc]progress:  generating series expansions
1538425340.440 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1538425340.446 * [misc]backup-simplify:  Simplify (+ (exp x) 1) into (+ (exp x) 1)
1538425340.446 * [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
1538425340.447 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1538425340.447 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425340.447 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.447 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.447 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.447 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425340.447 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.447 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.448 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1538425340.448 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425340.448 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.448 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.448 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.448 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425340.448 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.448 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.449 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538425340.449 * [misc]backup-simplify:  Simplify 2 into 2
1538425340.454 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425340.455 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538425340.455 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.457 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425340.457 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538425340.457 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538425340.458 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
1538425340.459 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1538425340.459 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
1538425340.459 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.459 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.459 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.459 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425340.459 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425340.459 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.459 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.459 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425340.459 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.459 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.459 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.460 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425340.460 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425340.460 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.460 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.460 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1538425340.460 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1538425340.460 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.460 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.460 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.461 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.461 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.461 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.461 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.461 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.462 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
1538425340.462 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
1538425340.462 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
1538425340.462 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1538425340.462 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425340.462 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425340.462 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425340.462 * [misc]backup-simplify:  Simplify -1 into -1
1538425340.462 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.462 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.462 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.462 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425340.462 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425340.462 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.462 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.462 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1538425340.462 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425340.462 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425340.463 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425340.463 * [misc]backup-simplify:  Simplify -1 into -1
1538425340.463 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.463 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.463 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.463 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425340.463 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425340.463 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.463 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.463 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1538425340.463 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1538425340.463 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.463 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.464 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.464 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.464 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.464 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.464 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.465 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
1538425340.465 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1538425340.465 * [misc]backup-simplify:  Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
1538425340.465 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
1538425340.465 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1538425340.465 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1538425340.465 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425340.465 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.465 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.465 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.465 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425340.465 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.465 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.465 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538425340.466 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1538425340.467 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425340.467 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538425340.468 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1538425340.468 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1538425340.468 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1538425340.468 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425340.468 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.468 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.468 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.468 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425340.468 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.468 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.468 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538425340.468 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1538425340.470 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425340.470 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538425340.470 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1538425340.471 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1538425340.471 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
1538425340.474 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425340.474 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538425340.477 * [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)))
1538425340.480 * [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)))
1538425340.484 * [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))))
1538425340.485 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1538425340.485 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
1538425340.485 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1538425340.485 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1538425340.485 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425340.485 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425340.485 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.485 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.485 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.485 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425340.485 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425340.485 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.485 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.485 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1538425340.486 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1538425340.486 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.486 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.486 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1538425340.486 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1538425340.486 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425340.486 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425340.486 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.486 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.486 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.486 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425340.486 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425340.486 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.486 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.487 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1538425340.487 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1538425340.487 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.487 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.487 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1538425340.487 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.487 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.488 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.488 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.488 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.489 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.489 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.489 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.490 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.490 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.490 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.491 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.491 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.491 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.493 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1538425340.493 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.493 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
1538425340.493 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1538425340.493 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
1538425340.493 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1538425340.493 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1538425340.493 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425340.493 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425340.493 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425340.493 * [misc]backup-simplify:  Simplify -1 into -1
1538425340.493 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.493 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.493 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.494 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425340.494 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425340.494 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.494 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.494 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1538425340.494 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1538425340.494 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.494 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1538425340.494 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1538425340.494 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425340.494 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425340.494 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425340.494 * [misc]backup-simplify:  Simplify -1 into -1
1538425340.494 * [misc]taylor:  Taking taylor expansion of x in x
1538425340.494 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.494 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.495 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425340.495 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425340.495 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425340.495 * [misc]backup-simplify:  Simplify 1 into 1
1538425340.495 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1538425340.495 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1538425340.495 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.495 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.495 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1538425340.496 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.496 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.497 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.497 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.497 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.497 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.497 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.497 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.498 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.498 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.499 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.499 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.499 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.499 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425340.501 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1538425340.501 * [misc]backup-simplify:  Simplify 0 into 0
1538425340.501 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
1538425340.501 * * * [misc]progress:  simplifying candidates
1538425340.501 * * * * [misc]progress:  [ 1 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
1538425340.502 * * * * [misc]progress:  [ 2 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
1538425340.502 * * * * [misc]progress:  [ 3 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
1538425340.502 * * * * [misc]progress:  [ 4 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
1538425340.502 * * * * [misc]progress:  [ 5 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
1538425340.502 * * * * [misc]progress:  [ 6 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
1538425340.502 * * * * [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))))))>
1538425340.502 * * * * [misc]progress:  [ 8 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
1538425340.502 * * * * [misc]progress:  [ 9 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
1538425340.502 * * * * [misc]progress:  [ 10 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
1538425340.502 * * * * [misc]progress:  [ 11 / 30 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
1538425340.502 * * * * [misc]progress:  [ 12 / 30 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
1538425340.502 * * * * [misc]progress:  [ 13 / 30 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
1538425340.502 * * * * [misc]progress:  [ 14 / 30 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
1538425340.503 * * * * [misc]progress:  [ 15 / 30 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
1538425340.503 * * * * [misc]progress:  [ 16 / 30 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
1538425340.503 * * * * [misc]progress:  [ 17 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
1538425340.503 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
1538425340.504 * * [misc]simplify:  iters left: 6 (7 enodes)
1538425340.507 * * [misc]simplify:  iters left: 5 (11 enodes)
1538425340.510 * [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
1538425340.510 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1)))))
1538425340.511 * * * * [misc]progress:  [ 18 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1538425340.511 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
1538425340.512 * * [misc]simplify:  iters left: 5 (6 enodes)
1538425340.514 * * [misc]simplify:  iters left: 4 (9 enodes)
1538425340.516 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
1538425340.516 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))
1538425340.516 * * * * [misc]progress:  [ 19 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
1538425340.516 * [enter]simplify:  Simplifying (sqrt 1)
1538425340.516 * * [misc]simplify:  iters left: 1 (2 enodes)
1538425340.517 * [exit]simplify:  Simplified to 1
1538425340.517 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1))))
1538425340.517 * * * * [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))))))>
1538425340.517 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
1538425340.518 * * [misc]simplify:  iters left: 5 (8 enodes)
1538425340.520 * * [misc]simplify:  iters left: 4 (16 enodes)
1538425340.522 * * [misc]simplify:  iters left: 3 (18 enodes)
1538425340.525 * * [misc]simplify:  iters left: 2 (22 enodes)
1538425340.528 * [exit]simplify:  Simplified to (sqrt (+ 1 (pow (exp x) 3)))
1538425340.528 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (+ 1 (pow (exp x) 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1538425340.528 * * * * [misc]progress:  [ 21 / 30 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
1538425340.528 * [enter]simplify:  Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1)))
1538425340.529 * * [misc]simplify:  iters left: 6 (7 enodes)
1538425340.531 * * [misc]simplify:  iters left: 5 (14 enodes)
1538425340.533 * * [misc]simplify:  iters left: 4 (17 enodes)
1538425340.536 * * [misc]simplify:  iters left: 3 (20 enodes)
1538425340.540 * * [misc]simplify:  iters left: 2 (36 enodes)
1538425340.556 * * [misc]simplify:  iters left: 1 (61 enodes)
1538425340.578 * [exit]simplify:  Simplified to (sqrt (+ -1 (exp (+ x x))))
1538425340.578 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (+ -1 (exp (+ x x)))) (sqrt (- (exp x) 1))))
1538425340.578 * * * * [misc]progress:  [ 22 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1538425340.578 * * * * [misc]progress:  [ 23 / 30 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
1538425340.579 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1538425340.579 * * [misc]simplify:  iters left: 4 (5 enodes)
1538425340.580 * * [misc]simplify:  iters left: 3 (8 enodes)
1538425340.581 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1538425340.581 * [misc]simplify:  Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1))))
1538425340.581 * * * * [misc]progress:  [ 24 / 30 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
1538425340.581 * * * * [misc]progress:  [ 25 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
1538425340.581 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (pow x 2)) 2))
1538425340.582 * * [misc]simplify:  iters left: 6 (7 enodes)
1538425340.583 * * [misc]simplify:  iters left: 5 (13 enodes)
1538425340.586 * * [misc]simplify:  iters left: 4 (23 enodes)
1538425340.590 * * [misc]simplify:  iters left: 3 (28 enodes)
1538425340.594 * * [misc]simplify:  iters left: 2 (32 enodes)
1538425340.599 * * [misc]simplify:  iters left: 1 (38 enodes)
1538425340.606 * [exit]simplify:  Simplified to (+ (+ x 2) (* (* x x) 1/2))
1538425340.606 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (+ x 2) (* (* x x) 1/2))))
1538425340.606 * * * * [misc]progress:  [ 26 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1538425340.606 * [enter]simplify:  Simplifying (+ (exp x) 1)
1538425340.606 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425340.607 * * [misc]simplify:  iters left: 2 (7 enodes)
1538425340.608 * [exit]simplify:  Simplified to (+ (exp x) 1)
1538425340.608 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1538425340.608 * * * * [misc]progress:  [ 27 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1538425340.608 * [enter]simplify:  Simplifying (+ (exp x) 1)
1538425340.608 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425340.609 * * [misc]simplify:  iters left: 2 (7 enodes)
1538425340.610 * [exit]simplify:  Simplified to (+ (exp x) 1)
1538425340.610 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1538425340.610 * * * * [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)))))>
1538425340.610 * [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))))
1538425340.611 * * [misc]simplify:  iters left: 6 (18 enodes)
1538425340.618 * * [misc]simplify:  iters left: 5 (39 enodes)
1538425340.647 * * [misc]simplify:  iters left: 4 (107 enodes)
1538425340.687 * * [misc]simplify:  iters left: 3 (255 enodes)
1538425340.880 * [exit]simplify:  Simplified to (+ (+ (/ (* x 1/2) (sqrt 2)) (sqrt 2)) (* (/ (* x x) (sqrt 2)) 3/16))
1538425340.880 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ (* x 1/2) (sqrt 2)) (sqrt 2)) (* (/ (* x x) (sqrt 2)) 3/16)))
1538425340.880 * * * * [misc]progress:  [ 29 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1538425340.880 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1538425340.881 * * [misc]simplify:  iters left: 4 (5 enodes)
1538425340.883 * * [misc]simplify:  iters left: 3 (8 enodes)
1538425340.885 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1538425340.885 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1538425340.885 * * * * [misc]progress:  [ 30 / 30 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1538425340.886 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1538425340.886 * * [misc]simplify:  iters left: 4 (5 enodes)
1538425340.888 * * [misc]simplify:  iters left: 3 (8 enodes)
1538425340.890 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1538425340.890 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1538425340.890 * * * [misc]progress:  adding candidates to table
1538425341.295 * * [misc]progress:  iteration 2 / 4
1538425341.295 * * * [misc]progress:  picking best candidate
1538425341.305 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.305 * * * [misc]progress:  localizing error
1538425341.342 * * * [misc]progress:  generating rewritten candidates
1538425341.342 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2)
1538425341.375 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1)
1538425341.397 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1538425341.401 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1538425341.510 * * * [misc]progress:  generating series expansions
1538425341.510 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2)
1538425341.511 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1538425341.511 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1538425341.511 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1538425341.511 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.511 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.511 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.511 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.511 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.511 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.511 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.511 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1538425341.511 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.511 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.511 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.511 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.511 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.511 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.511 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.512 * [misc]backup-simplify:  Simplify (- 1) into -1
1538425341.512 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538425341.512 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.513 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425341.513 * [misc]backup-simplify:  Simplify (- 1) into -1
1538425341.514 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538425341.514 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.516 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425341.520 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538425341.520 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538425341.520 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538425341.524 * [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
1538425341.524 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1538425341.524 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1538425341.524 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1538425341.526 * [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)))))
1538425341.526 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1538425341.526 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1538425341.526 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1538425341.526 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.527 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.527 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.527 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.527 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.527 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.527 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.527 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.527 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1538425341.527 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.527 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.527 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.527 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.527 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.527 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.527 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.527 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.528 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1538425341.528 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1538425341.528 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1538425341.528 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.528 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.528 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.529 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.529 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.530 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.530 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.530 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.530 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.530 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.530 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1538425341.531 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1538425341.531 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1538425341.531 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1538425341.531 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.531 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.531 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.531 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.531 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.531 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.531 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.531 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.531 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.531 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.531 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.531 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1538425341.531 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.531 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.531 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.531 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.532 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.532 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.532 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.532 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.532 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.532 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.532 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.532 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1538425341.532 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1538425341.532 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1538425341.532 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.533 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.533 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.533 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.533 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.534 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.534 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.534 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.535 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1538425341.535 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1)
1538425341.535 * [misc]backup-simplify:  Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
1538425341.535 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 2) in (x) around 0
1538425341.535 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1538425341.535 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.535 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.535 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.535 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.535 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.535 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1538425341.535 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.535 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.535 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.535 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.536 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.536 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538425341.536 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.537 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425341.537 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1538425341.537 * [misc]backup-simplify:  Simplify 2 into 2
1538425341.538 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425341.538 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1538425341.538 * [misc]backup-simplify:  Simplify 2 into 2
1538425341.538 * [misc]backup-simplify:  Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1538425341.539 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1538425341.539 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
1538425341.539 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.539 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.539 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.539 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.539 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.539 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.539 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.539 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.539 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.539 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.539 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.539 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1538425341.540 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
1538425341.540 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1538425341.540 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.540 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1538425341.540 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.540 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1538425341.540 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.541 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1538425341.541 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.541 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1538425341.541 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.542 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1538425341.542 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.542 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
1538425341.542 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
1538425341.542 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
1538425341.542 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1538425341.542 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.542 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.542 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.542 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.542 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.542 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.542 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.543 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.543 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.543 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1538425341.543 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.543 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.543 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.543 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.543 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.543 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.543 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.543 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.543 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.543 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1538425341.543 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
1538425341.543 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1538425341.543 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.544 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1538425341.544 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.544 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1538425341.544 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.544 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1538425341.544 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.545 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1538425341.545 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.545 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1538425341.545 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.546 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
1538425341.546 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1538425341.546 * [misc]backup-simplify:  Simplify (pow (exp x) 3) into (pow (exp x) 3)
1538425341.546 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 3) in (x) around 0
1538425341.546 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1538425341.546 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.546 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.546 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.546 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.546 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.546 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1538425341.546 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.546 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.546 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.546 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.546 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.546 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538425341.547 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538425341.547 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.547 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425341.548 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1538425341.548 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1538425341.548 * [misc]backup-simplify:  Simplify 3 into 3
1538425341.549 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425341.549 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1538425341.550 * [misc]backup-simplify:  Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
1538425341.550 * [misc]backup-simplify:  Simplify 9/2 into 9/2
1538425341.550 * [misc]backup-simplify:  Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1538425341.550 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1538425341.550 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
1538425341.550 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.550 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.550 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.550 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.550 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.550 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.550 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.550 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.550 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.550 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.550 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.551 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1538425341.551 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1538425341.551 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1538425341.551 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1538425341.552 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1538425341.552 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.552 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1538425341.552 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
1538425341.552 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.552 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1538425341.553 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
1538425341.553 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.553 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1538425341.554 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
1538425341.554 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.554 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1538425341.555 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
1538425341.555 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.556 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1538425341.556 * [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
1538425341.556 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.556 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
1538425341.557 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
1538425341.557 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
1538425341.557 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.557 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.557 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.557 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.557 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.557 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.557 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.557 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.557 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.557 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.557 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.557 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.557 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.557 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.557 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.558 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1538425341.558 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1538425341.558 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
1538425341.558 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1538425341.558 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1538425341.558 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.559 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1538425341.559 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
1538425341.559 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.559 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1538425341.560 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
1538425341.560 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.560 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1538425341.561 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
1538425341.561 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.561 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1538425341.562 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
1538425341.562 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.563 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1538425341.564 * [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
1538425341.564 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.564 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
1538425341.564 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1538425341.565 * [misc]backup-simplify:  Simplify (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) into (- (+ (pow (exp x) 2) 1) (exp x))
1538425341.565 * [misc]approximate:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in (x) around 0
1538425341.565 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.565 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.565 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.565 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.565 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.565 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.565 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.565 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.565 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.565 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.565 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.565 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.565 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.565 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.565 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.565 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.565 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.566 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1538425341.566 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.566 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.566 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.566 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538425341.566 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538425341.566 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538425341.566 * [misc]backup-simplify:  Simplify (- 1) into -1
1538425341.566 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1538425341.566 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.568 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425341.568 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1538425341.568 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1538425341.570 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538425341.570 * [misc]backup-simplify:  Simplify (- 1) into -1
1538425341.570 * [misc]backup-simplify:  Simplify (+ 2 -1) into 1
1538425341.570 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.573 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425341.573 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1538425341.573 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1538425341.576 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538425341.576 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538425341.576 * [misc]backup-simplify:  Simplify (+ 2 -1/2) into 3/2
1538425341.576 * [misc]backup-simplify:  Simplify 3/2 into 3/2
1538425341.576 * [misc]backup-simplify:  Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
1538425341.577 * [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)))
1538425341.577 * [misc]approximate:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in (x) around 0
1538425341.577 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1538425341.577 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1538425341.577 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1538425341.577 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.577 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.577 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.577 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.577 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.577 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.578 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.578 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.578 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.578 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.578 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.578 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.578 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.578 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.578 * [misc]taylor:  Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.578 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.578 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.578 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.578 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.578 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.579 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.579 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.579 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1538425341.579 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538425341.579 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.579 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.579 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.579 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538425341.579 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1538425341.579 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1538425341.580 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
1538425341.580 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1538425341.581 * [misc]backup-simplify:  Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1538425341.581 * [misc]backup-simplify:  Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
1538425341.581 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1538425341.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.582 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.582 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.582 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1538425341.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.583 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.583 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.583 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1538425341.583 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.584 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.584 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.584 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.584 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1538425341.585 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.585 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.585 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.585 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.586 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1538425341.586 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.586 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.586 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.586 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.587 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1538425341.587 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.588 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.588 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.588 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.589 * [misc]backup-simplify:  Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
1538425341.589 * [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)))
1538425341.589 * [misc]approximate:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in (x) around 0
1538425341.589 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1538425341.589 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1538425341.589 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.589 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.589 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.590 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.590 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.590 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.590 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.590 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.590 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.590 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.590 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.590 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.590 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.590 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.590 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.590 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.590 * [misc]taylor:  Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
1538425341.590 * [misc]taylor:  Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of 1 in x
1538425341.591 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.591 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.591 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.591 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.591 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.591 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.591 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.591 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.591 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538425341.591 * [misc]taylor:  Taking taylor expansion of -1 in x
1538425341.591 * [misc]backup-simplify:  Simplify -1 into -1
1538425341.591 * [misc]taylor:  Taking taylor expansion of x in x
1538425341.591 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.591 * [misc]backup-simplify:  Simplify 1 into 1
1538425341.591 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538425341.591 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1538425341.592 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1538425341.592 * [misc]backup-simplify:  Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
1538425341.592 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1538425341.593 * [misc]backup-simplify:  Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1538425341.594 * [misc]backup-simplify:  Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
1538425341.594 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1538425341.594 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.594 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.594 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.594 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.595 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1538425341.595 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.595 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.595 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.595 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.596 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1538425341.596 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.596 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.596 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.596 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.596 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1538425341.596 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.596 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.597 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.597 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.597 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1538425341.597 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.597 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.597 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.597 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.598 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1538425341.598 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.598 * [misc]backup-simplify:  Simplify (- 0) into 0
1538425341.598 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538425341.598 * [misc]backup-simplify:  Simplify 0 into 0
1538425341.599 * [misc]backup-simplify:  Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
1538425341.599 * * * [misc]progress:  simplifying candidates
1538425341.599 * * * * [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))))))))>
1538425341.599 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1538425341.599 * * [misc]simplify:  iters left: 6 (8 enodes)
1538425341.602 * * [misc]simplify:  iters left: 5 (17 enodes)
1538425341.606 * * [misc]simplify:  iters left: 4 (25 enodes)
1538425341.610 * * [misc]simplify:  iters left: 3 (34 enodes)
1538425341.614 * * [misc]simplify:  iters left: 2 (41 enodes)
1538425341.619 * * [misc]simplify:  iters left: 1 (45 enodes)
1538425341.625 * [exit]simplify:  Simplified to (exp (- 1 (exp x)))
1538425341.625 * [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))))))))
1538425341.625 * * * * [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)))))>
1538425341.625 * * * * [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))))))))>
1538425341.626 * * * * [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))))))))>
1538425341.626 * * * * [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))))))))>
1538425341.626 * * * * [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))))))))>
1538425341.626 * * * * [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))))))))>
1538425341.626 * * * * [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)))))))))>
1538425341.626 * * * * [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)))))))>
1538425341.626 * * * * [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)))))))>
1538425341.626 * * * * [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)))))))>
1538425341.626 * * * * [misc]progress:  [ 12 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))>
1538425341.626 * [enter]simplify:  Simplifying (- 1 (exp x))
1538425341.626 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425341.627 * * [misc]simplify:  iters left: 2 (8 enodes)
1538425341.628 * * [misc]simplify:  iters left: 1 (9 enodes)
1538425341.629 * [exit]simplify:  Simplified to (- 1 (exp x))
1538425341.629 * [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)))))))
1538425341.630 * * * * [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)))))))>
1538425341.630 * * * * [misc]progress:  [ 14 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.630 * [enter]simplify:  Simplifying (exp x)
1538425341.632 * * [misc]simplify:  iters left: 1 (2 enodes)
1538425341.632 * [exit]simplify:  Simplified to (exp x)
1538425341.632 * [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))))))
1538425341.632 * [enter]simplify:  Simplifying (+ 1 1)
1538425341.632 * * [misc]simplify:  iters left: 2 (2 enodes)
1538425341.633 * * [misc]simplify:  iters left: 1 (5 enodes)
1538425341.634 * [exit]simplify:  Simplified to 2
1538425341.634 * [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))))))
1538425341.634 * * * * [misc]progress:  [ 15 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1538425341.634 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1538425341.634 * * [misc]simplify:  iters left: 3 (3 enodes)
1538425341.635 * * [misc]simplify:  iters left: 2 (5 enodes)
1538425341.636 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425341.636 * [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))))))
1538425341.636 * * * * [misc]progress:  [ 16 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1538425341.636 * * * * [misc]progress:  [ 17 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.636 * [enter]simplify:  Simplifying (exp x)
1538425341.636 * * [misc]simplify:  iters left: 1 (2 enodes)
1538425341.637 * [exit]simplify:  Simplified to (exp x)
1538425341.637 * [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))))))
1538425341.637 * * * * [misc]progress:  [ 18 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1538425341.637 * * * * [misc]progress:  [ 19 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.637 * [enter]simplify:  Simplifying (+ x x)
1538425341.637 * * [misc]simplify:  iters left: 2 (2 enodes)
1538425341.637 * [exit]simplify:  Simplified to (+ x x)
1538425341.637 * [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))))))
1538425341.637 * * * * [misc]progress:  [ 20 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (log (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1538425341.637 * * * * [misc]progress:  [ 21 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (log (exp (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1538425341.637 * * * * [misc]progress:  [ 22 / 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))))))>
1538425341.638 * [enter]simplify:  Simplifying (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
1538425341.638 * * [misc]simplify:  iters left: 6 (5 enodes)
1538425341.640 * * [misc]simplify:  iters left: 5 (12 enodes)
1538425341.643 * * [misc]simplify:  iters left: 4 (24 enodes)
1538425341.650 * * [misc]simplify:  iters left: 3 (56 enodes)
1538425341.664 * * [misc]simplify:  iters left: 2 (104 enodes)
1538425341.688 * * [misc]simplify:  iters left: 1 (107 enodes)
1538425341.701 * [exit]simplify:  Simplified to (pow (exp x) 6)
1538425341.701 * [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))))))
1538425341.701 * * * * [misc]progress:  [ 23 / 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))))))>
1538425341.701 * * * * [misc]progress:  [ 24 / 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))))))>
1538425341.701 * * * * [misc]progress:  [ 25 / 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))))))>
1538425341.701 * * * * [misc]progress:  [ 26 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1538425341.701 * * * * [misc]progress:  [ 27 / 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))))))>
1538425341.701 * [enter]simplify:  Simplifying (cbrt (exp x))
1538425341.702 * * [misc]simplify:  iters left: 2 (3 enodes)
1538425341.703 * [exit]simplify:  Simplified to (cbrt (exp x))
1538425341.703 * [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))))))
1538425341.703 * * * * [misc]progress:  [ 28 / 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))))))>
1538425341.703 * [enter]simplify:  Simplifying (sqrt (exp x))
1538425341.704 * * [misc]simplify:  iters left: 2 (3 enodes)
1538425341.705 * [exit]simplify:  Simplified to (sqrt (exp x))
1538425341.705 * [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))))))
1538425341.705 * * * * [misc]progress:  [ 29 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.705 * [enter]simplify:  Simplifying (exp x)
1538425341.705 * * [misc]simplify:  iters left: 1 (2 enodes)
1538425341.706 * [exit]simplify:  Simplified to (exp x)
1538425341.706 * [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))))))
1538425341.706 * * * * [misc]progress:  [ 30 / 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))))))>
1538425341.706 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1538425341.707 * * [misc]simplify:  iters left: 4 (4 enodes)
1538425341.708 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1538425341.708 * [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))))))
1538425341.708 * * * * [misc]progress:  [ 31 / 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))))))>
1538425341.709 * [enter]simplify:  Simplifying (sqrt (exp x))
1538425341.709 * * [misc]simplify:  iters left: 2 (3 enodes)
1538425341.710 * [exit]simplify:  Simplified to (sqrt (exp x))
1538425341.710 * [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))))))
1538425341.710 * * * * [misc]progress:  [ 32 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1538425341.710 * * * * [misc]progress:  [ 33 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.710 * * * * [misc]progress:  [ 34 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* x 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.710 * [enter]simplify:  Simplifying (* x 3)
1538425341.710 * * [misc]simplify:  iters left: 2 (3 enodes)
1538425341.712 * * [misc]simplify:  iters left: 1 (4 enodes)
1538425341.713 * [exit]simplify:  Simplified to (* x 3)
1538425341.713 * [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))))))
1538425341.713 * * * * [misc]progress:  [ 35 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* (log (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.713 * * * * [misc]progress:  [ 36 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) (* 1 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.713 * [enter]simplify:  Simplifying (exp x)
1538425341.713 * * [misc]simplify:  iters left: 1 (2 enodes)
1538425341.714 * [exit]simplify:  Simplified to (exp x)
1538425341.714 * [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))))))
1538425341.714 * * * * [misc]progress:  [ 37 / 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))))))>
1538425341.714 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1538425341.715 * * [misc]simplify:  iters left: 5 (6 enodes)
1538425341.716 * * [misc]simplify:  iters left: 4 (11 enodes)
1538425341.719 * * [misc]simplify:  iters left: 3 (19 enodes)
1538425341.723 * * [misc]simplify:  iters left: 2 (27 enodes)
1538425341.728 * * [misc]simplify:  iters left: 1 (32 enodes)
1538425341.734 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425341.734 * [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))))))
1538425341.734 * * * * [misc]progress:  [ 38 / 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))))))>
1538425341.735 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1538425341.735 * * [misc]simplify:  iters left: 3 (5 enodes)
1538425341.736 * * [misc]simplify:  iters left: 2 (8 enodes)
1538425341.737 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1538425341.738 * [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))))))
1538425341.738 * * * * [misc]progress:  [ 39 / 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))))))>
1538425341.738 * [enter]simplify:  Simplifying (pow 1 3)
1538425341.738 * * [misc]simplify:  iters left: 1 (3 enodes)
1538425341.739 * [exit]simplify:  Simplified to 1
1538425341.739 * [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))))))
1538425341.739 * * * * [misc]progress:  [ 40 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.739 * * * * [misc]progress:  [ 41 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (pow (exp x) 3) 1) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.739 * * * * [misc]progress:  [ 42 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (log (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.739 * * * * [misc]progress:  [ 43 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log (exp (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.739 * * * * [misc]progress:  [ 44 / 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))))))>
1538425341.740 * * * * [misc]progress:  [ 45 / 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))))))>
1538425341.740 * * * * [misc]progress:  [ 46 / 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))))))>
1538425341.740 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1538425341.740 * * [misc]simplify:  iters left: 5 (6 enodes)
1538425341.741 * * [misc]simplify:  iters left: 4 (11 enodes)
1538425341.744 * * [misc]simplify:  iters left: 3 (19 enodes)
1538425341.749 * * [misc]simplify:  iters left: 2 (27 enodes)
1538425341.757 * * [misc]simplify:  iters left: 1 (32 enodes)
1538425341.766 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425341.766 * [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))))))
1538425341.766 * * * * [misc]progress:  [ 47 / 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))))))>
1538425341.767 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1538425341.767 * * [misc]simplify:  iters left: 3 (5 enodes)
1538425341.769 * * [misc]simplify:  iters left: 2 (8 enodes)
1538425341.773 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1538425341.773 * [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))))))
1538425341.773 * * * * [misc]progress:  [ 48 / 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))))))>
1538425341.773 * [enter]simplify:  Simplifying (pow 1 3)
1538425341.773 * * [misc]simplify:  iters left: 1 (3 enodes)
1538425341.776 * [exit]simplify:  Simplified to 1
1538425341.776 * [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))))))
1538425341.776 * * * * [misc]progress:  [ 49 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.776 * * * * [misc]progress:  [ 50 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.776 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1538425341.776 * * [misc]simplify:  iters left: 3 (3 enodes)
1538425341.778 * * [misc]simplify:  iters left: 2 (5 enodes)
1538425341.780 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425341.780 * [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))))))
1538425341.780 * * * * [misc]progress:  [ 51 / 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))))))>
1538425341.780 * * * * [misc]progress:  [ 52 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425341.780 * * * * [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))))))))>
1538425341.780 * [enter]simplify:  Simplifying (* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
1538425341.782 * * [misc]simplify:  iters left: 6 (11 enodes)
1538425341.789 * * [misc]simplify:  iters left: 5 (27 enodes)
1538425341.800 * * [misc]simplify:  iters left: 4 (49 enodes)
1538425341.810 * * [misc]simplify:  iters left: 3 (75 enodes)
1538425341.824 * * [misc]simplify:  iters left: 2 (107 enodes)
1538425341.858 * * [misc]simplify:  iters left: 1 (158 enodes)
1538425341.930 * [exit]simplify:  Simplified to (exp (- (* (exp x) (exp x)) (+ (exp x) -1)))
1538425341.930 * [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)))))))
1538425341.930 * * * * [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))))))))>
1538425341.930 * [enter]simplify:  Simplifying (* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
1538425341.931 * * [misc]simplify:  iters left: 6 (10 enodes)
1538425341.937 * * [misc]simplify:  iters left: 5 (26 enodes)
1538425341.943 * * [misc]simplify:  iters left: 4 (52 enodes)
1538425341.957 * * [misc]simplify:  iters left: 3 (89 enodes)
1538425341.977 * * [misc]simplify:  iters left: 2 (134 enodes)
1538425342.032 * * [misc]simplify:  iters left: 1 (194 enodes)
1538425342.134 * [exit]simplify:  Simplified to (exp (- (* (exp x) (exp x)) (+ -1 (exp x))))
1538425342.134 * [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))))))))
1538425342.134 * * * * [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))))>
1538425342.134 * * * * [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))))))))>
1538425342.134 * * * * [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))))))))>
1538425342.134 * * * * [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))))))))>
1538425342.134 * * * * [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))))))))>
1538425342.134 * * * * [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))))))))>
1538425342.134 * * * * [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)))))))))>
1538425342.135 * * * * [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)))))))>
1538425342.135 * * * * [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)))))))>
1538425342.135 * * * * [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))))))>
1538425342.135 * [enter]simplify:  Simplifying (- (* (exp x) 1))
1538425342.136 * * [misc]simplify:  iters left: 5 (5 enodes)
1538425342.139 * * [misc]simplify:  iters left: 4 (13 enodes)
1538425342.144 * * [misc]simplify:  iters left: 3 (17 enodes)
1538425342.150 * * [misc]simplify:  iters left: 2 (21 enodes)
1538425342.155 * [exit]simplify:  Simplified to (- (exp x))
1538425342.155 * [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))))))
1538425342.155 * * * * [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))))))>
1538425342.155 * [enter]simplify:  Simplifying (- (* (exp x) 1))
1538425342.155 * * [misc]simplify:  iters left: 5 (5 enodes)
1538425342.159 * * [misc]simplify:  iters left: 4 (13 enodes)
1538425342.164 * * [misc]simplify:  iters left: 3 (17 enodes)
1538425342.171 * * [misc]simplify:  iters left: 2 (21 enodes)
1538425342.175 * [exit]simplify:  Simplified to (- (exp x))
1538425342.175 * [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))))))
1538425342.175 * * * * [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)))))>
1538425342.176 * [enter]simplify:  Simplifying (* (exp x) 1)
1538425342.176 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425342.178 * * [misc]simplify:  iters left: 2 (7 enodes)
1538425342.181 * * [misc]simplify:  iters left: 1 (9 enodes)
1538425342.182 * [exit]simplify:  Simplified to (exp x)
1538425342.182 * [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)))))
1538425342.183 * * * * [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))))))>
1538425342.183 * * * * [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)))))))))>
1538425342.183 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1538425342.187 * * [misc]simplify:  iters left: 6 (12 enodes)
1538425342.193 * * [misc]simplify:  iters left: 5 (24 enodes)
1538425342.205 * * [misc]simplify:  iters left: 4 (51 enodes)
1538425342.237 * * [misc]simplify:  iters left: 3 (132 enodes)
1538425342.283 * * [misc]simplify:  iters left: 2 (255 enodes)
1538425342.458 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/6))) x)
1538425342.458 * [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)))))
1538425342.458 * * * * [misc]progress:  [ 69 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1538425342.459 * [enter]simplify:  Simplifying (- 1 (exp x))
1538425342.459 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425342.460 * * [misc]simplify:  iters left: 2 (8 enodes)
1538425342.461 * * [misc]simplify:  iters left: 1 (9 enodes)
1538425342.462 * [exit]simplify:  Simplified to (- 1 (exp x))
1538425342.462 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1538425342.462 * * * * [misc]progress:  [ 70 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1538425342.462 * [enter]simplify:  Simplifying (- 1 (exp x))
1538425342.462 * * [misc]simplify:  iters left: 3 (4 enodes)
1538425342.463 * * [misc]simplify:  iters left: 2 (8 enodes)
1538425342.464 * * [misc]simplify:  iters left: 1 (9 enodes)
1538425342.468 * [exit]simplify:  Simplified to (- 1 (exp x))
1538425342.468 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1538425342.468 * * * * [misc]progress:  [ 71 / 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))))))>
1538425342.468 * [enter]simplify:  Simplifying (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1538425342.468 * * [misc]simplify:  iters left: 6 (8 enodes)
1538425342.470 * * [misc]simplify:  iters left: 5 (17 enodes)
1538425342.476 * * [misc]simplify:  iters left: 4 (27 enodes)
1538425342.487 * * [misc]simplify:  iters left: 3 (38 enodes)
1538425342.499 * * [misc]simplify:  iters left: 2 (44 enodes)
1538425342.519 * * [misc]simplify:  iters left: 1 (57 enodes)
1538425342.540 * [exit]simplify:  Simplified to (+ 1 (* (* x 2) (+ x 1)))
1538425342.540 * [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))))))
1538425342.540 * * * * [misc]progress:  [ 72 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1538425342.540 * [enter]simplify:  Simplifying (pow (exp x) 2)
1538425342.540 * * [misc]simplify:  iters left: 2 (4 enodes)
1538425342.541 * * [misc]simplify:  iters left: 1 (5 enodes)
1538425342.542 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425342.542 * [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))))))
1538425342.542 * * * * [misc]progress:  [ 73 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1538425342.542 * [enter]simplify:  Simplifying (pow (exp x) 2)
1538425342.543 * * [misc]simplify:  iters left: 2 (4 enodes)
1538425342.543 * * [misc]simplify:  iters left: 1 (5 enodes)
1538425342.544 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1538425342.544 * [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))))))
1538425342.544 * * * * [misc]progress:  [ 74 / 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))))))>
1538425342.545 * [enter]simplify:  Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1538425342.545 * * [misc]simplify:  iters left: 6 (10 enodes)
1538425342.547 * * [misc]simplify:  iters left: 5 (19 enodes)
1538425342.551 * * [misc]simplify:  iters left: 4 (29 enodes)
1538425342.562 * * [misc]simplify:  iters left: 3 (40 enodes)
1538425342.576 * * [misc]simplify:  iters left: 2 (52 enodes)
1538425342.592 * [exit]simplify:  Simplified to (+ (+ 1 (* 3 x)) (* 9/2 (* x x)))
1538425342.592 * [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))))))
1538425342.592 * * * * [misc]progress:  [ 75 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425342.592 * [enter]simplify:  Simplifying (pow (exp x) 3)
1538425342.593 * * [misc]simplify:  iters left: 2 (4 enodes)
1538425342.594 * * [misc]simplify:  iters left: 1 (7 enodes)
1538425342.597 * [exit]simplify:  Simplified to (pow (exp x) 3)
1538425342.597 * [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))))))
1538425342.597 * * * * [misc]progress:  [ 76 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1538425342.597 * [enter]simplify:  Simplifying (pow (exp x) 3)
1538425342.598 * * [misc]simplify:  iters left: 2 (4 enodes)
1538425342.599 * * [misc]simplify:  iters left: 1 (7 enodes)
1538425342.602 * [exit]simplify:  Simplified to (pow (exp x) 3)
1538425342.602 * [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))))))
1538425342.602 * * * * [misc]progress:  [ 77 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
1538425342.603 * [enter]simplify:  Simplifying (+ x (+ (* 3/2 (pow x 2)) 1))
1538425342.603 * * [misc]simplify:  iters left: 6 (8 enodes)
1538425342.607 * * [misc]simplify:  iters left: 5 (16 enodes)
1538425342.613 * * [misc]simplify:  iters left: 4 (26 enodes)
1538425342.622 * * [misc]simplify:  iters left: 3 (31 enodes)
1538425342.630 * * [misc]simplify:  iters left: 2 (33 enodes)
1538425342.639 * * [misc]simplify:  iters left: 1 (39 enodes)
1538425342.652 * [exit]simplify:  Simplified to (+ (* (* x x) 3/2) (+ 1 x))
1538425342.653 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* x x) 3/2) (+ 1 x)))))
1538425342.653 * * * * [misc]progress:  [ 78 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (pow (exp x) 2) 1) (exp x)))))>
1538425342.653 * [enter]simplify:  Simplifying (- (+ (pow (exp x) 2) 1) (exp x))
1538425342.653 * * [misc]simplify:  iters left: 6 (7 enodes)
1538425342.657 * * [misc]simplify:  iters left: 5 (15 enodes)
1538425342.663 * * [misc]simplify:  iters left: 4 (25 enodes)
1538425342.672 * * [misc]simplify:  iters left: 3 (32 enodes)
1538425342.680 * * [misc]simplify:  iters left: 2 (34 enodes)
1538425342.688 * * [misc]simplify:  iters left: 1 (38 enodes)
1538425342.703 * [exit]simplify:  Simplified to (+ (- 1 (exp x)) (* (exp x) (exp x)))
1538425342.703 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))
1538425342.703 * * * * [misc]progress:  [ 79 / 79 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (- (+ (pow (exp x) 2) 1) (exp x)))))>
1538425342.703 * [enter]simplify:  Simplifying (- (+ (pow (exp x) 2) 1) (exp x))
1538425342.707 * * [misc]simplify:  iters left: 6 (7 enodes)
1538425342.711 * * [misc]simplify:  iters left: 5 (15 enodes)
1538425342.717 * * [misc]simplify:  iters left: 4 (25 enodes)
1538425342.726 * * [misc]simplify:  iters left: 3 (32 enodes)
1538425342.734 * * [misc]simplify:  iters left: 2 (34 enodes)
1538425342.742 * * [misc]simplify:  iters left: 1 (38 enodes)
1538425342.756 * [exit]simplify:  Simplified to (+ (- 1 (exp x)) (* (exp x) (exp x)))
1538425342.756 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))
1538425342.756 * * * [misc]progress:  adding candidates to table
1538425344.540 * [misc]progress:  [Phase 3 of 3] Extracting.
1538425344.542 * * [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 (+ (exp x) 1)))>)
1538425344.544 * * * [misc]regime-changes:  Trying 2 branch expressions: ((exp x) x)
1538425344.545 * * * * [misc]regimes:  Trying to branch on (exp x) from (#<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> #<alt (λ (x) (sqrt (+ (exp x) 1)))>)
1538425344.592 * * * * [misc]regimes:  Trying to branch on (exp x) from (#<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> #<alt (λ (x) (sqrt (+ (exp x) 1)))>)
1538425344.629 * * * * [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 (+ (exp x) 1)))>)
1538425344.651 * * * * [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 (+ (exp x) 1)))>)
1538425344.686 * * * [misc]regime:  Found split indices: #(struct:option (#(struct:si 0 256)) (#<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> #<alt (λ (x) (sqrt (+ (exp x) 1)))>) ((-2.4968161059471307e+255) (-2.7983755736300403e+306) (-6.698287705803017e+116) (-1.0383775116378618e+212) (-8.248465144002768e+107) (-2.4185826813649607e+265) (-8.512129217420324e+136) (-1.0213485177398171e+65) (-8.997241003584565e+145) (-1.0972056368289107e+17) (-8.073581554579116e+228) (-3629430.727247627) (-1.2812641104251372e+71) (-3.2403704248518646e+193) (-2.0919853997996706e+150) (-3.9004200102608803e+248) (-4.1882740697516976e+52) (-8.031601796385155e+33) (-6.586593139755044e+259) (-2.675697584688538e+232) (-5.542293198618678e+65) (-4.034859122832136e+283) (-2.646943805294546e+118) (-8.801323635413758e+229) (-1.7007541473706784e+72) (-7.067228445665704e+23) (-2.2726078460689357e+67) (-5.534467509069618e+203) (-5.920943423046314e+106) (-2.4128151709171887e+33) (-4.010157041761397e+64) (-4.025647470612503e+129) (-2.942537746586641e+76) (-3.3541874513490106e+157) (-9.109315991072268e+75) (-1.8670022149052233e+102) (-1.7284852994271044e+160) (-6.58959251058037e+190) (-9.054205761770145e+79) (-1.2462332527342774e+139) (-1.314919754579901e+282) (-4.0904091723915296e+163) (-1.3968986871701584e+69) (-1.4804411218424698e+248) (-8.002559829897909e+190) (-1.6707869324556158e+92) (-2.683816869184582e+255) (-5.102802914659751e+276) (-2.2098143832366547e+121) (-8.5809032447669e+159) (-2.2287473210148045e+154) (-1.7534003229369742e+88) (-106743.7941190454) (-6.763465952765724e+257) (-5.459566981394722e+224) (-2.8862749727236073e+235) (-3.5899985131345896e+285) (-1.5253237160459267e+187) (-1.738785152413335e+27) (-3.8105251830237396e+171) (-1.3654884947678664e+161) (-2.705890736090342e+171) (-4.58079258715784e+47) (-2.631688002801498e+19) (-7.58625683971497e+185) (-3.925925510896375e+99) (-6.026406445879773e+239) (-3.153302366871027e+168) (-1.7992241215096315e+122) (-1.4411435328797878e+71) (-8.096224360572258e+213) (-3.15516615696073e+44) (-7.874175006016436e+184) (-4.031170491600452e+16) (-2.42803936525583e+292) (-3.056145615300226e+123) (-5.9085817580286415e+144) (-1.4821884355781346e+53) (-4.4159884087901204e+89) (-2.447155431730135e+40) (-3.31700514876888e+105) (-0.02474719870875949) (-2.443112271994265e-14) (-6.329698882057039e-17) (-5.041863638076678e-33) (-1.8770158991245053e-110) (3.1401086021540155e-108) (1.0513080332814124e-85) (3.6060512506371925e-208) (7.355719043576568e-129) (1.483052113257235e-263) (-3.883974597481106e-143) (9.827639233146605e-175) (4.842074063979205e-149) (3.9472526476664634e-201) (-1.4666934828474191e-146) (9.568081947694169e-21) (1.866257794995627e-247) (-2.1654455824343235e-214) (5.379672953565836e-284) (2.9382554802989366e-254) (1.8226196775655737e-60) (-5.9492176706530576e-151) (8.082125711100121e-288) (-4.152349484317103e-67) (-5.300285942636517e-239) (1.3853396947957432e-96) (6.50343297871234e-34) (-3.92592191599206e-288) (2.1482539906859706e-220) (-9.330274667652765e-290) (4.900574712626921e-145) (-2.797932132151521e-247) (-4.816332383071932e-156) (-7.989663346098007e-179) (-1.7768444322951125e-62) (8.22841050434612e-97) (2.144494109124362e-49) (-2.235595448095531e-146) (2.372441327343771e-112) (8.835248604952687e-166) (-1.711863507271296e-267) (9.526598206512544e-214) (-2.3725497074135867e-20) (2.1249493431780776e-23) (2.481831368507104e-242) (2.610134180175704e-228) (2.8287042413032313e-276) (8.845724322259088e-72) (-2.3471395166318535e-203) (2.0680262569294288e-19) (6.702342514132877e-229) (2.584645316189393e-53) (-3.587981631822687e-204) (6.221631004138929e-135) (-3.015392111515848e-292) (-1.884807820735284e-195) (-2.120682193563415e-186) (-5.448392070759594e-243) (1.8034689609644263e-95) (1.0492506262394104e-271) (-2.1692920649272183e-182) (-1.9799966967100478e-286) (-8.386963243600368e-233) (5.253583717903322e-235) (-5.793342519905748e-253) (3.307851095356619e-101) (-7.077952945967273e-99) (-3.2365465786161074e-94) (-1.4014977692760238e-246) (4.977512622763225e-122) (-8.464808263551016e-289) (-9.547745529193602e-284) (2.881859802054221e-256) (1.2741893505023683e-208) (-1.0578527619284893e-300) (-4.557437670599666e-230) (1.0846776800592165e-94) (-2.0496905961881033e-147) (-1.7020422584373518e-114) (1.0196064522122228e-174) (-9.29614415601418e-66) (2.5884839268033378e-287) (-1.3605946876755235e-121) (2.2391544006309546e-51) (2.3276056152096037e-101) (-3.388220908641227e-107) (-2.1797756766619035e-306) (9.093538163512455e-192) (2.6666197421743308e-253) (1.8699458206967854e-184) (6.716231070319441e-154) (-8.426582622475504e-246) (-3.0315898022510203e-223) (-7.140027894637734e-121) (-1.4208977007659256e-228) (1.5042994067903951e-31) (-6.780364863126493e-171) (-1.4507086405778674e-105) (-5.553958859846588e-23) (-2.2059909571247256e-201) (1.0329264785352371e-295) (7.978767863680024e-29) (-3.7604379325340113e-171) (4.8097481515715665e-169) (-1.0914589956834308e-35) (-2.1706531884122198e-95) (1.7564990638609327e-150) (5.340325087214211e-108) (-4.3572816942290736e-36) (-4.320230962849968e-63) (1.5624867679176387e-260) (-1.132930309234232e-290) (-1.0999103111701812e-212) (-1.5813475009600715e-100) (-8.926406972168982e-283) (-1.9299211815613833e-83) (-7.332648267819308e-132) (2.2130459484453634e-67) (1.757138909589806e-20) (1.8041083766972646e-236) (-1.298825268249217e-205) (1.003130952273063e-165) (2.7511357161661386e-243) (3.0531335544777175e-99) (9.125974202352274e-234) (1.7132067338821716e-264) (-1.7823481435415285e-84) (-1.5183204875999111e-173) (2.397792033807477e-291) (1.2063030595687591e-66) (-5.202338576971454e-300) (-7.410280367523678e-156) (-2.3928487180253272e-281) (-3.4344571351411647e-153) (-1.6020721876746738e-102) (-2.4744076824383333e-235) (-1.449755007653362e-64) (7.67058368900075e-239) (-1.941352272972272e-148) (2.859570750678243e-75) (-8.059403086033128e-209) (5.853213289479666e-96) (2.6216142310182467e-33) (-2.7166659646562366e-108) (2.1161291649446017e-281) (7.937110627542803e-191) (6.100125030477419e-105) (-2.2910617928659518e-87) (1.6808979236232868e-232) (3.751607467341694e-51) (1.0048824071893912e-22) (-7.309064046536124e-137) (8.970485175760771e-271) (-5.675341925320361e-126) (-6.154418112965884e-40) (7.988913457861387e-69) (-2.0919510205273547e-208) (4.942415378912902e-87) (-4.244913695295889e-236) (4.607517841507081e-212) (-7.725568451787416e-100) (-1.8363430914653127e-90) (-1.0549604542092318e-67) (-9.199725861189223e-231) (-1.359473239037145e-27) (-4.7459100759422344e-145) (1.7000173538159186e-90) (3.975819539152312e-15) (1.0345008789782207e-14) (2.5091821020626965e-14) (5.907068385837501e-10) (1.8745994712922066e-06) (2.2990825971780784e-05) (2.3607951001263578e-05) (26.696485874931508)) (exp x) (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1))
1538425344.688 * [enter]simplify:  Simplifying (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
1538425344.689 * * [misc]simplify:  iters left: 6 (14 enodes)
1538425344.691 * * [misc]simplify:  iters left: 5 (20 enodes)
1538425344.693 * [exit]simplify:  Simplified to (sqrt (/ (+ (pow (exp x) 3) 1) (+ (* (exp x) (exp x)) (- 1 (exp x)))))
1538425344.693 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538425355.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425355.133 * * * * [misc]points:  Sampling 1997 additional inputs, on iter 1 have 6003 / 8000
1538425357.409 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425357.409 * * * * [misc]points:  Sampling 505 additional inputs, on iter 2 have 7495 / 8000
1538425358.447 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425358.448 * * * * [misc]points:  Sampling 134 additional inputs, on iter 3 have 7866 / 8000
1538425358.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425358.590 * * * * [misc]points:  Sampling 39 additional inputs, on iter 4 have 7961 / 8000
1538425358.625 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425358.625 * * * * [misc]points:  Sampling 9 additional inputs, on iter 5 have 7991 / 8000
1538425358.632 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538425358.632 * * * * [exit]points:  Sampled 8000 points with exact outputs