1538652041.088 * [misc]progress:  [Phase 1 of 3] Setting up.
1538652041.088 * * * [misc]progress:  [1/2] Preparing points
1538652041.088 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538652041.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.125 * * * * [misc]points:  Sampling 133 additional inputs, on iter 1 have 123 / 256
1538652041.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.137 * * * * [misc]points:  Sampling 73 additional inputs, on iter 2 have 183 / 256
1538652041.143 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.144 * * * * [misc]points:  Sampling 42 additional inputs, on iter 3 have 214 / 256
1538652041.148 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.148 * * * * [misc]points:  Sampling 24 additional inputs, on iter 4 have 232 / 256
1538652041.151 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.151 * * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 243 / 256
1538652041.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.154 * * * * [misc]points:  Sampling 9 additional inputs, on iter 6 have 247 / 256
1538652041.156 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.156 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
1538652041.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.157 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 255 / 256
1538652041.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652041.158 * * * * [exit]points:  Sampled 257 points with exact outputs
1538652041.159 * * * [misc]progress:  [2/2] Setting up program.
1538652041.162 * [misc]progress:  [Phase 2 of 3] Improving.
1538652041.162 * [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
1538652041.163 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652041.164 * * [misc]simplify:  iters left: 5 (12 enodes)
1538652041.168 * * [misc]simplify:  iters left: 4 (25 enodes)
1538652041.180 * * [misc]simplify:  iters left: 3 (49 enodes)
1538652041.194 * * [misc]simplify:  iters left: 2 (78 enodes)
1538652041.220 * * [misc]simplify:  iters left: 1 (122 enodes)
1538652041.258 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652041.264 * * [misc]progress:  iteration 1 / 4
1538652041.265 * * * [misc]progress:  picking best candidate
1538652041.268 * * * * [misc]pick:  Picked  #<alt (λ (x) (exp (- (- 1 (* x x)))))>
1538652041.268 * * * [misc]progress:  localizing error
1538652041.291 * * * [misc]progress:  generating rewritten candidates
1538652041.291 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538652041.358 * * * [misc]progress:  generating series expansions
1538652041.358 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538652041.358 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1))
1538652041.358 * [misc]approximate:  Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0
1538652041.358 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652041.358 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652041.358 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.358 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.358 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.358 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.358 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.358 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.358 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652041.359 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652041.359 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652041.359 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652041.359 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652041.359 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.359 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.359 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.359 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.359 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.359 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.359 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652041.359 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652041.359 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652041.359 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652041.360 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652041.360 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652041.361 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1538652041.361 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.361 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652041.361 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652041.361 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652041.363 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1538652041.363 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652041.363 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538652041.363 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652041.364 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652041.366 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1538652041.366 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.366 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538652041.366 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652041.366 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652041.370 * [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))
1538652041.370 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1538652041.371 * [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)))))
1538652041.371 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.371 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652041.371 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652041.371 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652041.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652041.371 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.371 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.371 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.371 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652041.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652041.371 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.372 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652041.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.372 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652041.372 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652041.372 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652041.372 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.372 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.372 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652041.372 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652041.372 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.372 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.372 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652041.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
1538652041.373 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.373 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652041.373 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652041.373 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652041.373 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652041.373 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.373 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.373 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.373 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652041.373 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652041.374 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.374 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652041.374 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.374 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652041.374 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652041.374 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652041.374 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652041.374 * [misc]taylor:  Taking taylor expansion of x in x
1538652041.374 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.374 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.374 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652041.374 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652041.374 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652041.374 * [misc]backup-simplify:  Simplify 1 into 1
1538652041.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652041.374 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.374 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652041.374 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.374 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.374 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.375 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.375 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.375 * [misc]backup-simplify:  Simplify 0 into 0
1538652041.375 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
1538652041.375 * * * [misc]progress:  simplifying candidates
1538652041.375 * * * * [misc]progress:  [ 1 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (- (- 1 (* x x)))) 1))>
1538652041.375 * * * * [misc]progress:  [ 2 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (cbrt (- (- 1 (* x x))))))>
1538652041.375 * [enter]simplify:  Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
1538652041.376 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652041.377 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652041.381 * * [misc]simplify:  iters left: 4 (22 enodes)
1538652041.385 * * [misc]simplify:  iters left: 3 (30 enodes)
1538652041.389 * * [misc]simplify:  iters left: 2 (36 enodes)
1538652041.396 * * [misc]simplify:  iters left: 1 (42 enodes)
1538652041.414 * [exit]simplify:  Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
1538652041.414 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x))))))
1538652041.414 * * * * [misc]progress:  [ 3 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (- (- 1 (* x x))))) (sqrt (- (- 1 (* x x))))))>
1538652041.415 * [enter]simplify:  Simplifying (exp (sqrt (- (- 1 (* x x)))))
1538652041.419 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652041.422 * * [misc]simplify:  iters left: 5 (11 enodes)
1538652041.427 * * [misc]simplify:  iters left: 4 (19 enodes)
1538652041.434 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652041.439 * * [misc]simplify:  iters left: 2 (38 enodes)
1538652041.444 * * [misc]simplify:  iters left: 1 (49 enodes)
1538652041.456 * [exit]simplify:  Simplified to (exp (sqrt (+ -1 (* x x))))
1538652041.456 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ -1 (* x x)))) (sqrt (- (- 1 (* x x))))))
1538652041.456 * * * * [misc]progress:  [ 4 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (- (- 1 (* x x)))))>
1538652041.456 * [enter]simplify:  Simplifying (exp 1)
1538652041.456 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652041.457 * [exit]simplify:  Simplified to E
1538652041.457 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x)))))
1538652041.457 * * * * [misc]progress:  [ 5 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp -1) (- 1 (* x x))))>
1538652041.457 * [enter]simplify:  Simplifying (exp -1)
1538652041.457 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652041.458 * [exit]simplify:  Simplified to (exp -1)
1538652041.458 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp -1) (- 1 (* x x))))
1538652041.458 * * * * [misc]progress:  [ 6 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x)))))>
1538652041.458 * [enter]simplify:  Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
1538652041.459 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652041.461 * * [misc]simplify:  iters left: 5 (17 enodes)
1538652041.465 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652041.471 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652041.480 * [exit]simplify:  Simplified to (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x)))))
1538652041.481 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x))))) (cbrt (- 1 (* x x)))))
1538652041.481 * * * * [misc]progress:  [ 7 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x)))))>
1538652041.481 * [enter]simplify:  Simplifying (exp (- (sqrt (- 1 (* x x)))))
1538652041.482 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652041.485 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652041.489 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652041.494 * [exit]simplify:  Simplified to (exp (- (sqrt (- 1 (* x x)))))
1538652041.495 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x)))))
1538652041.495 * * * * [misc]progress:  [ 8 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (- 1)) (- 1 (* x x))))>
1538652041.495 * [enter]simplify:  Simplifying (exp (- 1))
1538652041.495 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652041.498 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652041.501 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652041.503 * [exit]simplify:  Simplified to (/ 1 E)
1538652041.503 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ 1 E) (- 1 (* x x))))
1538652041.503 * * * * [misc]progress:  [ 9 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x))))))>
1538652041.504 * [enter]simplify:  Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652041.504 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652041.507 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652041.512 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652041.518 * [exit]simplify:  Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652041.518 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x))))))
1538652041.518 * * * * [misc]progress:  [ 10 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x))))))>
1538652041.518 * [enter]simplify:  Simplifying (exp (sqrt (- 1 (* x x))))
1538652041.519 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652041.521 * * [misc]simplify:  iters left: 5 (10 enodes)
1538652041.527 * * [misc]simplify:  iters left: 4 (14 enodes)
1538652041.532 * [exit]simplify:  Simplified to (exp (sqrt (- 1 (* x x))))
1538652041.532 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x))))))
1538652041.532 * * * * [misc]progress:  [ 11 / 26 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (- (- 1 (* x x)))))>
1538652041.532 * [enter]simplify:  Simplifying (exp 1)
1538652041.533 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652041.534 * [exit]simplify:  Simplified to E
1538652041.534 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x)))))
1538652041.534 * * * * [misc]progress:  [ 12 / 26 ] simplifiying candidate #<alt (λ (x) (* (exp (- 1)) (exp (- (- (* x x))))))>
1538652041.534 * [enter]simplify:  Simplifying (exp (- 1))
1538652041.534 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652041.537 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652041.538 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652041.539 * [exit]simplify:  Simplified to (/ 1 E)
1538652041.539 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x))))))
1538652041.539 * * * * [misc]progress:  [ 13 / 26 ] simplifiying candidate #<alt (λ (x) (* (exp (- 1)) (exp (- (- (* x x))))))>
1538652041.540 * [enter]simplify:  Simplifying (exp (- 1))
1538652041.540 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652041.541 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652041.543 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652041.544 * [exit]simplify:  Simplified to (/ 1 E)
1538652041.544 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x))))))
1538652041.544 * * * * [misc]progress:  [ 14 / 26 ] simplifiying candidate #<alt (λ (x) (/ 1 (exp (- 1 (* x x)))))>
1538652041.544 * * * * [misc]progress:  [ 15 / 26 ] simplifiying candidate #<alt (λ (x) (/ (exp 0) (exp (- 1 (* x x)))))>
1538652041.544 * [enter]simplify:  Simplifying (exp 0)
1538652041.544 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652041.545 * [exit]simplify:  Simplified to 1
1538652041.545 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ 1 (exp (- 1 (* x x)))))
1538652041.545 * * * * [misc]progress:  [ 16 / 26 ] simplifiying candidate #<alt (λ (x) (/ 1 (exp (- 1 (* x x)))))>
1538652041.545 * * * * [misc]progress:  [ 17 / 26 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
1538652041.545 * [enter]simplify:  Simplifying (- (- 1 (* x x)))
1538652041.545 * * [misc]simplify:  iters left: 6 (5 enodes)
1538652041.546 * * [misc]simplify:  iters left: 5 (9 enodes)
1538652041.549 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652041.552 * * [misc]simplify:  iters left: 3 (25 enodes)
1538652041.556 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652041.560 * * [misc]simplify:  iters left: 1 (37 enodes)
1538652041.572 * [exit]simplify:  Simplified to (+ (* x x) -1)
1538652041.572 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (* x x) -1)))
1538652041.572 * * * * [misc]progress:  [ 18 / 26 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (- (- 1 (* x x)))))))>
1538652041.572 * * * * [misc]progress:  [ 19 / 26 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (- (- 1 (* x x)))))))>
1538652041.572 * * * * [misc]progress:  [ 20 / 26 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (- (- 1 (* x x)))))))>
1538652041.572 * * * * [misc]progress:  [ 21 / 26 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x)))))))>
1538652041.572 * * * * [misc]progress:  [ 22 / 26 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652041.572 * * * * [misc]progress:  [ 23 / 26 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (- (- 1 (* x x))))))>
1538652041.572 * * * * [misc]progress:  [ 24 / 26 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1538652041.573 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1538652041.574 * * [misc]simplify:  iters left: 6 (13 enodes)
1538652041.581 * * [misc]simplify:  iters left: 5 (23 enodes)
1538652041.593 * * [misc]simplify:  iters left: 4 (46 enodes)
1538652041.611 * * [misc]simplify:  iters left: 3 (63 enodes)
1538652041.624 * * [misc]simplify:  iters left: 2 (76 enodes)
1538652041.645 * * [misc]simplify:  iters left: 1 (145 enodes)
1538652041.715 * [exit]simplify:  Simplified to (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))
1538652041.715 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1)))
1538652041.715 * * * * [misc]progress:  [ 25 / 26 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
1538652041.715 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652041.716 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652041.720 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652041.725 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652041.729 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652041.736 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652041.736 * [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
1538652041.736 * * * * [misc]progress:  [ 26 / 26 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
1538652041.737 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652041.737 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652041.739 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652041.743 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652041.747 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652041.755 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652041.755 * [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
1538652041.755 * * * [misc]progress:  adding candidates to table
1538652042.070 * * [misc]progress:  iteration 2 / 4
1538652042.070 * * * [misc]progress:  picking best candidate
1538652042.079 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652042.079 * * * [misc]progress:  localizing error
1538652042.086 * * * [misc]progress:  generating rewritten candidates
1538652042.086 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1538652042.214 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1)
1538652042.272 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
1538652042.326 * * * [misc]progress:  generating series expansions
1538652042.326 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1538652042.327 * [misc]backup-simplify:  Simplify (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) into (exp (- (pow x 2) 1))
1538652042.327 * [misc]approximate:  Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0
1538652042.327 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.327 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.327 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.327 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.327 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.327 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.327 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.327 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.327 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.327 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.328 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.328 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.328 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.328 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.328 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.328 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.328 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.328 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.328 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.328 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.328 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.328 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.329 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.329 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.329 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.331 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1538652042.331 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.331 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.331 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.331 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.334 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1538652042.334 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.335 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538652042.335 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.335 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.339 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1538652042.339 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.339 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538652042.339 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.340 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.346 * [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))
1538652042.347 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1538652042.347 * [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)))))
1538652042.348 * [misc]backup-simplify:  Simplify (* (sqrt (exp (- (- 1 (* (/ 1 x) (/ 1 x)))))) (sqrt (exp (- (- 1 (* (/ 1 x) (/ 1 x))))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.348 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.348 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.348 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.348 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.348 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.348 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.348 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.348 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.348 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.349 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.349 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.349 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.349 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.349 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.349 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.349 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.349 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.349 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.349 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.349 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.349 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.349 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.350 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.350 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.350 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.350 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.350 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.351 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.351 * [misc]backup-simplify:  Simplify (* (sqrt (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x))))))) (sqrt (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.351 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.351 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.352 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.352 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.352 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.352 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.352 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.352 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.352 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.352 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.352 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.352 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.353 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.353 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.353 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.353 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.353 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.353 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.353 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.353 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.353 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.353 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.354 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.354 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1)
1538652042.354 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1))
1538652042.355 * [misc]approximate:  Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0
1538652042.355 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.355 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.355 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.355 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.355 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.355 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.355 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.355 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.355 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.355 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.355 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.355 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.355 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.356 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.356 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.356 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.356 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.356 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.356 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.357 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.358 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1538652042.358 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.358 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.358 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.359 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.361 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1538652042.361 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.361 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538652042.361 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.361 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.363 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1538652042.363 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.364 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538652042.364 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.364 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.367 * [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))
1538652042.368 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1538652042.368 * [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)))))
1538652042.368 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.368 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.368 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.369 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.369 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.369 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.369 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.369 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.369 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.369 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.369 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.369 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.369 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.369 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.369 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.369 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.370 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.370 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.370 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.370 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.370 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.370 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.370 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.370 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.370 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.371 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.371 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.371 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.371 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.371 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.371 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.371 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.371 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.371 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.371 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.371 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.371 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.372 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.372 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.372 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
1538652042.372 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1))
1538652042.372 * [misc]approximate:  Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0
1538652042.372 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.372 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.372 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.373 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.373 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.373 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.373 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.373 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.373 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.373 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.373 * [misc]taylor:  Taking taylor expansion of (exp (- (pow x 2) 1)) in x
1538652042.373 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1538652042.373 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.373 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.373 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.373 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.373 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.373 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.373 * [misc]backup-simplify:  Simplify (- 1) into -1
1538652042.373 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538652042.373 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.373 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.374 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.374 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.375 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1538652042.375 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.375 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.375 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.375 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.376 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1538652042.377 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1538652042.377 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538652042.377 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.377 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.379 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1538652042.379 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.379 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538652042.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1538652042.380 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538652042.383 * [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))
1538652042.383 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1538652042.384 * [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)))))
1538652042.384 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.384 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.384 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.384 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.384 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.384 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.384 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.384 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.384 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.385 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.385 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.385 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.385 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.385 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.385 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.385 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.385 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.385 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.385 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.385 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.385 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.385 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.385 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.385 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.385 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.385 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.385 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.385 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.386 * [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.386 * [misc]approximate:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0
1538652042.386 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.386 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.386 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.386 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.386 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.386 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.386 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.386 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.386 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.386 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.386 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.387 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.387 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.387 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x
1538652042.387 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1538652042.387 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538652042.387 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538652042.387 * [misc]taylor:  Taking taylor expansion of x in x
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.387 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538652042.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538652042.387 * [misc]taylor:  Taking taylor expansion of 1 in x
1538652042.387 * [misc]backup-simplify:  Simplify 1 into 1
1538652042.387 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538652042.387 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.387 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.387 * [misc]backup-simplify:  Simplify 0 into 0
1538652042.388 * [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
1538652042.388 * * * [misc]progress:  simplifying candidates
1538652042.388 * * * * [misc]progress:  [ 1 / 97 ] simplifiying candidate #<alt (λ (x) (pow (exp (- (- 1 (* x x)))) (+ 1/2 1/2)))>
1538652042.388 * [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
1538652042.388 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652042.392 * * [misc]simplify:  iters left: 5 (12 enodes)
1538652042.396 * * [misc]simplify:  iters left: 4 (25 enodes)
1538652042.402 * * [misc]simplify:  iters left: 3 (49 enodes)
1538652042.413 * * [misc]simplify:  iters left: 2 (78 enodes)
1538652042.428 * * [misc]simplify:  iters left: 1 (122 enodes)
1538652042.458 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652042.458 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ (exp (* x x)) E) (+ 1/2 1/2)))
1538652042.458 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1538652042.458 * * [misc]simplify:  iters left: 2 (2 enodes)
1538652042.462 * * [misc]simplify:  iters left: 1 (3 enodes)
1538652042.462 * [exit]simplify:  Simplified to 1
1538652042.462 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (/ (exp (* x x)) E) 1))
1538652042.462 * * * * [misc]progress:  [ 2 / 97 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (- (- 1 (* x x))))) (+ 1 1)))>
1538652042.462 * [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
1538652042.463 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652042.464 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652042.468 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652042.474 * * [misc]simplify:  iters left: 3 (50 enodes)
1538652042.490 * * [misc]simplify:  iters left: 2 (80 enodes)
1538652042.522 * * [misc]simplify:  iters left: 1 (123 enodes)
1538652042.577 * [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
1538652042.577 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (sqrt (/ (exp (* x x)) E)) (+ 1 1)))
1538652042.577 * [enter]simplify:  Simplifying (+ 1 1)
1538652042.580 * * [misc]simplify:  iters left: 2 (2 enodes)
1538652042.582 * * [misc]simplify:  iters left: 1 (5 enodes)
1538652042.583 * [exit]simplify:  Simplified to 2
1538652042.583 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (sqrt (/ (exp (* x x)) E)) 2))
1538652042.583 * * * * [misc]progress:  [ 3 / 97 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) 1/2))>
1538652042.584 * [enter]simplify:  Simplifying (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x)))))
1538652042.584 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652042.588 * * [misc]simplify:  iters left: 5 (15 enodes)
1538652042.596 * * [misc]simplify:  iters left: 4 (35 enodes)
1538652042.618 * * [misc]simplify:  iters left: 3 (95 enodes)
1538652042.679 * * [misc]simplify:  iters left: 2 (265 enodes)
1538652042.966 * [exit]simplify:  Simplified to (exp (+ (+ (* x x) (* x x)) -2))
1538652042.966 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (+ (+ (* x x) (* x x)) -2)) 1/2))
1538652042.966 * * * * [misc]progress:  [ 4 / 97 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) 1))>
1538652042.967 * [enter]simplify:  Simplifying (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))
1538652042.968 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652042.971 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652042.979 * * [misc]simplify:  iters left: 4 (28 enodes)
1538652042.991 * * [misc]simplify:  iters left: 3 (52 enodes)
1538652043.012 * * [misc]simplify:  iters left: 2 (82 enodes)
1538652043.043 * * [misc]simplify:  iters left: 1 (126 enodes)
1538652043.082 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652043.082 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (/ (exp (* x x)) E) 1))
1538652043.082 * * * * [misc]progress:  [ 5 / 97 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (- (- 1 (* x x))))) 2))>
1538652043.082 * * * * [misc]progress:  [ 6 / 97 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (- (- 1 (* x x))))) (+ 1 1)))>
1538652043.082 * [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
1538652043.083 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652043.084 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652043.088 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652043.094 * * [misc]simplify:  iters left: 3 (50 enodes)
1538652043.110 * * [misc]simplify:  iters left: 2 (80 enodes)
1538652043.140 * * [misc]simplify:  iters left: 1 (123 enodes)
1538652043.200 * [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
1538652043.201 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (sqrt (/ (exp (* x x)) E)) (+ 1 1)))
1538652043.201 * * * * [misc]progress:  [ 7 / 97 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) 1))>
1538652043.201 * * * * [misc]progress:  [ 8 / 97 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (exp (- (- 1 (* x x)))))) (log (sqrt (exp (- (- 1 (* x x)))))))))>
1538652043.201 * [enter]simplify:  Simplifying (+ (log (sqrt (exp (- (- 1 (* x x)))))) (log (sqrt (exp (- (- 1 (* x x)))))))
1538652043.203 * * [misc]simplify:  iters left: 6 (9 enodes)
1538652043.207 * * [misc]simplify:  iters left: 5 (15 enodes)
1538652043.214 * * [misc]simplify:  iters left: 4 (28 enodes)
1538652043.227 * * [misc]simplify:  iters left: 3 (52 enodes)
1538652043.238 * * [misc]simplify:  iters left: 2 (82 enodes)
1538652043.256 * * [misc]simplify:  iters left: 1 (128 enodes)
1538652043.304 * [exit]simplify:  Simplified to (+ (log (sqrt (/ (exp (* x x)) E))) (log (sqrt (/ (exp (* x x)) E))))
1538652043.304 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt (/ (exp (* x x)) E))) (log (sqrt (/ (exp (* x x)) E))))))
1538652043.304 * * * * [misc]progress:  [ 9 / 97 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652043.305 * * * * [misc]progress:  [ 10 / 97 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652043.305 * * * * [misc]progress:  [ 11 / 97 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652043.305 * [enter]simplify:  Simplifying (* (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652043.306 * * [misc]simplify:  iters left: 6 (10 enodes)
1538652043.309 * * [misc]simplify:  iters left: 5 (22 enodes)
1538652043.316 * * [misc]simplify:  iters left: 4 (54 enodes)
1538652043.332 * * [misc]simplify:  iters left: 3 (116 enodes)
1538652043.422 * * [misc]simplify:  iters left: 2 (351 enodes)
1538652044.152 * [exit]simplify:  Simplified to (pow (/ (exp (* x x)) E) 3)
1538652044.152 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (exp (* x x)) E) 3)))
1538652044.152 * * * * [misc]progress:  [ 12 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))) (cbrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))) (cbrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652044.152 * * * * [misc]progress:  [ 13 / 97 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652044.152 * * * * [misc]progress:  [ 14 / 97 ] simplifiying candidate #<alt (λ (x) (sqrt (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x)))))))>
1538652044.153 * [enter]simplify:  Simplifying (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x)))))
1538652044.154 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652044.157 * * [misc]simplify:  iters left: 5 (15 enodes)
1538652044.163 * * [misc]simplify:  iters left: 4 (35 enodes)
1538652044.177 * * [misc]simplify:  iters left: 3 (95 enodes)
1538652044.231 * * [misc]simplify:  iters left: 2 (265 enodes)
1538652044.487 * [exit]simplify:  Simplified to (exp (+ (+ (* x x) (* x x)) -2))
1538652044.488 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (exp (+ (+ (* x x) (* x x)) -2))))
1538652044.488 * * * * [misc]progress:  [ 15 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))) (sqrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652044.488 * * * * [misc]progress:  [ 16 / 97 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
1538652044.488 * [enter]simplify:  Simplifying (- (- 1 (* x x)))
1538652044.488 * * [misc]simplify:  iters left: 6 (5 enodes)
1538652044.489 * * [misc]simplify:  iters left: 5 (9 enodes)
1538652044.492 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652044.496 * * [misc]simplify:  iters left: 3 (25 enodes)
1538652044.503 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652044.510 * * [misc]simplify:  iters left: 1 (37 enodes)
1538652044.525 * [exit]simplify:  Simplified to (+ (* x x) -1)
1538652044.525 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (* x x) -1)))
1538652044.525 * * * * [misc]progress:  [ 17 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt 1)) (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))>
1538652044.526 * [enter]simplify:  Simplifying (* (sqrt 1) (sqrt 1))
1538652044.526 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652044.528 * * [misc]simplify:  iters left: 2 (5 enodes)
1538652044.529 * [exit]simplify:  Simplified to 1
1538652044.529 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ 1 (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))
1538652044.529 * [enter]simplify:  Simplifying (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))
1538652044.530 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652044.534 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.540 * * [misc]simplify:  iters left: 4 (24 enodes)
1538652044.547 * * [misc]simplify:  iters left: 3 (28 enodes)
1538652044.554 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652044.562 * * [misc]simplify:  iters left: 1 (32 enodes)
1538652044.572 * [exit]simplify:  Simplified to (exp (- 1 (* x x)))
1538652044.572 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x)))))
1538652044.572 * * * * [misc]progress:  [ 18 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt (exp 0))) (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))>
1538652044.572 * [enter]simplify:  Simplifying (* (sqrt 1) (sqrt (exp 0)))
1538652044.573 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652044.577 * * [misc]simplify:  iters left: 3 (7 enodes)
1538652044.578 * [exit]simplify:  Simplified to 1
1538652044.578 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ 1 (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))
1538652044.578 * [enter]simplify:  Simplifying (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))
1538652044.579 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652044.584 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.592 * * [misc]simplify:  iters left: 4 (24 enodes)
1538652044.599 * * [misc]simplify:  iters left: 3 (28 enodes)
1538652044.603 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652044.607 * * [misc]simplify:  iters left: 1 (32 enodes)
1538652044.611 * [exit]simplify:  Simplified to (exp (- 1 (* x x)))
1538652044.611 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x)))))
1538652044.611 * * * * [misc]progress:  [ 19 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp 0)) (sqrt 1)) (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))>
1538652044.612 * [enter]simplify:  Simplifying (* (sqrt (exp 0)) (sqrt 1))
1538652044.612 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652044.615 * * [misc]simplify:  iters left: 3 (7 enodes)
1538652044.615 * [exit]simplify:  Simplified to 1
1538652044.615 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ 1 (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))
1538652044.615 * [enter]simplify:  Simplifying (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))
1538652044.616 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652044.618 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.621 * * [misc]simplify:  iters left: 4 (24 enodes)
1538652044.624 * * [misc]simplify:  iters left: 3 (28 enodes)
1538652044.628 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652044.633 * * [misc]simplify:  iters left: 1 (32 enodes)
1538652044.637 * [exit]simplify:  Simplified to (exp (- 1 (* x x)))
1538652044.637 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x)))))
1538652044.638 * * * * [misc]progress:  [ 20 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp 0)) (sqrt (exp 0))) (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))>
1538652044.638 * [enter]simplify:  Simplifying (* (sqrt (exp 0)) (sqrt (exp 0)))
1538652044.638 * * [misc]simplify:  iters left: 4 (4 enodes)
1538652044.639 * * [misc]simplify:  iters left: 3 (5 enodes)
1538652044.640 * [exit]simplify:  Simplified to 1
1538652044.640 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ 1 (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))))
1538652044.640 * [enter]simplify:  Simplifying (* (sqrt (exp (- 1 (* x x)))) (sqrt (exp (- 1 (* x x)))))
1538652044.640 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652044.643 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.648 * * [misc]simplify:  iters left: 4 (24 enodes)
1538652044.656 * * [misc]simplify:  iters left: 3 (28 enodes)
1538652044.661 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652044.668 * * [misc]simplify:  iters left: 1 (32 enodes)
1538652044.677 * [exit]simplify:  Simplified to (exp (- 1 (* x x)))
1538652044.677 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x)))))
1538652044.678 * * * * [misc]progress:  [ 21 / 97 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652044.678 * * * * [misc]progress:  [ 22 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (cbrt (sqrt (exp (- (- 1 (* x x)))))))) (cbrt (sqrt (exp (- (- 1 (* x x))))))))>
1538652044.678 * [enter]simplify:  Simplifying (cbrt (sqrt (exp (- (- 1 (* x x))))))
1538652044.679 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652044.682 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.692 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652044.704 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652044.725 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652044.756 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652044.786 * [exit]simplify:  Simplified to (cbrt (sqrt (/ (exp (* x x)) E)))
1538652044.786 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (cbrt (sqrt (exp (- (- 1 (* x x)))))))) (cbrt (sqrt (/ (exp (* x x)) E)))))
1538652044.786 * * * * [misc]progress:  [ 23 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- 1)))) (sqrt (exp (- (- (* x x)))))))>
1538652044.786 * [enter]simplify:  Simplifying (sqrt (exp (- (- (* x x)))))
1538652044.787 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652044.789 * * [misc]simplify:  iters left: 5 (12 enodes)
1538652044.798 * * [misc]simplify:  iters left: 4 (25 enodes)
1538652044.806 * * [misc]simplify:  iters left: 3 (30 enodes)
1538652044.813 * * [misc]simplify:  iters left: 2 (34 enodes)
1538652044.820 * [exit]simplify:  Simplified to (sqrt (exp (* x x)))
1538652044.820 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- 1)))) (sqrt (exp (* x x)))))
1538652044.820 * * * * [misc]progress:  [ 24 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- 1)))) (sqrt (exp (- (- (* x x)))))))>
1538652044.821 * [enter]simplify:  Simplifying (sqrt (exp (- (- (* x x)))))
1538652044.821 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652044.822 * * [misc]simplify:  iters left: 5 (12 enodes)
1538652044.825 * * [misc]simplify:  iters left: 4 (25 enodes)
1538652044.829 * * [misc]simplify:  iters left: 3 (30 enodes)
1538652044.833 * * [misc]simplify:  iters left: 2 (34 enodes)
1538652044.836 * [exit]simplify:  Simplified to (sqrt (exp (* x x)))
1538652044.836 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- 1)))) (sqrt (exp (* x x)))))
1538652044.836 * * * * [misc]progress:  [ 25 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))))) (sqrt (cbrt (exp (- (- 1 (* x x))))))))>
1538652044.837 * [enter]simplify:  Simplifying (sqrt (cbrt (exp (- (- 1 (* x x))))))
1538652044.837 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652044.839 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.843 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652044.851 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652044.872 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652044.904 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652044.958 * [exit]simplify:  Simplified to (sqrt (cbrt (/ (exp (* x x)) E)))
1538652044.958 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))))) (sqrt (cbrt (/ (exp (* x x)) E)))))
1538652044.959 * * * * [misc]progress:  [ 26 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))))>
1538652044.959 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- (- 1 (* x x))))))
1538652044.960 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652044.963 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652044.970 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652044.983 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652045.000 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652045.017 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652045.049 * [exit]simplify:  Simplified to (sqrt (sqrt (/ (exp (* x x)) E)))
1538652045.049 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))) (sqrt (sqrt (/ (exp (* x x)) E)))))
1538652045.049 * * * * [misc]progress:  [ 27 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt 1)) (sqrt (exp (- (- 1 (* x x)))))))>
1538652045.049 * [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
1538652045.050 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652045.052 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652045.055 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652045.062 * * [misc]simplify:  iters left: 3 (50 enodes)
1538652045.072 * * [misc]simplify:  iters left: 2 (80 enodes)
1538652045.088 * * [misc]simplify:  iters left: 1 (123 enodes)
1538652045.124 * [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
1538652045.124 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt 1)) (sqrt (/ (exp (* x x)) E))))
1538652045.124 * * * * [misc]progress:  [ 28 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.124 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- (- 1 (* x x))))))
1538652045.125 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652045.128 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652045.135 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652045.147 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652045.167 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652045.197 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652045.255 * [exit]simplify:  Simplified to (sqrt (sqrt (/ (exp (* x x)) E)))
1538652045.255 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (sqrt (exp (- (- 1 (* x x))))))) (sqrt (sqrt (/ (exp (* x x)) E)))))
1538652045.255 * * * * [misc]progress:  [ 29 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) 1) (sqrt (exp (- (- 1 (* x x)))))))>
1538652045.255 * [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
1538652045.256 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652045.259 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652045.266 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652045.277 * * [misc]simplify:  iters left: 3 (50 enodes)
1538652045.297 * * [misc]simplify:  iters left: 2 (80 enodes)
1538652045.329 * * [misc]simplify:  iters left: 1 (123 enodes)
1538652045.389 * [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
1538652045.389 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (exp (- (- 1 (* x x))))) 1) (sqrt (/ (exp (* x x)) E))))
1538652045.389 * * * * [misc]progress:  [ 30 / 97 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (cbrt (sqrt (exp (- (- 1 (* x x))))))) (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.390 * [enter]simplify:  Simplifying (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (cbrt (sqrt (exp (- (- 1 (* x x)))))))
1538652045.391 * * [misc]simplify:  iters left: 6 (9 enodes)
1538652045.394 * * [misc]simplify:  iters left: 5 (15 enodes)
1538652045.402 * * [misc]simplify:  iters left: 4 (28 enodes)
1538652045.413 * * [misc]simplify:  iters left: 3 (52 enodes)
1538652045.424 * * [misc]simplify:  iters left: 2 (82 enodes)
1538652045.441 * * [misc]simplify:  iters left: 1 (128 enodes)
1538652045.485 * [exit]simplify:  Simplified to (* (cbrt (sqrt (/ (exp (* x x)) E))) (cbrt (sqrt (/ (exp (* x x)) E))))
1538652045.485 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (/ (exp (* x x)) E))) (cbrt (sqrt (/ (exp (* x x)) E)))) (* (cbrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.485 * * * * [misc]progress:  [ 31 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- 1))) (* (sqrt (exp (- (- (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.485 * [enter]simplify:  Simplifying (sqrt (exp (- 1)))
1538652045.486 * * [misc]simplify:  iters left: 4 (4 enodes)
1538652045.488 * * [misc]simplify:  iters left: 3 (9 enodes)
1538652045.489 * * [misc]simplify:  iters left: 2 (10 enodes)
1538652045.491 * [exit]simplify:  Simplified to (sqrt (/ 1 E))
1538652045.491 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (/ 1 E)) (* (sqrt (exp (- (- (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.491 * * * * [misc]progress:  [ 32 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- 1))) (* (sqrt (exp (- (- (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.491 * [enter]simplify:  Simplifying (sqrt (exp (- 1)))
1538652045.491 * * [misc]simplify:  iters left: 4 (4 enodes)
1538652045.493 * * [misc]simplify:  iters left: 3 (9 enodes)
1538652045.495 * * [misc]simplify:  iters left: 2 (10 enodes)
1538652045.496 * [exit]simplify:  Simplified to (sqrt (/ 1 E))
1538652045.496 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (/ 1 E)) (* (sqrt (exp (- (- (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.497 * * * * [misc]progress:  [ 33 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x))))))) (* (sqrt (cbrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.497 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))))
1538652045.497 * * [misc]simplify:  iters left: 6 (9 enodes)
1538652045.499 * * [misc]simplify:  iters left: 5 (16 enodes)
1538652045.504 * * [misc]simplify:  iters left: 4 (29 enodes)
1538652045.510 * * [misc]simplify:  iters left: 3 (53 enodes)
1538652045.524 * * [misc]simplify:  iters left: 2 (83 enodes)
1538652045.559 * * [misc]simplify:  iters left: 1 (129 enodes)
1538652045.596 * [exit]simplify:  Simplified to (fabs (cbrt (/ (exp (* x x)) E)))
1538652045.596 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (/ (exp (* x x)) E))) (* (sqrt (cbrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.596 * * * * [misc]progress:  [ 34 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.596 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- (- 1 (* x x))))))
1538652045.597 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652045.599 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652045.603 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652045.609 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652045.620 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652045.639 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652045.681 * [exit]simplify:  Simplified to (sqrt (sqrt (/ (exp (* x x)) E)))
1538652045.681 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (/ (exp (* x x)) E))) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.681 * * * * [misc]progress:  [ 35 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.681 * [enter]simplify:  Simplifying (sqrt 1)
1538652045.681 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652045.683 * [exit]simplify:  Simplified to 1
1538652045.683 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.683 * * * * [misc]progress:  [ 36 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.683 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- (- 1 (* x x))))))
1538652045.684 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652045.687 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652045.691 * * [misc]simplify:  iters left: 4 (27 enodes)
1538652045.697 * * [misc]simplify:  iters left: 3 (51 enodes)
1538652045.708 * * [misc]simplify:  iters left: 2 (81 enodes)
1538652045.729 * * [misc]simplify:  iters left: 1 (125 enodes)
1538652045.767 * [exit]simplify:  Simplified to (sqrt (sqrt (/ (exp (* x x)) E)))
1538652045.767 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (/ (exp (* x x)) E))) (* (sqrt (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x))))))))
1538652045.767 * * * * [misc]progress:  [ 37 / 97 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))))>
1538652045.767 * * * * [misc]progress:  [ 38 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp (- (- 1 (* x x))))) (sqrt 1)) (sqrt (exp (- 1 (* x x))))))>
1538652045.767 * [enter]simplify:  Simplifying (sqrt (exp (- 1 (* x x))))
1538652045.767 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652045.769 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652045.772 * * [misc]simplify:  iters left: 4 (22 enodes)
1538652045.775 * * [misc]simplify:  iters left: 3 (26 enodes)
1538652045.779 * * [misc]simplify:  iters left: 2 (29 enodes)
1538652045.783 * * [misc]simplify:  iters left: 1 (30 enodes)
1538652045.791 * [exit]simplify:  Simplified to (sqrt (exp (- 1 (* x x))))
1538652045.791 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (* (sqrt (exp (- (- 1 (* x x))))) (sqrt 1)) (sqrt (exp (- 1 (* x x))))))
1538652045.791 * * * * [misc]progress:  [ 39 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp 0))) (sqrt (exp (- 1 (* x x))))))>
1538652045.791 * [enter]simplify:  Simplifying (sqrt (exp (- 1 (* x x))))
1538652045.792 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652045.795 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652045.800 * * [misc]simplify:  iters left: 4 (22 enodes)
1538652045.806 * * [misc]simplify:  iters left: 3 (26 enodes)
1538652045.815 * * [misc]simplify:  iters left: 2 (29 enodes)
1538652045.822 * * [misc]simplify:  iters left: 1 (30 enodes)
1538652045.831 * [exit]simplify:  Simplified to (sqrt (exp (- 1 (* x x))))
1538652045.831 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp 0))) (sqrt (exp (- 1 (* x x))))))
1538652045.831 * * * * [misc]progress:  [ 40 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt 1) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- 1 (* x x))))))>
1538652045.831 * [enter]simplify:  Simplifying (* (sqrt 1) (sqrt (exp (- (- 1 (* x x))))))
1538652045.832 * * [misc]simplify:  iters left: 6 (9 enodes)
1538652045.836 * * [misc]simplify:  iters left: 5 (16 enodes)
1538652045.843 * * [misc]simplify:  iters left: 4 (29 enodes)
1538652045.855 * * [misc]simplify:  iters left: 3 (56 enodes)
1538652045.875 * * [misc]simplify:  iters left: 2 (85 enodes)
1538652045.902 * * [misc]simplify:  iters left: 1 (127 enodes)
1538652045.956 * [exit]simplify:  Simplified to (sqrt (exp (+ (* x x) -1)))
1538652045.957 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (exp (+ (* x x) -1))) (sqrt (exp (- 1 (* x x))))))
1538652045.957 * * * * [misc]progress:  [ 41 / 97 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp 0)) (sqrt (exp (- (- 1 (* x x)))))) (sqrt (exp (- 1 (* x x))))))>
1538652045.957 * [enter]simplify:  Simplifying (* (sqrt (exp 0)) (sqrt (exp (- (- 1 (* x x))))))
1538652045.958 * * [misc]simplify:  iters left: 6 (11 enodes)
1538652045.963 * * [misc]simplify:  iters left: 5 (16 enodes)
1538652045.970 * * [misc]simplify:  iters left: 4 (29 enodes)
1538652045.984 * * [misc]simplify:  iters left: 3 (56 enodes)
1538652046.003 * * [misc]simplify:  iters left: 2 (86 enodes)
1538652046.036 * * [misc]simplify:  iters left: 1 (130 enodes)
1538652046.089 * [exit]simplify:  Simplified to (sqrt (exp (+ -1 (* x x))))
1538652046.089 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (exp (+ -1 (* x x)))) (sqrt (exp (- 1 (* x x))))))
1538652046.089 * * * * [misc]progress:  [ 42 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.089 * * * * [misc]progress:  [ 43 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (- (- 1 (* x x)))) 1))))>
1538652046.089 * * * * [misc]progress:  [ 44 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (cbrt (- (- 1 (* x x))))))))>
1538652046.089 * [enter]simplify:  Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
1538652046.090 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652046.094 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652046.099 * * [misc]simplify:  iters left: 4 (22 enodes)
1538652046.106 * * [misc]simplify:  iters left: 3 (30 enodes)
1538652046.114 * * [misc]simplify:  iters left: 2 (36 enodes)
1538652046.122 * * [misc]simplify:  iters left: 1 (42 enodes)
1538652046.134 * [exit]simplify:  Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
1538652046.134 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x))))))))
1538652046.134 * * * * [misc]progress:  [ 45 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (sqrt (- (- 1 (* x x))))) (sqrt (- (- 1 (* x x))))))))>
1538652046.134 * [enter]simplify:  Simplifying (exp (sqrt (- (- 1 (* x x)))))
1538652046.134 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.136 * * [misc]simplify:  iters left: 5 (11 enodes)
1538652046.138 * * [misc]simplify:  iters left: 4 (19 enodes)
1538652046.142 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652046.147 * * [misc]simplify:  iters left: 2 (38 enodes)
1538652046.152 * * [misc]simplify:  iters left: 1 (49 enodes)
1538652046.171 * [exit]simplify:  Simplified to (exp (sqrt (+ -1 (* x x))))
1538652046.171 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (sqrt (+ -1 (* x x)))) (sqrt (- (- 1 (* x x))))))))
1538652046.171 * * * * [misc]progress:  [ 46 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp 1) (- (- 1 (* x x)))))))>
1538652046.172 * [enter]simplify:  Simplifying (exp 1)
1538652046.172 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.173 * [exit]simplify:  Simplified to E
1538652046.173 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow E (- (- 1 (* x x)))))))
1538652046.173 * * * * [misc]progress:  [ 47 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp -1) (- 1 (* x x))))))>
1538652046.173 * [enter]simplify:  Simplifying (exp -1)
1538652046.173 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.175 * [exit]simplify:  Simplified to (exp -1)
1538652046.175 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp -1) (- 1 (* x x))))))
1538652046.175 * * * * [misc]progress:  [ 48 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x)))))))>
1538652046.175 * [enter]simplify:  Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
1538652046.176 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652046.179 * * [misc]simplify:  iters left: 5 (17 enodes)
1538652046.185 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652046.191 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652046.200 * [exit]simplify:  Simplified to (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x)))))
1538652046.200 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x))))) (cbrt (- 1 (* x x)))))))
1538652046.200 * * * * [misc]progress:  [ 49 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x)))))))>
1538652046.200 * [enter]simplify:  Simplifying (exp (- (sqrt (- 1 (* x x)))))
1538652046.201 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.204 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652046.208 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.214 * [exit]simplify:  Simplified to (exp (- (sqrt (- 1 (* x x)))))
1538652046.214 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x)))))))
1538652046.214 * * * * [misc]progress:  [ 50 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (- 1)) (- 1 (* x x))))))>
1538652046.214 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.215 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.218 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.220 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.223 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.223 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (/ 1 E) (- 1 (* x x))))))
1538652046.223 * * * * [misc]progress:  [ 51 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x))))))))>
1538652046.223 * [enter]simplify:  Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652046.224 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.227 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652046.232 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.238 * [exit]simplify:  Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652046.238 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x))))))))
1538652046.238 * * * * [misc]progress:  [ 52 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x))))))))>
1538652046.238 * [enter]simplify:  Simplifying (exp (sqrt (- 1 (* x x))))
1538652046.239 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652046.241 * * [misc]simplify:  iters left: 5 (10 enodes)
1538652046.245 * * [misc]simplify:  iters left: 4 (14 enodes)
1538652046.249 * [exit]simplify:  Simplified to (exp (sqrt (- 1 (* x x))))
1538652046.249 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x))))))))
1538652046.249 * * * * [misc]progress:  [ 53 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow (exp 1) (- (- 1 (* x x)))))))>
1538652046.250 * [enter]simplify:  Simplifying (exp 1)
1538652046.250 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.251 * [exit]simplify:  Simplified to E
1538652046.251 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (pow E (- (- 1 (* x x)))))))
1538652046.251 * * * * [misc]progress:  [ 54 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (exp (- 1)) (exp (- (- (* x x))))))))>
1538652046.252 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.252 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.255 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.258 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.260 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.260 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (/ 1 E) (exp (- (- (* x x))))))))
1538652046.260 * * * * [misc]progress:  [ 55 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (exp (- 1)) (exp (- (- (* x x))))))))>
1538652046.260 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.260 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.262 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.263 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.265 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.265 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (/ 1 E) (exp (- (- (* x x))))))))
1538652046.265 * * * * [misc]progress:  [ 56 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ 1 (exp (- 1 (* x x)))))))>
1538652046.265 * * * * [misc]progress:  [ 57 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ (exp 0) (exp (- 1 (* x x)))))))>
1538652046.265 * [enter]simplify:  Simplifying (exp 0)
1538652046.265 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.265 * [exit]simplify:  Simplified to 1
1538652046.265 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ 1 (exp (- 1 (* x x)))))))
1538652046.265 * * * * [misc]progress:  [ 58 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ 1 (exp (- 1 (* x x)))))))>
1538652046.266 * * * * [misc]progress:  [ 59 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.266 * [enter]simplify:  Simplifying (- (- 1 (* x x)))
1538652046.266 * * [misc]simplify:  iters left: 6 (5 enodes)
1538652046.267 * * [misc]simplify:  iters left: 5 (9 enodes)
1538652046.269 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.272 * * [misc]simplify:  iters left: 3 (25 enodes)
1538652046.276 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652046.282 * * [misc]simplify:  iters left: 1 (37 enodes)
1538652046.290 * [exit]simplify:  Simplified to (+ (* x x) -1)
1538652046.290 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (+ (* x x) -1)))))
1538652046.290 * * * * [misc]progress:  [ 60 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (log (exp (- (- 1 (* x x)))))))))>
1538652046.290 * * * * [misc]progress:  [ 61 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (log (exp (exp (- (- 1 (* x x)))))))))>
1538652046.290 * * * * [misc]progress:  [ 62 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (- (- 1 (* x x)))))))))>
1538652046.290 * * * * [misc]progress:  [ 63 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (cbrt (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x)))))))))>
1538652046.290 * * * * [misc]progress:  [ 64 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))))>
1538652046.290 * * * * [misc]progress:  [ 65 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* 1 (exp (- (- 1 (* x x))))))))>
1538652046.290 * * * * [misc]progress:  [ 66 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (- (- 1 (* x x)))) 1)) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.290 * * * * [misc]progress:  [ 67 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (cbrt (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.290 * [enter]simplify:  Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
1538652046.291 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652046.293 * * [misc]simplify:  iters left: 5 (14 enodes)
1538652046.296 * * [misc]simplify:  iters left: 4 (22 enodes)
1538652046.303 * * [misc]simplify:  iters left: 3 (30 enodes)
1538652046.311 * * [misc]simplify:  iters left: 2 (36 enodes)
1538652046.319 * * [misc]simplify:  iters left: 1 (42 enodes)
1538652046.330 * [exit]simplify:  Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
1538652046.330 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.330 * * * * [misc]progress:  [ 68 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (sqrt (- (- 1 (* x x))))) (sqrt (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.331 * [enter]simplify:  Simplifying (exp (sqrt (- (- 1 (* x x)))))
1538652046.331 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.332 * * [misc]simplify:  iters left: 5 (11 enodes)
1538652046.335 * * [misc]simplify:  iters left: 4 (19 enodes)
1538652046.338 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652046.343 * * [misc]simplify:  iters left: 2 (38 enodes)
1538652046.348 * * [misc]simplify:  iters left: 1 (49 enodes)
1538652046.366 * [exit]simplify:  Simplified to (exp (sqrt (+ -1 (* x x))))
1538652046.366 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp (sqrt (+ -1 (* x x)))) (sqrt (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.366 * * * * [misc]progress:  [ 69 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp 1) (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.367 * [enter]simplify:  Simplifying (exp 1)
1538652046.367 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.368 * [exit]simplify:  Simplified to E
1538652046.368 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow E (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.368 * * * * [misc]progress:  [ 70 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp -1) (- 1 (* x x)))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.368 * [enter]simplify:  Simplifying (exp -1)
1538652046.368 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.369 * [exit]simplify:  Simplified to (exp -1)
1538652046.369 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp -1) (- 1 (* x x)))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.370 * * * * [misc]progress:  [ 71 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.370 * [enter]simplify:  Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
1538652046.373 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652046.377 * * [misc]simplify:  iters left: 5 (17 enodes)
1538652046.382 * * [misc]simplify:  iters left: 4 (26 enodes)
1538652046.389 * * [misc]simplify:  iters left: 3 (27 enodes)
1538652046.397 * [exit]simplify:  Simplified to (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x)))))
1538652046.397 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x))))) (cbrt (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.397 * * * * [misc]progress:  [ 72 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.398 * [enter]simplify:  Simplifying (exp (- (sqrt (- 1 (* x x)))))
1538652046.398 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.401 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652046.405 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.411 * [exit]simplify:  Simplified to (exp (- (sqrt (- 1 (* x x)))))
1538652046.411 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.411 * * * * [misc]progress:  [ 73 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (- 1)) (- 1 (* x x)))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.411 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.411 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.414 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.417 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.419 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.420 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (/ 1 E) (- 1 (* x x)))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.420 * * * * [misc]progress:  [ 74 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.420 * [enter]simplify:  Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652046.421 * * [misc]simplify:  iters left: 6 (7 enodes)
1538652046.423 * * [misc]simplify:  iters left: 5 (13 enodes)
1538652046.427 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.433 * [exit]simplify:  Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1538652046.433 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.433 * * * * [misc]progress:  [ 75 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.433 * [enter]simplify:  Simplifying (exp (sqrt (- 1 (* x x))))
1538652046.434 * * [misc]simplify:  iters left: 6 (6 enodes)
1538652046.436 * * [misc]simplify:  iters left: 5 (10 enodes)
1538652046.439 * * [misc]simplify:  iters left: 4 (14 enodes)
1538652046.443 * [exit]simplify:  Simplified to (exp (sqrt (- 1 (* x x))))
1538652046.443 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.443 * * * * [misc]progress:  [ 76 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow (exp 1) (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.444 * [enter]simplify:  Simplifying (exp 1)
1538652046.444 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.445 * [exit]simplify:  Simplified to E
1538652046.445 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (pow E (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.445 * * * * [misc]progress:  [ 77 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (- 1)) (exp (- (- (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.445 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.445 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.448 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.451 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.453 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.453 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (* (/ 1 E) (exp (- (- (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.453 * * * * [misc]progress:  [ 78 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (- 1)) (exp (- (- (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.454 * [enter]simplify:  Simplifying (exp (- 1))
1538652046.454 * * [misc]simplify:  iters left: 3 (3 enodes)
1538652046.457 * * [misc]simplify:  iters left: 2 (8 enodes)
1538652046.459 * * [misc]simplify:  iters left: 1 (9 enodes)
1538652046.462 * [exit]simplify:  Simplified to (/ 1 E)
1538652046.462 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (* (/ 1 E) (exp (- (- (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.462 * * * * [misc]progress:  [ 79 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 1 (exp (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.462 * * * * [misc]progress:  [ 80 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp 0) (exp (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.462 * [enter]simplify:  Simplifying (exp 0)
1538652046.462 * * [misc]simplify:  iters left: 1 (2 enodes)
1538652046.463 * [exit]simplify:  Simplified to 1
1538652046.463 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (/ 1 (exp (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.463 * * * * [misc]progress:  [ 81 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 1 (exp (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.463 * * * * [misc]progress:  [ 82 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.463 * [enter]simplify:  Simplifying (- (- 1 (* x x)))
1538652046.464 * * [misc]simplify:  iters left: 6 (5 enodes)
1538652046.466 * * [misc]simplify:  iters left: 5 (9 enodes)
1538652046.470 * * [misc]simplify:  iters left: 4 (17 enodes)
1538652046.475 * * [misc]simplify:  iters left: 3 (25 enodes)
1538652046.482 * * [misc]simplify:  iters left: 2 (31 enodes)
1538652046.489 * * [misc]simplify:  iters left: 1 (37 enodes)
1538652046.506 * [exit]simplify:  Simplified to (+ (* x x) -1)
1538652046.506 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (sqrt (exp (+ (* x x) -1))) (sqrt (exp (- (- 1 (* x x)))))))
1538652046.506 * * * * [misc]progress:  [ 83 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (log (exp (- (- 1 (* x x))))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 84 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (exp (exp (- (- 1 (* x x))))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 85 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (- (- 1 (* x x))))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 86 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (cbrt (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x))))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 87 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 88 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* 1 (exp (- (- 1 (* x x)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.506 * * * * [misc]progress:  [ 89 / 97 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1538652046.506 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1538652046.507 * * [misc]simplify:  iters left: 6 (13 enodes)
1538652046.513 * * [misc]simplify:  iters left: 5 (23 enodes)
1538652046.524 * * [misc]simplify:  iters left: 4 (46 enodes)
1538652046.537 * * [misc]simplify:  iters left: 3 (63 enodes)
1538652046.549 * * [misc]simplify:  iters left: 2 (76 enodes)
1538652046.567 * * [misc]simplify:  iters left: 1 (145 enodes)
1538652046.644 * [exit]simplify:  Simplified to (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))
1538652046.644 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1)))
1538652046.644 * * * * [misc]progress:  [ 90 / 97 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
1538652046.644 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652046.645 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652046.649 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652046.655 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652046.662 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652046.676 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652046.676 * [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
1538652046.676 * * * * [misc]progress:  [ 91 / 97 ] simplifiying candidate #<alt (λ (x) (exp (- (pow x 2) 1)))>
1538652046.676 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652046.676 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652046.680 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652046.686 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652046.694 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652046.704 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652046.704 * [misc]simplify:  Simplified (2) to (λ (x) (/ (exp (* x x)) E))
1538652046.704 * * * * [misc]progress:  [ 92 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))))>
1538652046.705 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1538652046.705 * * [misc]simplify:  iters left: 6 (13 enodes)
1538652046.709 * * [misc]simplify:  iters left: 5 (23 enodes)
1538652046.715 * * [misc]simplify:  iters left: 4 (46 enodes)
1538652046.726 * * [misc]simplify:  iters left: 3 (63 enodes)
1538652046.748 * * [misc]simplify:  iters left: 2 (76 enodes)
1538652046.770 * * [misc]simplify:  iters left: 1 (145 enodes)
1538652046.835 * [exit]simplify:  Simplified to (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))
1538652046.835 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1)))))
1538652046.835 * * * * [misc]progress:  [ 93 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (pow x 2) 1)))))>
1538652046.835 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652046.835 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652046.838 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652046.842 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652046.846 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652046.854 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652046.854 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ (exp (* x x)) E))))
1538652046.854 * * * * [misc]progress:  [ 94 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (pow x 2) 1)))))>
1538652046.854 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652046.855 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652046.857 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652046.860 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652046.865 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652046.875 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652046.875 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (/ (exp (* x x)) E))))
1538652046.875 * * * * [misc]progress:  [ 95 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652046.876 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1538652046.877 * * [misc]simplify:  iters left: 6 (13 enodes)
1538652046.883 * * [misc]simplify:  iters left: 5 (23 enodes)
1538652046.894 * * [misc]simplify:  iters left: 4 (46 enodes)
1538652046.909 * * [misc]simplify:  iters left: 3 (63 enodes)
1538652046.921 * * [misc]simplify:  iters left: 2 (76 enodes)
1538652046.940 * * [misc]simplify:  iters left: 1 (145 enodes)
1538652047.035 * [exit]simplify:  Simplified to (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))
1538652047.035 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (sqrt (* (+ (* 1/2 (pow x 4)) (+ (* x x) 1)) (exp -1))) (sqrt (exp (- (- 1 (* x x)))))))
1538652047.035 * * * * [misc]progress:  [ 96 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (pow x 2) 1))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652047.035 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652047.035 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652047.038 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652047.041 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652047.045 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652047.054 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652047.054 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (sqrt (/ (exp (* x x)) E)) (sqrt (exp (- (- 1 (* x x)))))))
1538652047.054 * * * * [misc]progress:  [ 97 / 97 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (- (pow x 2) 1))) (sqrt (exp (- (- 1 (* x x)))))))>
1538652047.054 * [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
1538652047.054 * * [misc]simplify:  iters left: 4 (6 enodes)
1538652047.059 * * [misc]simplify:  iters left: 3 (15 enodes)
1538652047.064 * * [misc]simplify:  iters left: 2 (23 enodes)
1538652047.072 * * [misc]simplify:  iters left: 1 (29 enodes)
1538652047.090 * [exit]simplify:  Simplified to (/ (exp (* x x)) E)
1538652047.090 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (sqrt (/ (exp (* x x)) E)) (sqrt (exp (- (- 1 (* x x)))))))
1538652047.090 * * * [misc]progress:  adding candidates to table
1538652048.745 * [misc]progress:  [Phase 3 of 3] Extracting.
1538652048.745 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.746 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (* x x) (- 1 (* x x)) (- (- 1 (* x x))) (exp (- (- 1 (* x x)))))
1538652048.746 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.778 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.799 * * * * [misc]regimes:  Trying to branch on (* x x) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.823 * * * * [misc]regimes:  Trying to branch on (* x x) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.856 * * * * [misc]regimes:  Trying to branch on (- 1 (* x x)) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.880 * * * * [misc]regimes:  Trying to branch on (- 1 (* x x)) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.911 * * * * [misc]regimes:  Trying to branch on (- (- 1 (* x x))) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.947 * * * * [misc]regimes:  Trying to branch on (- (- 1 (* x x))) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652048.976 * * * * [misc]regimes:  Trying to branch on (exp (- (- 1 (* x x)))) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652049.024 * * * * [misc]regimes:  Trying to branch on (exp (- (- 1 (* x x)))) from (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>)
1538652049.060 * * * [misc]regime:  Found split indices: #(struct:option (#(struct:si 0 256)) (#<alt (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))> #<alt (λ (x) (exp (- (- 1 (* x x)))))>) ((-2.3276256336972163e-07) (-1.2042301899260906e-14) (-3.5084136453538892e-15) (-3.3308743600633215e-15) (-3.240346028970081e-15) (-1.0487231314485502e-16) (-1.6965371165900242e-18) (-5.589276063704757e-19) (-4.843137053524921e-21) (-1.0736488594530174e-23) (-4.465991383384175e-26) (-2.469296306701693e-36) (-3.616191074352052e-37) (-1.1802424952734304e-37) (-4.0658589169372375e-41) (-1.6741119831022312e-41) (-2.921904871424238e-47) (-7.657369731461963e-48) (-1.2462816419703266e-48) (-3.0498604875835487e-49) (-2.1524007057793704e-49) (-2.1413830128989264e-54) (-2.2012434472498785e-60) (-3.209883341564901e-63) (-1.2072979823529446e-63) (-2.955777829253066e-66) (-1.760255329851746e-67) (-5.706671768507402e-69) (-6.994306948501728e-71) (-1.697348611873036e-73) (-5.391091989162199e-74) (-5.378972006720192e-74) (-9.322931787170773e-76) (-3.29909265121479e-76) (-8.868882577476724e-77) (-9.460007447347726e-78) (-5.927114926480962e-78) (-2.4916361886273643e-79) (-1.7938285737078533e-82) (-1.1089728376359794e-82) (-6.766826023191453e-84) (-5.625885768842148e-88) (-2.77437682891338e-88) (-1.5461950666033268e-97) (-9.764345384384765e-98) (-1.0874606914367045e-98) (-4.430508009638048e-101) (-2.2123989024133933e-103) (-8.558059242774545e-104) (-4.544311792634174e-109) (-6.944876809127283e-110) (-2.339336645760783e-110) (-8.029226205961083e-112) (-1.3950056991964502e-112) (-2.4638814661618405e-113) (-3.4081502191743144e-116) (-3.311963829387737e-117) (-2.4367053090702182e-118) (-2.444476255524334e-119) (-8.975364964893644e-122) (-1.483834620365367e-122) (-5.817872448465655e-129) (-2.598210309477916e-131) (-2.7669745435699463e-136) (-3.8630708207041023e-138) (-1.143994825865194e-140) (-5.197645799437957e-143) (-3.537418428819644e-143) (-5.0867706261644334e-144) (-3.1423901489567975e-144) (-1.9059988849589942e-146) (-6.578629878313496e-147) (-1.083182960985472e-152) (-6.270052397960629e-155) (-5.68648229960214e-155) (-5.930616720795056e-165) (-1.1242965509034568e-166) (-4.0102312496443143e-168) (-7.913214891145994e-169) (-1.0938446266950585e-173) (-2.9751226236336803e-176) (-6.0962303766092635e-177) (-4.390622381325327e-178) (-1.2658935282931798e-178) (-9.610931783083408e-179) (-3.387018118176144e-181) (-3.544166766971903e-185) (-1.2320670513008903e-185) (-7.473340778895825e-188) (-3.270698751706161e-188) (-3.132233103935163e-194) (-5.646345751622914e-202) (-1.9438850420696585e-202) (-2.9297586638352515e-203) (-2.905988285801436e-205) (-1.5167085079964043e-205) (-4.905253312077985e-213) (-1.0561868963519813e-214) (-2.5852241493686563e-222) (-9.522397262835923e-225) (-5.527727220388671e-225) (-2.3169126294330088e-225) (-1.4679129703285418e-225) (-2.1608010905943238e-228) (-4.869129021911362e-230) (-9.69813739120607e-233) (-1.866170784567571e-233) (-2.6694895720670696e-234) (-1.2406775117539944e-234) (-2.2751242198706754e-236) (-1.8033121858791304e-237) (-3.8484030093995154e-241) (-1.2023694509091807e-241) (-4.302673321906094e-243) (-7.307854146508657e-245) (-6.928817568669185e-245) (-8.372806427162053e-250) (-3.2460868237466383e-258) (-1.6329299998471457e-258) (-1.4155366397909622e-258) (-3.5632116527656977e-264) (-1.0666243731941173e-265) (-1.610919136596858e-270) (-2.071465207765872e-272) (-5.5033988221852516e-278) (-3.357346660184677e-279) (-1.8442254689297563e-280) (-2.021807896661459e-285) (-2.9495054574572513e-292) (-8.34008985677553e-294) (-3.706607036431284e-295) (-1.735843317514804e-295) (-6.752085354223526e-303) (-1.4120510602163205e-306) (-9.756032745261562e-307) (1.4361741844617106e-307) (1.27971580958272e-305) (5.332177281320395e-303) (9.183490762885058e-300) (8.540818573115008e-298) (9.94295662300743e-298) (5.166641235649201e-297) (4.546648012677896e-296) (1.3786415375020627e-284) (3.7626896165747987e-283) (3.429982845851953e-279) (1.5527295256313793e-274) (7.912151782080467e-268) (2.576714307066564e-267) (3.8884865854576844e-265) (1.5936772638060447e-264) (2.3809319540687927e-263) (8.989151752206993e-261) (6.851296073165166e-260) (1.4098004071014702e-252) (4.2971586461211995e-249) (5.5193734441473063e-247) (5.13584722937396e-243) (2.674864310541707e-242) (1.3647312126963589e-241) (4.232162329609072e-234) (6.302690165599983e-233) (9.211686925141e-233) (5.483288986076591e-232) (1.9055239461048055e-230) (2.5637068769463443e-229) (3.886453446495856e-226) (8.943714235523933e-221) (3.4582757322314025e-219) (3.400205593594157e-218) (2.7562605000800196e-214) (5.0152418206554074e-213) (4.468045203005065e-208) (8.994175374043719e-208) (3.8034877296991614e-207) (7.615934000974176e-203) (2.531257269269511e-197) (6.340978630588841e-195) (8.574398707378534e-193) (4.224100043679813e-191) (8.240802531307686e-188) (2.9415579836126274e-185) (1.8137005692972472e-181) (1.7963377190742854e-177) (1.2994355192435938e-174) (7.391746737906687e-165) (8.111572714051108e-159) (8.164925761322927e-159) (1.2693848904378586e-156) (1.1631876199243737e-154) (1.7156760236625116e-149) (1.766838948812995e-147) (2.3743410745846496e-147) (2.2592773410160867e-140) (3.9066633556287753e-140) (3.6916698654574704e-133) (2.618662183626593e-131) (8.141446867262622e-131) (1.3300603339674061e-129) (1.9634075622729443e-119) (2.743851952669172e-115) (3.5926174952510474e-113) (3.9716148728780075e-113) (4.627290929670442e-113) (2.351273431454235e-111) (7.534211658410033e-109) (5.2636236971167887e-107) (4.255568669769026e-105) (6.6459065265571764e-102) (9.030475850962892e-102) (1.0107912231791123e-101) (4.543912920945783e-98) (3.7835831284620876e-94) (1.311897274522464e-91) (3.4581308904736386e-91) (6.320813074242574e-90) (3.2741104361983186e-88) (1.3795303303136253e-83) (3.766141140504034e-82) (2.3446921291498613e-80) (2.7706768221310417e-80) (3.2236921331051528e-80) (2.551265997199411e-77) (3.3207657410189864e-77) (1.2241308194118762e-69) (3.060530355757926e-64) (5.644095026687996e-60) (3.669562241922526e-57) (4.503598881840906e-54) (1.2226598217103862e-49) (2.743080321036143e-46) (1.2926895612577624e-43) (4.832175164489317e-39) (2.5977061666559785e-36) (4.511041917463396e-36) (1.272286441481795e-35) (5.778213284605202e-32) (1.8386272379331148e-31) (2.2214686711075268e-29) (7.645928708151369e-26) (2.7134514920655273e-25) (2.783829392737632e-23) (1.7464131799263172e-22) (1.941715934935601e-21) (7.370532544181588e-18) (6.918453703437243e-17) (6.271487897429285e-16) (5.0472561349233467e-14) (1.3541607029647162e-12) (2.2220205482534037e-11) (2.647695068660539e-11) (3.779129353258822e-08) (1.4316578916589987e-07) (0.00019712927961133578) (0.0004481364379532123) (0.10988009230650758)) x (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1))
1538652049.062 * [enter]simplify:  Simplifying (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))
1538652049.064 * * [misc]simplify:  iters left: 6 (8 enodes)
1538652049.065 * * [misc]simplify:  iters left: 5 (10 enodes)
1538652049.067 * [exit]simplify:  Simplified to (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))))
1538652049.067 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538652050.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652050.104 * * * * [misc]points:  Sampling 4029 additional inputs, on iter 1 have 3971 / 8000
1538652050.635 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652050.636 * * * * [misc]points:  Sampling 1979 additional inputs, on iter 2 have 6021 / 8000
1538652050.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652050.878 * * * * [misc]points:  Sampling 964 additional inputs, on iter 3 have 7036 / 8000
1538652051.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.059 * * * * [misc]points:  Sampling 462 additional inputs, on iter 4 have 7538 / 8000
1538652051.114 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.114 * * * * [misc]points:  Sampling 230 additional inputs, on iter 5 have 7770 / 8000
1538652051.550 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.550 * * * * [misc]points:  Sampling 124 additional inputs, on iter 6 have 7876 / 8000
1538652051.561 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.561 * * * * [misc]points:  Sampling 70 additional inputs, on iter 7 have 7930 / 8000
1538652051.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.569 * * * * [misc]points:  Sampling 32 additional inputs, on iter 8 have 7968 / 8000
1538652051.572 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.572 * * * * [misc]points:  Sampling 12 additional inputs, on iter 9 have 7988 / 8000
1538652051.574 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.574 * * * * [misc]points:  Sampling 9 additional inputs, on iter 10 have 7991 / 8000
1538652051.576 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.576 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1538652051.578 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.578 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7999 / 8000
1538652051.579 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538652051.579 * * * * [exit]points:  Sampled 8001 points with exact outputs