20.029 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.055 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
0.055 * [simplify]: Simplifying:
  (exp (- (- 1 (* x x))))
0.055 * * [simplify]: iteration 1: (6 enodes)
0.057 * * [simplify]: iteration 2: (10 enodes)
0.061 * * [simplify]: iteration 3: (23 enodes)
0.071 * * [simplify]: iteration 4: (49 enodes)
0.088 * * [simplify]: iteration 5: (89 enodes)
0.138 * * [simplify]: iteration 6: (159 enodes)
0.172 * * [simplify]: iteration 7: (330 enodes)
0.520 * * [simplify]: iteration 8: (1261 enodes)
5.149 * * [simplify]: Extracting #0: cost 1 inf + 0
5.150 * * [simplify]: Extracting #1: cost 468 inf + 0
5.154 * * [simplify]: Extracting #2: cost 953 inf + 44
5.159 * * [simplify]: Extracting #3: cost 980 inf + 3540
5.177 * * [simplify]: Extracting #4: cost 758 inf + 57039
5.218 * * [simplify]: Extracting #5: cost 313 inf + 304171
5.339 * * [simplify]: Extracting #6: cost 21 inf + 489839
5.453 * * [simplify]: Extracting #7: cost 0 inf + 495525
5.589 * * [simplify]: Extracting #8: cost 0 inf + 494943
5.697 * [simplify]: Simplified to:
  (exp (fma x x -1))
5.702 * * [progress]: iteration 1 / 4
5.703 * * * [progress]: picking best candidate
5.705 * * * * [pick]: Picked  #<alt (λ (x) (exp (fma x x -1)))>
5.705 * * * [progress]: localizing error
5.713 * * * [progress]: generating rewritten candidates
5.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.715 * * * [progress]: generating series expansions
5.715 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.715 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1))
5.715 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
5.715 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
5.715 * [taylor]: Taking taylor expansion of (fma x x -1) in x
5.716 * [taylor]: Rewrote expression to (+ (* x x) -1)
5.716 * [taylor]: Taking taylor expansion of (* x x) 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 * [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 * [taylor]: Taking taylor expansion of -1 in x
5.716 * [backup-simplify]: Simplify -1 into -1
5.716 * [backup-simplify]: Simplify (* 0 0) into 0
5.717 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.717 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.717 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
5.717 * [taylor]: Taking taylor expansion of (fma x x -1) in x
5.717 * [taylor]: Rewrote expression to (+ (* x x) -1)
5.717 * [taylor]: Taking taylor expansion of (* x x) in x
5.717 * [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 * [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 * [taylor]: Taking taylor expansion of -1 in x
5.717 * [backup-simplify]: Simplify -1 into -1
5.717 * [backup-simplify]: Simplify (* 0 0) into 0
5.718 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.718 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.718 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.719 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.719 * [backup-simplify]: Simplify (+ 0 0) into 0
5.720 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
5.720 * [backup-simplify]: Simplify 0 into 0
5.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.721 * [backup-simplify]: Simplify (+ 1 0) into 1
5.723 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
5.723 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.725 * [backup-simplify]: Simplify (+ 0 0) into 0
5.726 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.726 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.727 * [backup-simplify]: Simplify (+ 0 0) into 0
5.732 * [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))
5.733 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
5.736 * [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)))))
5.736 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.736 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
5.736 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
5.736 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
5.736 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
5.736 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.736 * [taylor]: Taking taylor expansion of (/ 1 x) 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.737 * [backup-simplify]: Simplify (/ 1 1) into 1
5.737 * [taylor]: Taking taylor expansion of (/ 1 x) 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 * [taylor]: Taking taylor expansion of -1 in x
5.737 * [backup-simplify]: Simplify -1 into -1
5.738 * [backup-simplify]: Simplify (* 1 1) into 1
5.738 * [backup-simplify]: Simplify (+ 1 0) into 1
5.738 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.738 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
5.738 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
5.739 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
5.739 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.739 * [taylor]: Taking taylor expansion of x in x
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 1 into 1
5.739 * [backup-simplify]: Simplify (/ 1 1) into 1
5.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.739 * [taylor]: Taking taylor expansion of x in x
5.739 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify 1 into 1
5.739 * [backup-simplify]: Simplify (/ 1 1) into 1
5.739 * [taylor]: Taking taylor expansion of -1 in x
5.739 * [backup-simplify]: Simplify -1 into -1
5.740 * [backup-simplify]: Simplify (* 1 1) into 1
5.740 * [backup-simplify]: Simplify (+ 1 0) into 1
5.740 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.741 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
5.741 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.741 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
5.741 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
5.741 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
5.741 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
5.741 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.741 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.741 * [taylor]: Taking taylor expansion of -1 in x
5.741 * [backup-simplify]: Simplify -1 into -1
5.741 * [taylor]: Taking taylor expansion of x in x
5.741 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify 1 into 1
5.742 * [backup-simplify]: Simplify (/ -1 1) into -1
5.742 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.742 * [taylor]: Taking taylor expansion of -1 in x
5.742 * [backup-simplify]: Simplify -1 into -1
5.742 * [taylor]: Taking taylor expansion of x in x
5.742 * [backup-simplify]: Simplify 0 into 0
5.742 * [backup-simplify]: Simplify 1 into 1
5.742 * [backup-simplify]: Simplify (/ -1 1) into -1
5.742 * [taylor]: Taking taylor expansion of -1 in x
5.742 * [backup-simplify]: Simplify -1 into -1
5.743 * [backup-simplify]: Simplify (* -1 -1) into 1
5.743 * [backup-simplify]: Simplify (+ 1 0) into 1
5.743 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.743 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
5.743 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
5.743 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
5.744 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.744 * [taylor]: Taking taylor expansion of -1 in x
5.744 * [backup-simplify]: Simplify -1 into -1
5.744 * [taylor]: Taking taylor expansion of x in x
5.744 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify 1 into 1
5.744 * [backup-simplify]: Simplify (/ -1 1) into -1
5.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.744 * [taylor]: Taking taylor expansion of -1 in x
5.744 * [backup-simplify]: Simplify -1 into -1
5.744 * [taylor]: Taking taylor expansion of x in x
5.744 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify 1 into 1
5.745 * [backup-simplify]: Simplify (/ -1 1) into -1
5.745 * [taylor]: Taking taylor expansion of -1 in x
5.745 * [backup-simplify]: Simplify -1 into -1
5.745 * [backup-simplify]: Simplify (* -1 -1) into 1
5.745 * [backup-simplify]: Simplify (+ 1 0) into 1
5.746 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.746 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
5.746 * * * [progress]: simplifying candidates
5.746 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
5.746 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
5.746 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
5.746 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))>
5.746 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
5.746 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
5.746 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
5.746 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.747 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
5.747 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
5.747 * * * * [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)))))>
5.747 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
5.747 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
5.747 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
5.747 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (exp (fma x x -1)))))>
5.747 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
5.747 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.747 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.747 * [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))
5.748 * * [simplify]: iteration 1: (34 enodes)
5.759 * * [simplify]: iteration 2: (59 enodes)
5.781 * * [simplify]: iteration 3: (121 enodes)
5.835 * * [simplify]: iteration 4: (344 enodes)
6.091 * * [simplify]: iteration 5: (1101 enodes)
8.865 * * [simplify]: Extracting #0: cost 16 inf + 0
8.866 * * [simplify]: Extracting #1: cost 163 inf + 1
8.871 * * [simplify]: Extracting #2: cost 550 inf + 4569
8.886 * * [simplify]: Extracting #3: cost 473 inf + 32880
8.927 * * [simplify]: Extracting #4: cost 98 inf + 97514
8.981 * * [simplify]: Extracting #5: cost 6 inf + 134647
9.017 * * [simplify]: Extracting #6: cost 0 inf + 138414
9.054 * [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))
  (exp -1)
  (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 (* 3 (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (sqrt (exp (fma x x -1)))
  (real->posit16 (exp (fma x x -1)))
  (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1))
  (exp (fma x x -1))
  (exp (fma x x -1))
9.055 * * * [progress]: adding candidates to table
9.167 * * [progress]: iteration 2 / 4
9.167 * * * [progress]: picking best candidate
9.171 * * * * [pick]: Picked  #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
9.171 * * * [progress]: localizing error
9.192 * * * [progress]: generating rewritten candidates
9.192 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.218 * * * [progress]: generating series expansions
9.218 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.218 * [backup-simplify]: Simplify (* (exp (* x x)) (exp -1)) into (* (exp (pow x 2)) (exp -1))
9.218 * [approximate]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in (x) around 0
9.218 * [taylor]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
9.218 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
9.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.218 * [taylor]: Taking taylor expansion of x in x
9.218 * [backup-simplify]: Simplify 0 into 0
9.218 * [backup-simplify]: Simplify 1 into 1
9.219 * [backup-simplify]: Simplify (* 1 1) into 1
9.219 * [backup-simplify]: Simplify (exp 0) into 1
9.219 * [taylor]: Taking taylor expansion of (exp -1) in x
9.219 * [taylor]: Taking taylor expansion of -1 in x
9.219 * [backup-simplify]: Simplify -1 into -1
9.219 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.219 * [taylor]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
9.219 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
9.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.219 * [taylor]: Taking taylor expansion of x in x
9.219 * [backup-simplify]: Simplify 0 into 0
9.219 * [backup-simplify]: Simplify 1 into 1
9.219 * [backup-simplify]: Simplify (* 1 1) into 1
9.219 * [backup-simplify]: Simplify (exp 0) into 1
9.219 * [taylor]: Taking taylor expansion of (exp -1) in x
9.219 * [taylor]: Taking taylor expansion of -1 in x
9.219 * [backup-simplify]: Simplify -1 into -1
9.220 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.220 * [backup-simplify]: Simplify (* 1 (exp -1)) into (exp -1)
9.221 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.222 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
9.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
9.223 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (exp -1))) into 0
9.223 * [backup-simplify]: Simplify 0 into 0
9.224 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.225 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
9.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1)
9.230 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.232 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0
9.235 * [backup-simplify]: Simplify 0 into 0
9.237 * [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
9.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.240 * [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.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp -1)))))) into (* 1/2 (exp -1))
9.245 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
9.246 * [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)))))
9.247 * [backup-simplify]: Simplify (* (exp (* (/ 1 x) (/ 1 x))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.247 * [approximate]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
9.247 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.247 * [taylor]: Taking taylor expansion of (exp -1) in x
9.247 * [taylor]: Taking taylor expansion of -1 in x
9.247 * [backup-simplify]: Simplify -1 into -1
9.247 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.247 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.247 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.247 * [taylor]: Taking taylor expansion of x in x
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 1 into 1
9.248 * [backup-simplify]: Simplify (* 1 1) into 1
9.248 * [backup-simplify]: Simplify (/ 1 1) into 1
9.248 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.248 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.248 * [taylor]: Taking taylor expansion of (exp -1) in x
9.248 * [taylor]: Taking taylor expansion of -1 in x
9.248 * [backup-simplify]: Simplify -1 into -1
9.248 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.248 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.248 * [taylor]: Taking taylor expansion of x in x
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 1 into 1
9.249 * [backup-simplify]: Simplify (* 1 1) into 1
9.249 * [backup-simplify]: Simplify (/ 1 1) into 1
9.249 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.249 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.250 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.250 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
9.251 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
9.251 * [backup-simplify]: Simplify 0 into 0
9.252 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.253 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
9.253 * [backup-simplify]: Simplify 0 into 0
9.256 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.257 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
9.257 * [backup-simplify]: Simplify 0 into 0
9.260 * [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
9.262 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
9.262 * [backup-simplify]: Simplify 0 into 0
9.267 * [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
9.269 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
9.269 * [backup-simplify]: Simplify 0 into 0
9.276 * [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
9.279 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0
9.279 * [backup-simplify]: Simplify 0 into 0
9.280 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 x) 2)))) into (* (exp (pow x 2)) (exp -1))
9.280 * [backup-simplify]: Simplify (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.280 * [approximate]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
9.280 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.280 * [taylor]: Taking taylor expansion of (exp -1) in x
9.280 * [taylor]: Taking taylor expansion of -1 in x
9.280 * [backup-simplify]: Simplify -1 into -1
9.281 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.281 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.281 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.281 * [taylor]: Taking taylor expansion of x in x
9.281 * [backup-simplify]: Simplify 0 into 0
9.281 * [backup-simplify]: Simplify 1 into 1
9.281 * [backup-simplify]: Simplify (* 1 1) into 1
9.282 * [backup-simplify]: Simplify (/ 1 1) into 1
9.282 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.282 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.282 * [taylor]: Taking taylor expansion of (exp -1) in x
9.282 * [taylor]: Taking taylor expansion of -1 in x
9.282 * [backup-simplify]: Simplify -1 into -1
9.282 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.282 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.283 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.283 * [taylor]: Taking taylor expansion of x in x
9.283 * [backup-simplify]: Simplify 0 into 0
9.283 * [backup-simplify]: Simplify 1 into 1
9.283 * [backup-simplify]: Simplify (* 1 1) into 1
9.283 * [backup-simplify]: Simplify (/ 1 1) into 1
9.283 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.284 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.284 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.286 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
9.286 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
9.286 * [backup-simplify]: Simplify 0 into 0
9.288 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.290 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
9.290 * [backup-simplify]: Simplify 0 into 0
9.292 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.294 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
9.294 * [backup-simplify]: Simplify 0 into 0
9.298 * [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
9.300 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.305 * [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
9.307 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.313 * [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
9.315 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0
9.315 * [backup-simplify]: Simplify 0 into 0
9.315 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 (- x)) 2)))) into (* (exp (pow x 2)) (exp -1))
9.315 * * * [progress]: simplifying candidates
9.315 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
9.316 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
9.316 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) -1)))>
9.316 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (x) (exp (log (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (x) (log (exp (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1)))))>
9.316 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (exp (* x x)) (exp -1))) (cbrt (* (exp (* x x)) (exp -1)))) (cbrt (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp -1)) (* (exp (* x x)) (exp -1))) (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (* x x)) (exp -1))) (sqrt (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
9.316 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (sqrt (exp -1))) (* (sqrt (exp (* x x))) (sqrt (exp -1)))))>
9.316 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1)))) (cbrt (exp -1))))>
9.316 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (sqrt (exp -1))) (sqrt (exp -1))))>
9.316 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (exp -1)))>
9.316 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (exp -1))))>
9.316 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (exp -1))))>
9.316 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
9.316 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (exp (* x x)) (exp -1)))))>
9.316 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp -1) (exp (* x x))))>
9.316 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
9.316 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
9.316 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
9.317 * [simplify]: Simplifying:
  (expm1 (* (exp (* x x)) (exp -1)))
  (log1p (* (exp (* x x)) (exp -1)))
  (* (exp (* x x)) (exp -1))
  (+ (* x x) -1)
  (log (* (exp (* x x)) (exp -1)))
  (exp (* (exp (* x x)) (exp -1)))
  (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1)))
  (* (cbrt (* (exp (* x x)) (exp -1))) (cbrt (* (exp (* x x)) (exp -1))))
  (cbrt (* (exp (* x x)) (exp -1)))
  (* (* (* (exp (* x x)) (exp -1)) (* (exp (* x x)) (exp -1))) (* (exp (* x x)) (exp -1)))
  (sqrt (* (exp (* x x)) (exp -1)))
  (sqrt (* (exp (* x x)) (exp -1)))
  (* (sqrt (exp (* x x))) (sqrt (exp -1)))
  (* (sqrt (exp (* x x))) (sqrt (exp -1)))
  (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1))))
  (* (exp (* x x)) (sqrt (exp -1)))
  (* (exp (* x x)) 1)
  (* (cbrt (exp (* x x))) (exp -1))
  (* (sqrt (exp (* x x))) (exp -1))
  (* (exp (* x x)) (exp -1))
  (real->posit16 (* (exp (* x x)) (exp -1)))
  (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
  (* (exp (pow x 2)) (exp -1))
  (* (exp (pow x 2)) (exp -1))
9.317 * * [simplify]: iteration 1: (46 enodes)
9.328 * * [simplify]: iteration 2: (114 enodes)
9.359 * * [simplify]: iteration 3: (276 enodes)
9.538 * * [simplify]: iteration 4: (966 enodes)
10.405 * * [simplify]: Extracting #0: cost 17 inf + 0
10.405 * * [simplify]: Extracting #1: cost 212 inf + 0
10.407 * * [simplify]: Extracting #2: cost 492 inf + 3697
10.413 * * [simplify]: Extracting #3: cost 409 inf + 26607
10.440 * * [simplify]: Extracting #4: cost 132 inf + 109106
10.469 * * [simplify]: Extracting #5: cost 0 inf + 166491
10.495 * * [simplify]: Extracting #6: cost 0 inf + 164840
10.518 * [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)
  (exp (exp (fma x x -1)))
  (* (* (exp (fma x x -1)) (exp (fma x x -1))) (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)))
  (* (sqrt (exp (* x x))) (sqrt (exp -1)))
  (* (sqrt (exp (* x x))) (sqrt (exp -1)))
  (* (* (cbrt (exp -1)) (cbrt (exp -1))) (exp (* x x)))
  (* (exp (* x x)) (sqrt (exp -1)))
  (exp (* x x))
  (* (cbrt (exp (* x x))) (exp -1))
  (* (sqrt (exp (* x x))) (exp -1))
  (exp (fma x x -1))
  (real->posit16 (exp (fma x x -1)))
  (fma (exp -1) (fma (* 1/2 (* x x)) (* x x) (* x x)) (exp -1))
  (exp (fma x x -1))
  (exp (fma x x -1))
10.519 * * * [progress]: adding candidates to table
10.667 * [progress]: [Phase 3 of 3] Extracting.
10.667 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (exp (* x x)) (exp -1)))> #<alt (λ (x) (exp (fma x x -1)))>)
10.668 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
10.668 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (* (exp (* x x)) (exp -1)))> #<alt (λ (x) (exp (fma x x -1)))>)
10.692 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (exp (* x x)) (exp -1)))> #<alt (λ (x) (exp (fma x x -1)))>)
10.711 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.711 * [simplify]: Simplifying:
  (* (exp (* x x)) (exp -1))
10.711 * * [simplify]: iteration 1: (6 enodes)
10.712 * * [simplify]: iteration 2: (7 enodes)
10.713 * * [simplify]: Extracting #0: cost 1 inf + 0
10.713 * * [simplify]: Extracting #1: cost 3 inf + 0
10.713 * * [simplify]: Extracting #2: cost 5 inf + 0
10.713 * * [simplify]: Extracting #3: cost 4 inf + 72
10.713 * * [simplify]: Extracting #4: cost 3 inf + 73
10.713 * * [simplify]: Extracting #5: cost 0 inf + 447
10.713 * [simplify]: Simplified to:
  (* (exp -1) (exp (* x x)))
12.816 * [regime-testing]: Baseline error score: 0.022402217470612072
12.818 * [regime-testing]: Oracle error score: 0.014509223152625319
12.823 * [regime-testing]: End program error score: 0.022402217470612072