* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 150 additional inputs, on iter 1 have 106 / 256
* * * * [misc]points:  Computing exacts on every 9 of 150 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 150 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 150 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 150 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 76 additional inputs, on iter 2 have 180 / 256
* * * * [misc]points:  Computing exacts on every 4 of 76 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 76 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 76 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 35 additional inputs, on iter 3 have 221 / 256
* * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 35 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 18 additional inputs, on iter 4 have 238 / 256
* * * * [misc]points:  Computing exacts for 18 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 243 / 256
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 255 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (78 enodes)
* * [misc]simplify:  iters left: 1 (122 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x) (/ (exp (* x x)) E))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ (exp (* x x)) E) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (exp (* x x)) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]taylor:  Taking taylor expansion of (/ (exp (* x x)) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (- (/ 1/2 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (* 1/2 (/ 1 E))
* [misc]backup-simplify:  Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E)
* [misc]backup-simplify:  Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* [misc]approximate:  Taking taylor expansion of (/ (exp (* (/ 1 x) (/ 1 x))) E) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (exp (* (/ 1 x) (/ 1 x))) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]taylor:  Taking taylor expansion of (/ (exp (* (/ 1 x) (/ 1 x))) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E)
* [misc]approximate:  Taking taylor expansion of (/ (exp (* (/ 1 (- x)) (/ 1 (- x)))) E) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (exp (* (/ 1 (- x)) (/ 1 (- x)))) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]taylor:  Taking taylor expansion of (/ (exp (* (/ 1 (- x)) (/ 1 (- x)))) E) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (pow (/ (exp (* x x)) E) 1))>
* * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (exp (* x x)) E))))>
* * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (exp (* x x)) E))))>
* * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E))) (cbrt (/ (exp (* x x)) E))))>
* * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (exp (* x x)) E) (/ (exp (* x x)) E)) (/ (exp (* x x)) E))))>
* * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp (* x x)) E)) (sqrt (/ (exp (* x x)) E))))>
* * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (/ (- (exp (* x x))) (- E)))>
* * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (exp (* x x)) E)))>
* * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (/ 1 E)))>
* * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ E (exp (* x x)))))>
* * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (/ E (cbrt (exp (* x x))))))>
* [enter]simplify:  Simplifying (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (/ E (cbrt (exp (* x x))))))
* * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (exp (* x x))) (/ E (sqrt (exp (* x x))))))>
* [enter]simplify:  Simplifying (sqrt (exp (* x x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (* x x)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (exp (* x x))) (/ E (sqrt (exp (* x x))))))
* * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ E (exp (* x x)))))>
* * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))))>
* [enter]simplify:  Simplifying (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (45 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2)))
* [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2))))
* * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x) (* (exp (* x x)) (/ 1 E)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* (exp (* x x)) (/ 1 E)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 E)) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 E))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (/ 1 E)))) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (/ 1 E)))))) into (* 1/2 (/ 1 E))
* [misc]backup-simplify:  Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E)
* [misc]backup-simplify:  Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* [misc]approximate:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (/ 1 E)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (/ 1 E)) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (/ 1 E))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E)
* [misc]approximate:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 E)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (/ 1 E)) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (/ 1 E))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (/ 1 E)) 1))>
* [enter]simplify:  Simplifying (* (exp (* x x)) (/ 1 E))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ (exp (* x x)) E) 1))
* * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (/ 1 E)) 1))>
* * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (log (/ 1 E)))))>
* [enter]simplify:  Simplifying (+ (* x x) (log (/ 1 E)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (24 enodes)
* [exit]simplify:  Simplified to (+ -1 (* x x))
* [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ -1 (* x x))))
* * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt (λ (x) (exp (log (* (exp (* x x)) (/ 1 E)))))>
* * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (x) (log (exp (* (exp (* x x)) (/ 1 E)))))>
* * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))))>
* [enter]simplify:  Simplifying (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (175 enodes)
* * [misc]simplify:  iters left: 2 (341 enodes)
* * [misc]simplify:  iters left: 1 (472 enodes)
* [exit]simplify:  Simplified to (pow (/ (exp (* x x)) E) 3)
* [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (exp (* x x)) E) 3)))
* * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (exp (* x x)) (/ 1 E))) (cbrt (* (exp (* x x)) (/ 1 E)))) (cbrt (* (exp (* x x)) (/ 1 E)))))>
* * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (/ 1 E)) (* (exp (* x x)) (/ 1 E))) (* (exp (* x x)) (/ 1 E)))))>
* * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (* x x)) (/ 1 E))) (sqrt (* (exp (* x x)) (/ 1 E)))))>
* * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (/ 1 E))))>
* * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (x) (/ (exp (* x x)) E))>
* * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E)))) (cbrt (/ 1 E))))>
* [enter]simplify:  Simplifying (cbrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (/ 1 E))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E)))) (cbrt (/ 1 E))))
* * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))>
* [enter]simplify:  Simplifying (/ 1 E)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))
* * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))>
* [enter]simplify:  Simplifying (/ 1 E)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))
* * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (/ 1 E))))>
* [enter]simplify:  Simplifying (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (/ 1 E))))
* * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (exp (* x x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (* x x)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (/ 1 E))))
* * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (/ 1 E))))>
* * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) 1) E))>
* * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (x) (* (/ 1 E) (exp (* x x))))>
* * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))))>
* [enter]simplify:  Simplifying (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (45 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2)))
* [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2))))
* * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x) (exp (+ -1 (* x x))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (exp (+ -1 (* x x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* x x))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* x x)) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* x x))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* x x)) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
* [misc]approximate:  Taking taylor expansion of (exp (+ -1 (* (/ 1 x) (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (exp (+ -1 (* (/ 1 x) (/ 1 x)))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (exp (+ -1 (* (/ 1 x) (/ 1 x)))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
* [misc]approximate:  Taking taylor expansion of (exp (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (exp (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of (+ -1 (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (exp (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt (λ (x) (pow (exp (+ -1 (* x x))) 1))>
* * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (+ -1 (* x x)))))>
* [enter]simplify:  Simplifying (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* * [misc]simplify:  iters left: 1 (65 enodes)
* [exit]simplify:  Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (+ -1 (* x x)))))
* * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (+ -1 (* x x)))) (sqrt (+ -1 (* x x)))))>
* [enter]simplify:  Simplifying (exp (sqrt (+ -1 (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (61 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (+ -1 (* x x))))
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ -1 (* x x)))) (sqrt (+ -1 (* x x)))))
* * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (+ -1 (* x x))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (+ -1 (* x x))))
* * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt (λ (x) (* (exp -1) (exp (* x x))))>
* [enter]simplify:  Simplifying (exp -1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (exp -1)
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp -1) (exp (* x x))))
* * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt (λ (x) (exp (+ -1 (* x x))))>
* [enter]simplify:  Simplifying (+ -1 (* x x))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (+ -1 (* x x))
* [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ -1 (* x x))))
* * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (+ -1 (* x x))))))>
* * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (+ -1 (* x x))))))>
* * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (+ -1 (* x x)))) (cbrt (exp (+ -1 (* x x))))) (cbrt (exp (+ -1 (* x x))))))>
* * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (+ -1 (* x x))) (exp (+ -1 (* x x)))) (exp (+ -1 (* x x))))))>
* * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (+ -1 (* x x)))) (sqrt (exp (+ -1 (* x x))))))>
* * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (+ -1 (* x x)))))>
* * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
* [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (63 enodes)
* * [misc]simplify:  iters left: 2 (76 enodes)
* * [misc]simplify:  iters left: 1 (145 enodes)
* [exit]simplify:  Simplified to (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))
* [misc]simplify:  Simplified (2) to (λ (x) (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1)))
* * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (23 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (23 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 4 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (* (exp (* x x)) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* 1 (sqrt (/ 1 E))) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (sqrt (/ 1 E))))) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (sqrt (/ 1 E))))))) into (* 1/2 (sqrt (/ 1 E)))
* [misc]backup-simplify:  Simplify (* 1/2 (sqrt (/ 1 E))) into (* 1/2 (sqrt (/ 1 E)))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (sqrt (/ 1 E))) (pow x 4)) (+ (* (sqrt (/ 1 E)) (pow x 2)) (sqrt (/ 1 E)))) into (+ (* (pow x 2) (sqrt (/ 1 E))) (+ (* 1/2 (* (pow x 4) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* [misc]approximate:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (sqrt (/ 1 E))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (sqrt (/ 1 E)) (exp (/ 1 (pow (/ 1 x) 2)))) into (* (exp (pow x 2)) (sqrt (/ 1 E)))
* [misc]approximate:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (sqrt (/ 1 E))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (sqrt (/ 1 E)) (exp (/ 1 (pow (/ 1 (- x)) 2)))) into (* (exp (pow x 2)) (sqrt (/ 1 E)))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* x x)) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* 1 (sqrt (/ 1 E))) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (/ 1 E)) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (sqrt (/ 1 E))))) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (+ (* (sqrt (/ 1 E)) 0) (+ (* 0 0) (* (sqrt (/ 1 E)) (sqrt (/ 1 E))))) into (/ 1 E)
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (/ 1 E)) 0) (+ (* 0 0) (+ (* (sqrt (/ 1 E)) 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (sqrt (/ 1 E))))))) into (* 1/2 (sqrt (/ 1 E)))
* [misc]backup-simplify:  Simplify (+ (* (sqrt (/ 1 E)) 0) (+ (* 0 0) (+ (* (sqrt (/ 1 E)) 0) (+ (* 0 0) (* (* 1/2 (sqrt (/ 1 E))) (sqrt (/ 1 E))))))) into (* 1/2 (/ 1 E))
* [misc]backup-simplify:  Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E)
* [misc]backup-simplify:  Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* [misc]approximate:  Taking taylor expansion of (* (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 x) (/ 1 x))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (sqrt (/ 1 E))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) (sqrt (/ 1 E))) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E)
* [misc]approximate:  Taking taylor expansion of (* (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (sqrt (/ 1 E))) in x
* [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 E)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 E) in x
* [misc]taylor:  Taking taylor expansion of E in x
* [misc]backup-simplify:  Simplify E into E
* [misc]backup-simplify:  Simplify (/ 1 E) into (/ 1 E)
* [misc]backup-simplify:  Simplify (sqrt (/ 1 E)) into (sqrt (/ 1 E))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (/ 1 (pow x 2))) (sqrt (/ 1 E))) into (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2))))
* [misc]backup-simplify:  Simplify (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) (sqrt (/ 1 E))) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (* 0 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 E)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 (pow x 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (* (sqrt (/ 1 E)) (exp (/ 1 (pow x 2)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 E))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (x) (* (pow (* (exp (* x x)) (sqrt (/ 1 E))) 1) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (* (exp (* x x)) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (* (sqrt (/ 1 E)) (exp (* x x)))
* [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (* (sqrt (/ 1 E)) (exp (* x x))) 1) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (x) (* (pow (* (exp (* x x)) (sqrt (/ 1 E))) 1) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (x) (* (exp (+ (* x x) (log (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (+ (* x x) (log (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (+ (* x x) (log (sqrt (/ 1 E))))
* [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (exp (+ (* x x) (log (sqrt (/ 1 E))))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (x) (* (exp (log (* (exp (* x x)) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (x) (* (log (exp (* (exp (* x x)) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (64 enodes)
* * [misc]simplify:  iters left: 3 (123 enodes)
* * [misc]simplify:  iters left: 2 (199 enodes)
* * [misc]simplify:  iters left: 1 (247 enodes)
* [exit]simplify:  Simplified to (pow (* (exp (* x x)) (sqrt (/ 1 E))) 3)
* [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (cbrt (pow (* (exp (* x x)) (sqrt (/ 1 E))) 3)) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (* (exp (* x x)) (sqrt (/ 1 E)))) (cbrt (* (exp (* x x)) (sqrt (/ 1 E))))) (cbrt (* (exp (* x x)) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (* (exp (* x x)) (sqrt (/ 1 E)))) (* (exp (* x x)) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (exp (* x x)) (sqrt (/ 1 E)))) (sqrt (* (exp (* x x)) (sqrt (/ 1 E))))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (exp (* x x)) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (* (cbrt (sqrt (/ 1 E))) (cbrt (sqrt (/ 1 E))))) (cbrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (* (cbrt (sqrt (/ 1 E))) (cbrt (sqrt (/ 1 E))))) (cbrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))) (sqrt (cbrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (cbrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))) (sqrt (cbrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) 1) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (* (* (exp (* x x)) 1) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
* [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (exp (* x x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (* x x)))
* [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (exp (* x x)) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (* (exp (* x x)) (sqrt 1)) (sqrt E)) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt E)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt E)
* [misc]simplify:  Simplified (2 1 2) to (λ (x) (* (/ (* (exp (* x x)) (sqrt 1)) (sqrt E)) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (/ 1 E)) (exp (* x x))) (sqrt (/ 1 E))))>
* * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (x) (pow (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) 1))>
* [enter]simplify:  Simplifying (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (44 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ (exp (* x x)) E) 1))
* * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (x) (pow (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) 1))>
* [enter]simplify:  Simplifying (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (44 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ (exp (* x x)) E) 1))
* * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (x) (pow (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) 1))>
* * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (x) (exp (+ (+ (* x x) (log (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))))>
* [enter]simplify:  Simplifying (+ (+ (* x x) (log (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (+ (+ (log (sqrt (/ 1 E))) (log (sqrt (/ 1 E)))) (* x x))
* [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (+ (log (sqrt (/ 1 E))) (log (sqrt (/ 1 E)))) (* x x))))
* * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (* (exp (* x x)) (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))))>
* [enter]simplify:  Simplifying (+ (log (* (exp (* x x)) (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* [exit]simplify:  Simplified to (+ (+ (* x x) (log (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))
* [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (+ (* x x) (log (sqrt (/ 1 E)))) (log (sqrt (/ 1 E))))))
* * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (x) (exp (log (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* [enter]simplify:  Simplifying (* (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (102 enodes)
* * [misc]simplify:  iters left: 3 (277 enodes)
* [exit]simplify:  Simplified to (* (pow (exp (* x x)) 3) (pow (/ 1 E) 3))
* [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (pow (exp (* x x)) 3) (pow (/ 1 E) 3))))
* * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (* (exp (* x x)) (sqrt (/ 1 E)))) (* (exp (* x x)) (sqrt (/ 1 E)))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* [enter]simplify:  Simplifying (* (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (* (exp (* x x)) (sqrt (/ 1 E)))) (* (exp (* x x)) (sqrt (/ 1 E)))) (* (* (sqrt (/ 1 E)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* * [misc]simplify:  iters left: 3 (238 enodes)
* * [misc]simplify:  iters left: 2 (473 enodes)
* [exit]simplify:  Simplified to (pow (/ (exp (* x x)) E) 3)
* [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (exp (* x x)) E) 3)))
* * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))) (cbrt (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))) (cbrt (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))) (sqrt (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))))>
* * * * [misc]progress:  [ 35 / 53 ] simplifiying candidate #<alt (λ (x) (/ (* (* (exp (* x x)) (sqrt 1)) (sqrt 1)) (* (sqrt E) (sqrt E))))>
* [enter]simplify:  Simplifying (* (* (exp (* x x)) (sqrt 1)) (sqrt 1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [misc]simplify:  Simplified (2 1) to (λ (x) (/ (exp (* x x)) (* (sqrt E) (sqrt E))))
* [enter]simplify:  Simplifying (* (sqrt E) (sqrt E))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (7 enodes)
* [exit]simplify:  Simplified to E
* [misc]simplify:  Simplified (2 2) to (λ (x) (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (x) (* 1 (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E)))))>
* * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (* (cbrt (sqrt (/ 1 E))) (cbrt (sqrt (/ 1 E))))) (cbrt (sqrt (/ 1 E)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (* (cbrt (sqrt (/ 1 E))) (cbrt (sqrt (/ 1 E))))) (cbrt (sqrt (/ 1 E)))))
* * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))) (sqrt (cbrt (/ 1 E)))))>
* [enter]simplify:  Simplifying (sqrt (cbrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (/ 1 E)))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))) (sqrt (cbrt (/ 1 E)))))
* * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))))
* * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 42 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (sqrt (/ 1 E)))) (sqrt (sqrt (/ 1 E)))))
* * * * [misc]progress:  [ 43 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) 1) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (sqrt (/ 1 E))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ 1 E))
* [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (* (exp (* x x)) (sqrt (/ 1 E))) 1) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 44 / 53 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (* (sqrt (/ 1 E)) (sqrt (/ 1 E)))))>
* [enter]simplify:  Simplifying (exp (* x x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (* (sqrt (/ 1 E)) (sqrt (/ 1 E)))))
* * * * [misc]progress:  [ 45 / 53 ] simplifiying candidate #<alt (λ (x) (/ (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt E)))>
* [enter]simplify:  Simplifying (sqrt E)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt E)
* [misc]simplify:  Simplified (2 2) to (λ (x) (/ (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt 1)) (sqrt E)))
* * * * [misc]progress:  [ 46 / 53 ] simplifiying candidate #<alt (λ (x) (/ (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E))) (sqrt E)))>
* [enter]simplify:  Simplifying (* (* (exp (* x x)) (sqrt 1)) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (/ 1 E)) (exp (* x x)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (/ 1 E)) (exp (* x x))) (sqrt E)))
* * * * [misc]progress:  [ 47 / 53 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 1 E)) (* (exp (* x x)) (sqrt (/ 1 E)))))>
* * * * [misc]progress:  [ 48 / 53 ] simplifiying candidate #<alt (λ (x) (* (+ (* (pow x 2) (sqrt (/ 1 E))) (+ (* 1/2 (* (pow x 4) (sqrt (/ 1 E)))) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (+ (* (pow x 2) (sqrt (/ 1 E))) (+ (* 1/2 (* (pow x 4) (sqrt (/ 1 E)))) (sqrt (/ 1 E))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (146 enodes)
* [exit]simplify:  Simplified to (* (+ (+ 1 (* x x)) (* 1/2 (pow x 4))) (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (+ (+ 1 (* x x)) (* 1/2 (pow x 4))) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 49 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (exp (pow x 2)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (* (exp (pow x 2)) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (* (exp (* x x)) (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 50 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (exp (pow x 2)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
* [enter]simplify:  Simplifying (* (exp (pow x 2)) (sqrt (/ 1 E)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (* (exp (* x x)) (sqrt (/ 1 E)))
* [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))
* * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))))>
* [enter]simplify:  Simplifying (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (45 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2)))
* [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 E) (* (/ x E) x)) (/ (pow x 4) (/ E 1/2))))
* * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
* [enter]simplify:  Simplifying (/ (exp (pow x 2)) E)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (exp (* x x)) (/ 1 E)))> #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))> #<alt (λ (x) (exp (+ -1 (* x x))))>)
* * * [misc]regime-changes:  Trying 2 branch expressions: (x (* x x))
* * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (exp (* x x)) (/ 1 E)))> #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))> #<alt (λ (x) (exp (+ -1 (* x x))))>)
* * * * [misc]regimes:  Trying to branch on (* x x) from (#<alt (λ (x) (* (exp (* x x)) (/ 1 E)))> #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))> #<alt (λ (x) (exp (+ -1 (* x x))))>)
* * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
* [enter]simplify:  Simplifying (* (exp (* x x)) (/ 1 E))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (* (exp (* x x)) (/ 1 E))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4037 additional inputs, on iter 1 have 3963 / 8000
* * * * [misc]points:  Computing exacts on every 252 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 126 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 63 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 4037 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 4037 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2011 additional inputs, on iter 2 have 5989 / 8000
* * * * [misc]points:  Computing exacts on every 125 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 2011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 2011 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1011 additional inputs, on iter 3 have 6989 / 8000
* * * * [misc]points:  Computing exacts on every 63 of 1011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 1011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 1011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 1011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 1011 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 1011 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 511 additional inputs, on iter 4 have 7489 / 8000
* * * * [misc]points:  Computing exacts on every 31 of 511 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 511 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 511 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 511 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 511 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 261 additional inputs, on iter 5 have 7739 / 8000
* * * * [misc]points:  Computing exacts on every 16 of 261 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 261 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 261 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 261 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 261 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 134 additional inputs, on iter 6 have 7866 / 8000
* * * * [misc]points:  Computing exacts on every 8 of 134 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 134 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 134 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 134 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 77 additional inputs, on iter 7 have 7923 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 77 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 77 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 77 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 42 additional inputs, on iter 8 have 7958 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 42 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 42 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 23 additional inputs, on iter 9 have 7977 / 8000
* * * * [misc]points:  Computing exacts for 23 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 10 have 7987 / 8000
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 11 have 7992 / 8000
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs