33.212 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.055 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
0.056 * [simplify]: Simplifying:
  (exp (- (- 1 (* x x))))
0.056 * * [simplify]: iteration 1: (6 enodes)
0.058 * * [simplify]: iteration 2: (10 enodes)
0.062 * * [simplify]: iteration 3: (23 enodes)
0.072 * * [simplify]: iteration 4: (49 enodes)
0.085 * * [simplify]: iteration 5: (89 enodes)
0.104 * * [simplify]: iteration 6: (159 enodes)
0.146 * * [simplify]: iteration 7: (330 enodes)
0.464 * * [simplify]: iteration 8: (1261 enodes)
5.008 * * [simplify]: Extracting #0: cost 1 inf + 0
5.009 * * [simplify]: Extracting #1: cost 468 inf + 0
5.013 * * [simplify]: Extracting #2: cost 953 inf + 44
5.021 * * [simplify]: Extracting #3: cost 980 inf + 3540
5.031 * * [simplify]: Extracting #4: cost 758 inf + 57039
5.092 * * [simplify]: Extracting #5: cost 313 inf + 304171
5.217 * * [simplify]: Extracting #6: cost 21 inf + 489839
5.315 * * [simplify]: Extracting #7: cost 0 inf + 495525
5.405 * * [simplify]: Extracting #8: cost 0 inf + 494943
5.522 * [simplify]: Simplified to:
  (exp (fma x x -1))
5.531 * * [progress]: iteration 1 / 4
5.531 * * * [progress]: picking best candidate
5.535 * * * * [pick]: Picked  #<alt (λ (x) (exp (fma x x -1)))>
5.535 * * * [progress]: localizing error
5.549 * * * [progress]: generating rewritten candidates
5.549 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.553 * * * [progress]: generating series expansions
5.553 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.553 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1))
5.553 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
5.553 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
5.553 * [taylor]: Taking taylor expansion of (fma x x -1) in x
5.553 * [taylor]: Rewrote expression to (+ (* x x) -1)
5.553 * [taylor]: Taking taylor expansion of (* x x) in x
5.553 * [taylor]: Taking taylor expansion of x in x
5.553 * [backup-simplify]: Simplify 0 into 0
5.553 * [backup-simplify]: Simplify 1 into 1
5.554 * [taylor]: Taking taylor expansion of x in x
5.554 * [backup-simplify]: Simplify 0 into 0
5.554 * [backup-simplify]: Simplify 1 into 1
5.554 * [taylor]: Taking taylor expansion of -1 in x
5.554 * [backup-simplify]: Simplify -1 into -1
5.555 * [backup-simplify]: Simplify (* 0 0) into 0
5.555 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.556 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.556 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x
5.556 * [taylor]: Taking taylor expansion of (fma x x -1) in x
5.556 * [taylor]: Rewrote expression to (+ (* x x) -1)
5.556 * [taylor]: Taking taylor expansion of (* x x) in x
5.556 * [taylor]: Taking taylor expansion of x in x
5.556 * [backup-simplify]: Simplify 0 into 0
5.556 * [backup-simplify]: Simplify 1 into 1
5.556 * [taylor]: Taking taylor expansion of x in x
5.556 * [backup-simplify]: Simplify 0 into 0
5.556 * [backup-simplify]: Simplify 1 into 1
5.556 * [taylor]: Taking taylor expansion of -1 in x
5.556 * [backup-simplify]: Simplify -1 into -1
5.556 * [backup-simplify]: Simplify (* 0 0) into 0
5.557 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.557 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.558 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.559 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.559 * [backup-simplify]: Simplify (+ 0 0) into 0
5.561 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.562 * [backup-simplify]: Simplify (+ 1 0) into 1
5.566 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
5.566 * [backup-simplify]: Simplify (exp -1) into (exp -1)
5.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.568 * [backup-simplify]: Simplify (+ 0 0) into 0
5.570 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.570 * [backup-simplify]: Simplify 0 into 0
5.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.572 * [backup-simplify]: Simplify (+ 0 0) into 0
5.580 * [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.581 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
5.583 * [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.583 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.583 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
5.583 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
5.583 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
5.583 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
5.583 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.583 * [taylor]: Taking taylor expansion of x in x
5.584 * [backup-simplify]: Simplify 0 into 0
5.584 * [backup-simplify]: Simplify 1 into 1
5.584 * [backup-simplify]: Simplify (/ 1 1) into 1
5.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.584 * [taylor]: Taking taylor expansion of x in x
5.584 * [backup-simplify]: Simplify 0 into 0
5.584 * [backup-simplify]: Simplify 1 into 1
5.584 * [backup-simplify]: Simplify (/ 1 1) into 1
5.584 * [taylor]: Taking taylor expansion of -1 in x
5.584 * [backup-simplify]: Simplify -1 into -1
5.585 * [backup-simplify]: Simplify (* 1 1) into 1
5.585 * [backup-simplify]: Simplify (+ 1 0) into 1
5.585 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.585 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
5.585 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
5.586 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
5.586 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.586 * [taylor]: Taking taylor expansion of x in x
5.586 * [backup-simplify]: Simplify 0 into 0
5.586 * [backup-simplify]: Simplify 1 into 1
5.586 * [backup-simplify]: Simplify (/ 1 1) into 1
5.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.586 * [taylor]: Taking taylor expansion of x in x
5.586 * [backup-simplify]: Simplify 0 into 0
5.586 * [backup-simplify]: Simplify 1 into 1
5.586 * [backup-simplify]: Simplify (/ 1 1) into 1
5.586 * [taylor]: Taking taylor expansion of -1 in x
5.587 * [backup-simplify]: Simplify -1 into -1
5.587 * [backup-simplify]: Simplify (* 1 1) into 1
5.587 * [backup-simplify]: Simplify (+ 1 0) into 1
5.587 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.588 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
5.588 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.588 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
5.588 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
5.588 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
5.588 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
5.588 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.588 * [taylor]: Taking taylor expansion of -1 in x
5.588 * [backup-simplify]: Simplify -1 into -1
5.588 * [taylor]: Taking taylor expansion of x in x
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 1 into 1
5.589 * [backup-simplify]: Simplify (/ -1 1) into -1
5.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.589 * [taylor]: Taking taylor expansion of -1 in x
5.589 * [backup-simplify]: Simplify -1 into -1
5.589 * [taylor]: Taking taylor expansion of x in x
5.589 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify 1 into 1
5.589 * [backup-simplify]: Simplify (/ -1 1) into -1
5.589 * [taylor]: Taking taylor expansion of -1 in x
5.589 * [backup-simplify]: Simplify -1 into -1
5.590 * [backup-simplify]: Simplify (* -1 -1) into 1
5.590 * [backup-simplify]: Simplify (+ 1 0) into 1
5.590 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.590 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
5.590 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
5.591 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
5.591 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.591 * [taylor]: Taking taylor expansion of -1 in x
5.591 * [backup-simplify]: Simplify -1 into -1
5.591 * [taylor]: Taking taylor expansion of x in x
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 1 into 1
5.591 * [backup-simplify]: Simplify (/ -1 1) into -1
5.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.591 * [taylor]: Taking taylor expansion of -1 in x
5.591 * [backup-simplify]: Simplify -1 into -1
5.591 * [taylor]: Taking taylor expansion of x in x
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 1 into 1
5.592 * [backup-simplify]: Simplify (/ -1 1) into -1
5.592 * [taylor]: Taking taylor expansion of -1 in x
5.592 * [backup-simplify]: Simplify -1 into -1
5.592 * [backup-simplify]: Simplify (* -1 -1) into 1
5.592 * [backup-simplify]: Simplify (+ 1 0) into 1
5.593 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.593 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
5.593 * * * [progress]: simplifying candidates
5.593 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
5.593 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
5.593 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
5.593 * * * * [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.593 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
5.594 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
5.594 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
5.594 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.594 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
5.594 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
5.594 * * * * [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.594 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
5.594 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
5.594 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
5.594 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (exp (fma x x -1)))))>
5.594 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
5.594 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.594 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
5.595 * [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.595 * * [simplify]: iteration 1: (34 enodes)
5.608 * * [simplify]: iteration 2: (59 enodes)
5.617 * * [simplify]: iteration 3: (121 enodes)
5.670 * * [simplify]: iteration 4: (344 enodes)
6.011 * * [simplify]: iteration 5: (1101 enodes)
8.678 * * [simplify]: Extracting #0: cost 16 inf + 0
8.678 * * [simplify]: Extracting #1: cost 163 inf + 1
8.686 * * [simplify]: Extracting #2: cost 550 inf + 4569
8.700 * * [simplify]: Extracting #3: cost 473 inf + 32880
8.723 * * [simplify]: Extracting #4: cost 98 inf + 97514
8.757 * * [simplify]: Extracting #5: cost 6 inf + 134647
8.808 * * [simplify]: Extracting #6: cost 0 inf + 138414
8.844 * [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))
8.845 * * * [progress]: adding candidates to table
8.940 * * [progress]: iteration 2 / 4
8.940 * * * [progress]: picking best candidate
8.942 * * * * [pick]: Picked  #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
8.942 * * * [progress]: localizing error
8.952 * * * [progress]: generating rewritten candidates
8.952 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.970 * * * [progress]: generating series expansions
8.970 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.970 * [backup-simplify]: Simplify (* (exp (* x x)) (exp -1)) into (* (exp (pow x 2)) (exp -1))
8.970 * [approximate]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in (x) around 0
8.971 * [taylor]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
8.971 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
8.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.971 * [taylor]: Taking taylor expansion of x in x
8.971 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify 1 into 1
8.971 * [backup-simplify]: Simplify (* 1 1) into 1
8.971 * [backup-simplify]: Simplify (exp 0) into 1
8.971 * [taylor]: Taking taylor expansion of (exp -1) in x
8.971 * [taylor]: Taking taylor expansion of -1 in x
8.971 * [backup-simplify]: Simplify -1 into -1
8.971 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.971 * [taylor]: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x
8.971 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
8.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.971 * [taylor]: Taking taylor expansion of x in x
8.971 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify 1 into 1
8.972 * [backup-simplify]: Simplify (* 1 1) into 1
8.972 * [backup-simplify]: Simplify (exp 0) into 1
8.972 * [taylor]: Taking taylor expansion of (exp -1) in x
8.972 * [taylor]: Taking taylor expansion of -1 in x
8.972 * [backup-simplify]: Simplify -1 into -1
8.972 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.973 * [backup-simplify]: Simplify (* 1 (exp -1)) into (exp -1)
8.973 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.974 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
8.974 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
8.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (exp -1))) into 0
8.975 * [backup-simplify]: Simplify 0 into 0
8.976 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.977 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
8.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1)
8.979 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.981 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.982 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0
8.983 * [backup-simplify]: Simplify 0 into 0
8.986 * [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
8.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.989 * [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
8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp -1)))))) into (* 1/2 (exp -1))
8.995 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
8.996 * [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)))))
8.996 * [backup-simplify]: Simplify (* (exp (* (/ 1 x) (/ 1 x))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
8.997 * [approximate]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
8.997 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
8.997 * [taylor]: Taking taylor expansion of (exp -1) in x
8.997 * [taylor]: Taking taylor expansion of -1 in x
8.997 * [backup-simplify]: Simplify -1 into -1
8.997 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.997 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
8.997 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.997 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.997 * [taylor]: Taking taylor expansion of x in x
8.997 * [backup-simplify]: Simplify 0 into 0
8.997 * [backup-simplify]: Simplify 1 into 1
8.998 * [backup-simplify]: Simplify (* 1 1) into 1
8.998 * [backup-simplify]: Simplify (/ 1 1) into 1
8.998 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
8.998 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
8.998 * [taylor]: Taking taylor expansion of (exp -1) in x
8.998 * [taylor]: Taking taylor expansion of -1 in x
8.998 * [backup-simplify]: Simplify -1 into -1
8.998 * [backup-simplify]: Simplify (exp -1) into (exp -1)
8.999 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
8.999 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.999 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.999 * [taylor]: Taking taylor expansion of x in x
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (/ 1 1) into 1
8.999 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.000 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.000 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.005 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
9.006 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
9.006 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.010 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
9.010 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.013 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
9.013 * [backup-simplify]: Simplify 0 into 0
9.017 * [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.018 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
9.019 * [backup-simplify]: Simplify 0 into 0
9.023 * [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.026 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
9.026 * [backup-simplify]: Simplify 0 into 0
9.033 * [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.035 * [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.035 * [backup-simplify]: Simplify 0 into 0
9.036 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 x) 2)))) into (* (exp (pow x 2)) (exp -1))
9.036 * [backup-simplify]: Simplify (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.036 * [approximate]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0
9.036 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.036 * [taylor]: Taking taylor expansion of (exp -1) in x
9.036 * [taylor]: Taking taylor expansion of -1 in x
9.037 * [backup-simplify]: Simplify -1 into -1
9.037 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.037 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.037 * [taylor]: Taking taylor expansion of x in x
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 1 into 1
9.037 * [backup-simplify]: Simplify (* 1 1) into 1
9.038 * [backup-simplify]: Simplify (/ 1 1) into 1
9.038 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.038 * [taylor]: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x
9.038 * [taylor]: Taking taylor expansion of (exp -1) in x
9.038 * [taylor]: Taking taylor expansion of -1 in x
9.038 * [backup-simplify]: Simplify -1 into -1
9.038 * [backup-simplify]: Simplify (exp -1) into (exp -1)
9.038 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
9.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.039 * [taylor]: Taking taylor expansion of x in x
9.039 * [backup-simplify]: Simplify 0 into 0
9.039 * [backup-simplify]: Simplify 1 into 1
9.039 * [backup-simplify]: Simplify (* 1 1) into 1
9.039 * [backup-simplify]: Simplify (/ 1 1) into 1
9.039 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
9.040 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.040 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2))))
9.042 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
9.042 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0
9.042 * [backup-simplify]: Simplify 0 into 0
9.044 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.045 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0
9.045 * [backup-simplify]: Simplify 0 into 0
9.048 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.049 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0
9.049 * [backup-simplify]: Simplify 0 into 0
9.051 * [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.052 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0
9.052 * [backup-simplify]: Simplify 0 into 0
9.054 * [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.056 * [backup-simplify]: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0
9.056 * [backup-simplify]: Simplify 0 into 0
9.060 * [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.061 * [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.061 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 (- x)) 2)))) into (* (exp (pow x 2)) (exp -1))
9.062 * * * [progress]: simplifying candidates
9.062 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
9.062 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (x) (pow (* (exp (* x x)) (exp -1)) 1))>
9.062 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (x) (exp (+ (* x x) -1)))>
9.062 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (x) (exp (log (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (x) (log (exp (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1)))))>
9.062 * * * * [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.062 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (exp (* x x)) (exp -1)) (* (exp (* x x)) (exp -1))) (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (exp (* x x)) (exp -1))) (sqrt (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
9.062 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (exp (* x x))) (sqrt (exp -1))) (* (sqrt (exp (* x x))) (sqrt (exp -1)))))>
9.062 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1)))) (cbrt (exp -1))))>
9.062 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) (sqrt (exp -1))) (sqrt (exp -1))))>
9.062 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (exp (* x x)) 1) (exp -1)))>
9.062 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (exp -1))))>
9.062 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (exp -1))))>
9.062 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (x) (* 1 (* (exp (* x x)) (exp -1))))>
9.062 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (exp (* x x)) (exp -1)))))>
9.062 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp -1) (exp (* x x))))>
9.062 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
9.062 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
9.062 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (x) (* (exp (pow x 2)) (exp -1)))>
9.063 * [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.063 * * [simplify]: iteration 1: (46 enodes)
9.074 * * [simplify]: iteration 2: (114 enodes)
9.121 * * [simplify]: iteration 3: (276 enodes)
9.254 * * [simplify]: iteration 4: (966 enodes)
10.316 * * [simplify]: Extracting #0: cost 17 inf + 0
10.317 * * [simplify]: Extracting #1: cost 212 inf + 0
10.321 * * [simplify]: Extracting #2: cost 492 inf + 3697
10.336 * * [simplify]: Extracting #3: cost 409 inf + 26607
10.366 * * [simplify]: Extracting #4: cost 132 inf + 109106
10.413 * * [simplify]: Extracting #5: cost 0 inf + 166491
10.450 * * [simplify]: Extracting #6: cost 0 inf + 164840
10.475 * [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.476 * * * [progress]: adding candidates to table
10.682 * [progress]: [Phase 3 of 3] Extracting.
10.682 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
10.682 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
10.682 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
10.711 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (* (exp (* x x)) (exp -1)))>)
10.747 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.748 * [simplify]: Simplifying:
  (exp (fma x x -1))
10.748 * * [simplify]: iteration 1: (4 enodes)
10.748 * * [simplify]: Extracting #0: cost 1 inf + 0
10.748 * * [simplify]: Extracting #1: cost 2 inf + 0
10.748 * * [simplify]: Extracting #2: cost 4 inf + 0
10.748 * * [simplify]: Extracting #3: cost 2 inf + 2
10.748 * * [simplify]: Extracting #4: cost 0 inf + 186
10.749 * [simplify]: Simplified to:
  (exp (fma x x -1))
12.714 * [regime-testing]: Baseline error score: 0.020355620708242705
12.717 * [regime-testing]: Oracle error score: 0.016029854236073112
12.722 * [regime-testing]: End program error score: 0.020355620708242705