50.726 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
0.038 * [simplify]: Simplifying:
  (exp (- (- 1 (* x x))))
0.038 * * [simplify]: iteration 0: 6 enodes
0.040 * * [simplify]: iteration 1: 12 enodes
0.043 * * [simplify]: iteration 2: 25 enodes
0.049 * * [simplify]: iteration 3: 51 enodes
0.071 * * [simplify]: iteration 4: 116 enodes
0.095 * * [simplify]: iteration 5: 213 enodes
0.139 * * [simplify]: iteration 6: 455 enodes
0.463 * * [simplify]: iteration 7: 1431 enodes
1.676 * * [simplify]: iteration 8: 3939 enodes
2.405 * * [simplify]: iteration complete: 5001 enodes
2.406 * * [simplify]: Extracting #0: cost 1 inf + 0
2.406 * * [simplify]: Extracting #1: cost 284 inf + 0
2.412 * * [simplify]: Extracting #2: cost 962 inf + 2
2.420 * * [simplify]: Extracting #3: cost 988 inf + 8644
2.442 * * [simplify]: Extracting #4: cost 725 inf + 87162
2.513 * * [simplify]: Extracting #5: cost 288 inf + 354011
2.603 * * [simplify]: Extracting #6: cost 26 inf + 558847
2.716 * * [simplify]: Extracting #7: cost 0 inf + 580917
2.827 * [simplify]: Simplified to:
  (exp (fma x x -1))
2.833 * * [progress]: iteration 1 / 4
2.833 * * * [progress]: picking best candidate
2.836 * * * * [pick]: Picked  #<alt (λ (x) (exp (fma x x -1)))>
2.836 * * * [progress]: localizing error
2.849 * * * [progress]: generating rewritten candidates
2.849 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.853 * * * [progress]: generating series expansions
2.853 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.853 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1))
2.853 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
2.853 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
2.853 * [taylor]: Taking taylor expansion of (fma x x -1) in x
2.853 * [taylor]: Rewrote expression to (+ (* x x) -1)
2.854 * [taylor]: Taking taylor expansion of (* x x) in x
2.854 * [taylor]: Taking taylor expansion of x in x
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [taylor]: Taking taylor expansion of x in x
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [taylor]: Taking taylor expansion of -1 in x
2.854 * [backup-simplify]: Simplify -1 into -1
2.854 * [backup-simplify]: Simplify (* 0 0) into 0
2.855 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.855 * [backup-simplify]: Simplify (exp -1) into (exp -1)
2.855 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
2.855 * [taylor]: Taking taylor expansion of (fma x x -1) in x
2.855 * [taylor]: Rewrote expression to (+ (* x x) -1)
2.855 * [taylor]: Taking taylor expansion of (* x x) in x
2.855 * [taylor]: Taking taylor expansion of x in x
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify 1 into 1
2.855 * [taylor]: Taking taylor expansion of x in x
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify 1 into 1
2.855 * [taylor]: Taking taylor expansion of -1 in x
2.855 * [backup-simplify]: Simplify -1 into -1
2.856 * [backup-simplify]: Simplify (* 0 0) into 0
2.856 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.857 * [backup-simplify]: Simplify (exp -1) into (exp -1)
2.857 * [backup-simplify]: Simplify (exp -1) into (exp -1)
2.858 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.858 * [backup-simplify]: Simplify (+ 0 0) into 0
2.859 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
2.860 * [backup-simplify]: Simplify (+ 1 0) into 1
2.863 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
2.864 * [backup-simplify]: Simplify (exp -1) into (exp -1)
2.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.865 * [backup-simplify]: Simplify (+ 0 0) into 0
2.867 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.873 * [backup-simplify]: Simplify (+ 0 0) into 0
2.880 * [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))
2.881 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
2.883 * [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)))))
2.884 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
2.884 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
2.884 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
2.884 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
2.884 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
2.884 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
2.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.884 * [taylor]: Taking taylor expansion of x in x
2.884 * [backup-simplify]: Simplify 0 into 0
2.884 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (/ 1 1) into 1
2.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.884 * [taylor]: Taking taylor expansion of x in x
2.884 * [backup-simplify]: Simplify 0 into 0
2.884 * [backup-simplify]: Simplify 1 into 1
2.885 * [backup-simplify]: Simplify (/ 1 1) into 1
2.885 * [taylor]: Taking taylor expansion of -1 in x
2.885 * [backup-simplify]: Simplify -1 into -1
2.885 * [backup-simplify]: Simplify (* 1 1) into 1
2.886 * [backup-simplify]: Simplify (+ 1 0) into 1
2.886 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
2.886 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
2.886 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
2.886 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
2.886 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
2.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.886 * [taylor]: Taking taylor expansion of x in x
2.886 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify 1 into 1
2.887 * [backup-simplify]: Simplify (/ 1 1) into 1
2.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [backup-simplify]: Simplify 0 into 0
2.887 * [backup-simplify]: Simplify 1 into 1
2.887 * [backup-simplify]: Simplify (/ 1 1) into 1
2.887 * [taylor]: Taking taylor expansion of -1 in x
2.887 * [backup-simplify]: Simplify -1 into -1
2.888 * [backup-simplify]: Simplify (* 1 1) into 1
2.888 * [backup-simplify]: Simplify (+ 1 0) into 1
2.888 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
2.889 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
2.889 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
2.889 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
2.889 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
2.889 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
2.889 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
2.889 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
2.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.889 * [taylor]: Taking taylor expansion of -1 in x
2.889 * [backup-simplify]: Simplify -1 into -1
2.889 * [taylor]: Taking taylor expansion of x in x
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 1 into 1
2.890 * [backup-simplify]: Simplify (/ -1 1) into -1
2.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.890 * [taylor]: Taking taylor expansion of -1 in x
2.890 * [backup-simplify]: Simplify -1 into -1
2.890 * [taylor]: Taking taylor expansion of x in x
2.890 * [backup-simplify]: Simplify 0 into 0
2.890 * [backup-simplify]: Simplify 1 into 1
2.890 * [backup-simplify]: Simplify (/ -1 1) into -1
2.890 * [taylor]: Taking taylor expansion of -1 in x
2.891 * [backup-simplify]: Simplify -1 into -1
2.891 * [backup-simplify]: Simplify (* -1 -1) into 1
2.891 * [backup-simplify]: Simplify (+ 1 0) into 1
2.891 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
2.891 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
2.891 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
2.892 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
2.892 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
2.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.892 * [taylor]: Taking taylor expansion of -1 in x
2.892 * [backup-simplify]: Simplify -1 into -1
2.892 * [taylor]: Taking taylor expansion of x in x
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 1 into 1
2.892 * [backup-simplify]: Simplify (/ -1 1) into -1
2.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.892 * [taylor]: Taking taylor expansion of -1 in x
2.892 * [backup-simplify]: Simplify -1 into -1
2.892 * [taylor]: Taking taylor expansion of x in x
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 1 into 1
2.893 * [backup-simplify]: Simplify (/ -1 1) into -1
2.893 * [taylor]: Taking taylor expansion of -1 in x
2.893 * [backup-simplify]: Simplify -1 into -1
2.893 * [backup-simplify]: Simplify (* -1 -1) into 1
2.894 * [backup-simplify]: Simplify (+ 1 0) into 1
2.894 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
2.894 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
2.894 * * * [progress]: simplifying candidates
2.894 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
2.894 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
2.894 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
2.894 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))>
2.895 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
2.895 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
2.895 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
2.895 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
2.895 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
2.895 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (exp (fma x x -1)))))>
2.895 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
2.895 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
2.895 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
2.896 * [simplify]: Simplifying:
  (expm1 (exp (fma x x -1)))
  (log1p (exp (fma x x -1)))
  (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
  (exp (sqrt (fma x x -1)))
  (exp 1)
  (exp (* x x))
  (exp -1)
  (log (exp (fma x x -1)))
  (exp (exp (fma x x -1)))
  (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))
  (cbrt (exp (fma x x -1)))
  (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (real->posit16 (exp (fma x x -1)))
  (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
  (exp (fma x x -1))
  (exp (fma x x -1))
2.896 * * [simplify]: iteration 0: 34 enodes
2.908 * * [simplify]: iteration 1: 61 enodes
2.926 * * [simplify]: iteration 2: 112 enodes
2.962 * * [simplify]: iteration 3: 299 enodes
3.100 * * [simplify]: iteration 4: 786 enodes
3.690 * * [simplify]: iteration 5: 2717 enodes
5.184 * * [simplify]: iteration complete: 5002 enodes
5.184 * * [simplify]: Extracting #0: cost 16 inf + 0
5.185 * * [simplify]: Extracting #1: cost 265 inf + 1
5.188 * * [simplify]: Extracting #2: cost 785 inf + 6454
5.200 * * [simplify]: Extracting #3: cost 702 inf + 40722
5.231 * * [simplify]: Extracting #4: cost 291 inf + 129492
5.300 * * [simplify]: Extracting #5: cost 44 inf + 238658
5.353 * * [simplify]: Extracting #6: cost 1 inf + 258378
5.396 * * [simplify]: Extracting #7: cost 0 inf + 258475
5.471 * [simplify]: Simplified to:
  (expm1 (exp (fma x x -1)))
  (log1p (exp (fma x x -1)))
  (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
  (exp (sqrt (fma x x -1)))
  E
  (exp (* x x))
  (/ 1 E)
  (fma x x -1)
  (exp (exp (fma x x -1)))
  (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))
  (cbrt (exp (fma x x -1)))
  (exp (* (fma x x -1) 3))
  (sqrt (exp (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (real->posit16 (exp (fma x x -1)))
  (/ (fma (fma (* x x) 1/2 1) (* x x) 1) E)
  (exp (fma x x -1))
  (exp (fma x x -1))
5.472 * * * [progress]: adding candidates to table
5.530 * * [progress]: iteration 2 / 4
5.530 * * * [progress]: picking best candidate
5.535 * * * * [pick]: Picked  #<alt (λ (x) (* (exp (* x x)) (/ 1 E)))>
5.535 * * * [progress]: localizing error
5.545 * * * [progress]: generating rewritten candidates
5.545 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.639 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
5.668 * * * [progress]: generating series expansions
5.668 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.669 * [backup-simplify]: Simplify (* (exp (* x x)) (/ 1 E)) into (/ (exp (pow x 2)) E)
5.669 * [approximate]: Taking taylor expansion of (/ (exp (pow x 2)) E) in (x) around 0
5.669 * [taylor]: Taking taylor expansion of (/ (exp (pow x 2)) E) in x
5.669 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
5.669 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.669 * [taylor]: Taking taylor expansion of x in x
5.669 * [backup-simplify]: Simplify 0 into 0
5.669 * [backup-simplify]: Simplify 1 into 1
5.670 * [backup-simplify]: Simplify (* 1 1) into 1
5.670 * [backup-simplify]: Simplify (exp 0) into 1
5.670 * [taylor]: Taking taylor expansion of E in x
5.670 * [backup-simplify]: Simplify E into E
5.670 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
5.670 * [taylor]: Taking taylor expansion of (/ (exp (pow x 2)) E) in x
5.670 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
5.671 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.671 * [taylor]: Taking taylor expansion of x in x
5.671 * [backup-simplify]: Simplify 0 into 0
5.671 * [backup-simplify]: Simplify 1 into 1
5.671 * [backup-simplify]: Simplify (* 1 1) into 1
5.671 * [backup-simplify]: Simplify (exp 0) into 1
5.671 * [taylor]: Taking taylor expansion of E in x
5.671 * [backup-simplify]: Simplify E into E
5.672 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
5.673 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
5.674 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
5.675 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)))) into 0
5.675 * [backup-simplify]: Simplify 0 into 0
5.677 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
5.680 * [backup-simplify]: Simplify (- (/ 1 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (/ 1 E)
5.680 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
5.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.685 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)))) into 0
5.685 * [backup-simplify]: Simplify 0 into 0
5.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.693 * [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
5.697 * [backup-simplify]: Simplify (- (/ 1/2 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (* 1/2 (/ 1 E))
5.698 * [backup-simplify]: Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E)
5.700 * [backup-simplify]: Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
5.700 * [backup-simplify]: Simplify (* (exp (* (/ 1 x) (/ 1 x))) (/ 1 E)) into (/ (exp (/ 1 (pow x 2))) E)
5.700 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in (x) around 0
5.701 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in x
5.701 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.701 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.701 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.701 * [taylor]: Taking taylor expansion of x in x
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify 1 into 1
5.701 * [backup-simplify]: Simplify (* 1 1) into 1
5.701 * [backup-simplify]: Simplify (/ 1 1) into 1
5.702 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.702 * [taylor]: Taking taylor expansion of E in x
5.702 * [backup-simplify]: Simplify E into E
5.702 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.702 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in x
5.702 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.702 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.702 * [taylor]: Taking taylor expansion of x in x
5.702 * [backup-simplify]: Simplify 0 into 0
5.702 * [backup-simplify]: Simplify 1 into 1
5.702 * [backup-simplify]: Simplify (* 1 1) into 1
5.703 * [backup-simplify]: Simplify (/ 1 1) into 1
5.703 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.703 * [taylor]: Taking taylor expansion of E in x
5.703 * [backup-simplify]: Simplify E into E
5.703 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.703 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.704 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
5.704 * [backup-simplify]: Simplify 0 into 0
5.706 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.706 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.709 * [backup-simplify]: Simplify 0 into 0
5.710 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.710 * [backup-simplify]: Simplify 0 into 0
5.712 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.713 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.715 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E)
5.716 * [backup-simplify]: Simplify (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 E)) into (/ (exp (/ 1 (pow x 2))) E)
5.716 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in (x) around 0
5.716 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in x
5.716 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.716 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.716 * [taylor]: Taking taylor expansion of x in x
5.716 * [backup-simplify]: Simplify 0 into 0
5.716 * [backup-simplify]: Simplify 1 into 1
5.716 * [backup-simplify]: Simplify (* 1 1) into 1
5.716 * [backup-simplify]: Simplify (/ 1 1) into 1
5.716 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.716 * [taylor]: Taking taylor expansion of E in x
5.716 * [backup-simplify]: Simplify E into E
5.716 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.716 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) E) in x
5.716 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.716 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.716 * [taylor]: Taking taylor expansion of x in x
5.717 * [backup-simplify]: Simplify 0 into 0
5.717 * [backup-simplify]: Simplify 1 into 1
5.717 * [backup-simplify]: Simplify (* 1 1) into 1
5.717 * [backup-simplify]: Simplify (/ 1 1) into 1
5.717 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.717 * [taylor]: Taking taylor expansion of E in x
5.717 * [backup-simplify]: Simplify E into E
5.717 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.717 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
5.718 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
5.718 * [backup-simplify]: Simplify 0 into 0
5.719 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.719 * [backup-simplify]: Simplify 0 into 0
5.721 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.721 * [backup-simplify]: Simplify 0 into 0
5.722 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.722 * [backup-simplify]: Simplify 0 into 0
5.724 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.724 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E)
5.727 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
5.727 * [backup-simplify]: Simplify (exp (* x x)) into (exp (pow x 2))
5.727 * [approximate]: Taking taylor expansion of (exp (pow x 2)) in (x) around 0
5.727 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
5.727 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.727 * [taylor]: Taking taylor expansion of x in x
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify 1 into 1
5.727 * [backup-simplify]: Simplify (* 1 1) into 1
5.728 * [backup-simplify]: Simplify (exp 0) into 1
5.728 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
5.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.728 * [taylor]: Taking taylor expansion of x in x
5.728 * [backup-simplify]: Simplify 0 into 0
5.728 * [backup-simplify]: Simplify 1 into 1
5.728 * [backup-simplify]: Simplify (* 1 1) into 1
5.728 * [backup-simplify]: Simplify (exp 0) into 1
5.728 * [backup-simplify]: Simplify 1 into 1
5.729 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
5.729 * [backup-simplify]: Simplify 0 into 0
5.729 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
5.729 * [backup-simplify]: Simplify 1 into 1
5.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.731 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.734 * [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
5.735 * [backup-simplify]: Simplify 1/2 into 1/2
5.735 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 4)) (+ (* 1 (pow x 2)) 1)) into (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
5.735 * [backup-simplify]: Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
5.735 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
5.735 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.735 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.735 * [taylor]: Taking taylor expansion of x in x
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify 1 into 1
5.735 * [backup-simplify]: Simplify (* 1 1) into 1
5.736 * [backup-simplify]: Simplify (/ 1 1) into 1
5.736 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.736 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.736 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.736 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.736 * [taylor]: Taking taylor expansion of x in x
5.736 * [backup-simplify]: Simplify 0 into 0
5.736 * [backup-simplify]: Simplify 1 into 1
5.736 * [backup-simplify]: Simplify (* 1 1) into 1
5.736 * [backup-simplify]: Simplify (/ 1 1) into 1
5.736 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.736 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 x) 2))) into (exp (pow x 2))
5.737 * [backup-simplify]: Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
5.737 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
5.737 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.737 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.737 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.737 * [taylor]: Taking taylor expansion of x in x
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 1 into 1
5.737 * [backup-simplify]: Simplify (* 1 1) into 1
5.737 * [backup-simplify]: Simplify (/ 1 1) into 1
5.738 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.738 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
5.738 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.738 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.738 * [taylor]: Taking taylor expansion of x in x
5.738 * [backup-simplify]: Simplify 0 into 0
5.738 * [backup-simplify]: Simplify 1 into 1
5.738 * [backup-simplify]: Simplify (* 1 1) into 1
5.738 * [backup-simplify]: Simplify (/ 1 1) into 1
5.739 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.739 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- x)) 2))) into (exp (pow x 2))
5.739 * * * [progress]: simplifying candidates
5.739 * * * * [progress]: [ 1 / 92 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (exp (* x x)) (/ 1 E)))))>
5.739 * * * * [progress]: [ 2 / 92 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (exp (* x x)) (/ 1 E)))))>
5.739 * * * * [progress]: [ 3 / 92 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (/ 1 E)) 1))>
5.739 * * * * [progress]: [ 4 / 92 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (/ 1 E)) 1))>
5.740 * * * * [progress]: [ 5 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- 1))))>
5.740 * * * * [progress]: [ 6 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- (log E)))))>
5.740 * * * * [progress]: [ 7 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- 0 1))))>
5.740 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- 0 (log E)))))>
5.740 * * * * [progress]: [ 9 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- (log 1) 1))))>
5.740 * * * * [progress]: [ 10 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (- (log 1) (log E)))))>
5.740 * * * * [progress]: [ 11 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) (log (/ 1 E)))))>
5.740 * * * * [progress]: [ 12 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- 1))))>
5.740 * * * * [progress]: [ 13 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- (log E)))))>
5.740 * * * * [progress]: [ 14 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- 0 1))))>
5.740 * * * * [progress]: [ 15 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- 0 (log E)))))>
5.740 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- (log 1) 1))))>
5.740 * * * * [progress]: [ 17 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (- (log 1) (log E)))))>
5.740 * * * * [progress]: [ 18 / 92 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (exp (* x x))) (log (/ 1 E)))))>
5.740 * * * * [progress]: [ 19 / 92 ] simplifiying candidate #<alt (λ (x) (exp (log (* (exp (* x x)) (/ 1 E)))))>
5.740 * * * * [progress]: [ 20 / 92 ] simplifiying candidate #<alt (λ (x) (log (exp (* (exp (* x x)) (/ 1 E)))))>
5.740 * * * * [progress]: [ 21 / 92 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (/ (* (* 1 1) 1) (* (* E E) E)))))>
5.740 * * * * [progress]: [ 22 / 92 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))))>
5.741 * * * * [progress]: [ 23 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (exp (* x x)) (/ 1 E))) (cbrt (* (exp (* x x)) (/ 1 E)))) (cbrt (* (exp (* x x)) (/ 1 E)))))>
5.741 * * * * [progress]: [ 24 / 92 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (/ 1 E)) (* (exp (* x x)) (/ 1 E))) (* (exp (* x x)) (/ 1 E)))))>
5.741 * * * * [progress]: [ 25 / 92 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (* x x)) (/ 1 E))) (sqrt (* (exp (* x x)) (/ 1 E)))))>
5.741 * * * * [progress]: [ 26 / 92 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (/ 1 E))))>
5.741 * * * * [progress]: [ 27 / 92 ] simplifiying candidate #<alt (λ (x) (/ (exp (* x x)) E))>
5.741 * * * * [progress]: [ 28 / 92 ] simplifiying candidate #<alt (λ (x) (/ (exp (* x x)) (/ E 1)))>
5.741 * * * * [progress]: [ 29 / 92 ] simplifiying candidate #<alt (λ (x) (/ (exp (* x x)) (/ E 1)))>
5.741 * * * * [progress]: [ 30 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (sqrt (/ 1 E))) (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))))>
5.741 * * * * [progress]: [ 31 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (/ (sqrt 1) (sqrt E))) (* (sqrt (exp (* x x))) (/ (sqrt 1) (sqrt E)))))>
5.741 * * * * [progress]: [ 32 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (/ 1 (sqrt E))) (* (sqrt (exp (* x x))) (/ 1 (sqrt E)))))>
5.741 * * * * [progress]: [ 33 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E)))) (cbrt (/ 1 E))))>
5.741 * * * * [progress]: [ 34 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
5.741 * * * * [progress]: [ 35 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt E) (cbrt E)))) (/ (cbrt 1) (cbrt E))))>
5.741 * * * * [progress]: [ 36 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt E))) (/ (cbrt 1) (sqrt E))))>
5.741 * * * * [progress]: [ 37 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt 1) E)))>
5.741 * * * * [progress]: [ 38 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (sqrt 1) (* (cbrt E) (cbrt E)))) (/ (sqrt 1) (cbrt E))))>
5.741 * * * * [progress]: [ 39 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (sqrt 1) (sqrt E))) (/ (sqrt 1) (sqrt E))))>
5.742 * * * * [progress]: [ 40 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ (sqrt 1) 1)) (/ (sqrt 1) E)))>
5.742 * * * * [progress]: [ 41 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ 1 (* (cbrt E) (cbrt E)))) (/ 1 (cbrt E))))>
5.742 * * * * [progress]: [ 42 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ 1 (sqrt E))) (/ 1 (sqrt E))))>
5.742 * * * * [progress]: [ 43 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (/ 1 1)) (/ 1 E)))>
5.742 * * * * [progress]: [ 44 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))>
5.742 * * * * [progress]: [ 45 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (/ 1 E)))>
5.742 * * * * [progress]: [ 46 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (/ 1 E))))>
5.742 * * * * [progress]: [ 47 / 92 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (/ 1 E))))>
5.742 * * * * [progress]: [ 48 / 92 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (/ 1 E))))>
5.742 * * * * [progress]: [ 49 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) 1) E))>
5.742 * * * * [progress]: [ 50 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (- 1)) (- E)))>
5.742 * * * * [progress]: [ 51 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) 1) (/ E 1)))>
5.742 * * * * [progress]: [ 52 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (/ 1 (* (cbrt E) (cbrt E)))) (cbrt E)))>
5.742 * * * * [progress]: [ 53 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (/ 1 (sqrt E))) (sqrt E)))>
5.742 * * * * [progress]: [ 54 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (/ 1 1)) E))>
5.742 * * * * [progress]: [ 55 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (* (cbrt 1) (cbrt 1))) (/ E (cbrt 1))))>
5.742 * * * * [progress]: [ 56 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) (sqrt 1)) (/ E (sqrt 1))))>
5.742 * * * * [progress]: [ 57 / 92 ] simplifiying candidate #<alt (λ (x) (/ (* (exp (* x x)) 1) (/ E 1)))>
5.742 * * * * [progress]: [ 58 / 92 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (exp (* x x)) (/ 1 E)))))>
5.742 * * * * [progress]: [ 59 / 92 ] simplifiying candidate #<alt (λ (x) (* (/ 1 E) (exp (* x x))))>
5.742 * * * * [progress]: [ 60 / 92 ] simplifiying candidate #<alt (λ (x) (* (log1p (expm1 (exp (* x x)))) (/ 1 E)))>
5.742 * * * * [progress]: [ 61 / 92 ] simplifiying candidate #<alt (λ (x) (* (expm1 (log1p (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 62 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp x) x) (/ 1 E)))>
5.743 * * * * [progress]: [ 63 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* x x)) 1) (/ 1 E)))>
5.743 * * * * [progress]: [ 64 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp x) x) (/ 1 E)))>
5.743 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* (cbrt (* x x)) (cbrt (* x x)))) (cbrt (* x x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 66 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (sqrt (* x x))) (sqrt (* x x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 67 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp 1) (* x x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 68 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 69 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* (sqrt x) (sqrt x))) (* (sqrt x) (sqrt x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 70 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* 1 1)) (* x x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 71 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* (sqrt x) (sqrt x))) (* (sqrt x) (sqrt x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 72 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* x (* (cbrt x) (cbrt x)))) (cbrt x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 73 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* x (sqrt x))) (sqrt x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 74 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* x 1)) x) (/ 1 E)))>
5.743 * * * * [progress]: [ 75 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 76 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp (sqrt x)) (* (sqrt x) x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 77 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp 1) (* x x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 78 / 92 ] simplifiying candidate #<alt (λ (x) (* (pow (exp x) x) (/ 1 E)))>
5.743 * * * * [progress]: [ 79 / 92 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (/ 1 E)))>
5.743 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #<alt (λ (x) (* (exp (log (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 81 / 92 ] simplifiying candidate #<alt (λ (x) (* (log (exp (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 82 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (cbrt (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 83 / 92 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (exp (* x x)) (exp (* x x))) (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 84 / 92 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (sqrt (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #<alt (λ (x) (* (* 1 (exp (* x x))) (/ 1 E)))>
5.743 * * * * [progress]: [ 86 / 92 ] simplifiying candidate #<alt (λ (x) (* (posit16->real (real->posit16 (exp (* x x)))) (/ 1 E)))>
5.743 * * * * [progress]: [ 87 / 92 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))))>
5.743 * * * * [progress]: [ 88 / 92 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
5.743 * * * * [progress]: [ 89 / 92 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
5.743 * * * * [progress]: [ 90 / 92 ] simplifiying candidate #<alt (λ (x) (* (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) (/ 1 E)))>
5.743 * * * * [progress]: [ 91 / 92 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (/ 1 E)))>
5.743 * * * * [progress]: [ 92 / 92 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (/ 1 E)))>
5.744 * [simplify]: Simplifying:
  (expm1 (* (exp (* x x)) (/ 1 E)))
  (log1p (* (exp (* x x)) (/ 1 E)))
  (* (exp (* x x)) (/ 1 E))
  (+ (* x x) (- 1))
  (+ (* x x) (- (log E)))
  (+ (* x x) (- 0 1))
  (+ (* x x) (- 0 (log E)))
  (+ (* x x) (- (log 1) 1))
  (+ (* x x) (- (log 1) (log E)))
  (+ (* x x) (log (/ 1 E)))
  (+ (log (exp (* x x))) (- 1))
  (+ (log (exp (* x x))) (- (log E)))
  (+ (log (exp (* x x))) (- 0 1))
  (+ (log (exp (* x x))) (- 0 (log E)))
  (+ (log (exp (* x x))) (- (log 1) 1))
  (+ (log (exp (* x x))) (- (log 1) (log E)))
  (+ (log (exp (* x x))) (log (/ 1 E)))
  (log (* (exp (* x x)) (/ 1 E)))
  (exp (* (exp (* x x)) (/ 1 E)))
  (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (/ (* (* 1 1) 1) (* (* E E) E)))
  (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))
  (* (cbrt (* (exp (* x x)) (/ 1 E))) (cbrt (* (exp (* x x)) (/ 1 E))))
  (cbrt (* (exp (* x x)) (/ 1 E)))
  (* (* (* (exp (* x x)) (/ 1 E)) (* (exp (* x x)) (/ 1 E))) (* (exp (* x x)) (/ 1 E)))
  (sqrt (* (exp (* x x)) (/ 1 E)))
  (sqrt (* (exp (* x x)) (/ 1 E)))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (exp (* x x))) (/ (sqrt 1) (sqrt E)))
  (* (sqrt (exp (* x x))) (/ (sqrt 1) (sqrt E)))
  (* (sqrt (exp (* x x))) (/ 1 (sqrt E)))
  (* (sqrt (exp (* x x))) (/ 1 (sqrt E)))
  (* (exp (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))
  (* (exp (* x x)) (sqrt (/ 1 E)))
  (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt E) (cbrt E))))
  (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt E)))
  (* (exp (* x x)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (exp (* x x)) (/ (sqrt 1) (* (cbrt E) (cbrt E))))
  (* (exp (* x x)) (/ (sqrt 1) (sqrt E)))
  (* (exp (* x x)) (/ (sqrt 1) 1))
  (* (exp (* x x)) (/ 1 (* (cbrt E) (cbrt E))))
  (* (exp (* x x)) (/ 1 (sqrt E)))
  (* (exp (* x x)) (/ 1 1))
  (* (exp (* x x)) 1)
  (* (exp (* x x)) 1)
  (* (cbrt (exp (* x x))) (/ 1 E))
  (* (sqrt (exp (* x x))) (/ 1 E))
  (* (exp (* x x)) (/ 1 E))
  (* (exp (* x x)) 1)
  (* (exp (* x x)) (- 1))
  (* (exp (* x x)) 1)
  (* (exp (* x x)) (/ 1 (* (cbrt E) (cbrt E))))
  (* (exp (* x x)) (/ 1 (sqrt E)))
  (* (exp (* x x)) (/ 1 1))
  (* (exp (* x x)) (* (cbrt 1) (cbrt 1)))
  (* (exp (* x x)) (sqrt 1))
  (* (exp (* x x)) 1)
  (real->posit16 (* (exp (* x x)) (/ 1 E)))
  (expm1 (exp (* x x)))
  (log1p (exp (* x x)))
  (exp x)
  (exp (* (cbrt (* x x)) (cbrt (* x x))))
  (exp (sqrt (* x x)))
  (exp 1)
  (exp (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (exp (* (sqrt x) (sqrt x)))
  (exp (* 1 1))
  (exp (* (sqrt x) (sqrt x)))
  (exp (* x (* (cbrt x) (cbrt x))))
  (exp (* x (sqrt x)))
  (exp (* x 1))
  (exp (* (cbrt x) (cbrt x)))
  (exp (sqrt x))
  (exp 1)
  (exp x)
  (log (exp (* x x)))
  (exp (exp (* x x)))
  (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
  (cbrt (exp (* x x)))
  (* (* (exp (* x x)) (exp (* x x))) (exp (* x x)))
  (sqrt (exp (* x x)))
  (sqrt (exp (* x x)))
  (real->posit16 (exp (* x x)))
  (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
  (/ (exp (pow x 2)) E)
  (/ (exp (pow x 2)) E)
  (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
  (exp (pow x 2))
  (exp (pow x 2))
5.745 * * [simplify]: iteration 0: 136 enodes
5.809 * * [simplify]: iteration 1: 320 enodes
5.920 * * [simplify]: iteration 2: 727 enodes
6.293 * * [simplify]: iteration 3: 1627 enodes
7.389 * * [simplify]: iteration 4: 4166 enodes
8.553 * * [simplify]: iteration complete: 5001 enodes
8.553 * * [simplify]: Extracting #0: cost 40 inf + 0
8.563 * * [simplify]: Extracting #1: cost 500 inf + 1
8.571 * * [simplify]: Extracting #2: cost 1058 inf + 2618
8.591 * * [simplify]: Extracting #3: cost 703 inf + 60309
8.643 * * [simplify]: Extracting #4: cost 139 inf + 174241
8.697 * * [simplify]: Extracting #5: cost 5 inf + 217022
8.753 * * [simplify]: Extracting #6: cost 0 inf + 219190
8.794 * [simplify]: Simplified to:
  (expm1 (exp (fma x x -1)))
  (log1p (exp (fma x x -1)))
  (exp (fma x x -1))
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (exp (exp (fma x x -1)))
  (exp (+ (+ (fma x x -1) (fma x x -1)) (fma x x -1)))
  (exp (+ (+ (fma x x -1) (fma x x -1)) (fma x x -1)))
  (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1))))
  (cbrt (exp (fma x x -1)))
  (exp (+ (+ (fma x x -1) (fma x x -1)) (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (* (* (cbrt (/ 1 E)) (cbrt (/ 1 E))) (exp (* x x)))
  (* (sqrt (/ 1 E)) (exp (* x x)))
  (/ (/ (exp (* x x)) (cbrt E)) (cbrt E))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (/ (/ (exp (* x x)) (cbrt E)) (cbrt E))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (/ (/ (exp (* x x)) (cbrt E)) (cbrt E))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (/ (cbrt (exp (* x x))) E)
  (/ (sqrt (exp (* x x))) E)
  (exp (fma x x -1))
  (exp (* x x))
  (- (exp (* x x)))
  (exp (* x x))
  (/ (/ (exp (* x x)) (cbrt E)) (cbrt E))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (real->posit16 (exp (fma x x -1)))
  (expm1 (exp (* x x)))
  (log1p (exp (* x x)))
  (exp x)
  (exp (* (cbrt (* x x)) (cbrt (* x x))))
  (exp (fabs x))
  E
  (exp (* (cbrt x) x))
  (exp x)
  E
  (exp x)
  (exp (* (cbrt x) (* (cbrt x) x)))
  (exp (* (sqrt x) x))
  (exp x)
  (exp (* (cbrt x) (cbrt x)))
  (exp (sqrt x))
  E
  (exp x)
  (* x x)
  (exp (exp (* x x)))
  (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))
  (cbrt (exp (* x x)))
  (exp (* 3 (* x x)))
  (sqrt (exp (* x x)))
  (sqrt (exp (* x x)))
  (real->posit16 (exp (* x x)))
  (fma 1/2 (* (/ (* x x) E) (* x x)) (fma (/ x E) x (/ 1 E)))
  (exp (fma x x -1))
  (exp (fma x x -1))
  (fma (fma 1/2 (* x x) 1) (* x x) 1)
  (exp (* x x))
  (exp (* x x))
8.797 * * * [progress]: adding candidates to table
9.046 * * [progress]: iteration 3 / 4
9.046 * * * [progress]: picking best candidate
9.047 * * * * [pick]: Picked  #<alt (λ (x) (* (pow E (* x x)) (/ 1 E)))>
9.047 * * * [progress]: localizing error
9.060 * * * [progress]: generating rewritten candidates
9.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.118 * * * [progress]: generating series expansions
9.118 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.119 * [backup-simplify]: Simplify (* (pow E (* x x)) (/ 1 E)) into (/ (pow E (pow x 2)) E)
9.119 * [approximate]: Taking taylor expansion of (/ (pow E (pow x 2)) E) in (x) around 0
9.119 * [taylor]: Taking taylor expansion of (/ (pow E (pow x 2)) E) in x
9.119 * [taylor]: Taking taylor expansion of (pow E (pow x 2)) in x
9.119 * [taylor]: Taking taylor expansion of (exp (* (pow x 2) (log E))) in x
9.119 * [taylor]: Taking taylor expansion of (* (pow x 2) (log E)) in x
9.119 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.119 * [taylor]: Taking taylor expansion of x in x
9.119 * [backup-simplify]: Simplify 0 into 0
9.119 * [backup-simplify]: Simplify 1 into 1
9.119 * [taylor]: Taking taylor expansion of (log E) in x
9.119 * [taylor]: Taking taylor expansion of E in x
9.119 * [backup-simplify]: Simplify E into E
9.119 * [backup-simplify]: Simplify (log E) into 1
9.120 * [backup-simplify]: Simplify (* 1 1) into 1
9.120 * [backup-simplify]: Simplify (* 1 1) into 1
9.120 * [backup-simplify]: Simplify (exp 0) into 1
9.120 * [taylor]: Taking taylor expansion of E in x
9.120 * [backup-simplify]: Simplify E into E
9.120 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
9.120 * [taylor]: Taking taylor expansion of (/ (pow E (pow x 2)) E) in x
9.120 * [taylor]: Taking taylor expansion of (pow E (pow x 2)) in x
9.120 * [taylor]: Taking taylor expansion of (exp (* (pow x 2) (log E))) in x
9.120 * [taylor]: Taking taylor expansion of (* (pow x 2) (log E)) in x
9.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.120 * [taylor]: Taking taylor expansion of x in x
9.120 * [backup-simplify]: Simplify 0 into 0
9.120 * [backup-simplify]: Simplify 1 into 1
9.120 * [taylor]: Taking taylor expansion of (log E) in x
9.121 * [taylor]: Taking taylor expansion of E in x
9.121 * [backup-simplify]: Simplify E into E
9.121 * [backup-simplify]: Simplify (log E) into 1
9.121 * [backup-simplify]: Simplify (* 1 1) into 1
9.121 * [backup-simplify]: Simplify (* 1 1) into 1
9.121 * [backup-simplify]: Simplify (exp 0) into 1
9.121 * [taylor]: Taking taylor expansion of E in x
9.121 * [backup-simplify]: Simplify E into E
9.121 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
9.122 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
9.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
9.123 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)))) into 0
9.123 * [backup-simplify]: Simplify 0 into 0
9.124 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
9.126 * [backup-simplify]: Simplify (- (/ 1 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (/ 1 E)
9.126 * [backup-simplify]: Simplify (/ 1 E) into (/ 1 E)
9.127 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
9.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.128 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.131 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)))) into 0
9.131 * [backup-simplify]: Simplify 0 into 0
9.134 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
9.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.140 * [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
9.144 * [backup-simplify]: Simplify (- (/ 1/2 E) (+ (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)) (* (/ 1 E) (/ 0 E)) (* 0 (/ 0 E)))) into (* 1/2 (/ 1 E))
9.145 * [backup-simplify]: Simplify (* 1/2 (/ 1 E)) into (/ 1/2 E)
9.147 * [backup-simplify]: Simplify (+ (* (/ 1/2 E) (pow x 4)) (+ (* (/ 1 E) (pow x 2)) (/ 1 E))) into (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
9.147 * [backup-simplify]: Simplify (* (pow E (* (/ 1 x) (/ 1 x))) (/ 1 E)) into (/ (pow E (/ 1 (pow x 2))) E)
9.147 * [approximate]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in (x) around 0
9.148 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x
9.148 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x
9.148 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x
9.148 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x
9.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.148 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.148 * [taylor]: Taking taylor expansion of x in x
9.148 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify 1 into 1
9.148 * [backup-simplify]: Simplify (* 1 1) into 1
9.149 * [backup-simplify]: Simplify (/ 1 1) into 1
9.149 * [taylor]: Taking taylor expansion of (log E) in x
9.149 * [taylor]: Taking taylor expansion of E in x
9.149 * [backup-simplify]: Simplify E into E
9.149 * [backup-simplify]: Simplify (log E) into 1
9.149 * [backup-simplify]: Simplify (* 1 1) into 1
9.149 * [backup-simplify]: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2)))
9.149 * [taylor]: Taking taylor expansion of E in x
9.149 * [backup-simplify]: Simplify E into E
9.149 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.150 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x
9.150 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x
9.150 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x
9.150 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x
9.150 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.150 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.150 * [taylor]: Taking taylor expansion of x in x
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 1 into 1
9.150 * [backup-simplify]: Simplify (* 1 1) into 1
9.151 * [backup-simplify]: Simplify (/ 1 1) into 1
9.151 * [taylor]: Taking taylor expansion of (log E) in x
9.151 * [taylor]: Taking taylor expansion of E in x
9.151 * [backup-simplify]: Simplify E into E
9.151 * [backup-simplify]: Simplify (log E) into 1
9.151 * [backup-simplify]: Simplify (* 1 1) into 1
9.151 * [backup-simplify]: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2)))
9.151 * [taylor]: Taking taylor expansion of E in x
9.151 * [backup-simplify]: Simplify E into E
9.151 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.152 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.153 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
9.153 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.155 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.157 * [backup-simplify]: Simplify 0 into 0
9.160 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.160 * [backup-simplify]: Simplify 0 into 0
9.164 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.164 * [backup-simplify]: Simplify 0 into 0
9.171 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.172 * [backup-simplify]: Simplify 0 into 0
9.172 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow (/ 1 x) 2))) E) into (/ (exp (pow x 2)) E)
9.173 * [backup-simplify]: Simplify (* (pow E (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 E)) into (/ (pow E (/ 1 (pow x 2))) E)
9.173 * [approximate]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in (x) around 0
9.173 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x
9.173 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x
9.173 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x
9.173 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x
9.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.173 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.173 * [taylor]: Taking taylor expansion of x in x
9.173 * [backup-simplify]: Simplify 0 into 0
9.173 * [backup-simplify]: Simplify 1 into 1
9.173 * [backup-simplify]: Simplify (* 1 1) into 1
9.174 * [backup-simplify]: Simplify (/ 1 1) into 1
9.174 * [taylor]: Taking taylor expansion of (log E) in x
9.174 * [taylor]: Taking taylor expansion of E in x
9.174 * [backup-simplify]: Simplify E into E
9.174 * [backup-simplify]: Simplify (log E) into 1
9.174 * [backup-simplify]: Simplify (* 1 1) into 1
9.174 * [backup-simplify]: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2)))
9.174 * [taylor]: Taking taylor expansion of E in x
9.174 * [backup-simplify]: Simplify E into E
9.175 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.175 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow x 2))) E) in x
9.175 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow x 2))) in x
9.175 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow x 2)) (log E))) in x
9.175 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (log E)) in x
9.175 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.175 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.175 * [taylor]: Taking taylor expansion of x in x
9.175 * [backup-simplify]: Simplify 0 into 0
9.175 * [backup-simplify]: Simplify 1 into 1
9.175 * [backup-simplify]: Simplify (* 1 1) into 1
9.176 * [backup-simplify]: Simplify (/ 1 1) into 1
9.176 * [taylor]: Taking taylor expansion of (log E) in x
9.176 * [taylor]: Taking taylor expansion of E in x
9.176 * [backup-simplify]: Simplify E into E
9.176 * [backup-simplify]: Simplify (log E) into 1
9.176 * [backup-simplify]: Simplify (* 1 1) into 1
9.176 * [backup-simplify]: Simplify (exp (* (/ 1 (pow x 2)) (log E))) into (exp (/ 1 (pow x 2)))
9.176 * [taylor]: Taking taylor expansion of E in x
9.176 * [backup-simplify]: Simplify E into E
9.176 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.177 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow x 2))) E) into (/ (exp (/ 1 (pow x 2))) E)
9.177 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)))) into 0
9.177 * [backup-simplify]: Simplify 0 into 0
9.178 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.178 * [backup-simplify]: Simplify 0 into 0
9.180 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.180 * [backup-simplify]: Simplify 0 into 0
9.182 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.182 * [backup-simplify]: Simplify 0 into 0
9.184 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.184 * [backup-simplify]: Simplify 0 into 0
9.186 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (/ 1 (pow x 2))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0
9.186 * [backup-simplify]: Simplify 0 into 0
9.186 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow (/ 1 (- x)) 2))) E) into (/ (exp (pow x 2)) E)
9.186 * * * [progress]: simplifying candidates
9.186 * * * * [progress]: [ 1 / 90 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (pow E (* x x)) (/ 1 E)))))>
9.186 * * * * [progress]: [ 2 / 90 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (pow E (* x x)) (/ 1 E)))))>
9.186 * * * * [progress]: [ 3 / 90 ] simplifiying candidate #<alt (λ (x) (pow E (+ (* x x) -1)))>
9.186 * * * * [progress]: [ 4 / 90 ] simplifiying candidate #<alt (λ (x) (pow E (+ (* x x) (- 1))))>
9.187 * * * * [progress]: [ 5 / 90 ] simplifiying candidate #<alt (λ (x) (pow E (+ (* 1 (* x x)) -1)))>
9.187 * * * * [progress]: [ 6 / 90 ] simplifiying candidate #<alt (λ (x) (pow E (+ (* 1 (* x x)) (- 1))))>
9.187 * * * * [progress]: [ 7 / 90 ] simplifiying candidate #<alt (λ (x) (pow (* (pow E (* x x)) (/ 1 E)) 1))>
9.187 * * * * [progress]: [ 8 / 90 ] simplifiying candidate #<alt (λ (x) (pow (* (pow E (* x x)) (/ 1 E)) 1))>
9.187 * * * * [progress]: [ 9 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- 1))))>
9.187 * * * * [progress]: [ 10 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- (log E)))))>
9.187 * * * * [progress]: [ 11 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- 0 1))))>
9.187 * * * * [progress]: [ 12 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- 0 (log E)))))>
9.187 * * * * [progress]: [ 13 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- (log 1) 1))))>
9.187 * * * * [progress]: [ 14 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (- (log 1) (log E)))))>
9.187 * * * * [progress]: [ 15 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* 1 (* x x)) (log (/ 1 E)))))>
9.187 * * * * [progress]: [ 16 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 1))))>
9.187 * * * * [progress]: [ 17 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log E)))))>
9.187 * * * * [progress]: [ 18 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 0 1))))>
9.187 * * * * [progress]: [ 19 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 0 (log E)))))>
9.187 * * * * [progress]: [ 20 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log 1) 1))))>
9.187 * * * * [progress]: [ 21 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log 1) (log E)))))>
9.187 * * * * [progress]: [ 22 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (log (/ 1 E)))))>
9.187 * * * * [progress]: [ 23 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 1))))>
9.187 * * * * [progress]: [ 24 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log E)))))>
9.187 * * * * [progress]: [ 25 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 0 1))))>
9.187 * * * * [progress]: [ 26 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- 0 (log E)))))>
9.187 * * * * [progress]: [ 27 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log 1) 1))))>
9.187 * * * * [progress]: [ 28 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (- (log 1) (log E)))))>
9.187 * * * * [progress]: [ 29 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (* (log E) (* x x)) (log (/ 1 E)))))>
9.187 * * * * [progress]: [ 30 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- 1))))>
9.187 * * * * [progress]: [ 31 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- (log E)))))>
9.187 * * * * [progress]: [ 32 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- 0 1))))>
9.188 * * * * [progress]: [ 33 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- 0 (log E)))))>
9.188 * * * * [progress]: [ 34 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- (log 1) 1))))>
9.188 * * * * [progress]: [ 35 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (- (log 1) (log E)))))>
9.188 * * * * [progress]: [ 36 / 90 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (pow E (* x x))) (log (/ 1 E)))))>
9.188 * * * * [progress]: [ 37 / 90 ] simplifiying candidate #<alt (λ (x) (exp (log (* (pow E (* x x)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 38 / 90 ] simplifiying candidate #<alt (λ (x) (log (exp (* (pow E (* x x)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 39 / 90 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (/ (* (* 1 1) 1) (* (* E E) E)))))>
9.188 * * * * [progress]: [ 40 / 90 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 41 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (pow E (* x x)) (/ 1 E))) (cbrt (* (pow E (* x x)) (/ 1 E)))) (cbrt (* (pow E (* x x)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 42 / 90 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (pow E (* x x)) (/ 1 E)) (* (pow E (* x x)) (/ 1 E))) (* (pow E (* x x)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 43 / 90 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (pow E (* x x)) (/ 1 E))) (sqrt (* (pow E (* x x)) (/ 1 E)))))>
9.188 * * * * [progress]: [ 44 / 90 ] simplifiying candidate #<alt (λ (x) (* 1 (* (pow E (* x x)) (/ 1 E))))>
9.188 * * * * [progress]: [ 45 / 90 ] simplifiying candidate #<alt (λ (x) (/ (pow E (* x x)) E))>
9.188 * * * * [progress]: [ 46 / 90 ] simplifiying candidate #<alt (λ (x) (/ (pow E (* x x)) (/ E 1)))>
9.188 * * * * [progress]: [ 47 / 90 ] simplifiying candidate #<alt (λ (x) (/ (pow E (* x x)) (/ E 1)))>
9.188 * * * * [progress]: [ 48 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E))) (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E)))))>
9.188 * * * * [progress]: [ 49 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow (sqrt E) (* x x)) (/ (sqrt 1) (sqrt E))) (* (pow (sqrt E) (* x x)) (/ (sqrt 1) (sqrt E)))))>
9.188 * * * * [progress]: [ 50 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow (sqrt E) (* x x)) (/ 1 (sqrt E))) (* (pow (sqrt E) (* x x)) (/ 1 (sqrt E)))))>
9.188 * * * * [progress]: [ 51 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (pow E (* x x))) (sqrt (/ 1 E))) (* (sqrt (pow E (* x x))) (sqrt (/ 1 E)))))>
9.188 * * * * [progress]: [ 52 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (pow E (* x x))) (/ (sqrt 1) (sqrt E))) (* (sqrt (pow E (* x x))) (/ (sqrt 1) (sqrt E)))))>
9.188 * * * * [progress]: [ 53 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (pow E (* x x))) (/ 1 (sqrt E))) (* (sqrt (pow E (* x x))) (/ 1 (sqrt E)))))>
9.188 * * * * [progress]: [ 54 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (/ (* x x) 2)) (sqrt (/ 1 E))) (* (pow E (/ (* x x) 2)) (sqrt (/ 1 E)))))>
9.188 * * * * [progress]: [ 55 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (/ (* x x) 2)) (/ (sqrt 1) (sqrt E))) (* (pow E (/ (* x x) 2)) (/ (sqrt 1) (sqrt E)))))>
9.188 * * * * [progress]: [ 56 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (/ (* x x) 2)) (/ 1 (sqrt E))) (* (pow E (/ (* x x) 2)) (/ 1 (sqrt E)))))>
9.188 * * * * [progress]: [ 57 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E)))) (cbrt (/ 1 E))))>
9.188 * * * * [progress]: [ 58 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (sqrt (/ 1 E))) (sqrt (/ 1 E))))>
9.188 * * * * [progress]: [ 59 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt E) (cbrt E)))) (/ (cbrt 1) (cbrt E))))>
9.188 * * * * [progress]: [ 60 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt E))) (/ (cbrt 1) (sqrt E))))>
9.189 * * * * [progress]: [ 61 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt 1) E)))>
9.189 * * * * [progress]: [ 62 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (sqrt 1) (* (cbrt E) (cbrt E)))) (/ (sqrt 1) (cbrt E))))>
9.189 * * * * [progress]: [ 63 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (sqrt 1) (sqrt E))) (/ (sqrt 1) (sqrt E))))>
9.189 * * * * [progress]: [ 64 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ (sqrt 1) 1)) (/ (sqrt 1) E)))>
9.189 * * * * [progress]: [ 65 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ 1 (* (cbrt E) (cbrt E)))) (/ 1 (cbrt E))))>
9.189 * * * * [progress]: [ 66 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ 1 (sqrt E))) (/ 1 (sqrt E))))>
9.189 * * * * [progress]: [ 67 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) (/ 1 1)) (/ 1 E)))>
9.189 * * * * [progress]: [ 68 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) 1) (/ 1 E)))>
9.189 * * * * [progress]: [ 69 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (pow E (* x x)) 1) (/ 1 E)))>
9.189 * * * * [progress]: [ 70 / 90 ] simplifiying candidate #<alt (λ (x) (* (pow (* (cbrt E) (cbrt E)) (* x x)) (* (pow (cbrt E) (* x x)) (/ 1 E))))>
9.189 * * * * [progress]: [ 71 / 90 ] simplifiying candidate #<alt (λ (x) (* (pow (sqrt E) (* x x)) (* (pow (sqrt E) (* x x)) (/ 1 E))))>
9.189 * * * * [progress]: [ 72 / 90 ] simplifiying candidate #<alt (λ (x) (* (pow 1 (* x x)) (* (pow E (* x x)) (/ 1 E))))>
9.189 * * * * [progress]: [ 73 / 90 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (/ 1 E))))>
9.189 * * * * [progress]: [ 74 / 90 ] simplifiying candidate #<alt (λ (x) (* (sqrt (pow E (* x x))) (* (sqrt (pow E (* x x))) (/ 1 E))))>
9.189 * * * * [progress]: [ 75 / 90 ] simplifiying candidate #<alt (λ (x) (* 1 (* (pow E (* x x)) (/ 1 E))))>
9.189 * * * * [progress]: [ 76 / 90 ] simplifiying candidate #<alt (λ (x) (* (pow E (/ (* x x) 2)) (* (pow E (/ (* x x) 2)) (/ 1 E))))>
9.189 * * * * [progress]: [ 77 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) 1) E))>
9.189 * * * * [progress]: [ 78 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (- 1)) (- E)))>
9.189 * * * * [progress]: [ 79 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) 1) (/ E 1)))>
9.189 * * * * [progress]: [ 80 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (/ 1 (* (cbrt E) (cbrt E)))) (cbrt E)))>
9.189 * * * * [progress]: [ 81 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (/ 1 (sqrt E))) (sqrt E)))>
9.189 * * * * [progress]: [ 82 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (/ 1 1)) E))>
9.189 * * * * [progress]: [ 83 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (* (cbrt 1) (cbrt 1))) (/ E (cbrt 1))))>
9.189 * * * * [progress]: [ 84 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) (sqrt 1)) (/ E (sqrt 1))))>
9.189 * * * * [progress]: [ 85 / 90 ] simplifiying candidate #<alt (λ (x) (/ (* (pow E (* x x)) 1) (/ E 1)))>
9.189 * * * * [progress]: [ 86 / 90 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (pow E (* x x)) (/ 1 E)))))>
9.189 * * * * [progress]: [ 87 / 90 ] simplifiying candidate #<alt (λ (x) (* (/ 1 E) (pow E (* x x))))>
9.189 * * * * [progress]: [ 88 / 90 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E))))>
9.189 * * * * [progress]: [ 89 / 90 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
9.189 * * * * [progress]: [ 90 / 90 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
9.190 * [simplify]: Simplifying:
  (expm1 (* (pow E (* x x)) (/ 1 E)))
  (log1p (* (pow E (* x x)) (/ 1 E)))
  (+ (* x x) -1)
  (+ (* x x) (- 1))
  (+ (* 1 (* x x)) -1)
  (+ (* 1 (* x x)) (- 1))
  (* (pow E (* x x)) (/ 1 E))
  (+ (* 1 (* x x)) (- 1))
  (+ (* 1 (* x x)) (- (log E)))
  (+ (* 1 (* x x)) (- 0 1))
  (+ (* 1 (* x x)) (- 0 (log E)))
  (+ (* 1 (* x x)) (- (log 1) 1))
  (+ (* 1 (* x x)) (- (log 1) (log E)))
  (+ (* 1 (* x x)) (log (/ 1 E)))
  (+ (* (log E) (* x x)) (- 1))
  (+ (* (log E) (* x x)) (- (log E)))
  (+ (* (log E) (* x x)) (- 0 1))
  (+ (* (log E) (* x x)) (- 0 (log E)))
  (+ (* (log E) (* x x)) (- (log 1) 1))
  (+ (* (log E) (* x x)) (- (log 1) (log E)))
  (+ (* (log E) (* x x)) (log (/ 1 E)))
  (+ (* (log E) (* x x)) (- 1))
  (+ (* (log E) (* x x)) (- (log E)))
  (+ (* (log E) (* x x)) (- 0 1))
  (+ (* (log E) (* x x)) (- 0 (log E)))
  (+ (* (log E) (* x x)) (- (log 1) 1))
  (+ (* (log E) (* x x)) (- (log 1) (log E)))
  (+ (* (log E) (* x x)) (log (/ 1 E)))
  (+ (log (pow E (* x x))) (- 1))
  (+ (log (pow E (* x x))) (- (log E)))
  (+ (log (pow E (* x x))) (- 0 1))
  (+ (log (pow E (* x x))) (- 0 (log E)))
  (+ (log (pow E (* x x))) (- (log 1) 1))
  (+ (log (pow E (* x x))) (- (log 1) (log E)))
  (+ (log (pow E (* x x))) (log (/ 1 E)))
  (log (* (pow E (* x x)) (/ 1 E)))
  (exp (* (pow E (* x x)) (/ 1 E)))
  (* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (/ (* (* 1 1) 1) (* (* E E) E)))
  (* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))
  (* (cbrt (* (pow E (* x x)) (/ 1 E))) (cbrt (* (pow E (* x x)) (/ 1 E))))
  (cbrt (* (pow E (* x x)) (/ 1 E)))
  (* (* (* (pow E (* x x)) (/ 1 E)) (* (pow E (* x x)) (/ 1 E))) (* (pow E (* x x)) (/ 1 E)))
  (sqrt (* (pow E (* x x)) (/ 1 E)))
  (sqrt (* (pow E (* x x)) (/ 1 E)))
  (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E)))
  (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E)))
  (* (pow (sqrt E) (* x x)) (/ (sqrt 1) (sqrt E)))
  (* (pow (sqrt E) (* x x)) (/ (sqrt 1) (sqrt E)))
  (* (pow (sqrt E) (* x x)) (/ 1 (sqrt E)))
  (* (pow (sqrt E) (* x x)) (/ 1 (sqrt E)))
  (* (sqrt (pow E (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (pow E (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (pow E (* x x))) (/ (sqrt 1) (sqrt E)))
  (* (sqrt (pow E (* x x))) (/ (sqrt 1) (sqrt E)))
  (* (sqrt (pow E (* x x))) (/ 1 (sqrt E)))
  (* (sqrt (pow E (* x x))) (/ 1 (sqrt E)))
  (* (pow E (/ (* x x) 2)) (sqrt (/ 1 E)))
  (* (pow E (/ (* x x) 2)) (sqrt (/ 1 E)))
  (* (pow E (/ (* x x) 2)) (/ (sqrt 1) (sqrt E)))
  (* (pow E (/ (* x x) 2)) (/ (sqrt 1) (sqrt E)))
  (* (pow E (/ (* x x) 2)) (/ 1 (sqrt E)))
  (* (pow E (/ (* x x) 2)) (/ 1 (sqrt E)))
  (* (pow E (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))
  (* (pow E (* x x)) (sqrt (/ 1 E)))
  (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt E) (cbrt E))))
  (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt E)))
  (* (pow E (* x x)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (pow E (* x x)) (/ (sqrt 1) (* (cbrt E) (cbrt E))))
  (* (pow E (* x x)) (/ (sqrt 1) (sqrt E)))
  (* (pow E (* x x)) (/ (sqrt 1) 1))
  (* (pow E (* x x)) (/ 1 (* (cbrt E) (cbrt E))))
  (* (pow E (* x x)) (/ 1 (sqrt E)))
  (* (pow E (* x x)) (/ 1 1))
  (* (pow E (* x x)) 1)
  (* (pow E (* x x)) 1)
  (* (pow (cbrt E) (* x x)) (/ 1 E))
  (* (pow (sqrt E) (* x x)) (/ 1 E))
  (* (pow E (* x x)) (/ 1 E))
  (* (cbrt (pow E (* x x))) (/ 1 E))
  (* (sqrt (pow E (* x x))) (/ 1 E))
  (* (pow E (* x x)) (/ 1 E))
  (* (pow E (/ (* x x) 2)) (/ 1 E))
  (* (pow E (* x x)) 1)
  (* (pow E (* x x)) (- 1))
  (* (pow E (* x x)) 1)
  (* (pow E (* x x)) (/ 1 (* (cbrt E) (cbrt E))))
  (* (pow E (* x x)) (/ 1 (sqrt E)))
  (* (pow E (* x x)) (/ 1 1))
  (* (pow E (* x x)) (* (cbrt 1) (cbrt 1)))
  (* (pow E (* x x)) (sqrt 1))
  (* (pow E (* x x)) 1)
  (real->posit16 (* (pow E (* x x)) (/ 1 E)))
  (+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
  (/ (exp (pow x 2)) E)
  (/ (exp (pow x 2)) E)
9.191 * * [simplify]: iteration 0: 131 enodes
9.235 * * [simplify]: iteration 1: 358 enodes
9.379 * * [simplify]: iteration 2: 863 enodes
9.888 * * [simplify]: iteration 3: 2104 enodes
10.818 * * [simplify]: iteration complete: 5000 enodes
10.818 * * [simplify]: Extracting #0: cost 28 inf + 0
10.820 * * [simplify]: Extracting #1: cost 394 inf + 0
10.826 * * [simplify]: Extracting #2: cost 1110 inf + 2728
10.836 * * [simplify]: Extracting #3: cost 1167 inf + 24749
10.865 * * [simplify]: Extracting #4: cost 625 inf + 192102
10.964 * * [simplify]: Extracting #5: cost 54 inf + 454895
11.052 * * [simplify]: Extracting #6: cost 0 inf + 479276
11.181 * * [simplify]: Extracting #7: cost 0 inf + 478261
11.282 * [simplify]: Simplified to:
  (expm1 (/ (exp (* x x)) E))
  (log1p (/ (exp (* x x)) E))
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (/ (exp (* x x)) E)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (fma x x -1)
  (exp (/ (exp (* x x)) E))
  (* (/ (exp (* x x)) E) (* (/ (exp (* x x)) E) (/ (exp (* x x)) E)))
  (* (/ (exp (* x x)) E) (* (/ (exp (* x x)) E) (/ (exp (* x x)) E)))
  (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E)))
  (cbrt (/ (exp (* x x)) E))
  (* (/ (exp (* x x)) E) (* (/ (exp (* x x)) E) (/ (exp (* x x)) E)))
  (sqrt (/ (exp (* x x)) E))
  (sqrt (/ (exp (* x x)) E))
  (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E)))
  (* (pow (sqrt E) (* x x)) (sqrt (/ 1 E)))
  (/ (pow (sqrt E) (* x x)) (sqrt E))
  (/ (pow (sqrt E) (* x x)) (sqrt E))
  (/ (pow (sqrt E) (* x x)) (sqrt E))
  (/ (pow (sqrt E) (* x x)) (sqrt E))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (* (sqrt (exp (* x x))) (sqrt (/ 1 E)))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (/ (sqrt (exp (* x x))) (sqrt E))
  (* (exp (/ (* x x) 2)) (sqrt (/ 1 E)))
  (* (exp (/ (* x x) 2)) (sqrt (/ 1 E)))
  (/ (exp (/ (* x x) 2)) (sqrt E))
  (/ (exp (/ (* x x) 2)) (sqrt E))
  (/ (exp (/ (* x x) 2)) (sqrt E))
  (/ (exp (/ (* x x) 2)) (sqrt E))
  (* (exp (* x x)) (* (cbrt (/ 1 E)) (cbrt (/ 1 E))))
  (* (exp (* x x)) (sqrt (/ 1 E)))
  (/ (exp (* x x)) (* (cbrt E) (cbrt E)))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (/ (exp (* x x)) (* (cbrt E) (cbrt E)))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (/ (exp (* x x)) (* (cbrt E) (cbrt E)))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (/ (pow (cbrt E) (* x x)) E)
  (/ (pow (sqrt E) (* x x)) E)
  (/ (exp (* x x)) E)
  (/ (cbrt (exp (* x x))) E)
  (/ (sqrt (exp (* x x))) E)
  (/ (exp (* x x)) E)
  (/ (exp (/ (* x x) 2)) E)
  (exp (* x x))
  (- (exp (* x x)))
  (exp (* x x))
  (/ (exp (* x x)) (* (cbrt E) (cbrt E)))
  (/ (exp (* x x)) (sqrt E))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (exp (* x x))
  (real->posit16 (/ (exp (* x x)) E))
  (fma (/ 1/2 E) (* (* x x) (* x x)) (fma (/ x E) x (/ 1 E)))
  (/ (exp (* x x)) E)
  (/ (exp (* x x)) E)
11.284 * * * [progress]: adding candidates to table
11.489 * [progress]: [Phase 3 of 3] Extracting.
11.489 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (pow E (* x x)) (/ 1 E)))>)
11.489 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
11.489 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (pow E (* x x)) (/ 1 E)))>)
11.505 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (pow E (* x x)) (/ 1 E)))>)
11.536 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.537 * [simplify]: Simplifying:
  (exp (fma x x -1))
11.537 * * [simplify]: iteration 0: 4 enodes
11.537 * * [simplify]: iteration complete: 4 enodes
11.537 * * [simplify]: Extracting #0: cost 1 inf + 0
11.537 * * [simplify]: Extracting #1: cost 2 inf + 0
11.537 * * [simplify]: Extracting #2: cost 4 inf + 0
11.537 * * [simplify]: Extracting #3: cost 2 inf + 2
11.537 * * [simplify]: Extracting #4: cost 0 inf + 186
11.537 * [simplify]: Simplified to:
  (exp (fma x x -1))
13.517 * [regime-testing]: Baseline error score: 0.015074863086937814
13.520 * [regime-testing]: Oracle error score: 0.010619098822223434
13.524 * [regime-testing]: End program error score: 0.015074863086937814