7.522 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (* (* x y) y))
0.017 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.017 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.019 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
0.021 * * [simplify]: iteration  3 :  40  enodes  (cost  6 )
0.027 * * [simplify]: iteration  4 :  84  enodes  (cost  6 )
0.039 * * [simplify]: iteration  5 :  195  enodes  (cost  6 )
0.077 * * [simplify]: iteration  6 :  494  enodes  (cost  6 )
0.234 * * [simplify]: iteration  7 :  2123  enodes  (cost  6 )
1.492 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
1.492 * [simplify]: Simplified to:
   (exp (* (* x y) y))
1.492 * * [progress]: iteration 1 / 4
1.492 * * * [progress]: picking best candidate
1.494 * * * * [pick]: Picked  #<alt (λ (x y) (exp (* (* x y) y)))>
1.494 * * * [progress]: localizing error
1.498 * * * [progress]: generating rewritten candidates
1.498 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.504 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.507 * * * [progress]: generating series expansions
1.507 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.507 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
1.507 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.507 * [taylor]: Taking taylor expansion of x in y
1.507 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.507 * [taylor]: Taking taylor expansion of y in y
1.507 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.507 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.507 * [taylor]: Taking taylor expansion of y in x
1.507 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.507 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.507 * [taylor]: Taking taylor expansion of y in x
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.508 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.508 * [taylor]: Taking taylor expansion of y in y
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.511 * [taylor]: Taking taylor expansion of 0 in y
1.511 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.511 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.511 * [taylor]: Taking taylor expansion of x in y
1.511 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.511 * [taylor]: Taking taylor expansion of y in y
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.511 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.511 * [taylor]: Taking taylor expansion of x in x
1.511 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.511 * [taylor]: Taking taylor expansion of y in x
1.512 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.512 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.512 * [taylor]: Taking taylor expansion of x in x
1.512 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.512 * [taylor]: Taking taylor expansion of y in x
1.512 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.512 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.512 * [taylor]: Taking taylor expansion of y in y
1.514 * [taylor]: Taking taylor expansion of 0 in y
1.516 * [taylor]: Taking taylor expansion of 0 in y
1.519 * [taylor]: Taking taylor expansion of 0 in y
1.522 * [taylor]: Taking taylor expansion of 0 in y
1.523 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
1.523 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
1.523 * [taylor]: Taking taylor expansion of -1 in y
1.523 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.523 * [taylor]: Taking taylor expansion of x in y
1.523 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.523 * [taylor]: Taking taylor expansion of y in y
1.523 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
1.523 * [taylor]: Taking taylor expansion of -1 in x
1.523 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.523 * [taylor]: Taking taylor expansion of y in x
1.524 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
1.524 * [taylor]: Taking taylor expansion of -1 in x
1.524 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.524 * [taylor]: Taking taylor expansion of y in x
1.524 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
1.524 * [taylor]: Taking taylor expansion of -1 in y
1.524 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.524 * [taylor]: Taking taylor expansion of y in y
1.526 * [taylor]: Taking taylor expansion of 0 in y
1.528 * [taylor]: Taking taylor expansion of 0 in y
1.531 * [taylor]: Taking taylor expansion of 0 in y
1.535 * [taylor]: Taking taylor expansion of 0 in y
1.535 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.535 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0
1.535 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
1.535 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.535 * [taylor]: Taking taylor expansion of x in y
1.536 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.536 * [taylor]: Taking taylor expansion of y in y
1.536 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
1.536 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.536 * [taylor]: Taking taylor expansion of y in x
1.536 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
1.536 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.536 * [taylor]: Taking taylor expansion of y in x
1.537 * [taylor]: Taking taylor expansion of 1 in y
1.537 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.537 * [taylor]: Taking taylor expansion of y in y
1.538 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y
1.539 * [taylor]: Taking taylor expansion of 1/2 in y
1.539 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.539 * [taylor]: Taking taylor expansion of y in y
1.541 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y
1.541 * [taylor]: Taking taylor expansion of 1/6 in y
1.541 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.541 * [taylor]: Taking taylor expansion of y in y
1.545 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y
1.545 * [taylor]: Taking taylor expansion of 1/24 in y
1.545 * [taylor]: Taking taylor expansion of (pow y 8) in y
1.545 * [taylor]: Taking taylor expansion of y in y
1.553 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y
1.553 * [taylor]: Taking taylor expansion of 1/120 in y
1.553 * [taylor]: Taking taylor expansion of (pow y 10) in y
1.553 * [taylor]: Taking taylor expansion of y in y
1.561 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y
1.561 * [taylor]: Taking taylor expansion of 1/720 in y
1.561 * [taylor]: Taking taylor expansion of (pow y 12) in y
1.561 * [taylor]: Taking taylor expansion of y in y
1.562 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0
1.562 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
1.562 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.562 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.562 * [taylor]: Taking taylor expansion of x in y
1.562 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.562 * [taylor]: Taking taylor expansion of y in y
1.562 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.563 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.563 * [taylor]: Taking taylor expansion of y in x
1.563 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.563 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.563 * [taylor]: Taking taylor expansion of y in x
1.564 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
1.564 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.564 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.564 * [taylor]: Taking taylor expansion of x in y
1.564 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.564 * [taylor]: Taking taylor expansion of y in y
1.564 * [taylor]: Taking taylor expansion of 0 in y
1.565 * [taylor]: Taking taylor expansion of 0 in y
1.565 * [taylor]: Taking taylor expansion of 0 in y
1.565 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0
1.565 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
1.565 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
1.565 * [taylor]: Taking taylor expansion of -1 in y
1.565 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.565 * [taylor]: Taking taylor expansion of x in y
1.565 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.565 * [taylor]: Taking taylor expansion of y in y
1.565 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
1.565 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
1.565 * [taylor]: Taking taylor expansion of -1 in x
1.565 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.565 * [taylor]: Taking taylor expansion of y in x
1.566 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
1.566 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
1.566 * [taylor]: Taking taylor expansion of -1 in x
1.566 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.566 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.566 * [taylor]: Taking taylor expansion of y in x
1.567 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
1.567 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
1.567 * [taylor]: Taking taylor expansion of -1 in y
1.567 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.567 * [taylor]: Taking taylor expansion of x in y
1.567 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.567 * [taylor]: Taking taylor expansion of y in y
1.567 * [taylor]: Taking taylor expansion of 0 in y
1.567 * [taylor]: Taking taylor expansion of 0 in y
1.568 * [taylor]: Taking taylor expansion of 0 in y
1.568 * * * [progress]: simplifying candidates
1.568 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* (* x y) y)))
  (exp (* x y))
  (log (exp (* (* x y) y)))
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* (* x y) y)))
  (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
1.570 * * [simplify]: iteration  0 :  57  enodes  (cost  286 )
1.579 * * [simplify]: iteration  1 :  139  enodes  (cost  276 )
1.614 * * [simplify]: iteration  2 :  597  enodes  (cost  235 )
1.887 * * [simplify]: iteration  3 :  2841  enodes  (cost  235 )
3.684 * * [simplify]: iteration  done :  5000  enodes  (cost  235 )
3.684 * [simplify]: Simplified to:
   (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* x (pow y 2))
  (* x (pow y 2))
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (exp (* (* x y) y))
  (pow (* x (pow y 2)) 3)
  (pow (* x (pow y 2)) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* x (pow y 2)) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* y x)
  (pow y 2)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* (* x y) y)))
  (exp (* x y))
  (* x (pow y 2))
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* (* x y) y)))
  (pow (exp (* (* x y) y)) 3)
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1))
  (exp (* (* x y) y))
  (exp (* (* x y) y))
3.685 * * * [progress]: adding candidates to table
3.744 * * [progress]: iteration 2 / 4
3.744 * * * [progress]: picking best candidate
3.748 * * * * [pick]: Picked  #<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))>
3.748 * * * [progress]: localizing error
3.755 * * * [progress]: generating rewritten candidates
3.755 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
3.756 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
3.762 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.765 * * * [progress]: generating series expansions
3.765 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
3.765 * [approximate]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in (x y) around 0
3.765 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in y
3.765 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1)
3.765 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in y
3.765 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
3.765 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.765 * [taylor]: Taking taylor expansion of x in y
3.765 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [taylor]: Taking taylor expansion of 1 in y
3.766 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in x
3.766 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1)
3.766 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in x
3.766 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
3.766 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.766 * [taylor]: Taking taylor expansion of x in x
3.766 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.766 * [taylor]: Taking taylor expansion of y in x
3.766 * [taylor]: Taking taylor expansion of 1 in x
3.766 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in x
3.766 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1)
3.766 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in x
3.766 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
3.766 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.766 * [taylor]: Taking taylor expansion of x in x
3.766 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.766 * [taylor]: Taking taylor expansion of y in x
3.767 * [taylor]: Taking taylor expansion of 1 in x
3.767 * [taylor]: Taking taylor expansion of (- E 1) in y
3.767 * [taylor]: Taking taylor expansion of E in y
3.767 * [taylor]: Taking taylor expansion of 1 in y
3.769 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y
3.769 * [taylor]: Taking taylor expansion of E in y
3.769 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.769 * [taylor]: Taking taylor expansion of y in y
3.771 * [taylor]: Taking taylor expansion of (* E (pow y 4)) in y
3.771 * [taylor]: Taking taylor expansion of E in y
3.771 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.771 * [taylor]: Taking taylor expansion of y in y
3.775 * [taylor]: Taking taylor expansion of (* 5/6 (* E (pow y 6))) in y
3.775 * [taylor]: Taking taylor expansion of 5/6 in y
3.775 * [taylor]: Taking taylor expansion of (* E (pow y 6)) in y
3.775 * [taylor]: Taking taylor expansion of E in y
3.775 * [taylor]: Taking taylor expansion of (pow y 6) in y
3.775 * [taylor]: Taking taylor expansion of y in y
3.783 * [taylor]: Taking taylor expansion of (* 5/8 (* E (pow y 8))) in y
3.783 * [taylor]: Taking taylor expansion of 5/8 in y
3.783 * [taylor]: Taking taylor expansion of (* E (pow y 8)) in y
3.783 * [taylor]: Taking taylor expansion of E in y
3.783 * [taylor]: Taking taylor expansion of (pow y 8) in y
3.783 * [taylor]: Taking taylor expansion of y in y
3.791 * [taylor]: Taking taylor expansion of (* 13/30 (* E (pow y 10))) in y
3.791 * [taylor]: Taking taylor expansion of 13/30 in y
3.791 * [taylor]: Taking taylor expansion of (* E (pow y 10)) in y
3.791 * [taylor]: Taking taylor expansion of E in y
3.791 * [taylor]: Taking taylor expansion of (pow y 10) in y
3.791 * [taylor]: Taking taylor expansion of y in y
3.802 * [taylor]: Taking taylor expansion of (* 203/720 (* E (pow y 12))) in y
3.802 * [taylor]: Taking taylor expansion of 203/720 in y
3.802 * [taylor]: Taking taylor expansion of (* E (pow y 12)) in y
3.802 * [taylor]: Taking taylor expansion of E in y
3.802 * [taylor]: Taking taylor expansion of (pow y 12) in y
3.802 * [taylor]: Taking taylor expansion of y in y
3.804 * [approximate]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in (x y) around 0
3.804 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in y
3.804 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1)
3.804 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in y
3.804 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
3.804 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
3.804 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.804 * [taylor]: Taking taylor expansion of x in y
3.804 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.804 * [taylor]: Taking taylor expansion of y in y
3.805 * [taylor]: Taking taylor expansion of 1 in y
3.805 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in x
3.805 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1)
3.805 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in x
3.805 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
3.805 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.805 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.805 * [taylor]: Taking taylor expansion of x in x
3.805 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.805 * [taylor]: Taking taylor expansion of y in x
3.806 * [taylor]: Taking taylor expansion of 1 in x
3.806 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in x
3.806 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1)
3.806 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in x
3.806 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
3.806 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.806 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.806 * [taylor]: Taking taylor expansion of x in x
3.806 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.806 * [taylor]: Taking taylor expansion of y in x
3.806 * [taylor]: Taking taylor expansion of 1 in x
3.807 * [taylor]: Taking taylor expansion of (- (exp (exp (/ 1 (* x (pow y 2))))) 1) in y
3.807 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in y
3.807 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
3.807 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
3.807 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.807 * [taylor]: Taking taylor expansion of x in y
3.807 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.807 * [taylor]: Taking taylor expansion of y in y
3.807 * [taylor]: Taking taylor expansion of 1 in y
3.809 * [taylor]: Taking taylor expansion of 0 in y
3.811 * [taylor]: Taking taylor expansion of 0 in y
3.814 * [taylor]: Taking taylor expansion of 0 in y
3.814 * [approximate]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in (x y) around 0
3.814 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in y
3.814 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1)
3.815 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in y
3.815 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
3.815 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
3.815 * [taylor]: Taking taylor expansion of -1 in y
3.815 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.815 * [taylor]: Taking taylor expansion of x in y
3.815 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.815 * [taylor]: Taking taylor expansion of y in y
3.815 * [taylor]: Taking taylor expansion of 1 in y
3.815 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in x
3.815 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1)
3.815 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in x
3.815 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
3.815 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.815 * [taylor]: Taking taylor expansion of -1 in x
3.815 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.815 * [taylor]: Taking taylor expansion of x in x
3.815 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.815 * [taylor]: Taking taylor expansion of y in x
3.816 * [taylor]: Taking taylor expansion of 1 in x
3.816 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in x
3.816 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1)
3.816 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in x
3.816 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
3.816 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.816 * [taylor]: Taking taylor expansion of -1 in x
3.816 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.816 * [taylor]: Taking taylor expansion of x in x
3.816 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.816 * [taylor]: Taking taylor expansion of y in x
3.817 * [taylor]: Taking taylor expansion of 1 in x
3.817 * [taylor]: Taking taylor expansion of (- (exp (exp (/ -1 (* x (pow y 2))))) 1) in y
3.817 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in y
3.817 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
3.817 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
3.817 * [taylor]: Taking taylor expansion of -1 in y
3.817 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.817 * [taylor]: Taking taylor expansion of x in y
3.817 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.817 * [taylor]: Taking taylor expansion of y in y
3.818 * [taylor]: Taking taylor expansion of 1 in y
3.819 * [taylor]: Taking taylor expansion of 0 in y
3.822 * [taylor]: Taking taylor expansion of 0 in y
3.824 * [taylor]: Taking taylor expansion of 0 in y
3.824 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
3.825 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
3.825 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.825 * [taylor]: Taking taylor expansion of x in y
3.825 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.825 * [taylor]: Taking taylor expansion of y in y
3.825 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.825 * [taylor]: Taking taylor expansion of x in x
3.825 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.825 * [taylor]: Taking taylor expansion of y in x
3.825 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.825 * [taylor]: Taking taylor expansion of x in x
3.825 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.825 * [taylor]: Taking taylor expansion of y in x
3.825 * [taylor]: Taking taylor expansion of 0 in y
3.825 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.825 * [taylor]: Taking taylor expansion of y in y
3.826 * [taylor]: Taking taylor expansion of 0 in y
3.828 * [taylor]: Taking taylor expansion of 0 in y
3.828 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
3.828 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
3.828 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.828 * [taylor]: Taking taylor expansion of x in y
3.828 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.828 * [taylor]: Taking taylor expansion of y in y
3.829 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.829 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.829 * [taylor]: Taking taylor expansion of x in x
3.829 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.829 * [taylor]: Taking taylor expansion of y in x
3.829 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.829 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.829 * [taylor]: Taking taylor expansion of x in x
3.829 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.829 * [taylor]: Taking taylor expansion of y in x
3.830 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.830 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.830 * [taylor]: Taking taylor expansion of y in y
3.831 * [taylor]: Taking taylor expansion of 0 in y
3.833 * [taylor]: Taking taylor expansion of 0 in y
3.836 * [taylor]: Taking taylor expansion of 0 in y
3.840 * [taylor]: Taking taylor expansion of 0 in y
3.840 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
3.840 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
3.840 * [taylor]: Taking taylor expansion of -1 in y
3.840 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.840 * [taylor]: Taking taylor expansion of x in y
3.840 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.840 * [taylor]: Taking taylor expansion of y in y
3.841 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.841 * [taylor]: Taking taylor expansion of -1 in x
3.841 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.841 * [taylor]: Taking taylor expansion of x in x
3.841 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.841 * [taylor]: Taking taylor expansion of y in x
3.841 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.841 * [taylor]: Taking taylor expansion of -1 in x
3.841 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.841 * [taylor]: Taking taylor expansion of x in x
3.841 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.841 * [taylor]: Taking taylor expansion of y in x
3.842 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
3.842 * [taylor]: Taking taylor expansion of -1 in y
3.842 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.842 * [taylor]: Taking taylor expansion of y in y
3.843 * [taylor]: Taking taylor expansion of 0 in y
3.846 * [taylor]: Taking taylor expansion of 0 in y
3.849 * [taylor]: Taking taylor expansion of 0 in y
3.852 * [taylor]: Taking taylor expansion of 0 in y
3.852 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.852 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0
3.852 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
3.852 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.852 * [taylor]: Taking taylor expansion of x in y
3.852 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.852 * [taylor]: Taking taylor expansion of y in y
3.853 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
3.853 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.853 * [taylor]: Taking taylor expansion of x in x
3.853 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.853 * [taylor]: Taking taylor expansion of y in x
3.853 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
3.853 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.853 * [taylor]: Taking taylor expansion of x in x
3.853 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.853 * [taylor]: Taking taylor expansion of y in x
3.854 * [taylor]: Taking taylor expansion of 1 in y
3.854 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.854 * [taylor]: Taking taylor expansion of y in y
3.855 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y
3.855 * [taylor]: Taking taylor expansion of 1/2 in y
3.855 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.858 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y
3.858 * [taylor]: Taking taylor expansion of 1/6 in y
3.858 * [taylor]: Taking taylor expansion of (pow y 6) in y
3.858 * [taylor]: Taking taylor expansion of y in y
3.861 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y
3.861 * [taylor]: Taking taylor expansion of 1/24 in y
3.861 * [taylor]: Taking taylor expansion of (pow y 8) in y
3.861 * [taylor]: Taking taylor expansion of y in y
3.869 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y
3.869 * [taylor]: Taking taylor expansion of 1/120 in y
3.869 * [taylor]: Taking taylor expansion of (pow y 10) in y
3.869 * [taylor]: Taking taylor expansion of y in y
3.877 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y
3.877 * [taylor]: Taking taylor expansion of 1/720 in y
3.877 * [taylor]: Taking taylor expansion of (pow y 12) in y
3.877 * [taylor]: Taking taylor expansion of y in y
3.878 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0
3.878 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
3.878 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
3.878 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.878 * [taylor]: Taking taylor expansion of x in y
3.878 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.878 * [taylor]: Taking taylor expansion of y in y
3.879 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
3.879 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.879 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.879 * [taylor]: Taking taylor expansion of x in x
3.879 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.879 * [taylor]: Taking taylor expansion of y in x
3.879 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
3.879 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
3.879 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.879 * [taylor]: Taking taylor expansion of x in x
3.879 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.879 * [taylor]: Taking taylor expansion of y in x
3.880 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
3.880 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
3.880 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.880 * [taylor]: Taking taylor expansion of x in y
3.880 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.880 * [taylor]: Taking taylor expansion of y in y
3.881 * [taylor]: Taking taylor expansion of 0 in y
3.881 * [taylor]: Taking taylor expansion of 0 in y
3.881 * [taylor]: Taking taylor expansion of 0 in y
3.881 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0
3.881 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
3.881 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
3.881 * [taylor]: Taking taylor expansion of -1 in y
3.881 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.881 * [taylor]: Taking taylor expansion of x in y
3.881 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.881 * [taylor]: Taking taylor expansion of y in y
3.882 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
3.882 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.882 * [taylor]: Taking taylor expansion of -1 in x
3.882 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.882 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.882 * [taylor]: Taking taylor expansion of y in x
3.882 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
3.882 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
3.882 * [taylor]: Taking taylor expansion of -1 in x
3.882 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.882 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.882 * [taylor]: Taking taylor expansion of y in x
3.883 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
3.883 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
3.883 * [taylor]: Taking taylor expansion of -1 in y
3.883 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
3.883 * [taylor]: Taking taylor expansion of x in y
3.883 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.883 * [taylor]: Taking taylor expansion of y in y
3.884 * [taylor]: Taking taylor expansion of 0 in y
3.884 * [taylor]: Taking taylor expansion of 0 in y
3.884 * [taylor]: Taking taylor expansion of 0 in y
3.884 * * * [progress]: simplifying candidates
3.884 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (exp (* (* x y) y)))
  (expm1 (expm1 (exp (* (* x y) y))))
  (log1p (expm1 (exp (* (* x y) y))))
  (log (expm1 (exp (* (* x y) y))))
  (exp (expm1 (exp (* (* x y) y))))
  (* (cbrt (expm1 (exp (* (* x y) y)))) (cbrt (expm1 (exp (* (* x y) y)))))
  (cbrt (expm1 (exp (* (* x y) y))))
  (* (* (expm1 (exp (* (* x y) y))) (expm1 (exp (* (* x y) y)))) (expm1 (exp (* (* x y) y))))
  (sqrt (expm1 (exp (* (* x y) y))))
  (sqrt (expm1 (exp (* (* x y) y))))
  (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* (* x y) y)))
  (exp (* x y))
  (log (exp (* (* x y) y)))
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* (* x y) y)))
  (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (- (+ (* x (* E (pow y 2))) (+ E (* (pow x 2) (* E (pow y 4))))) 1)
  (- (exp (exp (* x (pow y 2)))) 1)
  (- (exp (exp (* x (pow y 2)))) 1)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
3.887 * * [simplify]: iteration  0 :  76  enodes  (cost  428 )
3.899 * * [simplify]: iteration  1 :  180  enodes  (cost  411 )
3.940 * * [simplify]: iteration  2 :  732  enodes  (cost  355 )
4.252 * * [simplify]: iteration  3 :  3435  enodes  (cost  354 )
6.310 * * [simplify]: iteration  done :  5000  enodes  (cost  354 )
6.310 * [simplify]: Simplified to:
   (exp (exp (* (* x y) y)))
  (expm1 (expm1 (exp (* (* x y) y))))
  (pow (exp (* x y)) y)
  (log (expm1 (exp (* (* x y) y))))
  (exp (expm1 (exp (* (* x y) y))))
  (* (cbrt (expm1 (exp (* (* x y) y)))) (cbrt (expm1 (exp (* (* x y) y)))))
  (cbrt (expm1 (exp (* (* x y) y))))
  (pow (expm1 (exp (* (* x y) y))) 3)
  (sqrt (expm1 (exp (* (* x y) y))))
  (sqrt (expm1 (exp (* (* x y) y))))
  (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* y x) y)
  (* (* y x) y)
  (log (* (* x y) y))
  (log (* (* x y) y))
  (log (* (* x y) y))
  (pow (exp (* x y)) y)
  (pow (* x (pow y 2)) 3)
  (pow (* x (pow y 2)) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* x (pow y 2)) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* y x)
  (pow y 2)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* (* x y) y)))
  (exp (* x y))
  (* (* y x) y)
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* (* x y) y)))
  (pow (pow (exp (* x y)) y) 3)
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (fma E (* x (pow y 2)) (fma x (* (* E (pow y 4)) x) (expm1 1)))
  (expm1 (exp (* (* x y) y)))
  (expm1 (exp (* (* x y) y)))
  (* (* y x) y)
  (* (* y x) y)
  (* (* y x) y)
  (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1))
  (pow (exp (* x y)) y)
  (pow (exp (* x y)) y)
6.310 * * * [progress]: adding candidates to table
6.426 * * [progress]: iteration 3 / 4
6.426 * * * [progress]: picking best candidate
6.428 * * * * [pick]: Picked  #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>
6.428 * * * [progress]: localizing error
6.436 * * * [progress]: generating rewritten candidates
6.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
6.443 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.445 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.445 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.446 * * * [progress]: generating series expansions
6.446 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
6.446 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
6.446 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.446 * [taylor]: Taking taylor expansion of x in y
6.446 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.446 * [taylor]: Taking taylor expansion of y in y
6.446 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.446 * [taylor]: Taking taylor expansion of x in x
6.446 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.446 * [taylor]: Taking taylor expansion of y in x
6.446 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.446 * [taylor]: Taking taylor expansion of x in x
6.446 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.446 * [taylor]: Taking taylor expansion of y in x
6.447 * [taylor]: Taking taylor expansion of 0 in y
6.447 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.447 * [taylor]: Taking taylor expansion of y in y
6.448 * [taylor]: Taking taylor expansion of 0 in y
6.450 * [taylor]: Taking taylor expansion of 0 in y
6.450 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
6.450 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.450 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.450 * [taylor]: Taking taylor expansion of x in y
6.450 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.450 * [taylor]: Taking taylor expansion of y in y
6.451 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.451 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.451 * [taylor]: Taking taylor expansion of x in x
6.451 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.451 * [taylor]: Taking taylor expansion of y in x
6.451 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.451 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.451 * [taylor]: Taking taylor expansion of x in x
6.451 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.451 * [taylor]: Taking taylor expansion of y in x
6.452 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.452 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.452 * [taylor]: Taking taylor expansion of y in y
6.454 * [taylor]: Taking taylor expansion of 0 in y
6.456 * [taylor]: Taking taylor expansion of 0 in y
6.459 * [taylor]: Taking taylor expansion of 0 in y
6.463 * [taylor]: Taking taylor expansion of 0 in y
6.463 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
6.463 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.463 * [taylor]: Taking taylor expansion of -1 in y
6.463 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.463 * [taylor]: Taking taylor expansion of x in y
6.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.463 * [taylor]: Taking taylor expansion of y in y
6.463 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.463 * [taylor]: Taking taylor expansion of -1 in x
6.463 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.464 * [taylor]: Taking taylor expansion of x in x
6.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.464 * [taylor]: Taking taylor expansion of y in x
6.464 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.464 * [taylor]: Taking taylor expansion of -1 in x
6.464 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.464 * [taylor]: Taking taylor expansion of x in x
6.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.464 * [taylor]: Taking taylor expansion of y in x
6.465 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
6.465 * [taylor]: Taking taylor expansion of -1 in y
6.465 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.465 * [taylor]: Taking taylor expansion of y in y
6.466 * [taylor]: Taking taylor expansion of 0 in y
6.469 * [taylor]: Taking taylor expansion of 0 in y
6.472 * [taylor]: Taking taylor expansion of 0 in y
6.476 * [taylor]: Taking taylor expansion of 0 in y
6.476 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.476 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0
6.476 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
6.476 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.476 * [taylor]: Taking taylor expansion of x in y
6.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.476 * [taylor]: Taking taylor expansion of y in y
6.476 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.476 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.476 * [taylor]: Taking taylor expansion of x in x
6.476 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.476 * [taylor]: Taking taylor expansion of y in x
6.477 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.477 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.477 * [taylor]: Taking taylor expansion of x in x
6.477 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.477 * [taylor]: Taking taylor expansion of y in x
6.477 * [taylor]: Taking taylor expansion of 1 in y
6.478 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.478 * [taylor]: Taking taylor expansion of y in y
6.479 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y
6.479 * [taylor]: Taking taylor expansion of 1/2 in y
6.479 * [taylor]: Taking taylor expansion of (pow y 4) in y
6.479 * [taylor]: Taking taylor expansion of y in y
6.482 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y
6.482 * [taylor]: Taking taylor expansion of 1/6 in y
6.482 * [taylor]: Taking taylor expansion of (pow y 6) in y
6.482 * [taylor]: Taking taylor expansion of y in y
6.486 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y
6.487 * [taylor]: Taking taylor expansion of 1/24 in y
6.487 * [taylor]: Taking taylor expansion of (pow y 8) in y
6.487 * [taylor]: Taking taylor expansion of y in y
6.492 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y
6.492 * [taylor]: Taking taylor expansion of 1/120 in y
6.492 * [taylor]: Taking taylor expansion of (pow y 10) in y
6.492 * [taylor]: Taking taylor expansion of y in y
6.500 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y
6.500 * [taylor]: Taking taylor expansion of 1/720 in y
6.500 * [taylor]: Taking taylor expansion of (pow y 12) in y
6.500 * [taylor]: Taking taylor expansion of y in y
6.501 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0
6.501 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.501 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.501 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.501 * [taylor]: Taking taylor expansion of x in y
6.501 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.501 * [taylor]: Taking taylor expansion of y in y
6.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.502 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.502 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.502 * [taylor]: Taking taylor expansion of x in x
6.502 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.502 * [taylor]: Taking taylor expansion of y in x
6.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.502 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.502 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.502 * [taylor]: Taking taylor expansion of x in x
6.502 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.502 * [taylor]: Taking taylor expansion of y in x
6.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.503 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.503 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.503 * [taylor]: Taking taylor expansion of x in y
6.503 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.503 * [taylor]: Taking taylor expansion of y in y
6.504 * [taylor]: Taking taylor expansion of 0 in y
6.504 * [taylor]: Taking taylor expansion of 0 in y
6.504 * [taylor]: Taking taylor expansion of 0 in y
6.504 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0
6.504 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.504 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.504 * [taylor]: Taking taylor expansion of -1 in y
6.504 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.504 * [taylor]: Taking taylor expansion of x in y
6.504 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.504 * [taylor]: Taking taylor expansion of y in y
6.504 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.504 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.504 * [taylor]: Taking taylor expansion of -1 in x
6.505 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.505 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.505 * [taylor]: Taking taylor expansion of y in x
6.505 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.505 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.505 * [taylor]: Taking taylor expansion of -1 in x
6.505 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.505 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.505 * [taylor]: Taking taylor expansion of y in x
6.506 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.506 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.506 * [taylor]: Taking taylor expansion of -1 in y
6.506 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.506 * [taylor]: Taking taylor expansion of x in y
6.506 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.506 * [taylor]: Taking taylor expansion of y in y
6.507 * [taylor]: Taking taylor expansion of 0 in y
6.507 * [taylor]: Taking taylor expansion of 0 in y
6.507 * [taylor]: Taking taylor expansion of 0 in y
6.507 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.507 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in (x y) around 0
6.507 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in y
6.507 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1)
6.507 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in y
6.507 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in y
6.507 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.507 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in y
6.507 * [taylor]: Taking taylor expansion of 1 in y
6.507 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
6.507 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.507 * [taylor]: Taking taylor expansion of x in y
6.507 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.507 * [taylor]: Taking taylor expansion of y in y
6.509 * [taylor]: Taking taylor expansion of 1 in y
6.509 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x
6.509 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1)
6.509 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x
6.509 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x
6.509 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.509 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x
6.509 * [taylor]: Taking taylor expansion of 1 in x
6.509 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.509 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.509 * [taylor]: Taking taylor expansion of x in x
6.509 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.509 * [taylor]: Taking taylor expansion of y in x
6.510 * [taylor]: Taking taylor expansion of 1 in x
6.510 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x
6.511 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1)
6.511 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x
6.511 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x
6.511 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.511 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x
6.511 * [taylor]: Taking taylor expansion of 1 in x
6.511 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.511 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.511 * [taylor]: Taking taylor expansion of x in x
6.511 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.511 * [taylor]: Taking taylor expansion of y in x
6.512 * [taylor]: Taking taylor expansion of 1 in x
6.513 * [taylor]: Taking taylor expansion of 1 in y
6.515 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.515 * [taylor]: Taking taylor expansion of y in y
6.521 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y
6.521 * [taylor]: Taking taylor expansion of 1/2 in y
6.521 * [taylor]: Taking taylor expansion of (pow y 4) in y
6.521 * [taylor]: Taking taylor expansion of y in y
6.527 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y
6.527 * [taylor]: Taking taylor expansion of 1/6 in y
6.527 * [taylor]: Taking taylor expansion of (pow y 6) in y
6.527 * [taylor]: Taking taylor expansion of y in y
6.535 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y
6.536 * [taylor]: Taking taylor expansion of 1/24 in y
6.536 * [taylor]: Taking taylor expansion of (pow y 8) in y
6.536 * [taylor]: Taking taylor expansion of y in y
6.548 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y
6.548 * [taylor]: Taking taylor expansion of 1/120 in y
6.548 * [taylor]: Taking taylor expansion of (pow y 10) in y
6.548 * [taylor]: Taking taylor expansion of y in y
6.566 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y
6.566 * [taylor]: Taking taylor expansion of 1/720 in y
6.566 * [taylor]: Taking taylor expansion of (pow y 12) in y
6.566 * [taylor]: Taking taylor expansion of y in y
6.567 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in (x y) around 0
6.567 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in y
6.567 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1)
6.567 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in y
6.567 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in y
6.567 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.567 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y
6.567 * [taylor]: Taking taylor expansion of 1 in y
6.567 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.567 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.567 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.568 * [taylor]: Taking taylor expansion of x in y
6.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.568 * [taylor]: Taking taylor expansion of y in y
6.568 * [taylor]: Taking taylor expansion of 1 in y
6.568 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x
6.568 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1)
6.568 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x
6.568 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x
6.568 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.568 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x
6.568 * [taylor]: Taking taylor expansion of 1 in x
6.569 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.569 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.569 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.569 * [taylor]: Taking taylor expansion of x in x
6.569 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.569 * [taylor]: Taking taylor expansion of y in x
6.570 * [taylor]: Taking taylor expansion of 1 in x
6.570 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x
6.570 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1)
6.570 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x
6.570 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x
6.570 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.570 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x
6.570 * [taylor]: Taking taylor expansion of 1 in x
6.570 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.570 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.570 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.570 * [taylor]: Taking taylor expansion of x in x
6.570 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.570 * [taylor]: Taking taylor expansion of y in x
6.571 * [taylor]: Taking taylor expansion of 1 in x
6.571 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.571 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.571 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.571 * [taylor]: Taking taylor expansion of x in y
6.571 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.571 * [taylor]: Taking taylor expansion of y in y
6.574 * [taylor]: Taking taylor expansion of 0 in y
6.577 * [taylor]: Taking taylor expansion of 0 in y
6.581 * [taylor]: Taking taylor expansion of 0 in y
6.581 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in (x y) around 0
6.581 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in y
6.581 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1)
6.581 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in y
6.581 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in y
6.581 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.581 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in y
6.581 * [taylor]: Taking taylor expansion of 1 in y
6.581 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.581 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.581 * [taylor]: Taking taylor expansion of -1 in y
6.581 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.581 * [taylor]: Taking taylor expansion of x in y
6.581 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.581 * [taylor]: Taking taylor expansion of y in y
6.582 * [taylor]: Taking taylor expansion of 1 in y
6.582 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x
6.582 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1)
6.582 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x
6.582 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x
6.582 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.582 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x
6.582 * [taylor]: Taking taylor expansion of 1 in x
6.582 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.582 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.582 * [taylor]: Taking taylor expansion of -1 in x
6.582 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.582 * [taylor]: Taking taylor expansion of x in x
6.582 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.582 * [taylor]: Taking taylor expansion of y in x
6.583 * [taylor]: Taking taylor expansion of 1 in x
6.583 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x
6.583 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1)
6.583 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x
6.583 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x
6.584 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.584 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x
6.584 * [taylor]: Taking taylor expansion of 1 in x
6.584 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.584 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.584 * [taylor]: Taking taylor expansion of -1 in x
6.584 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.584 * [taylor]: Taking taylor expansion of x in x
6.584 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.584 * [taylor]: Taking taylor expansion of y in x
6.585 * [taylor]: Taking taylor expansion of 1 in x
6.585 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.585 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.585 * [taylor]: Taking taylor expansion of -1 in y
6.585 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.585 * [taylor]: Taking taylor expansion of x in y
6.585 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.585 * [taylor]: Taking taylor expansion of y in y
6.587 * [taylor]: Taking taylor expansion of 0 in y
6.590 * [taylor]: Taking taylor expansion of 0 in y
6.594 * [taylor]: Taking taylor expansion of 0 in y
6.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.595 * [approximate]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in (x y) around 0
6.595 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in y
6.595 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.595 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in y
6.595 * [taylor]: Taking taylor expansion of 1 in y
6.595 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y
6.595 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.595 * [taylor]: Taking taylor expansion of x in y
6.595 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.595 * [taylor]: Taking taylor expansion of y in y
6.596 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x
6.596 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.596 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x
6.596 * [taylor]: Taking taylor expansion of 1 in x
6.596 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.596 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.596 * [taylor]: Taking taylor expansion of x in x
6.596 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.596 * [taylor]: Taking taylor expansion of y in x
6.597 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x
6.597 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2)))))
6.597 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x
6.597 * [taylor]: Taking taylor expansion of 1 in x
6.597 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x
6.597 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.597 * [taylor]: Taking taylor expansion of x in x
6.597 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.597 * [taylor]: Taking taylor expansion of y in x
6.598 * [taylor]: Taking taylor expansion of (log 2) in y
6.598 * [taylor]: Taking taylor expansion of 2 in y
6.599 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y
6.599 * [taylor]: Taking taylor expansion of 1/2 in y
6.599 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.599 * [taylor]: Taking taylor expansion of y in y
6.603 * [taylor]: Taking taylor expansion of (* 1/8 (pow y 4)) in y
6.603 * [taylor]: Taking taylor expansion of 1/8 in y
6.603 * [taylor]: Taking taylor expansion of (pow y 4) in y
6.603 * [taylor]: Taking taylor expansion of y in y
6.611 * [taylor]: Taking taylor expansion of 0 in y
6.620 * [taylor]: Taking taylor expansion of (* -1/192 (pow y 8)) in y
6.620 * [taylor]: Taking taylor expansion of -1/192 in y
6.620 * [taylor]: Taking taylor expansion of (pow y 8) in y
6.620 * [taylor]: Taking taylor expansion of y in y
6.635 * [taylor]: Taking taylor expansion of 0 in y
6.636 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in (x y) around 0
6.636 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in y
6.636 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.636 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y
6.636 * [taylor]: Taking taylor expansion of 1 in y
6.636 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.636 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.636 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.636 * [taylor]: Taking taylor expansion of x in y
6.636 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.636 * [taylor]: Taking taylor expansion of y in y
6.637 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x
6.637 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.637 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x
6.637 * [taylor]: Taking taylor expansion of 1 in x
6.637 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.637 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.637 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.637 * [taylor]: Taking taylor expansion of x in x
6.637 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.637 * [taylor]: Taking taylor expansion of y in x
6.638 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x
6.638 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2))))))
6.638 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x
6.638 * [taylor]: Taking taylor expansion of 1 in x
6.638 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x
6.638 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.638 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.638 * [taylor]: Taking taylor expansion of x in x
6.638 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.638 * [taylor]: Taking taylor expansion of y in x
6.639 * [taylor]: Taking taylor expansion of (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) in y
6.639 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y
6.639 * [taylor]: Taking taylor expansion of 1 in y
6.639 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y
6.639 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
6.639 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.639 * [taylor]: Taking taylor expansion of x in y
6.639 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.639 * [taylor]: Taking taylor expansion of y in y
6.641 * [taylor]: Taking taylor expansion of 0 in y
6.643 * [taylor]: Taking taylor expansion of 0 in y
6.647 * [taylor]: Taking taylor expansion of 0 in y
6.648 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in (x y) around 0
6.648 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in y
6.648 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.648 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in y
6.648 * [taylor]: Taking taylor expansion of 1 in y
6.648 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.648 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.648 * [taylor]: Taking taylor expansion of -1 in y
6.648 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.648 * [taylor]: Taking taylor expansion of x in y
6.648 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.648 * [taylor]: Taking taylor expansion of y in y
6.649 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x
6.649 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.649 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x
6.649 * [taylor]: Taking taylor expansion of 1 in x
6.649 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.649 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.649 * [taylor]: Taking taylor expansion of -1 in x
6.649 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.649 * [taylor]: Taking taylor expansion of x in x
6.649 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.649 * [taylor]: Taking taylor expansion of y in x
6.650 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x
6.650 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2))))))
6.650 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x
6.650 * [taylor]: Taking taylor expansion of 1 in x
6.650 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x
6.650 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
6.650 * [taylor]: Taking taylor expansion of -1 in x
6.650 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.650 * [taylor]: Taking taylor expansion of x in x
6.650 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.650 * [taylor]: Taking taylor expansion of y in x
6.651 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) in y
6.651 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 (* x (pow y 2)))) 1) in y
6.651 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y
6.651 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
6.651 * [taylor]: Taking taylor expansion of -1 in y
6.651 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
6.651 * [taylor]: Taking taylor expansion of x in y
6.651 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.651 * [taylor]: Taking taylor expansion of y in y
6.651 * [taylor]: Taking taylor expansion of 1 in y
6.653 * [taylor]: Taking taylor expansion of 0 in y
6.655 * [taylor]: Taking taylor expansion of 0 in y
6.659 * [taylor]: Taking taylor expansion of 0 in y
6.659 * * * [progress]: simplifying candidates
6.660 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* (* x y) y)))
  (exp (* x y))
  (log (exp (* (* x y) y)))
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* (* x y) y)))
  (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (exp (log1p (exp (* (* x y) y))))
  (expm1 (expm1 (log1p (exp (* (* x y) y)))))
  (log1p (expm1 (log1p (exp (* (* x y) y)))))
  (log (expm1 (log1p (exp (* (* x y) y)))))
  (exp (expm1 (log1p (exp (* (* x y) y)))))
  (* (cbrt (expm1 (log1p (exp (* (* x y) y))))) (cbrt (expm1 (log1p (exp (* (* x y) y))))))
  (cbrt (expm1 (log1p (exp (* (* x y) y)))))
  (* (* (expm1 (log1p (exp (* (* x y) y)))) (expm1 (log1p (exp (* (* x y) y))))) (expm1 (log1p (exp (* (* x y) y)))))
  (sqrt (expm1 (log1p (exp (* (* x y) y)))))
  (sqrt (expm1 (log1p (exp (* (* x y) y)))))
  (+ 1 (exp (* (* x y) y)))
  (expm1 (log1p (exp (* (* x y) y))))
  (log1p (log1p (exp (* (* x y) y))))
  (log (log1p (exp (* (* x y) y))))
  (exp (log1p (exp (* (* x y) y))))
  (* (cbrt (log1p (exp (* (* x y) y)))) (cbrt (log1p (exp (* (* x y) y)))))
  (cbrt (log1p (exp (* (* x y) y))))
  (* (* (log1p (exp (* (* x y) y))) (log1p (exp (* (* x y) y)))) (log1p (exp (* (* x y) y))))
  (sqrt (log1p (exp (* (* x y) y))))
  (sqrt (log1p (exp (* (* x y) y))))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
  (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
  (+ (* 1/2 (* x (pow y 2))) (log 2))
  (log (+ (exp (* x (pow y 2))) 1))
  (log (+ (exp (* x (pow y 2))) 1))
6.663 * * [simplify]: iteration  0 :  81  enodes  (cost  563 )
6.676 * * [simplify]: iteration  1 :  172  enodes  (cost  521 )
6.718 * * [simplify]: iteration  2 :  655  enodes  (cost  451 )
7.216 * * [simplify]: iteration  3 :  2993  enodes  (cost  451 )
9.114 * * [simplify]: iteration  done :  5001  enodes  (cost  451 )
9.115 * [simplify]: Simplified to:
   (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* y x) y)
  (* (* y x) y)
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (exp (* x (pow y 2)))
  (pow (* (* y x) y) 3)
  (pow (* (* y x) y) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* (* y x) y) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* y x)
  (pow y 2)
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* x (pow y 2))))
  (exp (* x y))
  (* (* y x) y)
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* x (pow y 2))))
  (pow (exp (* x (pow y 2))) 3)
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (exp (log1p (exp (* (* x y) y))))
  (expm1 (exp (* (* x y) y)))
  (log1p (exp (* x (pow y 2))))
  (* (* y x) y)
  (exp (exp (* (* x y) y)))
  (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y))))
  (cbrt (exp (* x (pow y 2))))
  (pow (exp (* x (pow y 2))) 3)
  (sqrt (exp (* (* x y) y)))
  (sqrt (exp (* (* x y) y)))
  (exp (log1p (exp (* (* x y) y))))
  (exp (* x (pow y 2)))
  (log1p (log1p (exp (* (* x y) y))))
  (log (log1p (exp (* (* x y) y))))
  (exp (log1p (exp (* (* x y) y))))
  (* (cbrt (log1p (exp (* (* x y) y)))) (cbrt (log1p (exp (* (* x y) y)))))
  (cbrt (log1p (exp (* (* x y) y))))
  (pow (log1p (exp (* x (pow y 2)))) 3)
  (sqrt (log1p (exp (* (* x y) y))))
  (sqrt (log1p (exp (* (* x y) y))))
  (* (* y x) y)
  (* (* y x) y)
  (* (* y x) y)
  (fma x (pow y 2) (fma 1/2 (* (pow x 2) (pow y 4)) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
  (fma x (pow y 2) (fma 1/2 (* (pow x 2) (pow y 4)) 1))
  (exp (* x (pow y 2)))
  (exp (* x (pow y 2)))
  (fma 1/2 (* (* x y) y) (log 2))
  (log1p (exp (* x (pow y 2))))
  (log1p (exp (* x (pow y 2))))
9.115 * * * [progress]: adding candidates to table
9.259 * [progress]: [Phase 3 of 3] Extracting.
9.259 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))> #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>)
9.259 * * * [regime-changes]: Trying 4 branch expressions: ((* (* x y) y) (exp (* (* x y) y)) y x)
9.259 * * * * [regimes]: Trying to branch on (* (* x y) y) from (#<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))> #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>)
9.272 * * * * [regimes]: Trying to branch on (exp (* (* x y) y)) from (#<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))> #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>)
9.286 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))> #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>)
9.301 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (log1p (expm1 (exp (* (* x y) y)))))> #<alt (λ (x y) (expm1 (log1p (exp (* (* x y) y)))))>)
9.314 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.314 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log1p (expm1 (exp (* (* x y) y))))
9.315 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
9.315 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
9.315 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
9.315 * [simplify]: Simplified to:
   (log1p (expm1 (exp (* (* x y) y))))
9.842 * [regime-testing]: Baseline error score: 0.061137558140697726
9.842 * [regime-testing]: Oracle error score: 0.007684437880081673
9.844 * [regime-testing]: End program error score: 0.061137558140697726