13.741 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.051 * [progress]: [Phase 2 of 3] Improving.
0.051 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x (cos y)) (* z (sin y)))
0.052 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.053 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.055 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
0.057 * * [simplify]: iteration  3 :  25  enodes  (cost  9 )
0.060 * * [simplify]: iteration  done :  25  enodes  (cost  9 )
0.060 * [simplify]: Simplified to:
   (- (* x (cos y)) (* z (sin y)))
0.060 * * [progress]: iteration 1 / 4
0.060 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* z (sin y))))>
0.062 * * * [progress]: localizing error
0.075 * * * [progress]: generating rewritten candidates
0.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.078 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.083 * * * [progress]: generating series expansions
0.083 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.083 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
0.083 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (cos y) in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (cos y) in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (cos y) in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [taylor]: Taking taylor expansion of (cos y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
0.093 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.093 * [taylor]: Taking taylor expansion of y in y
0.093 * [taylor]: Taking taylor expansion of x in y
0.093 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.093 * [taylor]: Taking taylor expansion of y in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.094 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.105 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.105 * [taylor]: Taking taylor expansion of -1 in y
0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.105 * [taylor]: Taking taylor expansion of -1 in y
0.105 * [taylor]: Taking taylor expansion of y in y
0.105 * [taylor]: Taking taylor expansion of x in y
0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.105 * [taylor]: Taking taylor expansion of -1 in x
0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.105 * [taylor]: Taking taylor expansion of -1 in x
0.105 * [taylor]: Taking taylor expansion of y in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.106 * [taylor]: Taking taylor expansion of -1 in x
0.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.106 * [taylor]: Taking taylor expansion of -1 in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.107 * [taylor]: Taking taylor expansion of -1 in y
0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.107 * [taylor]: Taking taylor expansion of -1 in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.120 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.120 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.120 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.120 * [taylor]: Taking taylor expansion of (sin y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of z in y
0.120 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.120 * [taylor]: Taking taylor expansion of (sin y) in z
0.120 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.120 * [taylor]: Taking taylor expansion of (sin y) in z
0.120 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of (sin y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.128 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.132 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of z in y
0.133 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.133 * [taylor]: Taking taylor expansion of y in z
0.133 * [taylor]: Taking taylor expansion of z in z
0.133 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.133 * [taylor]: Taking taylor expansion of y in z
0.133 * [taylor]: Taking taylor expansion of z in z
0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [taylor]: Taking taylor expansion of 0 in y
0.143 * [taylor]: Taking taylor expansion of 0 in y
0.143 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.143 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.144 * [taylor]: Taking taylor expansion of -1 in z
0.144 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.144 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.144 * [taylor]: Taking taylor expansion of -1 in z
0.144 * [taylor]: Taking taylor expansion of y in z
0.144 * [taylor]: Taking taylor expansion of z in z
0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.144 * [taylor]: Taking taylor expansion of -1 in z
0.144 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.144 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.144 * [taylor]: Taking taylor expansion of -1 in z
0.144 * [taylor]: Taking taylor expansion of y in z
0.144 * [taylor]: Taking taylor expansion of z in z
0.144 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.144 * [taylor]: Taking taylor expansion of -1 in y
0.144 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.144 * [taylor]: Taking taylor expansion of -1 in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.151 * [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-regraph> :
   (expm1 (* x (cos y)))
  (log1p (* x (cos y)))
  (* x (cos y))
  (+ (log x) (log (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (* (* (* x (cos y)) (* x (cos y))) (* x (cos y)))
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  (* x 1)
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (expm1 (* z (sin y)))
  (log1p (* z (sin y)))
  (* z (sin y))
  (+ (log z) (log (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (* (* (* z (sin y)) (* z (sin y))) (* z (sin y)))
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  (* z 1)
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  x
  (* x (cos y))
  (* x (cos y))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
0.163 * * [simplify]: iteration  0 :  66  enodes  (cost  274 )
0.172 * * [simplify]: iteration  1 :  126  enodes  (cost  268 )
0.195 * * [simplify]: iteration  2 :  387  enodes  (cost  236 )
0.297 * * [simplify]: iteration  3 :  767  enodes  (cost  236 )
0.621 * * [simplify]: iteration  4 :  1150  enodes  (cost  236 )
1.186 * * [simplify]: iteration  5 :  2437  enodes  (cost  236 )
2.424 * * [simplify]: iteration  done :  5000  enodes  (cost  236 )
2.425 * [simplify]: Simplified to:
   (expm1 (* x (cos y)))
  (log1p (* x (cos y)))
  (* x (cos y))
  (log (* x (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (pow (* x (cos y)) 3)
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (pow (* x (cos y)) 3)
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  x
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (expm1 (* z (sin y)))
  (log1p (* z (sin y)))
  (* (sin y) z)
  (log (* z (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (pow (* (sin y) z) 3)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (pow (* (sin y) z) 3)
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  z
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* (sin y) z)
  x
  (* x (cos y))
  (* x (cos y))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
2.425 * * * [progress]: adding candidates to table
2.525 * * [progress]: iteration 2 / 4
2.525 * * * [progress]: picking best candidate
2.543 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))>
2.543 * * * [progress]: localizing error
2.555 * * * [progress]: generating rewritten candidates
2.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
2.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
2.557 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.565 * * * [progress]: generating series expansions
2.565 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.566 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.566 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.566 * [taylor]: Taking taylor expansion of 1/3 in y
2.566 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.566 * [taylor]: Taking taylor expansion of (cos y) in y
2.566 * [taylor]: Taking taylor expansion of y in y
2.570 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.570 * [taylor]: Taking taylor expansion of 1/3 in y
2.570 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.570 * [taylor]: Taking taylor expansion of (cos y) in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.595 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.596 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.596 * [taylor]: Taking taylor expansion of 1/3 in y
2.596 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.596 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.596 * [taylor]: Taking taylor expansion of y in y
2.596 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.596 * [taylor]: Taking taylor expansion of 1/3 in y
2.596 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.596 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.596 * [taylor]: Taking taylor expansion of y in y
2.630 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.630 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.630 * [taylor]: Taking taylor expansion of 1/3 in y
2.630 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.630 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.630 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.630 * [taylor]: Taking taylor expansion of -1 in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.631 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.631 * [taylor]: Taking taylor expansion of 1/3 in y
2.631 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.631 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.631 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.631 * [taylor]: Taking taylor expansion of -1 in y
2.631 * [taylor]: Taking taylor expansion of y in y
2.664 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
2.664 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.664 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.664 * [taylor]: Taking taylor expansion of 1/3 in y
2.664 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.664 * [taylor]: Taking taylor expansion of (cos y) in y
2.664 * [taylor]: Taking taylor expansion of y in y
2.668 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.668 * [taylor]: Taking taylor expansion of 1/3 in y
2.668 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.668 * [taylor]: Taking taylor expansion of (cos y) in y
2.668 * [taylor]: Taking taylor expansion of y in y
2.694 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.694 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.694 * [taylor]: Taking taylor expansion of 1/3 in y
2.694 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.694 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.694 * [taylor]: Taking taylor expansion of y in y
2.694 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.694 * [taylor]: Taking taylor expansion of 1/3 in y
2.694 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.694 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.695 * [taylor]: Taking taylor expansion of y in y
2.727 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.727 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.727 * [taylor]: Taking taylor expansion of 1/3 in y
2.727 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.727 * [taylor]: Taking taylor expansion of -1 in y
2.727 * [taylor]: Taking taylor expansion of y in y
2.728 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.728 * [taylor]: Taking taylor expansion of 1/3 in y
2.728 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.728 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.728 * [taylor]: Taking taylor expansion of -1 in y
2.728 * [taylor]: Taking taylor expansion of y in y
2.766 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
2.766 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.766 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.766 * [taylor]: Taking taylor expansion of 1/3 in y
2.766 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.766 * [taylor]: Taking taylor expansion of (cos y) in y
2.766 * [taylor]: Taking taylor expansion of y in y
2.771 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.771 * [taylor]: Taking taylor expansion of 1/3 in y
2.771 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.771 * [taylor]: Taking taylor expansion of (cos y) in y
2.771 * [taylor]: Taking taylor expansion of y in y
2.792 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.792 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.792 * [taylor]: Taking taylor expansion of 1/3 in y
2.792 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.792 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.792 * [taylor]: Taking taylor expansion of y in y
2.793 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.793 * [taylor]: Taking taylor expansion of 1/3 in y
2.793 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.793 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.793 * [taylor]: Taking taylor expansion of y in y
2.826 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.826 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.827 * [taylor]: Taking taylor expansion of 1/3 in y
2.827 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.827 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.827 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.827 * [taylor]: Taking taylor expansion of -1 in y
2.827 * [taylor]: Taking taylor expansion of y in y
2.827 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.827 * [taylor]: Taking taylor expansion of 1/3 in y
2.827 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.827 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.827 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.827 * [taylor]: Taking taylor expansion of -1 in y
2.827 * [taylor]: Taking taylor expansion of y in y
2.866 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.866 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
2.866 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.867 * [taylor]: Taking taylor expansion of 1/3 in y
2.867 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.867 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.867 * [taylor]: Taking taylor expansion of (cos y) in y
2.867 * [taylor]: Taking taylor expansion of y in y
2.872 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.872 * [taylor]: Taking taylor expansion of 1/3 in y
2.872 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.872 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.872 * [taylor]: Taking taylor expansion of (cos y) in y
2.872 * [taylor]: Taking taylor expansion of y in y
2.943 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
2.943 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.943 * [taylor]: Taking taylor expansion of 1/3 in y
2.943 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.943 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.943 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.943 * [taylor]: Taking taylor expansion of y in y
2.944 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.944 * [taylor]: Taking taylor expansion of 1/3 in y
2.944 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.944 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.944 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.944 * [taylor]: Taking taylor expansion of y in y
2.984 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
2.984 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.984 * [taylor]: Taking taylor expansion of 1/3 in y
2.984 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.984 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.984 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.984 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.984 * [taylor]: Taking taylor expansion of -1 in y
2.984 * [taylor]: Taking taylor expansion of y in y
2.985 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.985 * [taylor]: Taking taylor expansion of 1/3 in y
2.985 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.985 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.985 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.985 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.985 * [taylor]: Taking taylor expansion of -1 in y
2.985 * [taylor]: Taking taylor expansion of y in y
3.030 * * * [progress]: simplifying candidates
3.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (* (cbrt (cos y)) (cbrt (cos y))))
  (log1p (* (cbrt (cos y)) (cbrt (cos y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (cos y) (cos y))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (+ 1 1)
  (+ (log (cbrt (cos y))) (log (cbrt (cos y))))
  (log (* (cbrt (cos y)) (cbrt (cos y))))
  (exp (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cos y) (cos y))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 1 1)
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (* (cbrt (cos y)) (cbrt 1))
  (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cos y)) (sqrt (cbrt (cos y))))
  (* (cbrt (cos y)) 1)
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (sqrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
3.034 * * [simplify]: iteration  0 :  68  enodes  (cost  726 )
3.048 * * [simplify]: iteration  1 :  131  enodes  (cost  655 )
3.093 * * [simplify]: iteration  2 :  486  enodes  (cost  551 )
3.358 * * [simplify]: iteration  3 :  2287  enodes  (cost  529 )
4.788 * * [simplify]: iteration  done :  5000  enodes  (cost  529 )
4.789 * [simplify]: Simplified to:
   (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2/3))
  (log1p (pow (cos y) 2/3))
  2/3
  2
  (pow (cos y) 2)
  (pow (cos y) 2/3)
  2
  (log (pow (cos y) 2/3))
  (log (pow (cos y) 2/3))
  (exp (pow (cos y) 2/3))
  (pow (cos y) 2)
  (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3)))
  (cbrt (pow (cos y) 2/3))
  (pow (cos y) 2)
  (fabs (cbrt (cos y)))
  (fabs (cbrt (cos y)))
  (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3)))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  1
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (pow (cos y) 2/3)
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (cbrt (cos y))
  2/3
  2
  (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (* (pow (cbrt (cbrt (cos y))) 4) (cbrt (cbrt (cos y))))
  (pow (sqrt (cbrt (cos y))) 3)
  (cbrt (cos y))
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (pow (sqrt (cbrt (cos y))) 3)
  (pow (cos y) 2/3)
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
4.790 * * * [progress]: adding candidates to table
5.039 * * [progress]: iteration 3 / 4
5.039 * * * [progress]: picking best candidate
5.061 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))>
5.061 * * * [progress]: localizing error
5.075 * * * [progress]: generating rewritten candidates
5.075 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.077 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
5.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.093 * * * [progress]: generating series expansions
5.093 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.093 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
5.093 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
5.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
5.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
5.093 * [taylor]: Taking taylor expansion of 1/3 in y
5.093 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
5.093 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.093 * [taylor]: Taking taylor expansion of (cos y) in y
5.093 * [taylor]: Taking taylor expansion of y in y
5.099 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
5.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
5.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
5.099 * [taylor]: Taking taylor expansion of 1/3 in y
5.099 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
5.099 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.099 * [taylor]: Taking taylor expansion of (cos y) in y
5.099 * [taylor]: Taking taylor expansion of y in y
5.168 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
5.168 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
5.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
5.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
5.168 * [taylor]: Taking taylor expansion of 1/3 in y
5.168 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
5.168 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.168 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.168 * [taylor]: Taking taylor expansion of y in y
5.168 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
5.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
5.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
5.169 * [taylor]: Taking taylor expansion of 1/3 in y
5.169 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
5.169 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.169 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.169 * [taylor]: Taking taylor expansion of y in y
5.214 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
5.214 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
5.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
5.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
5.214 * [taylor]: Taking taylor expansion of 1/3 in y
5.214 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
5.214 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.214 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.214 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.214 * [taylor]: Taking taylor expansion of -1 in y
5.214 * [taylor]: Taking taylor expansion of y in y
5.215 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
5.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
5.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
5.215 * [taylor]: Taking taylor expansion of 1/3 in y
5.215 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
5.215 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.215 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.215 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.215 * [taylor]: Taking taylor expansion of -1 in y
5.215 * [taylor]: Taking taylor expansion of y in y
5.254 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.254 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
5.254 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
5.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
5.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
5.254 * [taylor]: Taking taylor expansion of 1/3 in y
5.254 * [taylor]: Taking taylor expansion of (log (cos y)) in y
5.254 * [taylor]: Taking taylor expansion of (cos y) in y
5.254 * [taylor]: Taking taylor expansion of y in y
5.259 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
5.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
5.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
5.259 * [taylor]: Taking taylor expansion of 1/3 in y
5.259 * [taylor]: Taking taylor expansion of (log (cos y)) in y
5.259 * [taylor]: Taking taylor expansion of (cos y) in y
5.259 * [taylor]: Taking taylor expansion of y in y
5.280 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
5.280 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
5.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
5.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
5.280 * [taylor]: Taking taylor expansion of 1/3 in y
5.280 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
5.280 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.280 * [taylor]: Taking taylor expansion of y in y
5.281 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
5.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
5.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
5.281 * [taylor]: Taking taylor expansion of 1/3 in y
5.281 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
5.281 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.281 * [taylor]: Taking taylor expansion of y in y
5.320 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
5.320 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
5.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
5.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
5.320 * [taylor]: Taking taylor expansion of 1/3 in y
5.320 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
5.320 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.320 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.320 * [taylor]: Taking taylor expansion of -1 in y
5.320 * [taylor]: Taking taylor expansion of y in y
5.321 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
5.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
5.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
5.321 * [taylor]: Taking taylor expansion of 1/3 in y
5.321 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
5.321 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.321 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.321 * [taylor]: Taking taylor expansion of -1 in y
5.321 * [taylor]: Taking taylor expansion of y in y
5.354 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
5.354 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
5.354 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.354 * [taylor]: Taking taylor expansion of (cos y) in y
5.354 * [taylor]: Taking taylor expansion of y in y
5.354 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.354 * [taylor]: Taking taylor expansion of (cos y) in y
5.354 * [taylor]: Taking taylor expansion of y in y
5.360 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
5.360 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.360 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.360 * [taylor]: Taking taylor expansion of y in y
5.360 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.360 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.360 * [taylor]: Taking taylor expansion of y in y
5.365 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
5.365 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.365 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.365 * [taylor]: Taking taylor expansion of -1 in y
5.365 * [taylor]: Taking taylor expansion of y in y
5.366 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.366 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.366 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.366 * [taylor]: Taking taylor expansion of -1 in y
5.366 * [taylor]: Taking taylor expansion of y in y
5.376 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.376 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
5.376 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
5.376 * [taylor]: Taking taylor expansion of x in y
5.376 * [taylor]: Taking taylor expansion of (cos y) in y
5.376 * [taylor]: Taking taylor expansion of y in y
5.376 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [taylor]: Taking taylor expansion of (cos y) in x
5.376 * [taylor]: Taking taylor expansion of y in x
5.376 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [taylor]: Taking taylor expansion of (cos y) in x
5.376 * [taylor]: Taking taylor expansion of y in x
5.377 * [taylor]: Taking taylor expansion of 0 in y
5.379 * [taylor]: Taking taylor expansion of (cos y) in y
5.379 * [taylor]: Taking taylor expansion of y in y
5.382 * [taylor]: Taking taylor expansion of 0 in y
5.385 * [taylor]: Taking taylor expansion of 0 in y
5.386 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
5.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
5.386 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.386 * [taylor]: Taking taylor expansion of y in y
5.386 * [taylor]: Taking taylor expansion of x in y
5.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
5.386 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
5.386 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.386 * [taylor]: Taking taylor expansion of y in x
5.386 * [taylor]: Taking taylor expansion of x in x
5.387 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
5.387 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
5.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.387 * [taylor]: Taking taylor expansion of y in x
5.387 * [taylor]: Taking taylor expansion of x in x
5.387 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.387 * [taylor]: Taking taylor expansion of y in y
5.390 * [taylor]: Taking taylor expansion of 0 in y
5.393 * [taylor]: Taking taylor expansion of 0 in y
5.397 * [taylor]: Taking taylor expansion of 0 in y
5.398 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
5.398 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
5.398 * [taylor]: Taking taylor expansion of -1 in y
5.398 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
5.398 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.398 * [taylor]: Taking taylor expansion of -1 in y
5.398 * [taylor]: Taking taylor expansion of y in y
5.398 * [taylor]: Taking taylor expansion of x in y
5.398 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
5.398 * [taylor]: Taking taylor expansion of -1 in x
5.398 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
5.398 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
5.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.398 * [taylor]: Taking taylor expansion of -1 in x
5.398 * [taylor]: Taking taylor expansion of y in x
5.398 * [taylor]: Taking taylor expansion of x in x
5.399 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
5.399 * [taylor]: Taking taylor expansion of -1 in x
5.399 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
5.399 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
5.399 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.399 * [taylor]: Taking taylor expansion of -1 in x
5.399 * [taylor]: Taking taylor expansion of y in x
5.399 * [taylor]: Taking taylor expansion of x in x
5.400 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
5.400 * [taylor]: Taking taylor expansion of -1 in y
5.400 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.400 * [taylor]: Taking taylor expansion of -1 in y
5.400 * [taylor]: Taking taylor expansion of y in y
5.403 * [taylor]: Taking taylor expansion of 0 in y
5.407 * [taylor]: Taking taylor expansion of 0 in y
5.413 * [taylor]: Taking taylor expansion of 0 in y
5.413 * * * [progress]: simplifying candidates
5.414 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (* (log (cos y)) 2)
  (* (log (cos y)) 2)
  (* 1 2)
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (pow (cos y) 1)
  (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)
  (pow (cbrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow 1 2)
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 2))
  (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (pow (cos y) (/ 2 2))
  (pow (cos y) (/ 2 2))
  (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (+ (+ (log x) (log (cbrt (pow (cos y) 2)))) (log (cbrt (cos y))))
  (+ (log (* x (cbrt (pow (cos y) 2)))) (log (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (* (* x x) x) (pow (cos y) 2)) (cos y))
  (* (* (* (* x (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (cos y))
  (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))))
  (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt 1))
  (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) 1)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
5.417 * * [simplify]: iteration  0 :  112  enodes  (cost  763 )
5.438 * * [simplify]: iteration  1 :  250  enodes  (cost  706 )
5.511 * * [simplify]: iteration  2 :  1026  enodes  (cost  610 )
5.953 * * [simplify]: iteration  done :  5001  enodes  (cost  607 )
5.953 * [simplify]: Simplified to:
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (* 2/3 (log (cos y)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (cbrt (cos y)) 4))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (pow (pow (cos y) 2) 2/3))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (fabs (cos y)))
  (cbrt (fabs (cos y)))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cbrt (pow (cos y) 2)) 3)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (pow (cbrt (cos y)) 3)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (log (pow (cos y) 2))
  (log (pow (cos y) 2))
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cbrt (cos y)) 4)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (cbrt (pow (cos y) 2))
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (pow x 3) (pow (cos y) 3))
  (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))
  (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))))
  (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (pow (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) 3)
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* x (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2/3))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* (cbrt (pow (cos y) 2)) x)
  (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y))))
  (* (cbrt (pow (cos y) 2)) x)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (fma 1/3 (pow y 4) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
5.954 * * * [progress]: adding candidates to table
6.216 * * [progress]: iteration 4 / 4
6.216 * * * [progress]: picking best candidate
6.244 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))>
6.244 * * * [progress]: localizing error
6.265 * * * [progress]: generating rewritten candidates
6.265 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2)
6.266 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
6.271 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1)
6.274 * * * [progress]: generating series expansions
6.274 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2)
6.275 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
6.275 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
6.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
6.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
6.275 * [taylor]: Taking taylor expansion of 1/3 in y
6.275 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
6.275 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.275 * [taylor]: Taking taylor expansion of (cos y) in y
6.275 * [taylor]: Taking taylor expansion of y in y
6.281 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
6.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
6.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
6.281 * [taylor]: Taking taylor expansion of 1/3 in y
6.281 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
6.281 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.281 * [taylor]: Taking taylor expansion of (cos y) in y
6.281 * [taylor]: Taking taylor expansion of y in y
6.351 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
6.351 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
6.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
6.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
6.351 * [taylor]: Taking taylor expansion of 1/3 in y
6.351 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
6.351 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.351 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.351 * [taylor]: Taking taylor expansion of y in y
6.352 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
6.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
6.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
6.352 * [taylor]: Taking taylor expansion of 1/3 in y
6.352 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
6.352 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.352 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.352 * [taylor]: Taking taylor expansion of y in y
6.400 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
6.400 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
6.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
6.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
6.400 * [taylor]: Taking taylor expansion of 1/3 in y
6.400 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
6.400 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.400 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.400 * [taylor]: Taking taylor expansion of -1 in y
6.400 * [taylor]: Taking taylor expansion of y in y
6.401 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
6.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
6.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
6.401 * [taylor]: Taking taylor expansion of 1/3 in y
6.401 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
6.401 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.401 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.401 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.401 * [taylor]: Taking taylor expansion of -1 in y
6.401 * [taylor]: Taking taylor expansion of y in y
6.440 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
6.440 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
6.440 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
6.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
6.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
6.440 * [taylor]: Taking taylor expansion of 1/3 in y
6.440 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
6.440 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.440 * [taylor]: Taking taylor expansion of (cos y) in y
6.440 * [taylor]: Taking taylor expansion of y in y
6.446 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
6.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
6.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
6.446 * [taylor]: Taking taylor expansion of 1/3 in y
6.446 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
6.446 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.446 * [taylor]: Taking taylor expansion of (cos y) in y
6.446 * [taylor]: Taking taylor expansion of y in y
6.518 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
6.518 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
6.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
6.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
6.518 * [taylor]: Taking taylor expansion of 1/3 in y
6.518 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
6.518 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.518 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.518 * [taylor]: Taking taylor expansion of y in y
6.519 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
6.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
6.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
6.519 * [taylor]: Taking taylor expansion of 1/3 in y
6.519 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
6.519 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.519 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.519 * [taylor]: Taking taylor expansion of y in y
6.566 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
6.566 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
6.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
6.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
6.566 * [taylor]: Taking taylor expansion of 1/3 in y
6.566 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
6.566 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.566 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.566 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.566 * [taylor]: Taking taylor expansion of -1 in y
6.566 * [taylor]: Taking taylor expansion of y in y
6.567 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
6.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
6.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
6.567 * [taylor]: Taking taylor expansion of 1/3 in y
6.567 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
6.567 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.567 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.567 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.567 * [taylor]: Taking taylor expansion of -1 in y
6.567 * [taylor]: Taking taylor expansion of y in y
6.607 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.607 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
6.607 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
6.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
6.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
6.607 * [taylor]: Taking taylor expansion of 1/3 in y
6.607 * [taylor]: Taking taylor expansion of (log (cos y)) in y
6.607 * [taylor]: Taking taylor expansion of (cos y) in y
6.607 * [taylor]: Taking taylor expansion of y in y
6.611 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
6.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
6.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
6.611 * [taylor]: Taking taylor expansion of 1/3 in y
6.612 * [taylor]: Taking taylor expansion of (log (cos y)) in y
6.612 * [taylor]: Taking taylor expansion of (cos y) in y
6.612 * [taylor]: Taking taylor expansion of y in y
6.639 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
6.639 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
6.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
6.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
6.639 * [taylor]: Taking taylor expansion of 1/3 in y
6.639 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
6.639 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.639 * [taylor]: Taking taylor expansion of y in y
6.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
6.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
6.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
6.640 * [taylor]: Taking taylor expansion of 1/3 in y
6.640 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
6.640 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.640 * [taylor]: Taking taylor expansion of y in y
6.673 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
6.673 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
6.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
6.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
6.674 * [taylor]: Taking taylor expansion of 1/3 in y
6.674 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
6.674 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.674 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.674 * [taylor]: Taking taylor expansion of -1 in y
6.674 * [taylor]: Taking taylor expansion of y in y
6.674 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
6.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
6.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
6.674 * [taylor]: Taking taylor expansion of 1/3 in y
6.674 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
6.674 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.674 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.674 * [taylor]: Taking taylor expansion of -1 in y
6.674 * [taylor]: Taking taylor expansion of y in y
6.708 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1)
6.708 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
6.708 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.708 * [taylor]: Taking taylor expansion of (cos y) in y
6.708 * [taylor]: Taking taylor expansion of y in y
6.708 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
6.708 * [taylor]: Taking taylor expansion of (cos y) in y
6.708 * [taylor]: Taking taylor expansion of y in y
6.714 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
6.714 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.714 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.714 * [taylor]: Taking taylor expansion of y in y
6.714 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
6.714 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.714 * [taylor]: Taking taylor expansion of y in y
6.725 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
6.725 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.725 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.725 * [taylor]: Taking taylor expansion of -1 in y
6.725 * [taylor]: Taking taylor expansion of y in y
6.726 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
6.726 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.726 * [taylor]: Taking taylor expansion of -1 in y
6.726 * [taylor]: Taking taylor expansion of y in y
6.731 * * * [progress]: simplifying candidates
6.732 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (log1p (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (log (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (exp (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (cbrt (pow (pow (cos y) 2) 2/3))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (cbrt (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))))
  (cbrt (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (* (* (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))) (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (sqrt (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (sqrt (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)))))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (* (log (cos y)) 2)
  (* (log (cos y)) 2)
  (* 1 2)
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (pow (cos y) 1)
  (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)
  (pow (cbrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow 1 2)
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 2))
  (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (pow (cos y) (/ 2 2))
  (pow (cos y) (/ 2 2))
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
6.734 * * [simplify]: iteration  0 :  94  enodes  (cost  643 )
6.752 * * [simplify]: iteration  1 :  175  enodes  (cost  593 )
6.800 * * [simplify]: iteration  2 :  554  enodes  (cost  463 )
7.052 * * [simplify]: iteration  3 :  1795  enodes  (cost  420 )
8.474 * * [simplify]: iteration  done :  5001  enodes  (cost  420 )
8.474 * [simplify]: Simplified to:
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (* 2/3 (log (cos y)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 4/3))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (pow (pow (cos y) 2) 2/3))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (fabs (cos y)))
  (cbrt (fabs (cos y)))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (* 2/3 (log (cos y)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (pow (cos y) 2) 2/3))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (* (log (cos y)) 2)
  (* (log (cos y)) 2)
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cos y) 4/3)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (* (log (cos y)) 2)
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (cbrt (pow (cos y) 2))
  (pow (pow (cos y) 2) 3)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (fma 1/3 (pow y 4) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
8.475 * * * [progress]: adding candidates to table
8.729 * [progress]: [Phase 3 of 3] Extracting.
8.729 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* (sin y) z) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (cbrt (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y))))>)
8.731 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
8.731 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* (sin y) z) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (cbrt (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y))))>)
8.772 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* (sin y) z) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (cbrt (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y))))>)
8.813 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* (sin y) z) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (cbrt (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y))))>)
8.854 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
8.854 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y)))
8.855 * * [simplify]: iteration  0 :  18  enodes  (cost  25 )
8.855 * * [simplify]: iteration  1 :  22  enodes  (cost  25 )
8.856 * * [simplify]: iteration  done :  22  enodes  (cost  25 )
8.856 * [simplify]: Simplified to:
   (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (sin y)))
10.959 * [regime-testing]: Baseline error score: 0.27104420195134954
10.960 * [regime-testing]: Oracle error score: 0.058507313414176775
10.961 * [regime-testing]: End program error score: 0.27104420195134954