100.521 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* x 3.0) y) y)
0.025 * * [simplify]: iteration  0 :  13  enodes  (cost  3 )
0.032 * * [simplify]: iteration  1 :  28  enodes  (cost  3 )
0.035 * * [simplify]: iteration  2 :  46  enodes  (cost  3 )
0.039 * * [simplify]: iteration  3 :  47  enodes  (cost  3 )
0.043 * * [simplify]: iteration  4 :  47  enodes  (cost  3 )
0.043 * [simplify]: Simplified to:
   (* (* (* x 3.0) y) y)
0.044 * * [progress]: iteration 1 / 4
0.044 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x 3.0) y) y))>
0.046 * * * [progress]: localizing error
0.051 * * * [progress]: generating rewritten candidates
0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.059 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.077 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
0.078 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
0.078 * [taylor]: Taking taylor expansion of 3.0 in y
0.078 * [taylor]: Taking taylor expansion of (* x y) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
0.078 * [taylor]: Taking taylor expansion of 3.0 in x
0.078 * [taylor]: Taking taylor expansion of (* x y) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
0.078 * [taylor]: Taking taylor expansion of 3.0 in x
0.078 * [taylor]: Taking taylor expansion of (* x y) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.080 * [taylor]: Taking taylor expansion of 3.0 in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
0.091 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.091 * [taylor]: Taking taylor expansion of 3.0 in y
0.091 * [taylor]: Taking taylor expansion of (* x y) in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.091 * [taylor]: Taking taylor expansion of 3.0 in x
0.091 * [taylor]: Taking taylor expansion of (* x y) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.092 * [taylor]: Taking taylor expansion of 3.0 in x
0.092 * [taylor]: Taking taylor expansion of (* x y) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.092 * [taylor]: Taking taylor expansion of 3.0 in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
0.099 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.099 * [taylor]: Taking taylor expansion of 3.0 in y
0.099 * [taylor]: Taking taylor expansion of (* x y) in y
0.099 * [taylor]: Taking taylor expansion of x in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.099 * [taylor]: Taking taylor expansion of 3.0 in x
0.099 * [taylor]: Taking taylor expansion of (* x y) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.100 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.100 * [taylor]: Taking taylor expansion of 3.0 in x
0.100 * [taylor]: Taking taylor expansion of (* x y) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of y in x
0.100 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.100 * [taylor]: Taking taylor expansion of 3.0 in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.105 * [taylor]: Taking taylor expansion of 0 in y
0.106 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.107 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
0.107 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
0.107 * [taylor]: Taking taylor expansion of 3.0 in y
0.107 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.107 * [taylor]: Taking taylor expansion of 3.0 in x
0.107 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.107 * [taylor]: Taking taylor expansion of y in x
0.107 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.107 * [taylor]: Taking taylor expansion of 3.0 in x
0.107 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.107 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of 0 in y
0.109 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
0.109 * [taylor]: Taking taylor expansion of 3.0 in y
0.109 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
0.115 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
0.115 * [taylor]: Taking taylor expansion of 3.0 in y
0.115 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.116 * [taylor]: Taking taylor expansion of 3.0 in x
0.116 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.117 * [taylor]: Taking taylor expansion of 3.0 in x
0.117 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
0.118 * [taylor]: Taking taylor expansion of 3.0 in y
0.118 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
0.140 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
0.140 * [taylor]: Taking taylor expansion of -3.0 in y
0.140 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.140 * [taylor]: Taking taylor expansion of x in y
0.140 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.141 * [taylor]: Taking taylor expansion of -3.0 in x
0.141 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.142 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.142 * [taylor]: Taking taylor expansion of -3.0 in x
0.142 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.142 * [taylor]: Taking taylor expansion of y in x
0.142 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
0.143 * [taylor]: Taking taylor expansion of -3.0 in y
0.143 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.145 * [taylor]: Taking taylor expansion of 0 in y
0.148 * [taylor]: Taking taylor expansion of 0 in y
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.160 * [taylor]: Taking taylor expansion of 0 in y
0.160 * * * [progress]: simplifying candidates
0.161 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (* x 3.0) y))
  (log1p (* (* x 3.0) y))
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (+ (+ (log x) (log 3.0)) (log y))
  (+ (log (* x 3.0)) (log y))
  (log (* (* x 3.0) y))
  (exp (* (* x 3.0) y))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y))
  (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y)))
  (cbrt (* (* x 3.0) y))
  (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (* (sqrt (* x 3.0)) (sqrt y))
  (* (sqrt (* x 3.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 3.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 3.0)) (sqrt y))
  (* (* x 3.0) (* (cbrt y) (cbrt y)))
  (* (* x 3.0) (sqrt y))
  (* (* x 3.0) 1)
  (* 3.0 y)
  (* (cbrt (* x 3.0)) y)
  (* (sqrt (* x 3.0)) y)
  (* (* x 3.0) y)
  (* (* (sqrt x) (sqrt 3.0)) y)
  (* (cbrt 3.0) y)
  (* (sqrt 3.0) y)
  (* 3.0 y)
  (* (* (cbrt x) 3.0) y)
  (* (* (sqrt x) 3.0) y)
  (* (* x 3.0) y)
  (* x y)
  (expm1 (* (* (* x 3.0) y) y))
  (log1p (* (* (* x 3.0) y) y))
  (* (* (* x 3.0) y) y)
  (* (* (* x 3.0) y) y)
  (* (* (* x 3.0) y) y)
  (+ (+ (+ (log x) (log 3.0)) (log y)) (log y))
  (+ (+ (log (* x 3.0)) (log y)) (log y))
  (+ (log (* (* x 3.0) y)) (log y))
  (log (* (* (* x 3.0) y) y))
  (exp (* (* (* x 3.0) y) y))
  (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (* (* y y) y))
  (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y)))
  (cbrt (* (* (* x 3.0) y) y))
  (* (* (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y)) (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (* (sqrt (* (* x 3.0) y)) (sqrt y))
  (* (sqrt (* (* x 3.0) y)) (sqrt y))
  (* (* (sqrt (* x 3.0)) (sqrt y)) (sqrt y))
  (* (* (sqrt (* x 3.0)) (sqrt y)) (sqrt y))
  (* (* (* (sqrt x) (sqrt 3.0)) (sqrt y)) (sqrt y))
  (* (* (* (sqrt x) (sqrt 3.0)) (sqrt y)) (sqrt y))
  (* (* (* x 3.0) y) (* (cbrt y) (cbrt y)))
  (* (* (* x 3.0) y) (sqrt y))
  (* (* (* x 3.0) y) 1)
  (* y y)
  (* (cbrt (* (* x 3.0) y)) y)
  (* (sqrt (* (* x 3.0) y)) y)
  (* (* (* x 3.0) y) y)
  (* (* (sqrt (* x 3.0)) (sqrt y)) y)
  (* (* (* (sqrt x) (sqrt 3.0)) (sqrt y)) y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (* (* 3.0 y) y)
  (* (* (cbrt (* x 3.0)) y) y)
  (* (* (sqrt (* x 3.0)) y) y)
  (* (* (* x 3.0) y) y)
  (* (* (* (sqrt x) (sqrt 3.0)) y) y)
  (* (* (cbrt 3.0) y) y)
  (* (* (sqrt 3.0) y) y)
  (* (* 3.0 y) y)
  (* (* (* (cbrt x) 3.0) y) y)
  (* (* (* (sqrt x) 3.0) y) y)
  (* (* (* x 3.0) y) y)
  (* (* x y) y)
  (* (* x 3.0) y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
0.168 * * [simplify]: iteration  0 :  257  enodes  (cost  350 )
0.180 * * [simplify]: iteration  1 :  1195  enodes  (cost  295 )
0.244 * * [simplify]: iteration  2 :  5001  enodes  (cost  295 )
0.247 * [simplify]: Simplified to:
   (expm1 (* (* x 3.0) y))
  (log1p (* (* x 3.0) y))
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (log (* (* x 3.0) y))
  (log (* (* x 3.0) y))
  (log (* (* x 3.0) y))
  (exp (* (* x 3.0) y))
  (pow (* (* x 3.0) y) 3)
  (pow (* (* x 3.0) y) 3)
  (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y)))
  (cbrt (* (* x 3.0) y))
  (pow (* (* x 3.0) y) 3)
  (sqrt (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (* (sqrt (* x 3.0)) (sqrt y))
  (* (sqrt (* x 3.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 3.0)) (sqrt y))
  (* (* (sqrt x) (sqrt 3.0)) (sqrt y))
  (* (* x 3.0) (* (cbrt y) (cbrt y)))
  (* (* x 3.0) (sqrt y))
  (* x 3.0)
  (* 3.0 y)
  (* (cbrt (* x 3.0)) y)
  (* y (sqrt (* x 3.0)))
  (* (* x 3.0) y)
  (* y (* (sqrt x) (sqrt 3.0)))
  (* (cbrt 3.0) y)
  (* (sqrt 3.0) y)
  (* 3.0 y)
  (* (* (cbrt x) 3.0) y)
  (* (* (sqrt x) 3.0) y)
  (* (* x 3.0) y)
  (* x y)
  (expm1 (* (* (* x 3.0) y) y))
  (log1p (* (* (* x 3.0) y) y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (log (* (* (* x 3.0) y) y))
  (log (* (* (* x 3.0) y) y))
  (log (* (* (* x 3.0) y) y))
  (log (* (* (* x 3.0) y) y))
  (exp (* (* (* x 3.0) y) y))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y)))
  (cbrt (* (* (* x 3.0) y) y))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (sqrt (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (* (sqrt (* (* x 3.0) y)) (sqrt y))
  (* (sqrt (* (* x 3.0) y)) (sqrt y))
  (* y (sqrt (* x 3.0)))
  (* y (sqrt (* x 3.0)))
  (* y (* (sqrt x) (sqrt 3.0)))
  (* y (* (sqrt x) (sqrt 3.0)))
  (* (* (* x 3.0) y) (* (cbrt y) (cbrt y)))
  (* (* (* x 3.0) y) (sqrt y))
  (* (* x 3.0) y)
  (pow y 2)
  (* (cbrt (* (* x 3.0) y)) y)
  (* (sqrt (* (* x 3.0) y)) y)
  (* 3.0 (* x (pow y 2)))
  (* (* (sqrt (* x 3.0)) (sqrt y)) y)
  (* (* (* (sqrt x) (sqrt 3.0)) (sqrt y)) y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (pow y 2)
  (* (* 3.0 y) y)
  (* (* (cbrt (* x 3.0)) y) y)
  (* (* (sqrt (* x 3.0)) y) y)
  (* 3.0 (* x (pow y 2)))
  (* (* (* (sqrt x) (sqrt 3.0)) y) y)
  (* (* (cbrt 3.0) y) y)
  (* (* (sqrt 3.0) y) y)
  (* (* 3.0 y) y)
  (* (* (* (cbrt x) 3.0) y) y)
  (* (* (* (sqrt x) 3.0) y) y)
  (* 3.0 (* x (pow y 2)))
  (* (* x y) y)
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
0.247 * * * [progress]: adding candidates to table
0.365 * * [progress]: iteration 2 / 4
0.365 * * * [progress]: picking best candidate
0.383 * * * * [pick]: Picked  #<alt (λ (x y) (* 3.0 (* (* x y) y)))>
0.383 * * * [progress]: localizing error
0.388 * * * [progress]: generating rewritten candidates
0.388 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.408 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.421 * * * [progress]: generating series expansions
0.421 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.421 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
0.422 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
0.422 * [taylor]: Taking taylor expansion of 3.0 in y
0.422 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.422 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.422 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.422 * [taylor]: Taking taylor expansion of 3.0 in x
0.422 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.422 * [taylor]: Taking taylor expansion of y in x
0.422 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.422 * [taylor]: Taking taylor expansion of 3.0 in x
0.422 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.422 * [taylor]: Taking taylor expansion of y in x
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.424 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
0.424 * [taylor]: Taking taylor expansion of 3.0 in y
0.424 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.424 * [taylor]: Taking taylor expansion of y in y
0.427 * [taylor]: Taking taylor expansion of 0 in y
0.431 * [taylor]: Taking taylor expansion of 0 in y
0.431 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
0.431 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
0.431 * [taylor]: Taking taylor expansion of 3.0 in y
0.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.431 * [taylor]: Taking taylor expansion of x in y
0.431 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.431 * [taylor]: Taking taylor expansion of y in y
0.432 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.432 * [taylor]: Taking taylor expansion of 3.0 in x
0.432 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.432 * [taylor]: Taking taylor expansion of y in x
0.432 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.432 * [taylor]: Taking taylor expansion of 3.0 in x
0.432 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.432 * [taylor]: Taking taylor expansion of y in x
0.433 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
0.433 * [taylor]: Taking taylor expansion of 3.0 in y
0.433 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.433 * [taylor]: Taking taylor expansion of y in y
0.435 * [taylor]: Taking taylor expansion of 0 in y
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.442 * [taylor]: Taking taylor expansion of 0 in y
0.447 * [taylor]: Taking taylor expansion of 0 in y
0.447 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
0.447 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
0.447 * [taylor]: Taking taylor expansion of -3.0 in y
0.447 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.447 * [taylor]: Taking taylor expansion of x in y
0.447 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.447 * [taylor]: Taking taylor expansion of y in y
0.448 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.448 * [taylor]: Taking taylor expansion of -3.0 in x
0.448 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.448 * [taylor]: Taking taylor expansion of y in x
0.448 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.448 * [taylor]: Taking taylor expansion of -3.0 in x
0.448 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.448 * [taylor]: Taking taylor expansion of y in x
0.449 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
0.449 * [taylor]: Taking taylor expansion of -3.0 in y
0.449 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.449 * [taylor]: Taking taylor expansion of y in y
0.451 * [taylor]: Taking taylor expansion of 0 in y
0.454 * [taylor]: Taking taylor expansion of 0 in y
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.463 * [taylor]: Taking taylor expansion of 0 in y
0.463 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.463 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
0.463 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.464 * [taylor]: Taking taylor expansion of y in x
0.464 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.464 * [taylor]: Taking taylor expansion of y in x
0.464 * [taylor]: Taking taylor expansion of 0 in y
0.465 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.466 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.469 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.469 * [taylor]: Taking taylor expansion of x in y
0.469 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.469 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.469 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.470 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.470 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of 0 in y
0.478 * [taylor]: Taking taylor expansion of 0 in y
0.482 * [taylor]: Taking taylor expansion of 0 in y
0.487 * [taylor]: Taking taylor expansion of 0 in y
0.487 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
0.487 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
0.487 * [taylor]: Taking taylor expansion of -1 in y
0.487 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.487 * [taylor]: Taking taylor expansion of x in y
0.487 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.487 * [taylor]: Taking taylor expansion of y in y
0.488 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.488 * [taylor]: Taking taylor expansion of -1 in x
0.488 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.488 * [taylor]: Taking taylor expansion of y in x
0.489 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.489 * [taylor]: Taking taylor expansion of -1 in x
0.489 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.489 * [taylor]: Taking taylor expansion of y in x
0.489 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
0.490 * [taylor]: Taking taylor expansion of -1 in y
0.490 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.492 * [taylor]: Taking taylor expansion of 0 in y
0.503 * [taylor]: Taking taylor expansion of 0 in y
0.507 * [taylor]: Taking taylor expansion of 0 in y
0.512 * [taylor]: Taking taylor expansion of 0 in y
0.512 * * * [progress]: simplifying candidates
0.513 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* 3.0 (* (* x y) y)))
  (log1p (* 3.0 (* (* x y) y)))
  (* 3.0 (* (* x y) y))
  (* 3.0 (* (* x y) y))
  (* 3.0 (* (* x y) y))
  (+ (log 3.0) (+ (+ (log x) (log y)) (log y)))
  (+ (log 3.0) (+ (log (* x y)) (log y)))
  (+ (log 3.0) (log (* (* x y) y)))
  (log (* 3.0 (* (* x y) y)))
  (exp (* 3.0 (* (* x y) y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))
  (* (cbrt (* 3.0 (* (* x y) y))) (cbrt (* 3.0 (* (* x y) y))))
  (cbrt (* 3.0 (* (* x y) y)))
  (* (* (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y))) (* 3.0 (* (* x y) y)))
  (sqrt (* 3.0 (* (* x y) y)))
  (sqrt (* 3.0 (* (* x y) y)))
  (* (sqrt 3.0) (sqrt (* (* x y) y)))
  (* (sqrt 3.0) (sqrt (* (* x y) y)))
  (* (sqrt 3.0) (* (sqrt (* x y)) (sqrt y)))
  (* (sqrt 3.0) (* (sqrt (* x y)) (sqrt y)))
  (* (sqrt 3.0) (* (* (sqrt x) (sqrt y)) (sqrt y)))
  (* (sqrt 3.0) (* (* (sqrt x) (sqrt y)) (sqrt y)))
  (* 3.0 (* x y))
  (* 3.0 (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))))
  (* 3.0 (sqrt (* (* x y) y)))
  (* 3.0 1)
  (* 3.0 (* (sqrt (* x y)) (sqrt y)))
  (* 3.0 (* (* (sqrt x) (sqrt y)) (sqrt y)))
  (* 3.0 (* (* x y) (* (cbrt y) (cbrt y))))
  (* 3.0 (* (* x y) (sqrt y)))
  (* 3.0 (* (* x y) 1))
  (* 3.0 x)
  (* 3.0 (* (cbrt (* x y)) (cbrt (* x y))))
  (* 3.0 (sqrt (* x y)))
  (* 3.0 1)
  (* 3.0 (* (sqrt x) (sqrt y)))
  (* 3.0 (* x (* (cbrt y) (cbrt y))))
  (* 3.0 (* x (sqrt y)))
  (* 3.0 (* x 1))
  (* 3.0 (* (cbrt x) (cbrt x)))
  (* 3.0 (sqrt x))
  (* 3.0 1)
  (* 3.0 y)
  (* 3.0 y)
  (* (cbrt 3.0) (* (* x y) y))
  (* (sqrt 3.0) (* (* x y) y))
  (* 3.0 (* (* 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))
  (* (sqrt (* x y)) (sqrt y))
  (* (sqrt (* x y)) (sqrt y))
  (* (* (sqrt x) (sqrt y)) (sqrt y))
  (* (* (sqrt x) (sqrt y)) (sqrt y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (* (cbrt (* x y)) y)
  (* (sqrt (* x y)) y)
  (* (* x y) y)
  (* (* (sqrt x) (sqrt y)) y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (* (* (cbrt x) y) y)
  (* (* (sqrt x) y) y)
  (* (* x y) y)
  (* x y)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
0.520 * * [simplify]: iteration  0 :  271  enodes  (cost  348 )
0.537 * * [simplify]: iteration  1 :  1426  enodes  (cost  290 )
0.601 * * [simplify]: iteration  2 :  5001  enodes  (cost  290 )
0.604 * [simplify]: Simplified to:
   (expm1 (* 3.0 (* (* x y) y)))
  (log1p (* 3.0 (* (* x y) y)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (log (* 3.0 (* (* x y) y)))
  (log (* 3.0 (* (* x y) y)))
  (log (* 3.0 (* (* x y) y)))
  (log (* 3.0 (* (* x y) y)))
  (exp (* 3.0 (* (* x y) y)))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (* (cbrt (* 3.0 (* (* x y) y))) (cbrt (* 3.0 (* (* x y) y))))
  (cbrt (* 3.0 (* (* x y) y)))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (sqrt (* 3.0 (* (* x y) y)))
  (sqrt (* 3.0 (* (* x y) y)))
  (* (sqrt 3.0) (sqrt (* (* x y) y)))
  (* (sqrt 3.0) (sqrt (* (* x y) y)))
  (* (sqrt 3.0) (* (sqrt (* x y)) (sqrt y)))
  (* (sqrt 3.0) (* (sqrt (* x y)) (sqrt y)))
  (* (* (sqrt 3.0) (sqrt x)) y)
  (* (* (sqrt 3.0) (sqrt x)) y)
  (* (* x y) 3.0)
  (* 3.0 (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))))
  (* 3.0 (sqrt (* (* x y) y)))
  3.0
  (* 3.0 (* (sqrt (* x y)) (sqrt y)))
  (* (* 3.0 (sqrt x)) y)
  (* 3.0 (* (* x y) (* (cbrt y) (cbrt y))))
  (* 3.0 (* (* x y) (sqrt y)))
  (* (* x y) 3.0)
  (* x 3.0)
  (* 3.0 (* (cbrt (* x y)) (cbrt (* x y))))
  (* 3.0 (sqrt (* x y)))
  3.0
  (* 3.0 (* (sqrt x) (sqrt y)))
  (* 3.0 (* x (* (cbrt y) (cbrt y))))
  (* 3.0 (* x (sqrt y)))
  (* x 3.0)
  (* 3.0 (* (cbrt x) (cbrt x)))
  (* 3.0 (sqrt x))
  3.0
  (* 3.0 y)
  (* 3.0 y)
  (* (cbrt 3.0) (* (* x y) y))
  (* (sqrt 3.0) (* (* x y) y))
  (* 3.0 (* x (pow y 2)))
  (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* x y) y)
  (* (* x y) y)
  (log (* (* x y) y))
  (log (* (* x y) y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (pow (* (* x y) y) 3)
  (pow (* (* x y) y) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* (* x y) y) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (sqrt (* x y)) (sqrt y))
  (* (sqrt (* x y)) (sqrt y))
  (* y (sqrt x))
  (* y (sqrt x))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* x y)
  (pow y 2)
  (* (cbrt (* x y)) y)
  (* (sqrt (* x y)) y)
  (* (* x y) y)
  (* (* (sqrt x) (sqrt y)) y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (pow y 2)
  (* (* (cbrt x) y) y)
  (* (* (sqrt x) y) y)
  (* (* x y) y)
  (* x y)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* (* x y) y)
  (* (* x y) y)
  (* (* x y) y)
0.604 * * * [progress]: adding candidates to table
0.716 * * [progress]: iteration 3 / 4
0.716 * * * [progress]: picking best candidate
0.731 * * * * [pick]: Picked  #<alt (λ (x y) (* (* 3.0 y) (* x y)))>
0.731 * * * [progress]: localizing error
0.736 * * * [progress]: generating rewritten candidates
0.736 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.752 * * * [progress]: generating series expansions
0.752 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.752 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (y x) around 0
0.752 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.752 * [taylor]: Taking taylor expansion of 3.0 in x
0.752 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
0.752 * [taylor]: Taking taylor expansion of 3.0 in y
0.752 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.752 * [taylor]: Taking taylor expansion of x in y
0.752 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.752 * [taylor]: Taking taylor expansion of y in y
0.752 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
0.752 * [taylor]: Taking taylor expansion of 3.0 in y
0.752 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.752 * [taylor]: Taking taylor expansion of x in y
0.752 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.752 * [taylor]: Taking taylor expansion of y in y
0.753 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.753 * [taylor]: Taking taylor expansion of 3.0 in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of 0 in x
0.758 * [taylor]: Taking taylor expansion of 0 in x
0.761 * [taylor]: Taking taylor expansion of 0 in x
0.762 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (y x) around 0
0.762 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.762 * [taylor]: Taking taylor expansion of 3.0 in x
0.762 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.763 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
0.763 * [taylor]: Taking taylor expansion of 3.0 in y
0.763 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.763 * [taylor]: Taking taylor expansion of x in y
0.763 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
0.763 * [taylor]: Taking taylor expansion of 3.0 in y
0.763 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.763 * [taylor]: Taking taylor expansion of x in y
0.763 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
0.764 * [taylor]: Taking taylor expansion of 3.0 in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of 0 in x
0.767 * [taylor]: Taking taylor expansion of 0 in x
0.769 * [taylor]: Taking taylor expansion of 0 in x
0.771 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (y x) around 0
0.771 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.771 * [taylor]: Taking taylor expansion of -3.0 in x
0.771 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
0.772 * [taylor]: Taking taylor expansion of -3.0 in y
0.772 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.772 * [taylor]: Taking taylor expansion of x in y
0.772 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.772 * [taylor]: Taking taylor expansion of y in y
0.772 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
0.772 * [taylor]: Taking taylor expansion of -3.0 in y
0.772 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.772 * [taylor]: Taking taylor expansion of x in y
0.772 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.772 * [taylor]: Taking taylor expansion of y in y
0.773 * [taylor]: Taking taylor expansion of (/ -3.0 x) in x
0.773 * [taylor]: Taking taylor expansion of -3.0 in x
0.773 * [taylor]: Taking taylor expansion of x in x
0.774 * [taylor]: Taking taylor expansion of 0 in x
0.776 * [taylor]: Taking taylor expansion of 0 in x
0.786 * [taylor]: Taking taylor expansion of 0 in x
0.787 * * * [progress]: simplifying candidates
0.788 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (* 3.0 y) (* x y)))
  (log1p (* (* 3.0 y) (* x y)))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (+ (+ (log 3.0) (log y)) (+ (log x) (log y)))
  (+ (+ (log 3.0) (log y)) (log (* x y)))
  (+ (log (* 3.0 y)) (+ (log x) (log y)))
  (+ (log (* 3.0 y)) (log (* x y)))
  (log (* (* 3.0 y) (* x y)))
  (exp (* (* 3.0 y) (* x y)))
  (* (* (* (* 3.0 3.0) 3.0) (* (* y y) y)) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* (* 3.0 3.0) 3.0) (* (* y y) y)) (* (* (* x y) (* x y)) (* x y)))
  (* (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* (* 3.0 y) (* x y))) (cbrt (* (* 3.0 y) (* x y))))
  (cbrt (* (* 3.0 y) (* x y)))
  (* (* (* (* 3.0 y) (* x y)) (* (* 3.0 y) (* x y))) (* (* 3.0 y) (* x y)))
  (sqrt (* (* 3.0 y) (* x y)))
  (sqrt (* (* 3.0 y) (* x y)))
  (* (sqrt (* 3.0 y)) (sqrt (* x y)))
  (* (sqrt (* 3.0 y)) (sqrt (* x y)))
  (* (sqrt (* 3.0 y)) (* (sqrt x) (sqrt y)))
  (* (sqrt (* 3.0 y)) (* (sqrt x) (sqrt y)))
  (* (* (sqrt 3.0) (sqrt y)) (sqrt (* x y)))
  (* (* (sqrt 3.0) (sqrt y)) (sqrt (* x y)))
  (* (* (sqrt 3.0) (sqrt y)) (* (sqrt x) (sqrt y)))
  (* (* (sqrt 3.0) (sqrt y)) (* (sqrt x) (sqrt y)))
  (* (* 3.0 y) x)
  (* (* 3.0 y) (* (cbrt (* x y)) (cbrt (* x y))))
  (* (* 3.0 y) (sqrt (* x y)))
  (* (* 3.0 y) 1)
  (* (* 3.0 y) (* (sqrt x) (sqrt y)))
  (* (* 3.0 y) (* x (* (cbrt y) (cbrt y))))
  (* (* 3.0 y) (* x (sqrt y)))
  (* (* 3.0 y) (* x 1))
  (* (* 3.0 y) (* (cbrt x) (cbrt x)))
  (* (* 3.0 y) (sqrt x))
  (* (* 3.0 y) 1)
  (* (* 3.0 y) y)
  (* y (* x y))
  (* (cbrt (* 3.0 y)) (* x y))
  (* (sqrt (* 3.0 y)) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* (sqrt 3.0) (sqrt y)) (* x y))
  (* (cbrt y) (* x y))
  (* (sqrt y) (* x y))
  (* y (* x y))
  (* (* (cbrt 3.0) y) (* x y))
  (* (* (sqrt 3.0) y) (* x y))
  (* (* 3.0 y) (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
0.794 * * [simplify]: iteration  0 :  264  enodes  (cost  258 )
0.807 * * [simplify]: iteration  1 :  1329  enodes  (cost  223 )
0.869 * * [simplify]: iteration  2 :  5001  enodes  (cost  217 )
0.871 * [simplify]: Simplified to:
   (expm1 (* (* 3.0 y) (* x y)))
  (log1p (* (* 3.0 y) (* x y)))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (log (* (* 3.0 y) (* x y)))
  (log (* (* 3.0 y) (* x y)))
  (log (* (* 3.0 y) (* x y)))
  (log (* (* 3.0 y) (* x y)))
  (log (* (* 3.0 y) (* x y)))
  (exp (* (* 3.0 y) (* x y)))
  (pow (* (* 3.0 y) (* x y)) 3)
  (pow (* (* 3.0 y) (* x y)) 3)
  (pow (* (* 3.0 y) (* x y)) 3)
  (pow (* (* 3.0 y) (* x y)) 3)
  (* (cbrt (* (* 3.0 y) (* x y))) (cbrt (* (* 3.0 y) (* x y))))
  (cbrt (* (* 3.0 y) (* x y)))
  (pow (* (* 3.0 y) (* x y)) 3)
  (sqrt (* (* 3.0 y) (* x y)))
  (sqrt (* (* 3.0 y) (* x y)))
  (* (sqrt (* 3.0 y)) (sqrt (* x y)))
  (* (sqrt (* 3.0 y)) (sqrt (* x y)))
  (* (sqrt (* 3.0 y)) (* (sqrt x) (sqrt y)))
  (* (sqrt (* 3.0 y)) (* (sqrt x) (sqrt y)))
  (* (* (sqrt 3.0) (sqrt y)) (sqrt (* x y)))
  (* (* (sqrt 3.0) (sqrt y)) (sqrt (* x y)))
  (* (* (sqrt 3.0) y) (sqrt x))
  (* (* (sqrt 3.0) y) (sqrt x))
  (* 3.0 (* y x))
  (* (* 3.0 y) (* (cbrt (* x y)) (cbrt (* x y))))
  (* (* 3.0 y) (sqrt (* x y)))
  (* 3.0 y)
  (* (* 3.0 y) (* (sqrt x) (sqrt y)))
  (* (* 3.0 y) (* x (* (cbrt y) (cbrt y))))
  (* (* 3.0 y) (* x (sqrt y)))
  (* 3.0 (* y x))
  (* (* 3.0 y) (* (cbrt x) (cbrt x)))
  (* (* 3.0 y) (sqrt x))
  (* 3.0 y)
  (* (* 3.0 y) y)
  (* x (pow y 2))
  (* (cbrt (* 3.0 y)) (* x y))
  (* (sqrt (* 3.0 y)) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* (sqrt 3.0) (sqrt y)) (* x y))
  (* (cbrt y) (* x y))
  (* (sqrt y) (* x y))
  (* x (pow y 2))
  (* (* (cbrt 3.0) y) (* x y))
  (* (* (sqrt 3.0) y) (* x y))
  (* (* 3.0 y) (* x y))
  (* 3.0 (* y x))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
  (* (* 3.0 y) (* x y))
0.872 * * * [progress]: adding candidates to table
0.940 * * [progress]: iteration 4 / 4
0.940 * * * [progress]: picking best candidate
0.951 * * * * [pick]: Picked  #<alt (λ (x y) (* y (* 3.0 (* y x))))>
0.951 * * * [progress]: localizing error
0.956 * * * [progress]: generating rewritten candidates
0.956 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.965 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.983 * * * [progress]: generating series expansions
0.983 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.983 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (y x) around 0
0.983 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
0.983 * [taylor]: Taking taylor expansion of 3.0 in x
0.983 * [taylor]: Taking taylor expansion of (* x y) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
0.983 * [taylor]: Taking taylor expansion of 3.0 in y
0.983 * [taylor]: Taking taylor expansion of (* x y) in y
0.983 * [taylor]: Taking taylor expansion of x in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
0.983 * [taylor]: Taking taylor expansion of 3.0 in y
0.983 * [taylor]: Taking taylor expansion of (* x y) in y
0.983 * [taylor]: Taking taylor expansion of x in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of 0 in x
0.985 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.985 * [taylor]: Taking taylor expansion of 3.0 in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of 0 in x
0.990 * [taylor]: Taking taylor expansion of 0 in x
0.992 * [taylor]: Taking taylor expansion of 0 in x
0.993 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0
0.993 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.993 * [taylor]: Taking taylor expansion of 3.0 in x
0.993 * [taylor]: Taking taylor expansion of (* x y) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of y in x
0.993 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.993 * [taylor]: Taking taylor expansion of 3.0 in y
0.993 * [taylor]: Taking taylor expansion of (* x y) in y
0.993 * [taylor]: Taking taylor expansion of x in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.994 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.994 * [taylor]: Taking taylor expansion of 3.0 in y
0.994 * [taylor]: Taking taylor expansion of (* x y) in y
0.994 * [taylor]: Taking taylor expansion of x in y
0.994 * [taylor]: Taking taylor expansion of y in y
0.994 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
0.994 * [taylor]: Taking taylor expansion of 3.0 in x
0.994 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of 0 in x
1.005 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.007 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0
1.007 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
1.008 * [taylor]: Taking taylor expansion of 3.0 in x
1.008 * [taylor]: Taking taylor expansion of (* x y) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
1.008 * [taylor]: Taking taylor expansion of 3.0 in y
1.008 * [taylor]: Taking taylor expansion of (* x y) in y
1.008 * [taylor]: Taking taylor expansion of x in y
1.008 * [taylor]: Taking taylor expansion of y in y
1.008 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
1.009 * [taylor]: Taking taylor expansion of 3.0 in y
1.009 * [taylor]: Taking taylor expansion of (* x y) in y
1.009 * [taylor]: Taking taylor expansion of x in y
1.009 * [taylor]: Taking taylor expansion of y in y
1.009 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
1.009 * [taylor]: Taking taylor expansion of 3.0 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of 0 in x
1.011 * [taylor]: Taking taylor expansion of 0 in x
1.013 * [taylor]: Taking taylor expansion of 0 in x
1.014 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.014 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (y x) around 0
1.014 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
1.014 * [taylor]: Taking taylor expansion of 3.0 in x
1.014 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.014 * [taylor]: Taking taylor expansion of y in x
1.014 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
1.014 * [taylor]: Taking taylor expansion of 3.0 in y
1.014 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.014 * [taylor]: Taking taylor expansion of x in y
1.014 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.014 * [taylor]: Taking taylor expansion of y in y
1.014 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
1.014 * [taylor]: Taking taylor expansion of 3.0 in y
1.014 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.014 * [taylor]: Taking taylor expansion of x in y
1.014 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.014 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.015 * [taylor]: Taking taylor expansion of 3.0 in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of 0 in x
1.019 * [taylor]: Taking taylor expansion of 0 in x
1.022 * [taylor]: Taking taylor expansion of 0 in x
1.022 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (y x) around 0
1.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
1.022 * [taylor]: Taking taylor expansion of 3.0 in x
1.022 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.022 * [taylor]: Taking taylor expansion of y in x
1.023 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
1.023 * [taylor]: Taking taylor expansion of 3.0 in y
1.023 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.023 * [taylor]: Taking taylor expansion of x in y
1.023 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.023 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
1.024 * [taylor]: Taking taylor expansion of 3.0 in y
1.024 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.024 * [taylor]: Taking taylor expansion of x in y
1.024 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x
1.024 * [taylor]: Taking taylor expansion of 3.0 in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of 0 in x
1.027 * [taylor]: Taking taylor expansion of 0 in x
1.029 * [taylor]: Taking taylor expansion of 0 in x
1.030 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (y x) around 0
1.030 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
1.030 * [taylor]: Taking taylor expansion of -3.0 in x
1.030 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.030 * [taylor]: Taking taylor expansion of x in x
1.030 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.030 * [taylor]: Taking taylor expansion of y in x
1.031 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
1.031 * [taylor]: Taking taylor expansion of -3.0 in y
1.031 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
1.032 * [taylor]: Taking taylor expansion of -3.0 in y
1.032 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.032 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.032 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (/ -3.0 x) in x
1.032 * [taylor]: Taking taylor expansion of -3.0 in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of 0 in x
1.035 * [taylor]: Taking taylor expansion of 0 in x
1.038 * [taylor]: Taking taylor expansion of 0 in x
1.039 * * * [progress]: simplifying candidates
1.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* 3.0 (* y x)))
  (log1p (* 3.0 (* y x)))
  (* 3.0 (* y x))
  (* 3.0 (* y x))
  (+ (log 3.0) (+ (log y) (log x)))
  (+ (log 3.0) (log (* y x)))
  (log (* 3.0 (* y x)))
  (exp (* 3.0 (* y x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* y y) y) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* y x) (* y x)) (* y x)))
  (* (cbrt (* 3.0 (* y x))) (cbrt (* 3.0 (* y x))))
  (cbrt (* 3.0 (* y x)))
  (* (* (* 3.0 (* y x)) (* 3.0 (* y x))) (* 3.0 (* y x)))
  (sqrt (* 3.0 (* y x)))
  (sqrt (* 3.0 (* y x)))
  (* (sqrt 3.0) (sqrt (* y x)))
  (* (sqrt 3.0) (sqrt (* y x)))
  (* (sqrt 3.0) (* (sqrt y) (sqrt x)))
  (* (sqrt 3.0) (* (sqrt y) (sqrt x)))
  (* 3.0 y)
  (* 3.0 (* (cbrt (* y x)) (cbrt (* y x))))
  (* 3.0 (sqrt (* y x)))
  (* 3.0 1)
  (* 3.0 (* (sqrt y) (sqrt x)))
  (* 3.0 (* y (* (cbrt x) (cbrt x))))
  (* 3.0 (* y (sqrt x)))
  (* 3.0 (* y 1))
  (* 3.0 (* (cbrt y) (cbrt y)))
  (* 3.0 (sqrt y))
  (* 3.0 1)
  (* 3.0 x)
  (* (cbrt 3.0) (* y x))
  (* (sqrt 3.0) (* y x))
  (* 3.0 (* y x))
  (expm1 (* y (* 3.0 (* y x))))
  (log1p (* y (* 3.0 (* y x))))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (+ (log y) (+ (log 3.0) (+ (log y) (log x))))
  (+ (log y) (+ (log 3.0) (log (* y x))))
  (+ (log y) (log (* 3.0 (* y x))))
  (log (* y (* 3.0 (* y x))))
  (exp (* y (* 3.0 (* y x))))
  (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (* (* (* y y) y) (* (* x x) x))))
  (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (* (* (* y x) (* y x)) (* y x))))
  (* (* (* y y) y) (* (* (* 3.0 (* y x)) (* 3.0 (* y x))) (* 3.0 (* y x))))
  (* (cbrt (* y (* 3.0 (* y x)))) (cbrt (* y (* 3.0 (* y x)))))
  (cbrt (* y (* 3.0 (* y x))))
  (* (* (* y (* 3.0 (* y x))) (* y (* 3.0 (* y x)))) (* y (* 3.0 (* y x))))
  (sqrt (* y (* 3.0 (* y x))))
  (sqrt (* y (* 3.0 (* y x))))
  (* (sqrt y) (sqrt (* 3.0 (* y x))))
  (* (sqrt y) (sqrt (* 3.0 (* y x))))
  (* (sqrt y) (* (sqrt 3.0) (sqrt (* y x))))
  (* (sqrt y) (* (sqrt 3.0) (sqrt (* y x))))
  (* (sqrt y) (* (sqrt 3.0) (* (sqrt y) (sqrt x))))
  (* (sqrt y) (* (sqrt 3.0) (* (sqrt y) (sqrt x))))
  (* y 3.0)
  (* y (* (cbrt (* 3.0 (* y x))) (cbrt (* 3.0 (* y x)))))
  (* y (sqrt (* 3.0 (* y x))))
  (* y 1)
  (* y (* (sqrt 3.0) (sqrt (* y x))))
  (* y (* (sqrt 3.0) (* (sqrt y) (sqrt x))))
  (* y (* 3.0 y))
  (* y (* 3.0 (* (cbrt (* y x)) (cbrt (* y x)))))
  (* y (* 3.0 (sqrt (* y x))))
  (* y (* 3.0 1))
  (* y (* 3.0 (* (sqrt y) (sqrt x))))
  (* y (* 3.0 (* y (* (cbrt x) (cbrt x)))))
  (* y (* 3.0 (* y (sqrt x))))
  (* y (* 3.0 (* y 1)))
  (* y (* 3.0 (* (cbrt y) (cbrt y))))
  (* y (* 3.0 (sqrt y)))
  (* y (* 3.0 1))
  (* y (* 3.0 x))
  (* y (* (cbrt 3.0) (cbrt 3.0)))
  (* y (sqrt 3.0))
  (* y 1)
  (* y (* y x))
  (* (cbrt y) (* 3.0 (* y x)))
  (* (sqrt y) (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
1.048 * * [simplify]: iteration  0 :  273  enodes  (cost  356 )
1.064 * * [simplify]: iteration  1 :  1503  enodes  (cost  313 )
1.136 * * [simplify]: iteration  2 :  5001  enodes  (cost  307 )
1.139 * [simplify]: Simplified to:
   (expm1 (* 3.0 (* y x)))
  (log1p (* 3.0 (* y x)))
  (* y (* 3.0 x))
  (* y (* 3.0 x))
  (log (* 3.0 (* y x)))
  (log (* 3.0 (* y x)))
  (log (* 3.0 (* y x)))
  (exp (* 3.0 (* y x)))
  (pow (* y (* 3.0 x)) 3)
  (pow (* y (* 3.0 x)) 3)
  (* (cbrt (* 3.0 (* y x))) (cbrt (* 3.0 (* y x))))
  (cbrt (* 3.0 (* y x)))
  (pow (* y (* 3.0 x)) 3)
  (sqrt (* 3.0 (* y x)))
  (sqrt (* 3.0 (* y x)))
  (* (sqrt 3.0) (sqrt (* y x)))
  (* (sqrt 3.0) (sqrt (* y x)))
  (* (sqrt 3.0) (* (sqrt y) (sqrt x)))
  (* (sqrt 3.0) (* (sqrt y) (sqrt x)))
  (* y 3.0)
  (* 3.0 (* (cbrt (* y x)) (cbrt (* y x))))
  (* 3.0 (sqrt (* y x)))
  3.0
  (* 3.0 (* (sqrt y) (sqrt x)))
  (* 3.0 (* y (* (cbrt x) (cbrt x))))
  (* 3.0 (* y (sqrt x)))
  (* y 3.0)
  (* 3.0 (* (cbrt y) (cbrt y)))
  (* 3.0 (sqrt y))
  3.0
  (* 3.0 x)
  (* (cbrt 3.0) (* y x))
  (* (sqrt 3.0) (* y x))
  (* y (* 3.0 x))
  (expm1 (* y (* 3.0 (* y x))))
  (log1p (* y (* 3.0 (* y x))))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (log (* y (* 3.0 (* y x))))
  (log (* y (* 3.0 (* y x))))
  (log (* y (* 3.0 (* y x))))
  (log (* y (* 3.0 (* y x))))
  (exp (* y (* 3.0 (* y x))))
  (pow (* y (* 3.0 (* y x))) 3)
  (pow (* y (* 3.0 (* y x))) 3)
  (pow (* y (* 3.0 (* y x))) 3)
  (* (cbrt (* y (* 3.0 (* y x)))) (cbrt (* y (* 3.0 (* y x)))))
  (cbrt (* y (* 3.0 (* y x))))
  (pow (* y (* 3.0 (* y x))) 3)
  (sqrt (* y (* 3.0 (* y x))))
  (sqrt (* y (* 3.0 (* y x))))
  (* (sqrt (* 3.0 (* y x))) (pow y 1/2))
  (* (sqrt (* 3.0 (* y x))) (pow y 1/2))
  (* (sqrt y) (* (sqrt 3.0) (sqrt (* y x))))
  (* (sqrt y) (* (sqrt 3.0) (sqrt (* y x))))
  (* (* y (sqrt 3.0)) (sqrt x))
  (* (* y (sqrt 3.0)) (sqrt x))
  (* y 3.0)
  (* y (* (cbrt (* 3.0 (* y x))) (cbrt (* 3.0 (* y x)))))
  (* y (sqrt (* 3.0 (* y x))))
  y
  (* y (* (sqrt 3.0) (sqrt (* y x))))
  (* y (* (sqrt 3.0) (* (sqrt y) (sqrt x))))
  (* (* y 3.0) y)
  (* y (* 3.0 (* (cbrt (* y x)) (cbrt (* y x)))))
  (* y (* 3.0 (sqrt (* y x))))
  (* y 3.0)
  (* y (* 3.0 (* (sqrt y) (sqrt x))))
  (* y (* 3.0 (* y (* (cbrt x) (cbrt x)))))
  (* y (* 3.0 (* y (sqrt x))))
  (* (* y 3.0) y)
  (* y (* 3.0 (* (cbrt y) (cbrt y))))
  (* y (* 3.0 (sqrt y)))
  (* y 3.0)
  (* y (* 3.0 x))
  (* y (* (cbrt 3.0) (cbrt 3.0)))
  (* y (sqrt 3.0))
  y
  (* y (* y x))
  (* (cbrt y) (* 3.0 (* y x)))
  (* (sqrt y) (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 x))
  (* y (* 3.0 x))
  (* y (* 3.0 x))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
  (* y (* 3.0 (* y x)))
1.139 * * * [progress]: adding candidates to table
1.252 * [progress]: [Phase 3 of 3] Extracting.
1.252 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* 3.0 (sqrt (* (* x y) y))) (sqrt (* (* x y) y))))> #<alt (λ (x y) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))> #<alt (λ (x y) (* (* 3.0 y) (* x y)))> #<alt (λ (x y) (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* y x)))))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))> #<alt (λ (x y) (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) y) y)))> #<alt (λ (x y) (* 3.0 (* (* x y) y)))> #<alt (λ (x y) (* y (* 3.0 (* y x))))>)
1.253 * * * [regime-changes]: Trying 4 branch expressions: ((* x 3.0) (* (* (* x 3.0) y) y) y x)
1.253 * * * * [regimes]: Trying to branch on (* x 3.0) from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* 3.0 (sqrt (* (* x y) y))) (sqrt (* (* x y) y))))> #<alt (λ (x y) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))> #<alt (λ (x y) (* (* 3.0 y) (* x y)))> #<alt (λ (x y) (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* y x)))))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))> #<alt (λ (x y) (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) y) y)))> #<alt (λ (x y) (* 3.0 (* (* x y) y)))> #<alt (λ (x y) (* y (* 3.0 (* y x))))>)
1.287 * * * * [regimes]: Trying to branch on (* x 3.0) from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))>)
1.299 * * * * [regimes]: Trying to branch on (* (* (* x 3.0) y) y) from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* 3.0 (sqrt (* (* x y) y))) (sqrt (* (* x y) y))))> #<alt (λ (x y) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))> #<alt (λ (x y) (* (* 3.0 y) (* x y)))> #<alt (λ (x y) (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* y x)))))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))> #<alt (λ (x y) (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) y) y)))> #<alt (λ (x y) (* 3.0 (* (* x y) y)))> #<alt (λ (x y) (* y (* 3.0 (* y x))))>)
1.332 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* 3.0 (sqrt (* (* x y) y))) (sqrt (* (* x y) y))))> #<alt (λ (x y) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))> #<alt (λ (x y) (* (* 3.0 y) (* x y)))> #<alt (λ (x y) (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* y x)))))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))> #<alt (λ (x y) (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) y) y)))> #<alt (λ (x y) (* 3.0 (* (* x y) y)))> #<alt (λ (x y) (* y (* 3.0 (* y x))))>)
1.363 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (* 3.0 (sqrt (* (* x y) y))) (sqrt (* (* x y) y))))> #<alt (λ (x y) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))> #<alt (λ (x y) (* (* 3.0 y) (* x y)))> #<alt (λ (x y) (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* y x)))))> #<alt (λ (x y) (* (* (* x 3.0) 1) (pow y 2)))> #<alt (λ (x y) (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) y) y)))> #<alt (λ (x y) (* 3.0 (* (* x y) y)))> #<alt (λ (x y) (* y (* 3.0 (* y x))))>)
1.393 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
1.393 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 (* (* x y) y))
1.394 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
1.394 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
1.395 * [simplify]: Simplified to:
   (* 3.0 (* (* x y) y))
1.983 * [regime-testing]: Baseline error score: 0.26042917083881256
1.984 * [regime-testing]: Oracle error score: 0.009376172021502687
1.985 * [regime-testing]: End program error score: 0.26042917083881256
2.003 * [regime-testing]: Target error score: 0.2519350637613955