11.570 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x (cos y)) (* z (sin y)))
0.054 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.055 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.057 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
0.059 * * [simplify]: iteration  3 :  25  enodes  (cost  9 )
0.062 * * [simplify]: iteration  done :  25  enodes  (cost  9 )
0.062 * [simplify]: Simplified to:
   (- (* x (cos y)) (* z (sin y)))
0.062 * * [progress]: iteration 1 / 4
0.062 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* z (sin y))))>
0.065 * * * [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.088 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.092 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.092 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.093 * [taylor]: Taking taylor expansion of x in x
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)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.107 * [taylor]: Taking taylor expansion of -1 in y
0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.108 * [taylor]: Taking taylor expansion of -1 in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.108 * [taylor]: Taking taylor expansion of -1 in x
0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.108 * [taylor]: Taking taylor expansion of -1 in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.109 * [taylor]: Taking taylor expansion of -1 in x
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.109 * [taylor]: Taking taylor expansion of -1 in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.122 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.122 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.122 * [taylor]: Taking taylor expansion of (sin y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of z in y
0.122 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.122 * [taylor]: Taking taylor expansion of (sin y) in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of z in z
0.122 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.122 * [taylor]: Taking taylor expansion of (sin y) in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [taylor]: Taking taylor expansion of (sin y) in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.134 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.134 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.134 * [taylor]: Taking taylor expansion of y in y
0.135 * [taylor]: Taking taylor expansion of z in y
0.135 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.135 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.135 * [taylor]: Taking taylor expansion of y in z
0.135 * [taylor]: Taking taylor expansion of z in z
0.135 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.135 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.135 * [taylor]: Taking taylor expansion of y in z
0.135 * [taylor]: Taking taylor expansion of z in z
0.135 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.135 * [taylor]: Taking taylor expansion of y in y
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [taylor]: Taking taylor expansion of 0 in y
0.145 * [taylor]: Taking taylor expansion of 0 in y
0.145 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.145 * [taylor]: Taking taylor expansion of -1 in y
0.145 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.145 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.145 * [taylor]: Taking taylor expansion of -1 in y
0.145 * [taylor]: Taking taylor expansion of y in y
0.145 * [taylor]: Taking taylor expansion of z in y
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.145 * [taylor]: Taking taylor expansion of -1 in z
0.145 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.145 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.145 * [taylor]: Taking taylor expansion of -1 in z
0.145 * [taylor]: Taking taylor expansion of y in z
0.146 * [taylor]: Taking taylor expansion of z in z
0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.146 * [taylor]: Taking taylor expansion of -1 in z
0.146 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.146 * [taylor]: Taking taylor expansion of -1 in z
0.146 * [taylor]: Taking taylor expansion of y in z
0.146 * [taylor]: Taking taylor expansion of z in z
0.146 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.158 * * * [progress]: simplifying candidates
0.159 * [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.161 * * [simplify]: iteration  0 :  66  enodes  (cost  274 )
0.171 * * [simplify]: iteration  1 :  122  enodes  (cost  268 )
0.191 * * [simplify]: iteration  2 :  234  enodes  (cost  236 )
0.242 * * [simplify]: iteration  3 :  310  enodes  (cost  236 )
0.306 * * [simplify]: iteration  4 :  439  enodes  (cost  236 )
0.426 * * [simplify]: iteration  5 :  805  enodes  (cost  236 )
0.772 * * [simplify]: iteration  6 :  1900  enodes  (cost  236 )
1.637 * * [simplify]: iteration  done :  5000  enodes  (cost  236 )
1.637 * [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)
1.638 * * * [progress]: adding candidates to table
1.749 * * [progress]: iteration 2 / 4
1.749 * * * [progress]: picking best candidate
1.771 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))>
1.772 * * * [progress]: localizing error
1.785 * * * [progress]: generating rewritten candidates
1.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.786 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
1.786 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.795 * * * [progress]: generating series expansions
1.795 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.795 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.795 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.795 * [taylor]: Taking taylor expansion of 1/3 in y
1.795 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.795 * [taylor]: Taking taylor expansion of (cos y) in y
1.795 * [taylor]: Taking taylor expansion of y in y
1.800 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.800 * [taylor]: Taking taylor expansion of 1/3 in y
1.800 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.800 * [taylor]: Taking taylor expansion of (cos y) in y
1.800 * [taylor]: Taking taylor expansion of y in y
1.820 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.820 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.820 * [taylor]: Taking taylor expansion of 1/3 in y
1.820 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.820 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.820 * [taylor]: Taking taylor expansion of y in y
1.821 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.821 * [taylor]: Taking taylor expansion of 1/3 in y
1.821 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.821 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.821 * [taylor]: Taking taylor expansion of y in y
1.855 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.855 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.855 * [taylor]: Taking taylor expansion of 1/3 in y
1.855 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.855 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.855 * [taylor]: Taking taylor expansion of -1 in y
1.855 * [taylor]: Taking taylor expansion of y in y
1.856 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.856 * [taylor]: Taking taylor expansion of 1/3 in y
1.856 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.856 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.856 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.856 * [taylor]: Taking taylor expansion of -1 in y
1.856 * [taylor]: Taking taylor expansion of y in y
1.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
1.887 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.887 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.887 * [taylor]: Taking taylor expansion of 1/3 in y
1.887 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.887 * [taylor]: Taking taylor expansion of (cos y) in y
1.887 * [taylor]: Taking taylor expansion of y in y
1.891 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.891 * [taylor]: Taking taylor expansion of 1/3 in y
1.891 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.891 * [taylor]: Taking taylor expansion of (cos y) in y
1.891 * [taylor]: Taking taylor expansion of y in y
1.915 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.915 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.915 * [taylor]: Taking taylor expansion of 1/3 in y
1.915 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.915 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.915 * [taylor]: Taking taylor expansion of y in y
1.916 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.916 * [taylor]: Taking taylor expansion of 1/3 in y
1.916 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.916 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.916 * [taylor]: Taking taylor expansion of y in y
1.948 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.948 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.948 * [taylor]: Taking taylor expansion of 1/3 in y
1.948 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.948 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.948 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.948 * [taylor]: Taking taylor expansion of -1 in y
1.948 * [taylor]: Taking taylor expansion of y in y
1.948 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.948 * [taylor]: Taking taylor expansion of 1/3 in y
1.948 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.948 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.948 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.948 * [taylor]: Taking taylor expansion of -1 in y
1.948 * [taylor]: Taking taylor expansion of y in y
1.980 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1.980 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.980 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.980 * [taylor]: Taking taylor expansion of 1/3 in y
1.980 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.980 * [taylor]: Taking taylor expansion of (cos y) in y
1.980 * [taylor]: Taking taylor expansion of y in y
1.984 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.984 * [taylor]: Taking taylor expansion of 1/3 in y
1.984 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.984 * [taylor]: Taking taylor expansion of (cos y) in y
1.984 * [taylor]: Taking taylor expansion of y in y
2.010 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.010 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.010 * [taylor]: Taking taylor expansion of 1/3 in y
2.010 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.010 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.010 * [taylor]: Taking taylor expansion of y in y
2.011 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.011 * [taylor]: Taking taylor expansion of 1/3 in y
2.011 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.011 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.011 * [taylor]: Taking taylor expansion of y in y
2.042 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.042 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.042 * [taylor]: Taking taylor expansion of 1/3 in y
2.042 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.042 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.042 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.042 * [taylor]: Taking taylor expansion of -1 in y
2.042 * [taylor]: Taking taylor expansion of y in y
2.043 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.043 * [taylor]: Taking taylor expansion of 1/3 in y
2.043 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.043 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.043 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.043 * [taylor]: Taking taylor expansion of -1 in y
2.043 * [taylor]: Taking taylor expansion of y in y
2.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.081 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
2.081 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.081 * [taylor]: Taking taylor expansion of 1/3 in y
2.081 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.081 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.081 * [taylor]: Taking taylor expansion of (cos y) in y
2.081 * [taylor]: Taking taylor expansion of y in y
2.086 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.086 * [taylor]: Taking taylor expansion of 1/3 in y
2.086 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.086 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.086 * [taylor]: Taking taylor expansion of (cos y) in y
2.086 * [taylor]: Taking taylor expansion of y in y
2.155 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
2.155 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.156 * [taylor]: Taking taylor expansion of 1/3 in y
2.156 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.156 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.156 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.156 * [taylor]: Taking taylor expansion of y in y
2.156 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.156 * [taylor]: Taking taylor expansion of 1/3 in y
2.156 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.156 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.156 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.156 * [taylor]: Taking taylor expansion of y in y
2.194 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
2.194 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.194 * [taylor]: Taking taylor expansion of 1/3 in y
2.194 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.194 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.194 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.194 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.194 * [taylor]: Taking taylor expansion of -1 in y
2.194 * [taylor]: Taking taylor expansion of y in y
2.195 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.195 * [taylor]: Taking taylor expansion of 1/3 in y
2.195 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.195 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.195 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.195 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.195 * [taylor]: Taking taylor expansion of -1 in y
2.195 * [taylor]: Taking taylor expansion of y in y
2.239 * * * [progress]: simplifying candidates
2.240 * [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)
2.242 * * [simplify]: iteration  0 :  68  enodes  (cost  726 )
2.259 * * [simplify]: iteration  1 :  128  enodes  (cost  651 )
2.281 * * [simplify]: iteration  2 :  363  enodes  (cost  551 )
2.538 * * [simplify]: iteration  3 :  1342  enodes  (cost  529 )
4.007 * * [simplify]: iteration  done :  5000  enodes  (cost  523 )
4.007 * [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))))
  (* (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 (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 1))
  (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))
  (fma -1/3 (pow y 2) (fma -1/405 (pow y 6) 1))
  (pow (cos y) 2/3)
  (pow (cos y) 2/3)
4.008 * * * [progress]: adding candidates to table
4.278 * * [progress]: iteration 3 / 4
4.278 * * * [progress]: picking best candidate
4.299 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))>
4.299 * * * [progress]: localizing error
4.317 * * * [progress]: generating rewritten candidates
4.317 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
4.318 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.319 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
4.320 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.335 * * * [progress]: generating series expansions
4.335 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
4.335 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
4.336 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.336 * [taylor]: Taking taylor expansion of 1/3 in y
4.336 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.336 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.336 * [taylor]: Taking taylor expansion of (cos y) in y
4.336 * [taylor]: Taking taylor expansion of y in y
4.341 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.341 * [taylor]: Taking taylor expansion of 1/3 in y
4.341 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.341 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.341 * [taylor]: Taking taylor expansion of (cos y) in y
4.341 * [taylor]: Taking taylor expansion of y in y
4.408 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
4.408 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.408 * [taylor]: Taking taylor expansion of 1/3 in y
4.408 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.408 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.408 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.408 * [taylor]: Taking taylor expansion of y in y
4.409 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.409 * [taylor]: Taking taylor expansion of 1/3 in y
4.409 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.409 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.409 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.409 * [taylor]: Taking taylor expansion of y in y
4.447 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
4.447 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
4.447 * [taylor]: Taking taylor expansion of 1/3 in y
4.447 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
4.447 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.447 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.447 * [taylor]: Taking taylor expansion of -1 in y
4.447 * [taylor]: Taking taylor expansion of y in y
4.448 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
4.448 * [taylor]: Taking taylor expansion of 1/3 in y
4.448 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
4.448 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.448 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.448 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.448 * [taylor]: Taking taylor expansion of -1 in y
4.448 * [taylor]: Taking taylor expansion of y in y
4.490 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.490 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
4.490 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.490 * [taylor]: Taking taylor expansion of 1/3 in y
4.490 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.490 * [taylor]: Taking taylor expansion of (cos y) in y
4.490 * [taylor]: Taking taylor expansion of y in y
4.495 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.495 * [taylor]: Taking taylor expansion of 1/3 in y
4.495 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.495 * [taylor]: Taking taylor expansion of (cos y) in y
4.495 * [taylor]: Taking taylor expansion of y in y
4.515 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
4.515 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.515 * [taylor]: Taking taylor expansion of 1/3 in y
4.515 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.515 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.515 * [taylor]: Taking taylor expansion of y in y
4.515 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.515 * [taylor]: Taking taylor expansion of 1/3 in y
4.515 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.515 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.515 * [taylor]: Taking taylor expansion of y in y
4.552 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
4.552 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.552 * [taylor]: Taking taylor expansion of 1/3 in y
4.552 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.552 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.552 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.552 * [taylor]: Taking taylor expansion of -1 in y
4.552 * [taylor]: Taking taylor expansion of y in y
4.552 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.552 * [taylor]: Taking taylor expansion of 1/3 in y
4.552 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.552 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.552 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.552 * [taylor]: Taking taylor expansion of -1 in y
4.552 * [taylor]: Taking taylor expansion of y in y
4.584 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
4.584 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
4.584 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.584 * [taylor]: Taking taylor expansion of (cos y) in y
4.584 * [taylor]: Taking taylor expansion of y in y
4.584 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.584 * [taylor]: Taking taylor expansion of (cos y) in y
4.584 * [taylor]: Taking taylor expansion of y in y
4.590 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
4.590 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.590 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.590 * [taylor]: Taking taylor expansion of y in y
4.590 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.590 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.590 * [taylor]: Taking taylor expansion of y in y
4.595 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
4.595 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.595 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.595 * [taylor]: Taking taylor expansion of -1 in y
4.595 * [taylor]: Taking taylor expansion of y in y
4.595 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.595 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.595 * [taylor]: Taking taylor expansion of -1 in y
4.595 * [taylor]: Taking taylor expansion of y in y
4.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.600 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
4.600 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
4.600 * [taylor]: Taking taylor expansion of x in y
4.600 * [taylor]: Taking taylor expansion of (cos y) in y
4.600 * [taylor]: Taking taylor expansion of y in y
4.600 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.600 * [taylor]: Taking taylor expansion of (cos y) in x
4.600 * [taylor]: Taking taylor expansion of y in x
4.600 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.600 * [taylor]: Taking taylor expansion of (cos y) in x
4.600 * [taylor]: Taking taylor expansion of y in x
4.601 * [taylor]: Taking taylor expansion of 0 in y
4.602 * [taylor]: Taking taylor expansion of (cos y) in y
4.602 * [taylor]: Taking taylor expansion of y in y
4.605 * [taylor]: Taking taylor expansion of 0 in y
4.608 * [taylor]: Taking taylor expansion of 0 in y
4.609 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
4.609 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
4.609 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.609 * [taylor]: Taking taylor expansion of y in y
4.609 * [taylor]: Taking taylor expansion of x in y
4.609 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
4.609 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.609 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.609 * [taylor]: Taking taylor expansion of y in x
4.609 * [taylor]: Taking taylor expansion of x in x
4.610 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
4.610 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.610 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.610 * [taylor]: Taking taylor expansion of y in x
4.610 * [taylor]: Taking taylor expansion of x in x
4.610 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.610 * [taylor]: Taking taylor expansion of y in y
4.613 * [taylor]: Taking taylor expansion of 0 in y
4.616 * [taylor]: Taking taylor expansion of 0 in y
4.620 * [taylor]: Taking taylor expansion of 0 in y
4.620 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
4.620 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
4.620 * [taylor]: Taking taylor expansion of -1 in y
4.621 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
4.621 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.621 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.621 * [taylor]: Taking taylor expansion of -1 in y
4.621 * [taylor]: Taking taylor expansion of y in y
4.621 * [taylor]: Taking taylor expansion of x in y
4.621 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
4.621 * [taylor]: Taking taylor expansion of -1 in x
4.621 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
4.621 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.621 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.621 * [taylor]: Taking taylor expansion of -1 in x
4.621 * [taylor]: Taking taylor expansion of y in x
4.621 * [taylor]: Taking taylor expansion of x in x
4.622 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
4.622 * [taylor]: Taking taylor expansion of -1 in x
4.622 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
4.622 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.622 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.622 * [taylor]: Taking taylor expansion of -1 in x
4.622 * [taylor]: Taking taylor expansion of y in x
4.622 * [taylor]: Taking taylor expansion of x in x
4.622 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
4.622 * [taylor]: Taking taylor expansion of -1 in y
4.622 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.622 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.622 * [taylor]: Taking taylor expansion of -1 in y
4.623 * [taylor]: Taking taylor expansion of y in y
4.625 * [taylor]: Taking taylor expansion of 0 in y
4.635 * [taylor]: Taking taylor expansion of 0 in y
4.640 * [taylor]: Taking taylor expansion of 0 in y
4.640 * * * [progress]: simplifying candidates
4.641 * [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))
4.644 * * [simplify]: iteration  0 :  112  enodes  (cost  763 )
4.669 * * [simplify]: iteration  1 :  242  enodes  (cost  704 )
4.746 * * [simplify]: iteration  2 :  786  enodes  (cost  613 )
5.561 * * [simplify]: iteration  3 :  3455  enodes  (cost  592 )
6.809 * * [simplify]: iteration  done :  5000  enodes  (cost  592 )
6.810 * [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 (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 (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 (cos y) 4/3)
  (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 (pow (cos y) 2) 3)
  (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 3) (pow (cos y) 3))
  (* (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 3) (pow (cos y) 3))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2))) x)
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* x (cbrt (pow (cos y) 2)))
  (* (* 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)))
  (* (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))
6.811 * * * [progress]: adding candidates to table
7.116 * * [progress]: iteration 4 / 4
7.117 * * * [progress]: picking best candidate
7.145 * * * * [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))))>
7.145 * * * [progress]: localizing error
7.181 * * * [progress]: generating rewritten candidates
7.181 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2)
7.183 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
7.190 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1)
7.193 * * * [progress]: generating series expansions
7.193 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2)
7.193 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
7.193 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.193 * [taylor]: Taking taylor expansion of 1/3 in y
7.193 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.193 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.193 * [taylor]: Taking taylor expansion of (cos y) in y
7.193 * [taylor]: Taking taylor expansion of y in y
7.198 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.198 * [taylor]: Taking taylor expansion of 1/3 in y
7.198 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.198 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.198 * [taylor]: Taking taylor expansion of (cos y) in y
7.198 * [taylor]: Taking taylor expansion of y in y
7.264 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
7.264 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.264 * [taylor]: Taking taylor expansion of 1/3 in y
7.264 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.264 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.264 * [taylor]: Taking taylor expansion of y in y
7.265 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.265 * [taylor]: Taking taylor expansion of 1/3 in y
7.265 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.265 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.265 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.265 * [taylor]: Taking taylor expansion of y in y
7.306 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
7.307 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.307 * [taylor]: Taking taylor expansion of 1/3 in y
7.307 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.307 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.307 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.307 * [taylor]: Taking taylor expansion of -1 in y
7.307 * [taylor]: Taking taylor expansion of y in y
7.307 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.307 * [taylor]: Taking taylor expansion of 1/3 in y
7.307 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.307 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.307 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.307 * [taylor]: Taking taylor expansion of -1 in y
7.308 * [taylor]: Taking taylor expansion of y in y
7.344 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
7.344 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
7.345 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.345 * [taylor]: Taking taylor expansion of 1/3 in y
7.345 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.345 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.345 * [taylor]: Taking taylor expansion of (cos y) in y
7.345 * [taylor]: Taking taylor expansion of y in y
7.350 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.350 * [taylor]: Taking taylor expansion of 1/3 in y
7.350 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.350 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.350 * [taylor]: Taking taylor expansion of (cos y) in y
7.350 * [taylor]: Taking taylor expansion of y in y
7.416 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
7.416 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.416 * [taylor]: Taking taylor expansion of 1/3 in y
7.416 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.416 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.416 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.416 * [taylor]: Taking taylor expansion of y in y
7.417 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.417 * [taylor]: Taking taylor expansion of 1/3 in y
7.417 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.417 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.417 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.417 * [taylor]: Taking taylor expansion of y in y
7.459 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
7.459 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.459 * [taylor]: Taking taylor expansion of 1/3 in y
7.459 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.459 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.459 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.459 * [taylor]: Taking taylor expansion of -1 in y
7.459 * [taylor]: Taking taylor expansion of y in y
7.460 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.460 * [taylor]: Taking taylor expansion of 1/3 in y
7.460 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.460 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.460 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.460 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.460 * [taylor]: Taking taylor expansion of -1 in y
7.460 * [taylor]: Taking taylor expansion of y in y
7.496 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.496 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
7.496 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
7.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
7.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
7.496 * [taylor]: Taking taylor expansion of 1/3 in y
7.496 * [taylor]: Taking taylor expansion of (log (cos y)) in y
7.496 * [taylor]: Taking taylor expansion of (cos y) in y
7.496 * [taylor]: Taking taylor expansion of y in y
7.500 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
7.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
7.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
7.500 * [taylor]: Taking taylor expansion of 1/3 in y
7.500 * [taylor]: Taking taylor expansion of (log (cos y)) in y
7.500 * [taylor]: Taking taylor expansion of (cos y) in y
7.501 * [taylor]: Taking taylor expansion of y in y
7.520 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
7.520 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
7.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
7.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
7.520 * [taylor]: Taking taylor expansion of 1/3 in y
7.520 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
7.520 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.520 * [taylor]: Taking taylor expansion of y in y
7.521 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
7.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
7.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
7.521 * [taylor]: Taking taylor expansion of 1/3 in y
7.521 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
7.521 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.521 * [taylor]: Taking taylor expansion of y in y
7.557 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
7.557 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
7.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
7.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
7.557 * [taylor]: Taking taylor expansion of 1/3 in y
7.557 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
7.557 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.557 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.557 * [taylor]: Taking taylor expansion of -1 in y
7.557 * [taylor]: Taking taylor expansion of y in y
7.558 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
7.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
7.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
7.558 * [taylor]: Taking taylor expansion of 1/3 in y
7.558 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
7.558 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.558 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.558 * [taylor]: Taking taylor expansion of -1 in y
7.558 * [taylor]: Taking taylor expansion of y in y
7.588 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1)
7.588 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
7.588 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.588 * [taylor]: Taking taylor expansion of (cos y) in y
7.588 * [taylor]: Taking taylor expansion of y in y
7.588 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.588 * [taylor]: Taking taylor expansion of (cos y) in y
7.588 * [taylor]: Taking taylor expansion of y in y
7.594 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
7.594 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.594 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.594 * [taylor]: Taking taylor expansion of y in y
7.594 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.594 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.594 * [taylor]: Taking taylor expansion of y in y
7.599 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
7.599 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.599 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.599 * [taylor]: Taking taylor expansion of -1 in y
7.599 * [taylor]: Taking taylor expansion of y in y
7.599 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.599 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.599 * [taylor]: Taking taylor expansion of -1 in y
7.599 * [taylor]: Taking taylor expansion of y in y
7.604 * * * [progress]: simplifying candidates
7.610 * [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)
7.613 * * [simplify]: iteration  0 :  94  enodes  (cost  643 )
7.632 * * [simplify]: iteration  1 :  171  enodes  (cost  578 )
7.666 * * [simplify]: iteration  2 :  369  enodes  (cost  518 )
7.743 * * [simplify]: iteration  3 :  901  enodes  (cost  454 )
8.483 * * [simplify]: iteration  4 :  4300  enodes  (cost  415 )
10.438 * * [simplify]: iteration  done :  5000  enodes  (cost  415 )
10.439 * [simplify]: Simplified to:
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (* (log (cos y)) 2/3)
  (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)))
  (* (log (cos y)) 2/3)
  (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 (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 (cos y) 4/3)
  (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)
  (fma (pow y 2) -1/3 (fma (pow y 6) -1/405 1))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (fma (pow y 2) -1/3 (fma (pow y 6) -1/405 1))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (fma -1/72 (pow y 4) (fma (* y -1/6) y 1))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (fma 1/3 (pow y 4) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
10.439 * * * [progress]: adding candidates to table
10.914 * [progress]: [Phase 3 of 3] Extracting.
10.915 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (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) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (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) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))>)
10.916 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
10.916 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (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) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (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) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))>)
10.954 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (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) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (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) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))>)
10.991 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (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) (- (* (* x (cbrt (* (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3)))) (cbrt (cos y))) (* z (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) (- (* (sqrt (* x (cos y))) (sqrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (cos y))) (* z (sin y))))>)
11.029 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
11.029 * [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)))
11.029 * * [simplify]: iteration  0 :  18  enodes  (cost  25 )
11.030 * * [simplify]: iteration  1 :  22  enodes  (cost  25 )
11.030 * * [simplify]: iteration  done :  22  enodes  (cost  25 )
11.030 * [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)))
13.167 * [regime-testing]: Baseline error score: 0.27104420195134954
13.167 * [regime-testing]: Oracle error score: 0.061257657207150894
13.168 * [regime-testing]: End program error score: 0.27104420195134954