23.705 * [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> :
   (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
0.017 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.018 * * [simplify]: iteration  1 :  19  enodes  (cost  11 )
0.020 * * [simplify]: iteration  2 :  42  enodes  (cost  11 )
0.025 * * [simplify]: iteration  3 :  70  enodes  (cost  11 )
0.036 * * [simplify]: iteration  4 :  133  enodes  (cost  11 )
0.061 * * [simplify]: iteration  5 :  203  enodes  (cost  11 )
0.095 * * [simplify]: iteration  6 :  298  enodes  (cost  11 )
0.158 * * [simplify]: iteration  7 :  505  enodes  (cost  11 )
0.288 * * [simplify]: iteration  8 :  680  enodes  (cost  11 )
0.487 * * [simplify]: iteration  9 :  694  enodes  (cost  11 )
0.683 * * [simplify]: iteration  done :  694  enodes  (cost  11 )
0.683 * [simplify]: Simplified to:
   (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
0.683 * * [progress]: iteration 1 / 4
0.683 * * * [progress]: picking best candidate
0.685 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))>
0.685 * * * [progress]: localizing error
0.877 * * * [progress]: generating rewritten candidates
0.877 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.887 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.895 * * * [progress]: generating series expansions
0.895 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.895 * [approximate]: Taking taylor expansion of (* x (- y 1.0)) in (x y) around 0
0.895 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y
0.895 * [taylor]: Taking taylor expansion of x in y
0.895 * [taylor]: Taking taylor expansion of (- y 1.0) in y
0.895 * [taylor]: Taking taylor expansion of y in y
0.895 * [taylor]: Taking taylor expansion of 1.0 in y
0.895 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (- y 1.0) in x
0.895 * [taylor]: Taking taylor expansion of y in x
0.895 * [taylor]: Taking taylor expansion of 1.0 in x
0.895 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (- y 1.0) in x
0.895 * [taylor]: Taking taylor expansion of y in x
0.895 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in y
0.897 * [taylor]: Taking taylor expansion of (- y 1.0) in y
0.897 * [taylor]: Taking taylor expansion of y in y
0.897 * [taylor]: Taking taylor expansion of 1.0 in y
0.899 * [taylor]: Taking taylor expansion of 0 in y
0.900 * [taylor]: Taking taylor expansion of 0 in y
0.902 * [taylor]: Taking taylor expansion of 0 in y
0.903 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in (x y) around 0
0.903 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in y
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.903 * [taylor]: Taking taylor expansion of y in y
0.903 * [taylor]: Taking taylor expansion of 1.0 in y
0.903 * [taylor]: Taking taylor expansion of x in y
0.903 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.903 * [taylor]: Taking taylor expansion of y in x
0.903 * [taylor]: Taking taylor expansion of 1.0 in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x
0.904 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.904 * [taylor]: Taking taylor expansion of y in x
0.904 * [taylor]: Taking taylor expansion of 1.0 in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.905 * [taylor]: Taking taylor expansion of 1.0 in y
0.906 * [taylor]: Taking taylor expansion of 0 in y
0.909 * [taylor]: Taking taylor expansion of 0 in y
0.912 * [taylor]: Taking taylor expansion of 0 in y
0.914 * [taylor]: Taking taylor expansion of 0 in y
0.915 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in (x y) around 0
0.915 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in y
0.915 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.915 * [taylor]: Taking taylor expansion of y in y
0.915 * [taylor]: Taking taylor expansion of 1.0 in y
0.915 * [taylor]: Taking taylor expansion of x in y
0.916 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.916 * [taylor]: Taking taylor expansion of y in x
0.916 * [taylor]: Taking taylor expansion of 1.0 in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.916 * [taylor]: Taking taylor expansion of y in x
0.916 * [taylor]: Taking taylor expansion of 1.0 in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.916 * [taylor]: Taking taylor expansion of y in y
0.916 * [taylor]: Taking taylor expansion of 1.0 in y
0.917 * [taylor]: Taking taylor expansion of 0 in y
0.919 * [taylor]: Taking taylor expansion of 0 in y
0.922 * [taylor]: Taking taylor expansion of 0 in y
0.924 * [taylor]: Taking taylor expansion of 0 in y
0.924 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.925 * [approximate]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in (x y) around 0
0.925 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in y
0.925 * [taylor]: Taking taylor expansion of (* x y) in y
0.925 * [taylor]: Taking taylor expansion of x in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y
0.925 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
0.925 * [taylor]: Taking taylor expansion of 1.0 in y
0.925 * [taylor]: Taking taylor expansion of x in y
0.925 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.925 * [taylor]: Taking taylor expansion of 0.5 in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in x
0.925 * [taylor]: Taking taylor expansion of (* x y) in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.925 * [taylor]: Taking taylor expansion of y in x
0.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x
0.925 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.925 * [taylor]: Taking taylor expansion of 1.0 in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.925 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.925 * [taylor]: Taking taylor expansion of 0.5 in x
0.925 * [taylor]: Taking taylor expansion of y in x
0.925 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in x
0.925 * [taylor]: Taking taylor expansion of (* x y) in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.925 * [taylor]: Taking taylor expansion of y in x
0.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x
0.925 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.925 * [taylor]: Taking taylor expansion of 1.0 in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.925 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.925 * [taylor]: Taking taylor expansion of 0.5 in x
0.925 * [taylor]: Taking taylor expansion of y in x
0.926 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.926 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.926 * [taylor]: Taking taylor expansion of 0.5 in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (- y 1.0) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of 1.0 in y
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.934 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in (x y) around 0
0.934 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.934 * [taylor]: Taking taylor expansion of (* x y) in y
0.934 * [taylor]: Taking taylor expansion of x in y
0.934 * [taylor]: Taking taylor expansion of y in y
0.934 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y
0.934 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.934 * [taylor]: Taking taylor expansion of 0.5 in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.934 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
0.935 * [taylor]: Taking taylor expansion of 1.0 in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.935 * [taylor]: Taking taylor expansion of x in y
0.935 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.935 * [taylor]: Taking taylor expansion of (* x y) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of y in x
0.935 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x
0.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.935 * [taylor]: Taking taylor expansion of 0.5 in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.935 * [taylor]: Taking taylor expansion of y in x
0.935 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.935 * [taylor]: Taking taylor expansion of 1.0 in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.936 * [taylor]: Taking taylor expansion of (* x y) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x
0.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.936 * [taylor]: Taking taylor expansion of 0.5 in x
0.936 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.936 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.936 * [taylor]: Taking taylor expansion of 1.0 in x
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
0.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.937 * [taylor]: Taking taylor expansion of y in y
0.938 * [taylor]: Taking taylor expansion of 1.0 in y
0.939 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.939 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.939 * [taylor]: Taking taylor expansion of 0.5 in y
0.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.939 * [taylor]: Taking taylor expansion of y in y
0.942 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in (x y) around 0
0.942 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in y
0.942 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.943 * [taylor]: Taking taylor expansion of 0.5 in y
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.943 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y
0.943 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
0.943 * [taylor]: Taking taylor expansion of 1.0 in y
0.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.943 * [taylor]: Taking taylor expansion of x in y
0.943 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.943 * [taylor]: Taking taylor expansion of (* x y) in y
0.943 * [taylor]: Taking taylor expansion of x in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.943 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in x
0.943 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.943 * [taylor]: Taking taylor expansion of 0.5 in x
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.943 * [taylor]: Taking taylor expansion of y in x
0.943 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x
0.943 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.943 * [taylor]: Taking taylor expansion of 1.0 in x
0.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.943 * [taylor]: Taking taylor expansion of x in x
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.944 * [taylor]: Taking taylor expansion of (* x y) in x
0.944 * [taylor]: Taking taylor expansion of x in x
0.944 * [taylor]: Taking taylor expansion of y in x
0.944 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in x
0.944 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.944 * [taylor]: Taking taylor expansion of 0.5 in x
0.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.944 * [taylor]: Taking taylor expansion of y in x
0.944 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x
0.944 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.944 * [taylor]: Taking taylor expansion of 1.0 in x
0.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.944 * [taylor]: Taking taylor expansion of x in x
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.944 * [taylor]: Taking taylor expansion of (* x y) in x
0.945 * [taylor]: Taking taylor expansion of x in x
0.945 * [taylor]: Taking taylor expansion of y in x
0.945 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.945 * [taylor]: Taking taylor expansion of y in y
0.945 * [taylor]: Taking taylor expansion of 1.0 in y
0.947 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.947 * [taylor]: Taking taylor expansion of 0.5 in y
0.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.947 * [taylor]: Taking taylor expansion of y in y
0.949 * * * [progress]: simplifying candidates
0.950 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- y 1.0))
  (+ (log x) (log (- y 1.0)))
  (log (* x (- y 1.0)))
  (exp (* x (- y 1.0)))
  (* (* (* x x) x) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0))))
  (cbrt (* x (- y 1.0)))
  (* (* (* x (- y 1.0)) (* x (- y 1.0))) (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* x y)
  (* x (- 1.0))
  (* x y)
  (* x (- 1.0))
  (* y x)
  (* (- 1.0) x)
  (* y x)
  (* (- 1.0) x)
  (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* x (sqrt (- y 1.0)))
  (* x 1)
  (* x (+ (sqrt y) (sqrt 1.0)))
  (* x 1)
  (* (cbrt x) (- y 1.0))
  (* (sqrt x) (- y 1.0))
  (* x (- y 1.0))
  (* x (- (pow y 3) (pow 1.0 3)))
  (* x (- (* y y) (* 1.0 1.0)))
  (/ (exp (* x (- y 1.0))) (exp (* y 0.5)))
  (log (- (* x (- y 1.0)) (* y 0.5)))
  (exp (- (* x (- y 1.0)) (* y 0.5)))
  (* (cbrt (- (* x (- y 1.0)) (* y 0.5))) (cbrt (- (* x (- y 1.0)) (* y 0.5))))
  (cbrt (- (* x (- y 1.0)) (* y 0.5)))
  (* (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (- (* x (- y 1.0)) (* y 0.5)))
  (sqrt (- (* x (- y 1.0)) (* y 0.5)))
  (sqrt (- (* x (- y 1.0)) (* y 0.5)))
  (- (pow (* x (- y 1.0)) 3) (pow (* y 0.5) 3))
  (+ (* (* x (- y 1.0)) (* x (- y 1.0))) (+ (* (* y 0.5) (* y 0.5)) (* (* x (- y 1.0)) (* y 0.5))))
  (- (* y 0.5))
  (- (* (* x (- y 1.0)) (* x (- y 1.0))) (* (* y 0.5) (* y 0.5)))
  (+ (* x (- y 1.0)) (* y 0.5))
  (- (* x (- 1.0)) (* y 0.5))
  (- (* x (- 1.0)) (* y 0.5))
  (- (* (- 1.0) x) (* y 0.5))
  (- (* (- 1.0) x) (* y 0.5))
  (- (* y 0.5))
  (- (* x y) (* 1.0 x))
  (- (* x y) (* 1.0 x))
  (- (* x y) (* 1.0 x))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
0.952 * * [simplify]: iteration  0 :  79  enodes  (cost  471 )
0.967 * * [simplify]: iteration  1 :  185  enodes  (cost  451 )
1.005 * * [simplify]: iteration  2 :  573  enodes  (cost  411 )
1.213 * * [simplify]: iteration  3 :  1922  enodes  (cost  409 )
1.985 * * [simplify]: iteration  done :  5001  enodes  (cost  409 )
1.989 * [simplify]: Simplified to:
   (* x (- y 1.0))
  (log (* x (- y 1.0)))
  (log (* x (- y 1.0)))
  (exp (* x (- y 1.0)))
  (pow (* x (- y 1.0)) 3)
  (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0))))
  (cbrt (* x (- y 1.0)))
  (pow (* x (- y 1.0)) 3)
  (sqrt (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* y x)
  (* (- 1.0) x)
  (* y x)
  (* (- 1.0) x)
  (* y x)
  (* (- 1.0) x)
  (* y x)
  (* (- 1.0) x)
  (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* x (sqrt (- y 1.0)))
  x
  (* x (+ (sqrt y) (sqrt 1.0)))
  x
  (* (cbrt x) (- y 1.0))
  (* (sqrt x) (- y 1.0))
  (* x (- y 1.0))
  (* x (- (pow y 3) (pow 1.0 3)))
  (* x (- (* y y) (* 1.0 1.0)))
  (exp (- (* x (- y 1.0)) (* y 0.5)))
  (log (- (* x (- y 1.0)) (* y 0.5)))
  (exp (- (* x (- y 1.0)) (* y 0.5)))
  (* (cbrt (- (* x (- y 1.0)) (* y 0.5))) (cbrt (- (* x (- y 1.0)) (* y 0.5))))
  (cbrt (- (* x (- y 1.0)) (* y 0.5)))
  (pow (- (* x (- y 1.0)) (* y 0.5)) 3)
  (sqrt (- (* x (- y 1.0)) (* y 0.5)))
  (sqrt (- (* x (- y 1.0)) (* y 0.5)))
  (- (pow (* x (- y 1.0)) 3) (pow (* y 0.5) 3))
  (+ (* (* y 0.5) (* y 0.5)) (* (* x (- y 1.0)) (+ (* x (- y 1.0)) (* y 0.5))))
  (- (* y 0.5))
  (- (* (* x (- y 1.0)) (* x (- y 1.0))) (* (* y 0.5) (* y 0.5)))
  (+ (* x (- y 1.0)) (* y 0.5))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (* y 0.5))
  (* x (- y 1.0))
  (* x (- y 1.0))
  (* x (- y 1.0))
  (- (* y (- x 0.5)) (* 1.0 x))
  (- (* y (- x 0.5)) (* 1.0 x))
  (- (* y (- x 0.5)) (* 1.0 x))
1.989 * * * [progress]: adding candidates to table
2.065 * * [progress]: iteration 2 / 4
2.065 * * * [progress]: picking best candidate
2.067 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>
2.067 * * * [progress]: localizing error
2.074 * * * [progress]: generating rewritten candidates
2.074 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
2.084 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.091 * * * [progress]: generating series expansions
2.091 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
2.091 * [approximate]: Taking taylor expansion of (* (- x 0.5) y) in (y x) around 0
2.092 * [taylor]: Taking taylor expansion of (* (- x 0.5) y) in x
2.092 * [taylor]: Taking taylor expansion of (- x 0.5) in x
2.092 * [taylor]: Taking taylor expansion of x in x
2.092 * [taylor]: Taking taylor expansion of 0.5 in x
2.092 * [taylor]: Taking taylor expansion of y in x
2.092 * [taylor]: Taking taylor expansion of (* (- x 0.5) y) in y
2.092 * [taylor]: Taking taylor expansion of (- x 0.5) in y
2.092 * [taylor]: Taking taylor expansion of x in y
2.092 * [taylor]: Taking taylor expansion of 0.5 in y
2.092 * [taylor]: Taking taylor expansion of y in y
2.092 * [taylor]: Taking taylor expansion of (* (- x 0.5) y) in y
2.092 * [taylor]: Taking taylor expansion of (- x 0.5) in y
2.092 * [taylor]: Taking taylor expansion of x in y
2.092 * [taylor]: Taking taylor expansion of 0.5 in y
2.092 * [taylor]: Taking taylor expansion of y in y
2.092 * [taylor]: Taking taylor expansion of 0 in x
2.093 * [taylor]: Taking taylor expansion of (- x 0.5) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [taylor]: Taking taylor expansion of 0.5 in x
2.095 * [taylor]: Taking taylor expansion of 0 in x
2.096 * [taylor]: Taking taylor expansion of 0 in x
2.100 * [taylor]: Taking taylor expansion of 0 in x
2.101 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.5) y) in (y x) around 0
2.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.5) y) in x
2.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in x
2.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.101 * [taylor]: Taking taylor expansion of x in x
2.101 * [taylor]: Taking taylor expansion of 0.5 in x
2.101 * [taylor]: Taking taylor expansion of y in x
2.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.5) y) in y
2.102 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in y
2.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.102 * [taylor]: Taking taylor expansion of x in y
2.102 * [taylor]: Taking taylor expansion of 0.5 in y
2.102 * [taylor]: Taking taylor expansion of y in y
2.102 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.5) y) in y
2.102 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in y
2.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.102 * [taylor]: Taking taylor expansion of x in y
2.102 * [taylor]: Taking taylor expansion of 0.5 in y
2.102 * [taylor]: Taking taylor expansion of y in y
2.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.103 * [taylor]: Taking taylor expansion of x in x
2.103 * [taylor]: Taking taylor expansion of 0.5 in x
2.104 * [taylor]: Taking taylor expansion of 0 in x
2.107 * [taylor]: Taking taylor expansion of 0 in x
2.110 * [taylor]: Taking taylor expansion of 0 in x
2.113 * [taylor]: Taking taylor expansion of 0 in x
2.113 * [approximate]: Taking taylor expansion of (/ (+ 0.5 (/ 1 x)) y) in (y x) around 0
2.113 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 x)) y) in x
2.113 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x
2.113 * [taylor]: Taking taylor expansion of 0.5 in x
2.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.113 * [taylor]: Taking taylor expansion of x in x
2.114 * [taylor]: Taking taylor expansion of y in x
2.114 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 x)) y) in y
2.114 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in y
2.114 * [taylor]: Taking taylor expansion of 0.5 in y
2.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.114 * [taylor]: Taking taylor expansion of x in y
2.114 * [taylor]: Taking taylor expansion of y in y
2.114 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 x)) y) in y
2.114 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in y
2.114 * [taylor]: Taking taylor expansion of 0.5 in y
2.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.114 * [taylor]: Taking taylor expansion of x in y
2.114 * [taylor]: Taking taylor expansion of y in y
2.115 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x
2.115 * [taylor]: Taking taylor expansion of 0.5 in x
2.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.116 * [taylor]: Taking taylor expansion of 0 in x
2.118 * [taylor]: Taking taylor expansion of 0 in x
2.120 * [taylor]: Taking taylor expansion of 0 in x
2.123 * [taylor]: Taking taylor expansion of 0 in x
2.123 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.123 * [approximate]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in (y x) around 0
2.123 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in x
2.123 * [taylor]: Taking taylor expansion of (* x y) in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x
2.123 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.123 * [taylor]: Taking taylor expansion of 1.0 in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
2.123 * [taylor]: Taking taylor expansion of 0.5 in x
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in y
2.123 * [taylor]: Taking taylor expansion of (* x y) in y
2.123 * [taylor]: Taking taylor expansion of x in y
2.123 * [taylor]: Taking taylor expansion of y in y
2.123 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y
2.123 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
2.123 * [taylor]: Taking taylor expansion of 1.0 in y
2.123 * [taylor]: Taking taylor expansion of x in y
2.123 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.123 * [taylor]: Taking taylor expansion of 0.5 in y
2.123 * [taylor]: Taking taylor expansion of y in y
2.123 * [taylor]: Taking taylor expansion of (- (* x y) (+ (* 1.0 x) (* 0.5 y))) in y
2.123 * [taylor]: Taking taylor expansion of (* x y) in y
2.123 * [taylor]: Taking taylor expansion of x in y
2.123 * [taylor]: Taking taylor expansion of y in y
2.123 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y
2.123 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
2.124 * [taylor]: Taking taylor expansion of 1.0 in y
2.124 * [taylor]: Taking taylor expansion of x in y
2.124 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.124 * [taylor]: Taking taylor expansion of 0.5 in y
2.124 * [taylor]: Taking taylor expansion of y in y
2.124 * [taylor]: Taking taylor expansion of (- (* 1.0 x)) in x
2.124 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.124 * [taylor]: Taking taylor expansion of 1.0 in x
2.124 * [taylor]: Taking taylor expansion of x in x
2.127 * [taylor]: Taking taylor expansion of (- x 0.5) in x
2.127 * [taylor]: Taking taylor expansion of x in x
2.127 * [taylor]: Taking taylor expansion of 0.5 in x
2.131 * [taylor]: Taking taylor expansion of 0 in x
2.133 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in (y x) around 0
2.133 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in x
2.133 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.133 * [taylor]: Taking taylor expansion of (* x y) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of y in x
2.133 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in x
2.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
2.133 * [taylor]: Taking taylor expansion of 0.5 in x
2.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.133 * [taylor]: Taking taylor expansion of y in x
2.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.133 * [taylor]: Taking taylor expansion of 1.0 in x
2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y
2.133 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.133 * [taylor]: Taking taylor expansion of (* x y) in y
2.133 * [taylor]: Taking taylor expansion of x in y
2.133 * [taylor]: Taking taylor expansion of y in y
2.134 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y
2.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.134 * [taylor]: Taking taylor expansion of 0.5 in y
2.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.134 * [taylor]: Taking taylor expansion of y in y
2.134 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.134 * [taylor]: Taking taylor expansion of 1.0 in y
2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.134 * [taylor]: Taking taylor expansion of x in y
2.134 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x)))) in y
2.134 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.134 * [taylor]: Taking taylor expansion of (* x y) in y
2.134 * [taylor]: Taking taylor expansion of x in y
2.134 * [taylor]: Taking taylor expansion of y in y
2.135 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.0 (/ 1 x))) in y
2.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.135 * [taylor]: Taking taylor expansion of 0.5 in y
2.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.135 * [taylor]: Taking taylor expansion of y in y
2.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.135 * [taylor]: Taking taylor expansion of 1.0 in y
2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.135 * [taylor]: Taking taylor expansion of x in y
2.136 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in x
2.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.136 * [taylor]: Taking taylor expansion of x in x
2.136 * [taylor]: Taking taylor expansion of 0.5 in x
2.138 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x))) in x
2.138 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.138 * [taylor]: Taking taylor expansion of 1.0 in x
2.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.138 * [taylor]: Taking taylor expansion of x in x
2.141 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in (y x) around 0
2.141 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in x
2.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
2.141 * [taylor]: Taking taylor expansion of 0.5 in x
2.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.141 * [taylor]: Taking taylor expansion of y in x
2.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x
2.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.141 * [taylor]: Taking taylor expansion of 1.0 in x
2.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.141 * [taylor]: Taking taylor expansion of x in x
2.142 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.142 * [taylor]: Taking taylor expansion of (* x y) in x
2.142 * [taylor]: Taking taylor expansion of x in x
2.142 * [taylor]: Taking taylor expansion of y in x
2.142 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in y
2.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.142 * [taylor]: Taking taylor expansion of 0.5 in y
2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.142 * [taylor]: Taking taylor expansion of y in y
2.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y
2.142 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.142 * [taylor]: Taking taylor expansion of 1.0 in y
2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.142 * [taylor]: Taking taylor expansion of x in y
2.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.143 * [taylor]: Taking taylor expansion of (* x y) in y
2.143 * [taylor]: Taking taylor expansion of x in y
2.143 * [taylor]: Taking taylor expansion of y in y
2.143 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (+ (* 1.0 (/ 1 x)) (/ 1 (* x y)))) in y
2.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.143 * [taylor]: Taking taylor expansion of 0.5 in y
2.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.143 * [taylor]: Taking taylor expansion of y in y
2.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y
2.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.143 * [taylor]: Taking taylor expansion of 1.0 in y
2.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.143 * [taylor]: Taking taylor expansion of x in y
2.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.143 * [taylor]: Taking taylor expansion of (* x y) in y
2.143 * [taylor]: Taking taylor expansion of x in y
2.143 * [taylor]: Taking taylor expansion of y in y
2.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.5) in x
2.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.144 * [taylor]: Taking taylor expansion of x in x
2.144 * [taylor]: Taking taylor expansion of 0.5 in x
2.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.146 * [taylor]: Taking taylor expansion of 1.0 in x
2.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.146 * [taylor]: Taking taylor expansion of x in x
2.147 * * * [progress]: simplifying candidates
2.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* y (- x 0.5))
  (+ (log y) (log (- x 0.5)))
  (log (* y (- x 0.5)))
  (exp (* y (- x 0.5)))
  (* (* (* y y) y) (* (* (- x 0.5) (- x 0.5)) (- x 0.5)))
  (* (cbrt (* y (- x 0.5))) (cbrt (* y (- x 0.5))))
  (cbrt (* y (- x 0.5)))
  (* (* (* y (- x 0.5)) (* y (- x 0.5))) (* y (- x 0.5)))
  (sqrt (* y (- x 0.5)))
  (sqrt (* y (- x 0.5)))
  (* (sqrt y) (sqrt (- x 0.5)))
  (* (sqrt y) (sqrt (- x 0.5)))
  (* y x)
  (* y (- 0.5))
  (* y x)
  (* y (- 0.5))
  (* x y)
  (* (- 0.5) y)
  (* x y)
  (* (- 0.5) y)
  (* y (* (cbrt (- x 0.5)) (cbrt (- x 0.5))))
  (* y (sqrt (- x 0.5)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt 0.5)))
  (* y 1)
  (* (cbrt y) (- x 0.5))
  (* (sqrt y) (- x 0.5))
  (* y (- x 0.5))
  (* y (- (pow x 3) (pow 0.5 3)))
  (* y (- (* x x) (* 0.5 0.5)))
  (/ (exp (* y (- x 0.5))) (exp (* 1.0 x)))
  (log (- (* y (- x 0.5)) (* 1.0 x)))
  (exp (- (* y (- x 0.5)) (* 1.0 x)))
  (* (cbrt (- (* y (- x 0.5)) (* 1.0 x))) (cbrt (- (* y (- x 0.5)) (* 1.0 x))))
  (cbrt (- (* y (- x 0.5)) (* 1.0 x)))
  (* (* (- (* y (- x 0.5)) (* 1.0 x)) (- (* y (- x 0.5)) (* 1.0 x))) (- (* y (- x 0.5)) (* 1.0 x)))
  (sqrt (- (* y (- x 0.5)) (* 1.0 x)))
  (sqrt (- (* y (- x 0.5)) (* 1.0 x)))
  (- (pow (* y (- x 0.5)) 3) (pow (* 1.0 x) 3))
  (+ (* (* y (- x 0.5)) (* y (- x 0.5))) (+ (* (* 1.0 x) (* 1.0 x)) (* (* y (- x 0.5)) (* 1.0 x))))
  (- (* 1.0 x))
  (- (* (* y (- x 0.5)) (* y (- x 0.5))) (* (* 1.0 x) (* 1.0 x)))
  (+ (* y (- x 0.5)) (* 1.0 x))
  (- (* y (- 0.5)) (* 1.0 x))
  (- (* y (- 0.5)) (* 1.0 x))
  (- (* (- 0.5) y) (* 1.0 x))
  (- (* (- 0.5) y) (* 1.0 x))
  (- (* 1.0 x))
  (- (* x y) (* 0.5 y))
  (- (* x y) (* 0.5 y))
  (- (* x y) (* 0.5 y))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
  (- (* x y) (+ (* 1.0 x) (* 0.5 y)))
2.150 * * [simplify]: iteration  0 :  78  enodes  (cost  471 )
2.163 * * [simplify]: iteration  1 :  186  enodes  (cost  445 )
2.201 * * [simplify]: iteration  2 :  614  enodes  (cost  411 )
2.461 * * [simplify]: iteration  3 :  2216  enodes  (cost  409 )
3.320 * * [simplify]: iteration  done :  5000  enodes  (cost  409 )
3.321 * [simplify]: Simplified to:
   (* y (- x 0.5))
  (log (* y (- x 0.5)))
  (log (* y (- x 0.5)))
  (exp (* y (- x 0.5)))
  (pow (* y (- x 0.5)) 3)
  (* (cbrt (* y (- x 0.5))) (cbrt (* y (- x 0.5))))
  (cbrt (* y (- x 0.5)))
  (pow (* y (- x 0.5)) 3)
  (sqrt (* y (- x 0.5)))
  (sqrt (* y (- x 0.5)))
  (* (sqrt y) (sqrt (- x 0.5)))
  (* (sqrt y) (sqrt (- x 0.5)))
  (* x y)
  (* (- 0.5) y)
  (* x y)
  (* (- 0.5) y)
  (* x y)
  (* (- 0.5) y)
  (* x y)
  (* (- 0.5) y)
  (* y (* (cbrt (- x 0.5)) (cbrt (- x 0.5))))
  (* y (sqrt (- x 0.5)))
  y
  (* y (+ (sqrt x) (sqrt 0.5)))
  y
  (* (cbrt y) (- x 0.5))
  (* (sqrt y) (- x 0.5))
  (* y (- x 0.5))
  (* y (- (pow x 3) (pow 0.5 3)))
  (* y (- (* x x) (* 0.5 0.5)))
  (exp (- (* y (- x 0.5)) (* 1.0 x)))
  (log (- (* y (- x 0.5)) (* 1.0 x)))
  (exp (- (* y (- x 0.5)) (* 1.0 x)))
  (* (cbrt (- (* y (- x 0.5)) (* 1.0 x))) (cbrt (- (* y (- x 0.5)) (* 1.0 x))))
  (cbrt (- (* y (- x 0.5)) (* 1.0 x)))
  (pow (- (* y (- x 0.5)) (* 1.0 x)) 3)
  (sqrt (- (* y (- x 0.5)) (* 1.0 x)))
  (sqrt (- (* y (- x 0.5)) (* 1.0 x)))
  (- (pow (* y (- x 0.5)) 3) (pow (* 1.0 x) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (* (+ (* y (- x 0.5)) (* 1.0 x)) (* y (- x 0.5))))
  (- (* 1.0 x))
  (- (* (* y (- x 0.5)) (* y (- x 0.5))) (* (* 1.0 x) (* 1.0 x)))
  (+ (* y (- x 0.5)) (* 1.0 x))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (+ (* 1.0 x) (* 0.5 y)))
  (- (* 1.0 x))
  (* y (- x 0.5))
  (* y (- x 0.5))
  (* y (- x 0.5))
  (- (* y (- x 0.5)) (* 1.0 x))
  (- (* y (- x 0.5)) (* 1.0 x))
  (- (* y (- x 0.5)) (* 1.0 x))
3.321 * * * [progress]: adding candidates to table
3.399 * [progress]: [Phase 3 of 3] Extracting.
3.400 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))> #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>)
3.400 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x (- y 1.0)) (* y 0.5)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) y x)
3.400 * * * * [regimes]: Trying to branch on (- (* x (- y 1.0)) (* y 0.5)) from (#<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))> #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>)
3.411 * * * * [regimes]: Trying to branch on (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) from (#<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))> #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>)
3.424 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))> #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>)
3.434 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))> #<alt (λ (x y) (+ (- (* y (- x 0.5)) (* 1.0 x)) 0.918938533204673))>)
3.445 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.445 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
3.445 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
3.446 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
3.446 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
3.446 * [simplify]: Simplified to:
   (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
3.857 * [regime-testing]: Baseline error score: 0.01050131266408301
3.857 * [regime-testing]: Oracle error score: 0.0025003125390673834
3.858 * [regime-testing]: End program error score: 0.01050131266408301