17.775 * [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-regraph> :
   (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))
0.022 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
0.024 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
0.026 * * [simplify]: iteration  2 :  29  enodes  (cost  11 )
0.030 * * [simplify]: iteration  3 :  50  enodes  (cost  8 )
0.038 * * [simplify]: iteration  4 :  67  enodes  (cost  8 )
0.049 * * [simplify]: iteration  5 :  71  enodes  (cost  8 )
0.057 * * [simplify]: iteration  done :  71  enodes  (cost  8 )
0.057 * [simplify]: Simplified to:
   (fma x x (* 3 (* y y)))
0.061 * * [progress]: iteration 1 / 4
0.061 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* 3 (* y y))))>
0.062 * * * [progress]: localizing error
0.067 * * * [progress]: generating rewritten candidates
0.068 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
0.074 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.075 * * * [progress]: generating series expansions
0.075 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
0.075 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
0.075 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.075 * [taylor]: Taking taylor expansion of 3 in y
0.076 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.076 * [taylor]: Taking taylor expansion of 3 in y
0.076 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.084 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
0.084 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.084 * [taylor]: Taking taylor expansion of 3 in y
0.084 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.085 * [taylor]: Taking taylor expansion of 3 in y
0.085 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.093 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
0.093 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.093 * [taylor]: Taking taylor expansion of 3 in y
0.093 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.093 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.094 * [taylor]: Taking taylor expansion of 3 in y
0.094 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.101 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.102 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0
0.102 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y
0.102 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
0.102 * [taylor]: Taking taylor expansion of (* x x) in y
0.102 * [taylor]: Taking taylor expansion of x in y
0.102 * [taylor]: Taking taylor expansion of x in y
0.102 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.102 * [taylor]: Taking taylor expansion of 3 in y
0.102 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
0.102 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
0.102 * [taylor]: Taking taylor expansion of (* x x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
0.102 * [taylor]: Taking taylor expansion of 3 in x
0.102 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
0.102 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
0.102 * [taylor]: Taking taylor expansion of (* x x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
0.102 * [taylor]: Taking taylor expansion of 3 in x
0.102 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.103 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
0.103 * [taylor]: Taking taylor expansion of 3 in y
0.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [taylor]: Taking taylor expansion of 1 in y
0.109 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0
0.113 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y
0.113 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
0.113 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.113 * [taylor]: Taking taylor expansion of 3 in y
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
0.114 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
0.114 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
0.115 * [taylor]: Taking taylor expansion of 3 in x
0.115 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
0.115 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
0.115 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
0.116 * [taylor]: Taking taylor expansion of 3 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.116 * [taylor]: Taking taylor expansion of 1 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.120 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
0.120 * [taylor]: Taking taylor expansion of 3 in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.120 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.126 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0
0.132 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y
0.132 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
0.132 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
0.132 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.132 * [taylor]: Taking taylor expansion of -1 in y
0.132 * [taylor]: Taking taylor expansion of x in y
0.132 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.132 * [taylor]: Taking taylor expansion of -1 in y
0.132 * [taylor]: Taking taylor expansion of x in y
0.132 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
0.132 * [taylor]: Taking taylor expansion of 3 in y
0.132 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
0.133 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
0.133 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.133 * [taylor]: Taking taylor expansion of -1 in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.133 * [taylor]: Taking taylor expansion of -1 in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
0.133 * [taylor]: Taking taylor expansion of 3 in x
0.133 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.133 * [taylor]: Taking taylor expansion of y in x
0.134 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
0.134 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
0.134 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.134 * [taylor]: Taking taylor expansion of -1 in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.134 * [taylor]: Taking taylor expansion of -1 in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
0.134 * [taylor]: Taking taylor expansion of 3 in x
0.135 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.135 * [taylor]: Taking taylor expansion of y in x
0.135 * [taylor]: Taking taylor expansion of 1 in y
0.137 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
0.139 * [taylor]: Taking taylor expansion of 3 in y
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.139 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.148 * * * [progress]: simplifying candidates
0.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* 3 (* y y)))
  (log1p (* 3 (* y y)))
  (* 3 (* y y))
  (* 3 (* y y))
  (+ (log 3) (+ (log y) (log y)))
  (+ (log 3) (log (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* (* (* 3 3) 3) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* 3 3) 3) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* (* (* 3 (* y y)) (* 3 (* y y))) (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* 3 (* y y))
  (expm1 (fma x x (* 3 (* y y))))
  (log1p (fma x x (* 3 (* y y))))
  (* x x)
  (log (fma x x (* 3 (* y y))))
  (exp (fma x x (* 3 (* y y))))
  (* (cbrt (fma x x (* 3 (* y y)))) (cbrt (fma x x (* 3 (* y y)))))
  (cbrt (fma x x (* 3 (* y y))))
  (* (* (fma x x (* 3 (* y y))) (fma x x (* 3 (* y y)))) (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
0.150 * * [simplify]: iteration  0 :  50  enodes  (cost  312 )
0.161 * * [simplify]: iteration  1 :  106  enodes  (cost  296 )
0.197 * * [simplify]: iteration  2 :  284  enodes  (cost  260 )
0.313 * * [simplify]: iteration  3 :  610  enodes  (cost  254 )
0.630 * * [simplify]: iteration  4 :  1240  enodes  (cost  254 )
1.550 * * [simplify]: iteration  5 :  3484  enodes  (cost  254 )
2.832 * * [simplify]: iteration  done :  5000  enodes  (cost  254 )
2.832 * [simplify]: Simplified to:
   (expm1 (* 3 (* y y)))
  (log1p (* 3 (* y y)))
  (* 3 (* y y))
  (* 3 (* y y))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* (pow y 6) 27)
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* 3 (* y y))
  (expm1 (fma x x (* 3 (* y y))))
  (log1p (fma x x (* 3 (* y y))))
  (* x x)
  (log (fma x x (* 3 (* y y))))
  (exp (fma x x (* 3 (* y y))))
  (* (cbrt (fma x x (* 3 (* y y)))) (cbrt (fma x x (* 3 (* y y)))))
  (cbrt (fma x x (* 3 (* y y))))
  (pow (fma x x (* 3 (* y y))) 3)
  (sqrt (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (fma x x (* 3 (* y y)))
  (fma x x (* 3 (* y y)))
  (fma x x (* 3 (* y y)))
2.833 * * * [progress]: adding candidates to table
2.896 * * [progress]: iteration 2 / 4
2.897 * * * [progress]: picking best candidate
2.907 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* (* 3 y) y)))>
2.907 * * * [progress]: localizing error
2.912 * * * [progress]: generating rewritten candidates
2.912 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
2.919 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.920 * * * [progress]: generating series expansions
2.920 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
2.920 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
2.920 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.920 * [taylor]: Taking taylor expansion of 3 in y
2.920 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.920 * [taylor]: Taking taylor expansion of y in y
2.920 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.920 * [taylor]: Taking taylor expansion of 3 in y
2.920 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.920 * [taylor]: Taking taylor expansion of y in y
2.929 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
2.929 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.929 * [taylor]: Taking taylor expansion of 3 in y
2.929 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.929 * [taylor]: Taking taylor expansion of y in y
2.930 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.930 * [taylor]: Taking taylor expansion of 3 in y
2.930 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.930 * [taylor]: Taking taylor expansion of y in y
2.938 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
2.938 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.938 * [taylor]: Taking taylor expansion of 3 in y
2.938 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.938 * [taylor]: Taking taylor expansion of y in y
2.939 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.939 * [taylor]: Taking taylor expansion of 3 in y
2.941 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.941 * [taylor]: Taking taylor expansion of y in y
2.949 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.949 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0
2.950 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y
2.950 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
2.950 * [taylor]: Taking taylor expansion of (* x x) in y
2.950 * [taylor]: Taking taylor expansion of x in y
2.950 * [taylor]: Taking taylor expansion of x in y
2.950 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.950 * [taylor]: Taking taylor expansion of 3 in y
2.950 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.950 * [taylor]: Taking taylor expansion of y in y
2.950 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
2.950 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
2.950 * [taylor]: Taking taylor expansion of (* x x) in x
2.950 * [taylor]: Taking taylor expansion of x in x
2.950 * [taylor]: Taking taylor expansion of x in x
2.950 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
2.950 * [taylor]: Taking taylor expansion of 3 in x
2.950 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.950 * [taylor]: Taking taylor expansion of y in x
2.950 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
2.950 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
2.950 * [taylor]: Taking taylor expansion of (* x x) in x
2.950 * [taylor]: Taking taylor expansion of x in x
2.950 * [taylor]: Taking taylor expansion of x in x
2.950 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
2.950 * [taylor]: Taking taylor expansion of 3 in x
2.950 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.950 * [taylor]: Taking taylor expansion of y in x
2.951 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
2.951 * [taylor]: Taking taylor expansion of 3 in y
2.951 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.951 * [taylor]: Taking taylor expansion of y in y
2.952 * [taylor]: Taking taylor expansion of 0 in y
2.953 * [taylor]: Taking taylor expansion of 1 in y
2.956 * [taylor]: Taking taylor expansion of 0 in y
2.960 * [taylor]: Taking taylor expansion of 0 in y
2.960 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0
2.960 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y
2.960 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
2.960 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
2.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.960 * [taylor]: Taking taylor expansion of x in y
2.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.960 * [taylor]: Taking taylor expansion of x in y
2.960 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.960 * [taylor]: Taking taylor expansion of 3 in y
2.960 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.960 * [taylor]: Taking taylor expansion of y in y
2.961 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
2.961 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
2.961 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.961 * [taylor]: Taking taylor expansion of x in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.961 * [taylor]: Taking taylor expansion of x in x
2.962 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
2.962 * [taylor]: Taking taylor expansion of 3 in x
2.962 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.962 * [taylor]: Taking taylor expansion of y in x
2.962 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
2.962 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
2.962 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
2.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.962 * [taylor]: Taking taylor expansion of x in x
2.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.962 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
2.963 * [taylor]: Taking taylor expansion of 3 in x
2.963 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.963 * [taylor]: Taking taylor expansion of y in x
2.963 * [taylor]: Taking taylor expansion of 1 in y
2.965 * [taylor]: Taking taylor expansion of 0 in y
2.967 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
2.967 * [taylor]: Taking taylor expansion of 3 in y
2.967 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.967 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.967 * [taylor]: Taking taylor expansion of y in y
2.970 * [taylor]: Taking taylor expansion of 0 in y
2.973 * [taylor]: Taking taylor expansion of 0 in y
2.975 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0
2.975 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y
2.976 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
2.976 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
2.976 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.976 * [taylor]: Taking taylor expansion of -1 in y
2.976 * [taylor]: Taking taylor expansion of x in y
2.976 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.976 * [taylor]: Taking taylor expansion of -1 in y
2.976 * [taylor]: Taking taylor expansion of x in y
2.976 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
2.976 * [taylor]: Taking taylor expansion of 3 in y
2.976 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.976 * [taylor]: Taking taylor expansion of y in y
2.976 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
2.976 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
2.977 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
2.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.977 * [taylor]: Taking taylor expansion of -1 in x
2.977 * [taylor]: Taking taylor expansion of x in x
2.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.977 * [taylor]: Taking taylor expansion of -1 in x
2.977 * [taylor]: Taking taylor expansion of x in x
2.977 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
2.977 * [taylor]: Taking taylor expansion of 3 in x
2.977 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.977 * [taylor]: Taking taylor expansion of y in x
2.977 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
2.978 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
2.978 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
2.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.978 * [taylor]: Taking taylor expansion of -1 in x
2.978 * [taylor]: Taking taylor expansion of x in x
2.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.978 * [taylor]: Taking taylor expansion of -1 in x
2.978 * [taylor]: Taking taylor expansion of x in x
2.978 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
2.978 * [taylor]: Taking taylor expansion of 3 in x
2.978 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.978 * [taylor]: Taking taylor expansion of y in x
2.979 * [taylor]: Taking taylor expansion of 1 in y
2.980 * [taylor]: Taking taylor expansion of 0 in y
2.982 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
2.982 * [taylor]: Taking taylor expansion of 3 in y
2.982 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.982 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.982 * [taylor]: Taking taylor expansion of y in y
2.985 * [taylor]: Taking taylor expansion of 0 in y
2.989 * [taylor]: Taking taylor expansion of 0 in y
2.991 * * * [progress]: simplifying candidates
2.992 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* 3 y) y))
  (log1p (* (* 3 y) y))
  (* (* 3 y) y)
  (* (* 3 y) y)
  (+ (+ (log 3) (log y)) (log y))
  (+ (log (* 3 y)) (log y))
  (log (* (* 3 y) y))
  (exp (* (* 3 y) y))
  (* (* (* (* 3 3) 3) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* 3 y) (* 3 y)) (* 3 y)) (* (* y y) y))
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (* (* (* 3 y) y) (* (* 3 y) y)) (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* (* 3 y) (sqrt y))
  (* (* 3 y) 1)
  (* y y)
  (expm1 (fma x x (* (* 3 y) y)))
  (log1p (fma x x (* (* 3 y) y)))
  (* x x)
  (log (fma x x (* (* 3 y) y)))
  (exp (fma x x (* (* 3 y) y)))
  (* (cbrt (fma x x (* (* 3 y) y))) (cbrt (fma x x (* (* 3 y) y))))
  (cbrt (fma x x (* (* 3 y) y)))
  (* (* (fma x x (* (* 3 y) y)) (fma x x (* (* 3 y) y))) (fma x x (* (* 3 y) y)))
  (sqrt (fma x x (* (* 3 y) y)))
  (sqrt (fma x x (* (* 3 y) y)))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
2.994 * * [simplify]: iteration  0 :  52  enodes  (cost  307 )
3.005 * * [simplify]: iteration  1 :  118  enodes  (cost  291 )
3.059 * * [simplify]: iteration  2 :  428  enodes  (cost  253 )
3.411 * * [simplify]: iteration  3 :  1320  enodes  (cost  247 )
6.128 * * [simplify]: iteration  4 :  4461  enodes  (cost  246 )
7.990 * * [simplify]: iteration  done :  5000  enodes  (cost  246 )
7.990 * [simplify]: Simplified to:
   (expm1 (* (* 3 y) y))
  (log1p (* (* 3 y) y))
  (* (pow y 2) 3)
  (* (pow y 2) 3)
  (log (* (* 3 y) y))
  (log (* (* 3 y) y))
  (log (* (* 3 y) y))
  (exp (* (* 3 y) y))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (pow y 6) 27)
  (sqrt (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* 3 (pow y 3/2))
  (* y 3)
  (pow y 2)
  (expm1 (fma x x (* (* 3 y) y)))
  (log1p (fma x x (* (* 3 y) y)))
  (* x x)
  (log (fma x x (* (* 3 y) y)))
  (exp (fma x x (* (* 3 y) y)))
  (* (cbrt (fma x x (* (* 3 y) y))) (cbrt (fma x x (* (* 3 y) y))))
  (cbrt (fma x x (* (* 3 y) y)))
  (pow (fma x x (* (* 3 y) y)) 3)
  (sqrt (fma x x (* (* 3 y) y)))
  (sqrt (fma x x (* (* 3 y) y)))
  (* (pow y 2) 3)
  (* (pow y 2) 3)
  (* (pow y 2) 3)
  (fma (* y 3) y (* x x))
  (fma (* y 3) y (* x x))
  (fma (* y 3) y (* x x))
7.991 * * * [progress]: adding candidates to table
8.066 * * [progress]: iteration 3 / 4
8.066 * * * [progress]: picking best candidate
8.077 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* (pow y 2) 3)))>
8.077 * * * [progress]: localizing error
8.083 * * * [progress]: generating rewritten candidates
8.084 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
8.090 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.091 * * * [progress]: generating series expansions
8.091 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
8.091 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
8.091 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
8.091 * [taylor]: Taking taylor expansion of 3 in y
8.091 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.091 * [taylor]: Taking taylor expansion of y in y
8.091 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
8.091 * [taylor]: Taking taylor expansion of 3 in y
8.091 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.091 * [taylor]: Taking taylor expansion of y in y
8.100 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
8.100 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.100 * [taylor]: Taking taylor expansion of 3 in y
8.100 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.100 * [taylor]: Taking taylor expansion of y in y
8.101 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.101 * [taylor]: Taking taylor expansion of 3 in y
8.101 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.101 * [taylor]: Taking taylor expansion of y in y
8.108 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
8.108 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.108 * [taylor]: Taking taylor expansion of 3 in y
8.108 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.108 * [taylor]: Taking taylor expansion of y in y
8.109 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.109 * [taylor]: Taking taylor expansion of 3 in y
8.109 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.109 * [taylor]: Taking taylor expansion of y in y
8.120 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.120 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0
8.120 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y
8.120 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
8.120 * [taylor]: Taking taylor expansion of (* x x) in y
8.120 * [taylor]: Taking taylor expansion of x in y
8.120 * [taylor]: Taking taylor expansion of x in y
8.120 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
8.120 * [taylor]: Taking taylor expansion of 3 in y
8.120 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.120 * [taylor]: Taking taylor expansion of y in y
8.120 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
8.120 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
8.120 * [taylor]: Taking taylor expansion of (* x x) in x
8.120 * [taylor]: Taking taylor expansion of x in x
8.120 * [taylor]: Taking taylor expansion of x in x
8.120 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
8.120 * [taylor]: Taking taylor expansion of 3 in x
8.120 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.121 * [taylor]: Taking taylor expansion of y in x
8.121 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
8.121 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
8.121 * [taylor]: Taking taylor expansion of (* x x) in x
8.121 * [taylor]: Taking taylor expansion of x in x
8.121 * [taylor]: Taking taylor expansion of x in x
8.121 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
8.121 * [taylor]: Taking taylor expansion of 3 in x
8.121 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.121 * [taylor]: Taking taylor expansion of y in x
8.121 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
8.121 * [taylor]: Taking taylor expansion of 3 in y
8.121 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.121 * [taylor]: Taking taylor expansion of y in y
8.122 * [taylor]: Taking taylor expansion of 0 in y
8.124 * [taylor]: Taking taylor expansion of 1 in y
8.127 * [taylor]: Taking taylor expansion of 0 in y
8.130 * [taylor]: Taking taylor expansion of 0 in y
8.131 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0
8.131 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y
8.131 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
8.131 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
8.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.131 * [taylor]: Taking taylor expansion of x in y
8.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.131 * [taylor]: Taking taylor expansion of x in y
8.131 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.131 * [taylor]: Taking taylor expansion of 3 in y
8.131 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.131 * [taylor]: Taking taylor expansion of y in y
8.132 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
8.132 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
8.132 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.132 * [taylor]: Taking taylor expansion of x in x
8.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.132 * [taylor]: Taking taylor expansion of x in x
8.132 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
8.132 * [taylor]: Taking taylor expansion of 3 in x
8.132 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.132 * [taylor]: Taking taylor expansion of y in x
8.133 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
8.133 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
8.133 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.133 * [taylor]: Taking taylor expansion of x in x
8.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.133 * [taylor]: Taking taylor expansion of x in x
8.133 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
8.133 * [taylor]: Taking taylor expansion of 3 in x
8.133 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.133 * [taylor]: Taking taylor expansion of y in x
8.134 * [taylor]: Taking taylor expansion of 1 in y
8.136 * [taylor]: Taking taylor expansion of 0 in y
8.138 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
8.138 * [taylor]: Taking taylor expansion of 3 in y
8.138 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
8.138 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.138 * [taylor]: Taking taylor expansion of y in y
8.141 * [taylor]: Taking taylor expansion of 0 in y
8.145 * [taylor]: Taking taylor expansion of 0 in y
8.147 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0
8.147 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y
8.147 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
8.147 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
8.147 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.147 * [taylor]: Taking taylor expansion of -1 in y
8.147 * [taylor]: Taking taylor expansion of x in y
8.147 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.147 * [taylor]: Taking taylor expansion of -1 in y
8.147 * [taylor]: Taking taylor expansion of x in y
8.147 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
8.147 * [taylor]: Taking taylor expansion of 3 in y
8.147 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.147 * [taylor]: Taking taylor expansion of y in y
8.148 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
8.148 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
8.148 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.148 * [taylor]: Taking taylor expansion of -1 in x
8.148 * [taylor]: Taking taylor expansion of x in x
8.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.148 * [taylor]: Taking taylor expansion of -1 in x
8.148 * [taylor]: Taking taylor expansion of x in x
8.148 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
8.148 * [taylor]: Taking taylor expansion of 3 in x
8.148 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.148 * [taylor]: Taking taylor expansion of y in x
8.149 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
8.149 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
8.149 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.149 * [taylor]: Taking taylor expansion of -1 in x
8.149 * [taylor]: Taking taylor expansion of x in x
8.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.149 * [taylor]: Taking taylor expansion of -1 in x
8.149 * [taylor]: Taking taylor expansion of x in x
8.149 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
8.149 * [taylor]: Taking taylor expansion of 3 in x
8.149 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.149 * [taylor]: Taking taylor expansion of y in x
8.150 * [taylor]: Taking taylor expansion of 1 in y
8.152 * [taylor]: Taking taylor expansion of 0 in y
8.153 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
8.154 * [taylor]: Taking taylor expansion of 3 in y
8.154 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
8.154 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.154 * [taylor]: Taking taylor expansion of y in y
8.157 * [taylor]: Taking taylor expansion of 0 in y
8.161 * [taylor]: Taking taylor expansion of 0 in y
8.163 * * * [progress]: simplifying candidates
8.163 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (pow y 2) 3))
  (log1p (* (pow y 2) 3))
  (+ (* (log y) 2) (log 3))
  (+ (* (log y) 2) (log 3))
  (+ (log (pow y 2)) (log 3))
  (log (* (pow y 2) 3))
  (exp (* (pow y 2) 3))
  (* (* (* (pow y 2) (pow y 2)) (pow y 2)) (* (* 3 3) 3))
  (* (cbrt (* (pow y 2) 3)) (cbrt (* (pow y 2) 3)))
  (cbrt (* (pow y 2) 3))
  (* (* (* (pow y 2) 3) (* (pow y 2) 3)) (* (pow y 2) 3))
  (sqrt (* (pow y 2) 3))
  (sqrt (* (pow y 2) 3))
  (* (pow (sqrt y) 2) (sqrt 3))
  (* (pow (sqrt y) 2) (sqrt 3))
  (* y (sqrt 3))
  (* y (sqrt 3))
  (* (sqrt (pow y 2)) (sqrt 3))
  (* (sqrt (pow y 2)) (sqrt 3))
  (* (pow y (/ 2 2)) (sqrt 3))
  (* (pow y (/ 2 2)) (sqrt 3))
  (* (pow y 2) (* (cbrt 3) (cbrt 3)))
  (* (pow y 2) (sqrt 3))
  (* (pow y 2) 1)
  (* (pow (cbrt y) 2) 3)
  (* (pow (sqrt y) 2) 3)
  (* (pow y 2) 3)
  (* y 3)
  (* (cbrt (pow y 2)) 3)
  (* (sqrt (pow y 2)) 3)
  (* (pow y 2) 3)
  (* (pow y (/ 2 2)) 3)
  (expm1 (fma x x (* (pow y 2) 3)))
  (log1p (fma x x (* (pow y 2) 3)))
  (* x x)
  (log (fma x x (* (pow y 2) 3)))
  (exp (fma x x (* (pow y 2) 3)))
  (* (cbrt (fma x x (* (pow y 2) 3))) (cbrt (fma x x (* (pow y 2) 3))))
  (cbrt (fma x x (* (pow y 2) 3)))
  (* (* (fma x x (* (pow y 2) 3)) (fma x x (* (pow y 2) 3))) (fma x x (* (pow y 2) 3)))
  (sqrt (fma x x (* (pow y 2) 3)))
  (sqrt (fma x x (* (pow y 2) 3)))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
8.165 * * [simplify]: iteration  0 :  65  enodes  (cost  379 )
8.178 * * [simplify]: iteration  1 :  124  enodes  (cost  351 )
8.228 * * [simplify]: iteration  2 :  383  enodes  (cost  308 )
8.547 * * [simplify]: iteration  3 :  1214  enodes  (cost  308 )
10.423 * * [simplify]: iteration  done :  5000  enodes  (cost  308 )
10.423 * [simplify]: Simplified to:
   (expm1 (* (pow y 2) 3))
  (log1p (* (pow y 2) 3))
  (log (* (pow y 2) 3))
  (log (* (pow y 2) 3))
  (log (* (pow y 2) 3))
  (log (* (pow y 2) 3))
  (exp (* (pow y 2) 3))
  (* 27 (pow (pow y 2) 3))
  (* (cbrt (* (pow y 2) 3)) (cbrt (* (pow y 2) 3)))
  (cbrt (* (pow y 2) 3))
  (* 27 (pow (pow y 2) 3))
  (sqrt (* (pow y 2) 3))
  (sqrt (* (pow y 2) 3))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* (sqrt 3) (fabs y))
  (* (sqrt 3) (fabs y))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* (pow y 2) (* (cbrt 3) (cbrt 3)))
  (* (pow y 2) (sqrt 3))
  (pow y 2)
  (* (pow (cbrt y) 2) 3)
  (* 3 y)
  (* (pow y 2) 3)
  (* 3 y)
  (* (cbrt (pow y 2)) 3)
  (* (fabs y) 3)
  (* (pow y 2) 3)
  (* 3 y)
  (expm1 (fma x x (* (pow y 2) 3)))
  (log1p (fma x x (* (pow y 2) 3)))
  (* x x)
  (log (fma x x (* (pow y 2) 3)))
  (exp (fma x x (* (pow y 2) 3)))
  (* (cbrt (fma x x (* (pow y 2) 3))) (cbrt (fma x x (* (pow y 2) 3))))
  (cbrt (fma x x (* (pow y 2) 3)))
  (pow (fma x x (* (pow y 2) 3)) 3)
  (sqrt (fma x x (* (pow y 2) 3)))
  (sqrt (fma x x (* (pow y 2) 3)))
  (* (pow y 2) 3)
  (* (pow y 2) 3)
  (* (pow y 2) 3)
  (fma x x (* (pow y 2) 3))
  (fma x x (* (pow y 2) 3))
  (fma x x (* (pow y 2) 3))
10.423 * * * [progress]: adding candidates to table
10.519 * * [progress]: iteration 4 / 4
10.519 * * * [progress]: picking best candidate
10.531 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))>
10.531 * * * [progress]: localizing error
10.541 * * * [progress]: generating rewritten candidates
10.541 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3)
10.581 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 1)
10.594 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.596 * * * [progress]: generating series expansions
10.596 * * * * [progress]: [ 1 / 3 ] generating series at (2 3)
10.597 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
10.597 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
10.597 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.597 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.597 * [taylor]: Taking taylor expansion of 3 in y
10.598 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.598 * [taylor]: Taking taylor expansion of y in y
10.598 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
10.598 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.598 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.598 * [taylor]: Taking taylor expansion of 3 in y
10.599 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.599 * [taylor]: Taking taylor expansion of y in y
10.626 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
10.626 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.626 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.626 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.626 * [taylor]: Taking taylor expansion of 3 in y
10.627 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.627 * [taylor]: Taking taylor expansion of y in y
10.630 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.631 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.631 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.631 * [taylor]: Taking taylor expansion of 3 in y
10.631 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.631 * [taylor]: Taking taylor expansion of y in y
10.660 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
10.660 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.660 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.660 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.660 * [taylor]: Taking taylor expansion of 3 in y
10.661 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.661 * [taylor]: Taking taylor expansion of y in y
10.664 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.664 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.664 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.664 * [taylor]: Taking taylor expansion of 3 in y
10.665 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.665 * [taylor]: Taking taylor expansion of y in y
10.689 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 1)
10.690 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 2) (pow y 2)) in (y) around 0
10.690 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (pow y 2)) in y
10.690 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.690 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.690 * [taylor]: Taking taylor expansion of 3 in y
10.690 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.690 * [taylor]: Taking taylor expansion of y in y
10.690 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (pow y 2)) in y
10.690 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.690 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.690 * [taylor]: Taking taylor expansion of 3 in y
10.691 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.691 * [taylor]: Taking taylor expansion of y in y
10.713 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in (y) around 0
10.713 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in y
10.713 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.713 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.713 * [taylor]: Taking taylor expansion of 3 in y
10.714 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.714 * [taylor]: Taking taylor expansion of y in y
10.719 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in y
10.719 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.719 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.719 * [taylor]: Taking taylor expansion of 3 in y
10.720 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.720 * [taylor]: Taking taylor expansion of y in y
10.740 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in (y) around 0
10.741 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in y
10.741 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.741 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.741 * [taylor]: Taking taylor expansion of 3 in y
10.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.741 * [taylor]: Taking taylor expansion of y in y
10.743 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 2) (pow y 2)) in y
10.743 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y
10.743 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.743 * [taylor]: Taking taylor expansion of 3 in y
10.744 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.744 * [taylor]: Taking taylor expansion of y in y
10.764 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.765 * [approximate]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
10.765 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in y
10.766 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
10.766 * [taylor]: Taking taylor expansion of (* x x) in y
10.766 * [taylor]: Taking taylor expansion of x in y
10.766 * [taylor]: Taking taylor expansion of x in y
10.766 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
10.766 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.766 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.766 * [taylor]: Taking taylor expansion of 3 in y
10.766 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.766 * [taylor]: Taking taylor expansion of y in y
10.766 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
10.767 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
10.767 * [taylor]: Taking taylor expansion of (* x x) in x
10.767 * [taylor]: Taking taylor expansion of x in x
10.767 * [taylor]: Taking taylor expansion of x in x
10.767 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
10.767 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.767 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.767 * [taylor]: Taking taylor expansion of 3 in x
10.768 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.768 * [taylor]: Taking taylor expansion of y in x
10.768 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
10.768 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
10.768 * [taylor]: Taking taylor expansion of (* x x) in x
10.768 * [taylor]: Taking taylor expansion of x in x
10.768 * [taylor]: Taking taylor expansion of x in x
10.768 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
10.768 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.768 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.768 * [taylor]: Taking taylor expansion of 3 in x
10.769 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.769 * [taylor]: Taking taylor expansion of y in x
10.772 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
10.772 * [taylor]: Taking taylor expansion of 3 in y
10.772 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.772 * [taylor]: Taking taylor expansion of y in y
10.774 * [taylor]: Taking taylor expansion of 0 in y
10.778 * [taylor]: Taking taylor expansion of 1 in y
10.783 * [taylor]: Taking taylor expansion of 0 in y
10.789 * [taylor]: Taking taylor expansion of 0 in y
10.791 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
10.791 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
10.791 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.791 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
10.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.791 * [taylor]: Taking taylor expansion of x in y
10.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.791 * [taylor]: Taking taylor expansion of x in y
10.791 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.791 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.791 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.791 * [taylor]: Taking taylor expansion of 3 in y
10.792 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.792 * [taylor]: Taking taylor expansion of y in y
10.795 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
10.795 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.795 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
10.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.795 * [taylor]: Taking taylor expansion of x in x
10.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.795 * [taylor]: Taking taylor expansion of x in x
10.796 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
10.796 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.796 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.796 * [taylor]: Taking taylor expansion of 3 in x
10.797 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.797 * [taylor]: Taking taylor expansion of y in x
10.799 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
10.799 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.799 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
10.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.800 * [taylor]: Taking taylor expansion of x in x
10.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.800 * [taylor]: Taking taylor expansion of x in x
10.800 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
10.800 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.800 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.800 * [taylor]: Taking taylor expansion of 3 in x
10.801 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.801 * [taylor]: Taking taylor expansion of y in x
10.807 * [taylor]: Taking taylor expansion of 1 in y
10.808 * [taylor]: Taking taylor expansion of 0 in y
10.810 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
10.810 * [taylor]: Taking taylor expansion of 3 in y
10.810 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
10.810 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.810 * [taylor]: Taking taylor expansion of y in y
10.814 * [taylor]: Taking taylor expansion of 0 in y
10.820 * [taylor]: Taking taylor expansion of 0 in y
10.823 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
10.823 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
10.823 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.824 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
10.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.824 * [taylor]: Taking taylor expansion of -1 in y
10.824 * [taylor]: Taking taylor expansion of x in y
10.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.824 * [taylor]: Taking taylor expansion of -1 in y
10.824 * [taylor]: Taking taylor expansion of x in y
10.824 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
10.824 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
10.824 * [taylor]: Taking taylor expansion of (cbrt 3) in y
10.824 * [taylor]: Taking taylor expansion of 3 in y
10.824 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.824 * [taylor]: Taking taylor expansion of y in y
10.828 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
10.828 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.828 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
10.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.828 * [taylor]: Taking taylor expansion of -1 in x
10.828 * [taylor]: Taking taylor expansion of x in x
10.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.828 * [taylor]: Taking taylor expansion of -1 in x
10.828 * [taylor]: Taking taylor expansion of x in x
10.829 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
10.829 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.829 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.829 * [taylor]: Taking taylor expansion of 3 in x
10.829 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.829 * [taylor]: Taking taylor expansion of y in x
10.832 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
10.832 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
10.832 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
10.832 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.832 * [taylor]: Taking taylor expansion of -1 in x
10.832 * [taylor]: Taking taylor expansion of x in x
10.833 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.833 * [taylor]: Taking taylor expansion of -1 in x
10.833 * [taylor]: Taking taylor expansion of x in x
10.833 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
10.833 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
10.833 * [taylor]: Taking taylor expansion of (cbrt 3) in x
10.833 * [taylor]: Taking taylor expansion of 3 in x
10.834 * [taylor]: Taking taylor expansion of (pow y 2) in x
10.834 * [taylor]: Taking taylor expansion of y in x
10.837 * [taylor]: Taking taylor expansion of 1 in y
10.839 * [taylor]: Taking taylor expansion of 0 in y
10.841 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
10.841 * [taylor]: Taking taylor expansion of 3 in y
10.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
10.841 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.841 * [taylor]: Taking taylor expansion of y in y
10.845 * [taylor]: Taking taylor expansion of 0 in y
10.851 * [taylor]: Taking taylor expansion of 0 in y
10.853 * * * [progress]: simplifying candidates
10.854 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (log1p (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))
  (+ (+ (* (log y) 2) (+ (log (cbrt 3)) (log (cbrt 3)))) (log (cbrt 3)))
  (+ (+ (* (log y) 2) (log (* (cbrt 3) (cbrt 3)))) (log (cbrt 3)))
  (+ (+ (* (log y) 2) (+ (log (cbrt 3)) (log (cbrt 3)))) (log (cbrt 3)))
  (+ (+ (* (log y) 2) (log (* (cbrt 3) (cbrt 3)))) (log (cbrt 3)))
  (+ (+ (log (pow y 2)) (+ (log (cbrt 3)) (log (cbrt 3)))) (log (cbrt 3)))
  (+ (+ (log (pow y 2)) (log (* (cbrt 3) (cbrt 3)))) (log (cbrt 3)))
  (+ (log (* (pow y 2) (* (cbrt 3) (cbrt 3)))) (log (cbrt 3)))
  (log (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (exp (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (* (* (* (* (pow y 2) (pow y 2)) (pow y 2)) (* 3 3)) 3)
  (* (* (* (* (pow y 2) (pow y 2)) (pow y 2)) (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3)))) 3)
  (* (* (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (* (pow y 2) (* (cbrt 3) (cbrt 3)))) (* (pow y 2) (* (cbrt 3) (cbrt 3)))) 3)
  (* (cbrt (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (cbrt (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (cbrt (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (* (* (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (sqrt (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (sqrt (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt (* (cbrt 3) (cbrt 3))))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt (sqrt 3)))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 1))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3))))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (sqrt (cbrt 3)))
  (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) 1)
  (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
  (expm1 (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (log1p (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (* y (cbrt 3))
  (+ (* (log y) 2) (+ (log (cbrt 3)) (log (cbrt 3))))
  (+ (* (log y) 2) (log (* (cbrt 3) (cbrt 3))))
  (+ (* (log y) 2) (+ (log (cbrt 3)) (log (cbrt 3))))
  (+ (* (log y) 2) (log (* (cbrt 3) (cbrt 3))))
  (+ (log (pow y 2)) (+ (log (cbrt 3)) (log (cbrt 3))))
  (+ (log (pow y 2)) (log (* (cbrt 3) (cbrt 3))))
  (log (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (exp (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (* (* (* (pow y 2) (pow y 2)) (pow y 2)) (* 3 3))
  (* (* (* (pow y 2) (pow y 2)) (pow y 2)) (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))))
  (* (cbrt (* (pow y 2) (* (cbrt 3) (cbrt 3)))) (cbrt (* (pow y 2) (* (cbrt 3) (cbrt 3)))))
  (cbrt (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (* (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (* (pow y 2) (* (cbrt 3) (cbrt 3)))) (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (sqrt (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (sqrt (* (pow y 2) (* (cbrt 3) (cbrt 3))))
  (* (pow (sqrt y) 2) (cbrt 3))
  (* (pow (sqrt y) 2) (cbrt 3))
  (* y (cbrt 3))
  (* y (cbrt 3))
  (* (sqrt (pow y 2)) (cbrt 3))
  (* (sqrt (pow y 2)) (cbrt 3))
  (* (pow y (/ 2 2)) (cbrt 3))
  (* (pow y (/ 2 2)) (cbrt 3))
  (* (pow y 2) (cbrt 3))
  (* (pow (cbrt y) 2) (* (cbrt 3) (cbrt 3)))
  (* (pow (sqrt y) 2) (* (cbrt 3) (cbrt 3)))
  (* (pow y 2) (* (cbrt 3) (cbrt 3)))
  (* y (* (cbrt 3) (cbrt 3)))
  (* (cbrt (pow y 2)) (* (cbrt 3) (cbrt 3)))
  (* (sqrt (pow y 2)) (* (cbrt 3) (cbrt 3)))
  (* (pow y 2) (* (cbrt 3) (cbrt 3)))
  (* (pow y (/ 2 2)) (* (cbrt 3) (cbrt 3)))
  (expm1 (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (log1p (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (* x x)
  (log (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (exp (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (* (cbrt (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))) (cbrt (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))))
  (cbrt (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (* (* (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3)))) (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (sqrt (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (sqrt (fma x x (* (* (pow y 2) (* (cbrt 3) (cbrt 3))) (cbrt 3))))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* (pow (cbrt 3) 2) (pow y 2))
  (* (pow (cbrt 3) 2) (pow y 2))
  (* (pow (cbrt 3) 2) (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
10.857 * * [simplify]: iteration  0 :  102  enodes  (cost  1076 )
10.880 * * [simplify]: iteration  1 :  241  enodes  (cost  932 )
11.005 * * [simplify]: iteration  2 :  933  enodes  (cost  715 )
12.872 * * [simplify]: iteration  3 :  4066  enodes  (cost  604 )
14.692 * * [simplify]: iteration  done :  5000  enodes  (cost  604 )
14.692 * [simplify]: Simplified to:
   (expm1 (* y (* 3 y)))
  (log1p (* y (* 3 y)))
  (* y (* 3 y))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (fma 2 (log y) (log 3))
  (pow (exp (pow y 2)) 3)
  (* 27 (pow (pow y 2) 3))
  (* 27 (pow (pow y 2) 3))
  (* 27 (pow (pow y 2) 3))
  (* (cbrt (* y (* 3 y))) (cbrt (* y (* 3 y))))
  (cbrt (* y (* 3 y)))
  (* 27 (pow (pow y 2) 3))
  (sqrt (* y (* 3 y)))
  (sqrt (* y (* 3 y)))
  (* (cbrt (pow (cbrt 3) 2)) (* (pow (cbrt 3) 2) (pow y 2)))
  (* (* (pow (cbrt 3) 2) (pow y 2)) (cbrt (sqrt 3)))
  (* (pow y 2) (pow (cbrt 3) 2))
  (* (* (pow (cbrt 3) 2) (pow y 2)) (* (cbrt (cbrt 3)) (cbrt (cbrt 3))))
  (* (* (pow (cbrt 3) 2) (pow y 2)) (sqrt (cbrt 3)))
  (* (pow y 2) (pow (cbrt 3) 2))
  3
  (expm1 (* (pow (cbrt 3) 2) (pow y 2)))
  (log1p (* (pow (cbrt 3) 2) (pow y 2)))
  (* y (cbrt 3))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (* 2 (+ (log y) (log (cbrt 3))))
  (exp (* (pow (cbrt 3) 2) (pow y 2)))
  (* (pow (pow y 2) 3) 9)
  (* (pow (pow y 2) 3) 9)
  (* (cbrt (* (pow (cbrt 3) 2) (pow y 2))) (cbrt (* (pow (cbrt 3) 2) (pow y 2))))
  (cbrt (* (pow (cbrt 3) 2) (pow y 2)))
  (* (pow (pow y 2) 3) 9)
  (fabs (* (cbrt 3) y))
  (fabs (* (cbrt 3) y))
  (* y (cbrt 3))
  (* y (cbrt 3))
  (* y (cbrt 3))
  (* y (cbrt 3))
  (* (fabs y) (cbrt 3))
  (* (fabs y) (cbrt 3))
  (* y (cbrt 3))
  (* y (cbrt 3))
  (* (pow y 2) (cbrt 3))
  (* (pow (cbrt y) 2) (pow (cbrt 3) 2))
  (* (pow (cbrt 3) 2) y)
  (* (pow y 2) (pow (cbrt 3) 2))
  (* (pow (cbrt 3) 2) y)
  (* (cbrt (pow y 2)) (pow (cbrt 3) 2))
  (* (fabs y) (pow (cbrt 3) 2))
  (* (pow y 2) (pow (cbrt 3) 2))
  (* (pow (cbrt 3) 2) y)
  (expm1 (fma (pow y 2) 3 (* x x)))
  (log1p (fma (pow y 2) 3 (* x x)))
  (* x x)
  (log (fma (pow y 2) 3 (* x x)))
  (exp (fma (pow y 2) 3 (* x x)))
  (* (cbrt (fma (pow y 2) 3 (* x x))) (cbrt (fma (pow y 2) 3 (* x x))))
  (cbrt (fma (pow y 2) 3 (* x x)))
  (pow (fma (pow y 2) 3 (* x x)) 3)
  (sqrt (fma (pow y 2) 3 (* x x)))
  (sqrt (fma (pow y 2) 3 (* x x)))
  (* y (* 3 y))
  (* y (* 3 y))
  (* y (* 3 y))
  (* (pow y 2) (pow (cbrt 3) 2))
  (* (pow y 2) (pow (cbrt 3) 2))
  (* (pow y 2) (pow (cbrt 3) 2))
  (fma (pow y 2) 3 (* x x))
  (fma (pow y 2) 3 (* x x))
  (fma (pow y 2) 3 (* x x))
14.693 * * * [progress]: adding candidates to table
14.857 * [progress]: [Phase 3 of 3] Extracting.
14.857 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma x x (* (pow (sqrt y) 2) (* 3 y))))> #<alt (λ (x y) (fma x x (* (* 3 y) y)))> #<alt (λ (x y) (fma x x (* (* 1 (* (pow y 2) (pow (cbrt 3) 2))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (cbrt (* (pow (cbrt 3) 2) (pow y 2))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (pow (cbrt 3) 2) (pow y 2)) (cbrt (sqrt 3))) (cbrt (sqrt 3)))))> #<alt (λ (x y) (fma x x (* (* (sqrt (pow y 2)) (* (fabs y) (pow (cbrt 3) 2))) (cbrt 3))))>)
14.858 * * * [regime-changes]: Trying 2 branch expressions: (y x)
14.858 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma x x (* (pow (sqrt y) 2) (* 3 y))))> #<alt (λ (x y) (fma x x (* (* 3 y) y)))> #<alt (λ (x y) (fma x x (* (* 1 (* (pow y 2) (pow (cbrt 3) 2))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (cbrt (* (pow (cbrt 3) 2) (pow y 2))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (pow (cbrt 3) 2) (pow y 2)) (cbrt (sqrt 3))) (cbrt (sqrt 3)))))> #<alt (λ (x y) (fma x x (* (* (sqrt (pow y 2)) (* (fabs y) (pow (cbrt 3) 2))) (cbrt 3))))>)
14.884 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma x x (* (pow (sqrt y) 2) (* 3 y))))> #<alt (λ (x y) (fma x x (* (* 3 y) y)))> #<alt (λ (x y) (fma x x (* (* 1 (* (pow y 2) (pow (cbrt 3) 2))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (cbrt (* (pow (cbrt 3) 2) (pow y 2))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt (* (pow (cbrt 3) 2) (pow y 2)))) (cbrt 3))))> #<alt (λ (x y) (fma x x (* (* (* (pow (cbrt 3) 2) (pow y 2)) (cbrt (sqrt 3))) (cbrt (sqrt 3)))))> #<alt (λ (x y) (fma x x (* (* (sqrt (pow y 2)) (* (fabs y) (pow (cbrt 3) 2))) (cbrt 3))))>)
14.911 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
14.911 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma x x (* (* 3 y) y))
14.912 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
14.912 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
14.912 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
14.912 * [simplify]: Simplified to:
   (fma x x (* (* 3 y) y))
15.721 * [regime-testing]: Baseline error score: 0.10938867358419803
15.721 * [regime-testing]: Oracle error score: 0.01487685960745093
15.722 * [regime-testing]: End program error score: 0.10938867358419803
15.741 * [regime-testing]: Target error score: 0.1115139392424053