1544785450.583 * [misc]progress:  [Phase 1 of 3] Setting up.
1544785450.583 * * * [misc]progress:  [1/2] Preparing points
1544785450.583 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544785450.617 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.618 * * * * [misc]points:  Sampling 115 additional inputs, on iter 1 have 141 / 256
1544785450.632 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.632 * * * * [misc]points:  Sampling 56 additional inputs, on iter 2 have 200 / 256
1544785450.637 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.637 * * * * [misc]points:  Sampling 26 additional inputs, on iter 3 have 230 / 256
1544785450.640 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.640 * * * * [misc]points:  Sampling 10 additional inputs, on iter 4 have 246 / 256
1544785450.642 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.642 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1544785450.644 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.644 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 254 / 256
1544785450.645 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785450.645 * * * * [exit]points:  Sampled 258 points with exact outputs
1544785450.645 * * * [misc]progress:  [2/2] Setting up program.
1544785450.648 * [misc]progress:  [Phase 2 of 3] Improving.
1544785450.648 * [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
1544785450.649 * * [misc]simplify:  iters left: 6 (6 enodes)
1544785450.651 * * [misc]simplify:  iters left: 5 (12 enodes)
1544785450.654 * * [misc]simplify:  iters left: 4 (25 enodes)
1544785450.661 * * [misc]simplify:  iters left: 3 (51 enodes)
1544785450.673 * * [misc]simplify:  iters left: 2 (82 enodes)
1544785450.715 * * [misc]simplify:  iters left: 1 (126 enodes)
1544785450.767 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785450.782 * * [misc]progress:  iteration 1 / 4
1544785450.782 * * * [misc]progress:  picking best candidate
1544785450.788 * * * * [misc]pick:  Picked  #<alt (λ (x) (exp (fma x x -1)))>
1544785450.788 * * * [misc]progress:  localizing error
1544785450.805 * * * [misc]progress:  generating rewritten candidates
1544785450.805 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544785450.821 * * * [misc]progress:  generating series expansions
1544785450.821 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544785450.821 * [misc]backup-simplify:  Simplify (exp (fma x x -1)) into (exp (fma x x -1))
1544785450.821 * [misc]approximate:  Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
1544785450.821 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1544785450.821 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1544785450.821 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1544785450.821 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1544785450.821 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.821 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.821 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.821 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.821 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.821 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.821 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.822 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.822 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544785450.822 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785450.822 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785450.823 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1544785450.823 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1544785450.823 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1544785450.823 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1544785450.823 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.823 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.823 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.823 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.823 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.823 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.823 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.823 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.823 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544785450.823 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544785450.823 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785450.824 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785450.824 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1544785450.824 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785450.826 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1544785450.826 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.826 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1544785450.827 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785450.829 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1544785450.829 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785450.830 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1544785450.830 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785450.834 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785450.835 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.835 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544785450.835 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544785450.844 * [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))
1544785450.845 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1544785450.846 * [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)))))
1544785450.846 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1544785450.846 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1544785450.846 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1544785450.846 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1544785450.847 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1544785450.847 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.847 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.847 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.847 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785450.847 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.847 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.847 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.847 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785450.847 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.847 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.847 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785450.847 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785450.847 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1544785450.847 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1544785450.847 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1544785450.847 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785450.847 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.847 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.847 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.848 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785450.848 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544785450.848 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.848 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785450.848 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.848 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.848 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785450.848 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785450.848 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1544785450.848 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.848 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.849 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1544785450.849 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1544785450.849 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1544785450.849 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1544785450.849 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1544785450.849 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1544785450.849 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1544785450.849 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544785450.849 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.849 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.849 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.849 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.849 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.849 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544785450.849 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544785450.849 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.849 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.849 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.849 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.849 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.849 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544785450.849 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.849 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.849 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1544785450.849 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785450.850 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1544785450.850 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1544785450.850 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1544785450.850 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1544785450.850 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1544785450.850 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544785450.850 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.850 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.850 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.850 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.850 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.850 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544785450.850 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544785450.850 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.850 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.850 * [misc]taylor:  Taking taylor expansion of x in x
1544785450.850 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.850 * [misc]backup-simplify:  Simplify 1 into 1
1544785450.850 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544785450.850 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785450.850 * [misc]backup-simplify:  Simplify -1 into -1
1544785450.850 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1544785450.850 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544785450.850 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1544785450.851 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify 0 into 0
1544785450.851 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1544785450.851 * * * [misc]progress:  simplifying candidates
1544785450.851 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
1544785450.851 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1544785450.851 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
1544785450.851 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))>
1544785450.851 * [enter]simplify:  Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1544785450.852 * * [misc]simplify:  iters left: 5 (6 enodes)
1544785450.853 * * [misc]simplify:  iters left: 4 (10 enodes)
1544785450.855 * * [misc]simplify:  iters left: 3 (15 enodes)
1544785450.858 * * [misc]simplify:  iters left: 2 (21 enodes)
1544785450.862 * * [misc]simplify:  iters left: 1 (36 enodes)
1544785450.889 * [exit]simplify:  Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1544785450.889 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))
1544785450.889 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
1544785450.890 * [enter]simplify:  Simplifying (exp (sqrt (fma x x -1)))
1544785450.890 * * [misc]simplify:  iters left: 3 (5 enodes)
1544785450.891 * * [misc]simplify:  iters left: 2 (7 enodes)
1544785450.892 * * [misc]simplify:  iters left: 1 (12 enodes)
1544785450.895 * [exit]simplify:  Simplified to (exp (sqrt (fma x x -1)))
1544785450.895 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))
1544785450.895 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
1544785450.896 * [enter]simplify:  Simplifying (exp 1)
1544785450.896 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785450.896 * [exit]simplify:  Simplified to E
1544785450.896 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (fma x x -1)))
1544785450.896 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
1544785450.896 * [enter]simplify:  Simplifying (exp (* x x))
1544785450.897 * * [misc]simplify:  iters left: 3 (3 enodes)
1544785450.897 * * [misc]simplify:  iters left: 2 (5 enodes)
1544785450.898 * [exit]simplify:  Simplified to (exp (* x x))
1544785450.898 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1544785450.898 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1544785450.898 * [enter]simplify:  Simplifying (fma x x -1)
1544785450.898 * * [misc]simplify:  iters left: 1 (3 enodes)
1544785450.899 * [exit]simplify:  Simplified to (fma x x -1)
1544785450.899 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (fma x x -1)))
1544785450.899 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
1544785450.899 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
1544785450.899 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1544785450.899 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
1544785450.899 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
1544785450.899 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
1544785450.899 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1544785450.899 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1544785450.900 * * [misc]simplify:  iters left: 6 (13 enodes)
1544785450.904 * * [misc]simplify:  iters left: 5 (24 enodes)
1544785450.911 * * [misc]simplify:  iters left: 4 (51 enodes)
1544785450.943 * * [misc]simplify:  iters left: 3 (101 enodes)
1544785450.977 * * [misc]simplify:  iters left: 2 (121 enodes)
1544785451.036 * * [misc]simplify:  iters left: 1 (196 enodes)
1544785451.180 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1544785451.181 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1544785451.181 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1544785451.181 * [enter]simplify:  Simplifying (exp (fma x x -1))
1544785451.181 * * [misc]simplify:  iters left: 2 (4 enodes)
1544785451.182 * * [misc]simplify:  iters left: 1 (6 enodes)
1544785451.186 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785451.186 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1544785451.186 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1544785451.186 * [enter]simplify:  Simplifying (exp (fma x x -1))
1544785451.187 * * [misc]simplify:  iters left: 2 (4 enodes)
1544785451.187 * * [misc]simplify:  iters left: 1 (6 enodes)
1544785451.190 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785451.190 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1544785451.190 * * * [misc]progress:  adding candidates to table
1544785451.367 * * [misc]progress:  iteration 2 / 4
1544785451.368 * * * [misc]progress:  picking best candidate
1544785451.371 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
1544785451.371 * * * [misc]progress:  localizing error
1544785451.383 * * * [misc]progress:  generating rewritten candidates
1544785451.384 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1544785451.438 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544785451.444 * * * [misc]progress:  generating series expansions
1544785451.445 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1544785451.445 * [misc]backup-simplify:  Simplify (* (exp (* x x)) (exp -1)) into (* (exp (pow x 2)) (exp -1))
1544785451.445 * [misc]approximate:  Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in (x) around 0
1544785451.445 * [misc]taylor:  Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
1544785451.445 * [misc]taylor:  Taking taylor expansion of (exp (pow x 2)) in x
1544785451.445 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.445 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.445 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.445 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.445 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.445 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544785451.445 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.445 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.445 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.445 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.445 * [misc]taylor:  Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
1544785451.446 * [misc]taylor:  Taking taylor expansion of (exp (pow x 2)) in x
1544785451.446 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.446 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.446 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.446 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.446 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.446 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544785451.446 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.446 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.446 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.446 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.446 * [misc]backup-simplify:  Simplify (* 1 (exp -1)) into (exp -1)
1544785451.446 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.447 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1544785451.448 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1544785451.448 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (exp -1))) into 0
1544785451.448 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.450 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.451 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1544785451.452 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1)
1544785451.452 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.454 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.454 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544785451.456 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.457 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0
1544785451.457 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.460 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.460 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544785451.464 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544785451.465 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp -1)))))) into (* 1/2 (exp -1))
1544785451.465 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1544785451.466 * [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)))))
1544785451.466 * [misc]backup-simplify:  Simplify (* (exp (* (/ 1 x) (/ 1 x))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.466 * [misc]approximate:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
1544785451.466 * [misc]taylor:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
1544785451.466 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.466 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.466 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.466 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.466 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.466 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.466 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.466 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.466 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.466 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.466 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.467 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.467 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.467 * [misc]taylor:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
1544785451.467 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.467 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.467 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.467 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.467 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.467 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.467 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.467 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.467 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.467 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.467 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.467 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.467 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.467 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.468 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.469 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1544785451.469 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
1544785451.469 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.474 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.474 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
1544785451.474 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.477 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.477 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
1544785451.477 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.481 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.481 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
1544785451.481 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.489 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.490 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
1544785451.490 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.505 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.507 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0
1544785451.507 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.507 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 x) 2)))) into (* (exp (pow x 2)) (exp -1))
1544785451.508 * [misc]backup-simplify:  Simplify (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.508 * [misc]approximate:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
1544785451.508 * [misc]taylor:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
1544785451.508 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.508 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.508 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.508 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.508 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.508 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.508 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.508 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.508 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.508 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.508 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.508 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.509 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.509 * [misc]taylor:  Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
1544785451.509 * [misc]taylor:  Taking taylor expansion of (exp -1) in x
1544785451.509 * [misc]taylor:  Taking taylor expansion of -1 in x
1544785451.509 * [misc]backup-simplify:  Simplify -1 into -1
1544785451.509 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1544785451.509 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.509 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.509 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.509 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.509 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.509 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.509 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.509 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.509 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.510 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.510 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
1544785451.512 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1544785451.512 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
1544785451.512 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.515 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.515 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
1544785451.515 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.519 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.520 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
1544785451.520 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.526 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.527 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
1544785451.527 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.538 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.539 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
1544785451.539 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.555 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544785451.556 * [misc]backup-simplify:  Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0
1544785451.556 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.556 * [misc]backup-simplify:  Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 (- x)) 2)))) into (* (exp (pow x 2)) (exp -1))
1544785451.556 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544785451.557 * [misc]backup-simplify:  Simplify (exp (* x x)) into (exp (pow x 2))
1544785451.557 * [misc]approximate:  Taking taylor expansion of (exp (pow x 2)) in (x) around 0
1544785451.557 * [misc]taylor:  Taking taylor expansion of (exp (pow x 2)) in x
1544785451.557 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.557 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.557 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.557 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.557 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.557 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544785451.557 * [misc]taylor:  Taking taylor expansion of (exp (pow x 2)) in x
1544785451.557 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.557 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.557 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.557 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.557 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.557 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544785451.558 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.559 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1544785451.559 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.561 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1544785451.561 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.561 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544785451.566 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1544785451.566 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.566 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544785451.572 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1544785451.572 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544785451.572 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 4)) (+ (* 1 (pow x 2)) 1)) into (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
1544785451.573 * [misc]backup-simplify:  Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
1544785451.573 * [misc]approximate:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
1544785451.573 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.573 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.573 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.573 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.573 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.573 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.573 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.573 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.573 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.573 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.574 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.574 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.574 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.574 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.574 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.575 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow (/ 1 x) 2))) into (exp (pow x 2))
1544785451.575 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
1544785451.575 * [misc]approximate:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
1544785451.575 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.575 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.575 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.575 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.575 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.575 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.575 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.576 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.576 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.576 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
1544785451.576 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544785451.576 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544785451.576 * [misc]taylor:  Taking taylor expansion of x in x
1544785451.576 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.576 * [misc]backup-simplify:  Simplify 1 into 1
1544785451.576 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544785451.576 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544785451.576 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.576 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
1544785451.576 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.576 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.577 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.577 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.577 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.577 * [misc]backup-simplify:  Simplify 0 into 0
1544785451.577 * [misc]backup-simplify:  Simplify (exp (/ 1 (pow (/ 1 (- x)) 2))) into (exp (pow x 2))
1544785451.577 * * * [misc]progress:  simplifying candidates
1544785451.577 * * * * [misc]progress:  [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (exp (* x x)) (exp -1)))))>
1544785451.577 * * * * [misc]progress:  [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1)))))>
1544785451.577 * * * * [misc]progress:  [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
1544785451.577 * [enter]simplify:  Simplifying (* (exp (* x x)) (exp -1))
1544785451.578 * * [misc]simplify:  iters left: 5 (6 enodes)
1544785451.582 * * [misc]simplify:  iters left: 4 (11 enodes)
1544785451.587 * * [misc]simplify:  iters left: 3 (18 enodes)
1544785451.595 * * [misc]simplify:  iters left: 2 (26 enodes)
1544785451.606 * * [misc]simplify:  iters left: 1 (44 enodes)
1544785451.645 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785451.645 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (fma x x -1)) 1))
1544785451.645 * * * * [misc]progress:  [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
1544785451.645 * * * * [misc]progress:  [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) -1)))>
1544785451.646 * [enter]simplify:  Simplifying (+ (* x x) -1)
1544785451.646 * * [misc]simplify:  iters left: 4 (4 enodes)
1544785451.648 * * [misc]simplify:  iters left: 3 (10 enodes)
1544785451.653 * * [misc]simplify:  iters left: 2 (16 enodes)
1544785451.660 * * [misc]simplify:  iters left: 1 (31 enodes)
1544785451.688 * [exit]simplify:  Simplified to (fma x x -1)
1544785451.688 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (fma x x -1)))
1544785451.688 * * * * [misc]progress:  [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (* (exp (* x x)) (exp -1)))))>
1544785451.688 * * * * [misc]progress:  [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (* (exp (* x x)) (exp -1)))))>
1544785451.688 * * * * [misc]progress:  [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1)))))>
1544785451.689 * [enter]simplify:  Simplifying (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1)))
1544785451.690 * * [misc]simplify:  iters left: 6 (10 enodes)
1544785451.698 * * [misc]simplify:  iters left: 5 (24 enodes)
1544785451.715 * * [misc]simplify:  iters left: 4 (61 enodes)
1544785451.750 * * [misc]simplify:  iters left: 3 (128 enodes)
1544785451.804 * * [misc]simplify:  iters left: 2 (260 enodes)
1544785451.942 * [exit]simplify:  Simplified to (exp (+ -3 (fma (+ x x) x (* x x))))
1544785451.942 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (exp (+ -3 (fma (+ x x) x (* x x))))))
1544785451.942 * * * * [misc]progress:  [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (exp (* x x)) (exp -1))) (cbrt (* (exp (* x x)) (exp -1)))) (cbrt (* (exp (* x x)) (exp -1)))))>
1544785451.942 * * * * [misc]progress:  [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp -1)) (* (exp (* x x)) (exp -1))) (* (exp (* x x)) (exp -1)))))>
1544785451.942 * * * * [misc]progress:  [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (* x x)) (exp -1))) (sqrt (* (exp (* x x)) (exp -1)))))>
1544785451.942 * * * * [misc]progress:  [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
1544785451.942 * * * * [misc]progress:  [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1)))) (cbrt (exp -1))))>
1544785451.942 * [enter]simplify:  Simplifying (cbrt (exp -1))
1544785451.943 * * [misc]simplify:  iters left: 2 (3 enodes)
1544785451.945 * [exit]simplify:  Simplified to (cbrt (exp -1))
1544785451.945 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1)))) (cbrt (exp -1))))
1544785451.945 * * * * [misc]progress:  [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (sqrt (exp -1))) (sqrt (exp -1))))>
1544785451.945 * [enter]simplify:  Simplifying (sqrt (exp -1))
1544785451.945 * * [misc]simplify:  iters left: 2 (3 enodes)
1544785451.947 * [exit]simplify:  Simplified to (sqrt (exp -1))
1544785451.947 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (sqrt (exp -1))) (sqrt (exp -1))))
1544785451.947 * * * * [misc]progress:  [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (exp -1)))>
1544785451.947 * [enter]simplify:  Simplifying (exp -1)
1544785451.948 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785451.949 * [exit]simplify:  Simplified to (exp -1)
1544785451.949 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (exp (* x x)) 1) (exp -1)))
1544785451.949 * * * * [misc]progress:  [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (exp -1))))>
1544785451.949 * [enter]simplify:  Simplifying (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
1544785451.950 * * [misc]simplify:  iters left: 6 (5 enodes)
1544785451.952 * * [misc]simplify:  iters left: 5 (7 enodes)
1544785451.955 * [exit]simplify:  Simplified to (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
1544785451.955 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (exp -1))))
1544785451.955 * * * * [misc]progress:  [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (exp -1))))>
1544785451.955 * [enter]simplify:  Simplifying (sqrt (exp (* x x)))
1544785451.956 * * [misc]simplify:  iters left: 4 (4 enodes)
1544785451.957 * * [misc]simplify:  iters left: 3 (6 enodes)
1544785451.960 * [exit]simplify:  Simplified to (sqrt (exp (* x x)))
1544785451.960 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (exp -1))))
1544785451.960 * * * * [misc]progress:  [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
1544785451.960 * * * * [misc]progress:  [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp -1) (exp (* x x))))>
1544785451.960 * * * * [misc]progress:  [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (* (log1p (expm1 (exp (* x x)))) (exp -1)))>
1544785451.960 * * * * [misc]progress:  [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (* (expm1 (log1p (exp (* x x)))) (exp -1)))>
1544785451.960 * * * * [misc]progress:  [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* x x)) 1) (exp -1)))>
1544785451.960 * * * * [misc]progress:  [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (* (pow (exp x) x) (exp -1)))>
1544785451.960 * [enter]simplify:  Simplifying (exp x)
1544785451.960 * * [misc]simplify:  iters left: 1 (2 enodes)
1544785451.961 * [exit]simplify:  Simplified to (exp x)
1544785451.961 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (pow (exp x) x) (exp -1)))
1544785451.961 * * * * [misc]progress:  [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
1544785451.961 * [enter]simplify:  Simplifying (* x x)
1544785451.962 * * [misc]simplify:  iters left: 2 (2 enodes)
1544785451.962 * [exit]simplify:  Simplified to (* x x)
1544785451.962 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1544785451.962 * * * * [misc]progress:  [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (log (exp (* x x)))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (* (log (exp (exp (* x x)))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (cbrt (exp (* x x)))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (exp (* x x)) (exp (* x x))) (exp (* x x)))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (sqrt (exp (* x x)))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (* (* 1 (exp (* x x))) (exp -1)))>
1544785451.963 * * * * [misc]progress:  [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1544785451.963 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1544785451.964 * * [misc]simplify:  iters left: 6 (13 enodes)
1544785451.967 * * [misc]simplify:  iters left: 5 (24 enodes)
1544785451.974 * * [misc]simplify:  iters left: 4 (51 enodes)
1544785451.990 * * [misc]simplify:  iters left: 3 (101 enodes)
1544785452.008 * * [misc]simplify:  iters left: 2 (121 enodes)
1544785452.040 * * [misc]simplify:  iters left: 1 (196 enodes)
1544785452.199 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1544785452.199 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1544785452.199 * * * * [misc]progress:  [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
1544785452.199 * [enter]simplify:  Simplifying (* (exp (pow x 2)) (exp -1))
1544785452.200 * * [misc]simplify:  iters left: 4 (7 enodes)
1544785452.203 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785452.206 * * [misc]simplify:  iters left: 2 (20 enodes)
1544785452.211 * * [misc]simplify:  iters left: 1 (28 enodes)
1544785452.217 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785452.217 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1544785452.217 * * * * [misc]progress:  [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
1544785452.218 * [enter]simplify:  Simplifying (* (exp (pow x 2)) (exp -1))
1544785452.218 * * [misc]simplify:  iters left: 4 (7 enodes)
1544785452.220 * * [misc]simplify:  iters left: 3 (11 enodes)
1544785452.223 * * [misc]simplify:  iters left: 2 (20 enodes)
1544785452.231 * * [misc]simplify:  iters left: 1 (28 enodes)
1544785452.244 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785452.244 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1544785452.244 * * * * [misc]progress:  [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (* (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) (exp -1)))>
1544785452.244 * [enter]simplify:  Simplifying (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
1544785452.245 * * [misc]simplify:  iters left: 6 (10 enodes)
1544785452.251 * * [misc]simplify:  iters left: 5 (19 enodes)
1544785452.254 * * [misc]simplify:  iters left: 4 (28 enodes)
1544785452.259 * * [misc]simplify:  iters left: 3 (34 enodes)
1544785452.263 * [exit]simplify:  Simplified to (fma (pow x 4) 1/2 (fma x x 1))
1544785452.263 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fma (pow x 4) 1/2 (fma x x 1)) (exp -1)))
1544785452.263 * * * * [misc]progress:  [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
1544785452.263 * [enter]simplify:  Simplifying (exp (pow x 2))
1544785452.264 * * [misc]simplify:  iters left: 2 (4 enodes)
1544785452.265 * * [misc]simplify:  iters left: 1 (5 enodes)
1544785452.266 * [exit]simplify:  Simplified to (exp (* x x))
1544785452.266 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1544785452.266 * * * * [misc]progress:  [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
1544785452.266 * [enter]simplify:  Simplifying (exp (pow x 2))
1544785452.266 * * [misc]simplify:  iters left: 2 (4 enodes)
1544785452.267 * * [misc]simplify:  iters left: 1 (5 enodes)
1544785452.268 * [exit]simplify:  Simplified to (exp (* x x))
1544785452.268 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1544785452.268 * * * [misc]progress:  adding candidates to table
1544785452.722 * [misc]progress:  [Phase 3 of 3] Extracting.
1544785452.722 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
1544785452.723 * * * [misc]regime-changes:  Trying 2 branch expressions: (x (* x x))
1544785452.723 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
1544785452.760 * * * * [misc]regimes:  Trying to branch on (* x x) from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
1544785452.803 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1544785452.803 * [enter]simplify:  Simplifying (exp (fma x x -1))
1544785452.804 * * [misc]simplify:  iters left: 2 (4 enodes)
1544785452.804 * [exit]simplify:  Simplified to (exp (fma x x -1))
1544785452.805 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544785453.922 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785453.925 * * * * [misc]points:  Sampling 3894 additional inputs, on iter 1 have 4106 / 8000
1544785454.861 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785454.862 * * * * [misc]points:  Sampling 1903 additional inputs, on iter 2 have 6097 / 8000
1544785455.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.255 * * * * [misc]points:  Sampling 953 additional inputs, on iter 3 have 7047 / 8000
1544785455.393 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.393 * * * * [misc]points:  Sampling 477 additional inputs, on iter 4 have 7523 / 8000
1544785455.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.443 * * * * [misc]points:  Sampling 250 additional inputs, on iter 5 have 7750 / 8000
1544785455.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.464 * * * * [misc]points:  Sampling 116 additional inputs, on iter 6 have 7884 / 8000
1544785455.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.474 * * * * [misc]points:  Sampling 64 additional inputs, on iter 7 have 7936 / 8000
1544785455.481 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.481 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 7969 / 8000
1544785455.485 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.485 * * * * [misc]points:  Sampling 15 additional inputs, on iter 9 have 7985 / 8000
1544785455.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.487 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1544785455.489 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.489 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7998 / 8000
1544785455.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544785455.491 * * * * [exit]points:  Sampled 8001 points with exact outputs