24.806 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (sin y)) (* z (cos y)))
0.044 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.045 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.046 * * [simplify]: iteration  2 :  19  enodes  (cost  9 )
0.048 * * [simplify]: iteration  done :  19  enodes  (cost  9 )
0.048 * [simplify]: Simplified to:
   (+ (+ x (sin y)) (* z (cos y)))
0.048 * * [progress]: iteration 1 / 4
0.048 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))>
0.050 * * * [progress]: localizing error
0.059 * * * [progress]: generating rewritten candidates
0.059 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.063 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.066 * * * [progress]: generating series expansions
0.066 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.066 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.066 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.066 * [taylor]: Taking taylor expansion of (cos y) in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of z in y
0.066 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.066 * [taylor]: Taking taylor expansion of (cos y) in z
0.066 * [taylor]: Taking taylor expansion of y in z
0.066 * [taylor]: Taking taylor expansion of z in z
0.066 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.066 * [taylor]: Taking taylor expansion of (cos y) in z
0.066 * [taylor]: Taking taylor expansion of y in z
0.066 * [taylor]: Taking taylor expansion of z in z
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.070 * [taylor]: Taking taylor expansion of (cos y) in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.076 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.076 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of z in y
0.077 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.077 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.077 * [taylor]: Taking taylor expansion of y in z
0.077 * [taylor]: Taking taylor expansion of z in z
0.077 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.077 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.077 * [taylor]: Taking taylor expansion of y in z
0.077 * [taylor]: Taking taylor expansion of z in z
0.078 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.088 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.088 * [taylor]: Taking taylor expansion of -1 in y
0.088 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.088 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.088 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.088 * [taylor]: Taking taylor expansion of -1 in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of z in y
0.088 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.088 * [taylor]: Taking taylor expansion of -1 in z
0.088 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.088 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.088 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.088 * [taylor]: Taking taylor expansion of -1 in z
0.088 * [taylor]: Taking taylor expansion of y in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.089 * [taylor]: Taking taylor expansion of -1 in z
0.089 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.089 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.089 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.089 * [taylor]: Taking taylor expansion of -1 in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.089 * [taylor]: Taking taylor expansion of -1 in y
0.090 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.090 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.090 * [taylor]: Taking taylor expansion of -1 in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.102 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.102 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0
0.102 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y
0.102 * [taylor]: Taking taylor expansion of x in y
0.102 * [taylor]: Taking taylor expansion of (sin y) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (sin y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (sin y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (sin y) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of 1 in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0
0.110 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y
0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.110 * [taylor]: Taking taylor expansion of x in y
0.110 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x
0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.110 * [taylor]: Taking taylor expansion of y in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x
0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of 1 in y
0.112 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.123 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0
0.123 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y
0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.123 * [taylor]: Taking taylor expansion of -1 in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.123 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.123 * [taylor]: Taking taylor expansion of -1 in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.124 * [taylor]: Taking taylor expansion of -1 in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.125 * [taylor]: Taking taylor expansion of -1 in y
0.125 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.125 * [taylor]: Taking taylor expansion of -1 in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.128 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.131 * * * [progress]: simplifying candidates
0.132 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* (exp x) (exp (sin y)))
  (log (+ x (sin y)))
  (exp (+ x (sin y)))
  (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))
  (cbrt (+ x (sin y)))
  (* (* (+ x (sin y)) (+ x (sin y))) (+ x (sin y)))
  (sqrt (+ x (sin y)))
  (sqrt (+ x (sin y)))
  (+ (pow x 3) (pow (sin y) 3))
  (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))
  (- (* x x) (* (sin y) (sin y)))
  (- x (sin y))
  (+ x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (+ x y)
  (+ x (sin y))
  (+ x (sin y))
0.134 * * [simplify]: iteration  0 :  56  enodes  (cost  232 )
0.142 * * [simplify]: iteration  1 :  126  enodes  (cost  225 )
0.162 * * [simplify]: iteration  2 :  282  enodes  (cost  201 )
0.230 * * [simplify]: iteration  3 :  541  enodes  (cost  201 )
0.380 * * [simplify]: iteration  4 :  971  enodes  (cost  201 )
0.758 * * [simplify]: iteration  5 :  2618  enodes  (cost  201 )
1.690 * * [simplify]: iteration  done :  5000  enodes  (cost  201 )
1.691 * [simplify]: Simplified to:
   (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (exp (+ x (sin y)))
  (log (+ x (sin y)))
  (exp (+ x (sin y)))
  (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))
  (cbrt (+ x (sin y)))
  (pow (+ x (sin y)) 3)
  (sqrt (+ x (sin y)))
  (sqrt (+ x (sin y)))
  (+ (pow x 3) (pow (sin y) 3))
  (+ (* (sin y) (- (sin y) x)) (* x x))
  (- (* x x) (* (sin y) (sin y)))
  (- x (sin y))
  (+ x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (+ x y)
  (+ x (sin y))
  (+ x (sin y))
1.692 * * * [progress]: adding candidates to table
1.765 * * [progress]: iteration 2 / 4
1.765 * * * [progress]: picking best candidate
1.771 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))>
1.771 * * * [progress]: localizing error
1.787 * * * [progress]: generating rewritten candidates
1.787 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.789 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.796 * * * [progress]: generating series expansions
1.797 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.797 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.797 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.797 * [taylor]: Taking taylor expansion of 1/3 in y
1.797 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.797 * [taylor]: Taking taylor expansion of (cos y) in y
1.797 * [taylor]: Taking taylor expansion of y in y
1.802 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.802 * [taylor]: Taking taylor expansion of 1/3 in y
1.802 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.802 * [taylor]: Taking taylor expansion of (cos y) in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.822 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.822 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.822 * [taylor]: Taking taylor expansion of 1/3 in y
1.822 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.822 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.822 * [taylor]: Taking taylor expansion of y in y
1.822 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.822 * [taylor]: Taking taylor expansion of 1/3 in y
1.822 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.822 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.823 * [taylor]: Taking taylor expansion of y in y
1.862 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.862 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.862 * [taylor]: Taking taylor expansion of 1/3 in y
1.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.862 * [taylor]: Taking taylor expansion of -1 in y
1.862 * [taylor]: Taking taylor expansion of y in y
1.862 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.862 * [taylor]: Taking taylor expansion of 1/3 in y
1.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.863 * [taylor]: Taking taylor expansion of -1 in y
1.863 * [taylor]: Taking taylor expansion of y in y
1.895 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1.896 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.896 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.896 * [taylor]: Taking taylor expansion of 1/3 in y
1.896 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.896 * [taylor]: Taking taylor expansion of (cos y) in y
1.896 * [taylor]: Taking taylor expansion of y in y
1.900 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.900 * [taylor]: Taking taylor expansion of 1/3 in y
1.900 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.900 * [taylor]: Taking taylor expansion of (cos y) in y
1.900 * [taylor]: Taking taylor expansion of y in y
1.922 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.922 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.922 * [taylor]: Taking taylor expansion of 1/3 in y
1.922 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.922 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.922 * [taylor]: Taking taylor expansion of y in y
1.922 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.922 * [taylor]: Taking taylor expansion of 1/3 in y
1.922 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.922 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.922 * [taylor]: Taking taylor expansion of y in y
1.963 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.963 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.963 * [taylor]: Taking taylor expansion of 1/3 in y
1.963 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.963 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.963 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.963 * [taylor]: Taking taylor expansion of -1 in y
1.963 * [taylor]: Taking taylor expansion of y in y
1.964 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.964 * [taylor]: Taking taylor expansion of 1/3 in y
1.964 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.964 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.964 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.964 * [taylor]: Taking taylor expansion of -1 in y
1.964 * [taylor]: Taking taylor expansion of y in y
1.996 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.996 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.996 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.996 * [taylor]: Taking taylor expansion of 1/3 in y
1.996 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.996 * [taylor]: Taking taylor expansion of (cos y) in y
1.996 * [taylor]: Taking taylor expansion of y in y
2.001 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.001 * [taylor]: Taking taylor expansion of 1/3 in y
2.001 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.001 * [taylor]: Taking taylor expansion of (cos y) in y
2.001 * [taylor]: Taking taylor expansion of y in y
2.023 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.023 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.023 * [taylor]: Taking taylor expansion of 1/3 in y
2.023 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.023 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.023 * [taylor]: Taking taylor expansion of y in y
2.023 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.023 * [taylor]: Taking taylor expansion of 1/3 in y
2.023 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.023 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.024 * [taylor]: Taking taylor expansion of y in y
2.258 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.258 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.258 * [taylor]: Taking taylor expansion of 1/3 in y
2.258 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.258 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.258 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.258 * [taylor]: Taking taylor expansion of -1 in y
2.258 * [taylor]: Taking taylor expansion of y in y
2.259 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.259 * [taylor]: Taking taylor expansion of 1/3 in y
2.259 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.259 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.259 * [taylor]: Taking taylor expansion of -1 in y
2.259 * [taylor]: Taking taylor expansion of y in y
2.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.294 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
2.294 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.294 * [taylor]: Taking taylor expansion of 1/3 in y
2.294 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.294 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.294 * [taylor]: Taking taylor expansion of (cos y) in y
2.294 * [taylor]: Taking taylor expansion of y in y
2.300 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
2.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
2.300 * [taylor]: Taking taylor expansion of 1/3 in y
2.300 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
2.300 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.300 * [taylor]: Taking taylor expansion of (cos y) in y
2.300 * [taylor]: Taking taylor expansion of y in y
2.368 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
2.368 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.368 * [taylor]: Taking taylor expansion of 1/3 in y
2.368 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.368 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.368 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.368 * [taylor]: Taking taylor expansion of y in y
2.369 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
2.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
2.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
2.369 * [taylor]: Taking taylor expansion of 1/3 in y
2.369 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
2.369 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.369 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.369 * [taylor]: Taking taylor expansion of y in y
2.412 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
2.412 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.412 * [taylor]: Taking taylor expansion of 1/3 in y
2.412 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.413 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.413 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.413 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.413 * [taylor]: Taking taylor expansion of -1 in y
2.413 * [taylor]: Taking taylor expansion of y in y
2.413 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
2.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
2.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
2.413 * [taylor]: Taking taylor expansion of 1/3 in y
2.413 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
2.413 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.413 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.413 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.413 * [taylor]: Taking taylor expansion of -1 in y
2.413 * [taylor]: Taking taylor expansion of y in y
2.453 * * * [progress]: simplifying candidates
2.454 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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)))
  (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)))
  (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)))
  (+ 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.456 * * [simplify]: iteration  0 :  64  enodes  (cost  686 )
2.475 * * [simplify]: iteration  1 :  122  enodes  (cost  615 )
2.510 * * [simplify]: iteration  2 :  412  enodes  (cost  521 )
2.801 * * [simplify]: iteration  3 :  2121  enodes  (cost  499 )
3.825 * * [simplify]: iteration  done :  5001  enodes  (cost  499 )
3.826 * [simplify]: Simplified to:
   (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)))
  (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)))
  (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)))
  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) (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 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
3.826 * * * [progress]: adding candidates to table
4.057 * * [progress]: iteration 3 / 4
4.057 * * * [progress]: picking best candidate
4.066 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))))>
4.066 * * * [progress]: localizing error
4.083 * * * [progress]: generating rewritten candidates
4.083 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
4.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.106 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
4.121 * * * [progress]: generating series expansions
4.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.121 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
4.121 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.121 * [taylor]: Taking taylor expansion of 1/3 in y
4.121 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.121 * [taylor]: Taking taylor expansion of (cos y) in y
4.121 * [taylor]: Taking taylor expansion of y in y
4.126 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.126 * [taylor]: Taking taylor expansion of 1/3 in y
4.126 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.126 * [taylor]: Taking taylor expansion of (cos y) in y
4.126 * [taylor]: Taking taylor expansion of y in y
4.148 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
4.148 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.148 * [taylor]: Taking taylor expansion of 1/3 in y
4.148 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.148 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.148 * [taylor]: Taking taylor expansion of y in y
4.149 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.149 * [taylor]: Taking taylor expansion of 1/3 in y
4.149 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.149 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.149 * [taylor]: Taking taylor expansion of y in y
4.187 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
4.187 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.187 * [taylor]: Taking taylor expansion of 1/3 in y
4.187 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.187 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.187 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.187 * [taylor]: Taking taylor expansion of -1 in y
4.187 * [taylor]: Taking taylor expansion of y in y
4.187 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.187 * [taylor]: Taking taylor expansion of 1/3 in y
4.187 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.187 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.187 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.187 * [taylor]: Taking taylor expansion of -1 in y
4.187 * [taylor]: Taking taylor expansion of y in y
4.220 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
4.220 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
4.220 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.220 * [taylor]: Taking taylor expansion of (cos y) in y
4.220 * [taylor]: Taking taylor expansion of y in y
4.220 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.220 * [taylor]: Taking taylor expansion of (cos y) in y
4.220 * [taylor]: Taking taylor expansion of y in y
4.227 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
4.227 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.227 * [taylor]: Taking taylor expansion of y in y
4.227 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.227 * [taylor]: Taking taylor expansion of y in y
4.232 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
4.232 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.232 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.232 * [taylor]: Taking taylor expansion of -1 in y
4.232 * [taylor]: Taking taylor expansion of y in y
4.232 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.232 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.233 * [taylor]: Taking taylor expansion of -1 in y
4.233 * [taylor]: Taking taylor expansion of y in y
4.237 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.237 * [approximate]: Taking taylor expansion of (* z (cos y)) in (z y) around 0
4.237 * [taylor]: Taking taylor expansion of (* z (cos y)) in y
4.237 * [taylor]: Taking taylor expansion of z in y
4.237 * [taylor]: Taking taylor expansion of (cos y) in y
4.237 * [taylor]: Taking taylor expansion of y in y
4.238 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
4.238 * [taylor]: Taking taylor expansion of z in z
4.238 * [taylor]: Taking taylor expansion of (cos y) in z
4.238 * [taylor]: Taking taylor expansion of y in z
4.238 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
4.238 * [taylor]: Taking taylor expansion of z in z
4.238 * [taylor]: Taking taylor expansion of (cos y) in z
4.238 * [taylor]: Taking taylor expansion of y in z
4.238 * [taylor]: Taking taylor expansion of 0 in y
4.240 * [taylor]: Taking taylor expansion of (cos y) in y
4.240 * [taylor]: Taking taylor expansion of y in y
4.243 * [taylor]: Taking taylor expansion of 0 in y
4.246 * [taylor]: Taking taylor expansion of 0 in y
4.247 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
4.247 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
4.247 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.247 * [taylor]: Taking taylor expansion of y in y
4.247 * [taylor]: Taking taylor expansion of z in y
4.247 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
4.247 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
4.247 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.247 * [taylor]: Taking taylor expansion of y in z
4.247 * [taylor]: Taking taylor expansion of z in z
4.248 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
4.248 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
4.248 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.248 * [taylor]: Taking taylor expansion of y in z
4.248 * [taylor]: Taking taylor expansion of z in z
4.248 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.248 * [taylor]: Taking taylor expansion of y in y
4.251 * [taylor]: Taking taylor expansion of 0 in y
4.254 * [taylor]: Taking taylor expansion of 0 in y
4.261 * [taylor]: Taking taylor expansion of 0 in y
4.262 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
4.262 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
4.262 * [taylor]: Taking taylor expansion of -1 in y
4.262 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
4.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.262 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.262 * [taylor]: Taking taylor expansion of -1 in y
4.262 * [taylor]: Taking taylor expansion of y in y
4.262 * [taylor]: Taking taylor expansion of z in y
4.262 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
4.262 * [taylor]: Taking taylor expansion of -1 in z
4.262 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
4.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
4.262 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.262 * [taylor]: Taking taylor expansion of -1 in z
4.262 * [taylor]: Taking taylor expansion of y in z
4.263 * [taylor]: Taking taylor expansion of z in z
4.263 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
4.263 * [taylor]: Taking taylor expansion of -1 in z
4.263 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
4.263 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
4.263 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.263 * [taylor]: Taking taylor expansion of -1 in z
4.263 * [taylor]: Taking taylor expansion of y in z
4.263 * [taylor]: Taking taylor expansion of z in z
4.264 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
4.264 * [taylor]: Taking taylor expansion of -1 in y
4.264 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.264 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.264 * [taylor]: Taking taylor expansion of -1 in y
4.264 * [taylor]: Taking taylor expansion of y in y
4.267 * [taylor]: Taking taylor expansion of 0 in y
4.271 * [taylor]: Taking taylor expansion of 0 in y
4.276 * [taylor]: Taking taylor expansion of 0 in y
4.276 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.277 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0
4.277 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y
4.277 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.277 * [taylor]: Taking taylor expansion of 1/3 in y
4.277 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.277 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.277 * [taylor]: Taking taylor expansion of (cos y) in y
4.277 * [taylor]: Taking taylor expansion of y in y
4.282 * [taylor]: Taking taylor expansion of z in y
4.282 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z
4.282 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z
4.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z
4.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z
4.282 * [taylor]: Taking taylor expansion of 1/3 in z
4.282 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z
4.282 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
4.282 * [taylor]: Taking taylor expansion of (cos y) in z
4.282 * [taylor]: Taking taylor expansion of y in z
4.283 * [taylor]: Taking taylor expansion of z in z
4.283 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z
4.283 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z
4.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z
4.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z
4.283 * [taylor]: Taking taylor expansion of 1/3 in z
4.283 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z
4.283 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
4.283 * [taylor]: Taking taylor expansion of (cos y) in z
4.283 * [taylor]: Taking taylor expansion of y in z
4.284 * [taylor]: Taking taylor expansion of z in z
4.284 * [taylor]: Taking taylor expansion of 0 in y
4.288 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.288 * [taylor]: Taking taylor expansion of 1/3 in y
4.288 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.288 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.288 * [taylor]: Taking taylor expansion of (cos y) in y
4.288 * [taylor]: Taking taylor expansion of y in y
4.299 * [taylor]: Taking taylor expansion of 0 in y
4.307 * [taylor]: Taking taylor expansion of 0 in y
4.308 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0
4.308 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y
4.308 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.308 * [taylor]: Taking taylor expansion of 1/3 in y
4.308 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.308 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.308 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.308 * [taylor]: Taking taylor expansion of y in y
4.308 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.308 * [taylor]: Taking taylor expansion of z in y
4.308 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z
4.309 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z
4.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z
4.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z
4.309 * [taylor]: Taking taylor expansion of 1/3 in z
4.309 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z
4.309 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
4.309 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
4.309 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.309 * [taylor]: Taking taylor expansion of y in z
4.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.309 * [taylor]: Taking taylor expansion of z in z
4.310 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z
4.310 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z
4.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z
4.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z
4.310 * [taylor]: Taking taylor expansion of 1/3 in z
4.310 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z
4.310 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
4.310 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
4.310 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.310 * [taylor]: Taking taylor expansion of y in z
4.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.311 * [taylor]: Taking taylor expansion of z in z
4.311 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.311 * [taylor]: Taking taylor expansion of 1/3 in y
4.311 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.311 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.311 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.311 * [taylor]: Taking taylor expansion of y in y
4.317 * [taylor]: Taking taylor expansion of 0 in y
4.325 * [taylor]: Taking taylor expansion of 0 in y
4.336 * [taylor]: Taking taylor expansion of 0 in y
4.336 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0
4.336 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y
4.336 * [taylor]: Taking taylor expansion of -1 in y
4.336 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y
4.336 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 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 (/ -1 y)) 2)) in y
4.336 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.336 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.336 * [taylor]: Taking taylor expansion of -1 in y
4.336 * [taylor]: Taking taylor expansion of y in y
4.337 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.337 * [taylor]: Taking taylor expansion of z in y
4.337 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z
4.337 * [taylor]: Taking taylor expansion of -1 in z
4.337 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z
4.337 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z
4.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z
4.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z
4.337 * [taylor]: Taking taylor expansion of 1/3 in z
4.337 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z
4.337 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
4.337 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
4.337 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.337 * [taylor]: Taking taylor expansion of -1 in z
4.337 * [taylor]: Taking taylor expansion of y in z
4.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.338 * [taylor]: Taking taylor expansion of z in z
4.338 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z
4.338 * [taylor]: Taking taylor expansion of -1 in z
4.338 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z
4.338 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z
4.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z
4.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z
4.339 * [taylor]: Taking taylor expansion of 1/3 in z
4.339 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z
4.339 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
4.339 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
4.339 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.339 * [taylor]: Taking taylor expansion of -1 in z
4.339 * [taylor]: Taking taylor expansion of y in z
4.339 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.339 * [taylor]: Taking taylor expansion of z in z
4.340 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y
4.340 * [taylor]: Taking taylor expansion of -1 in y
4.340 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
4.340 * [taylor]: Taking taylor expansion of 1/3 in y
4.340 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
4.340 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.340 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.340 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.340 * [taylor]: Taking taylor expansion of -1 in y
4.340 * [taylor]: Taking taylor expansion of y in y
4.346 * [taylor]: Taking taylor expansion of 0 in y
4.359 * [taylor]: Taking taylor expansion of 0 in y
4.372 * [taylor]: Taking taylor expansion of 0 in y
4.373 * * * [progress]: simplifying candidates
4.374 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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)))
  (* (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))
  (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log z) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y))))
  (+ (log (* z (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y))))
  (log (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (exp (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (* (* (* z z) z) (pow (cos y) 2)) (cos y))
  (* (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y))
  (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3))) (cos y))
  (* (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))))
  (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt 1))
  (* (* z (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* z (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* z (pow (pow (cos y) 2) 1/3)) 1)
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (+ (log z) (* (* (log (cos y)) 2) 1/3))
  (+ (log z) (* (* (log (cos y)) 2) 1/3))
  (+ (log z) (* (log (pow (cos y) 2)) 1/3))
  (+ (log z) (* (log (pow (cos y) 2)) 1/3))
  (+ (log z) (log (pow (pow (cos y) 2) 1/3)))
  (log (* z (pow (pow (cos y) 2) 1/3)))
  (exp (* z (pow (pow (cos y) 2) 1/3)))
  (* (* (* z z) z) (pow (cos y) 2))
  (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3)))
  (* (cbrt (* z (pow (pow (cos y) 2) 1/3))) (cbrt (* z (pow (pow (cos y) 2) 1/3))))
  (cbrt (* z (pow (pow (cos y) 2) 1/3)))
  (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3)))
  (sqrt (* z (pow (pow (cos y) 2) 1/3)))
  (sqrt (* z (pow (pow (cos y) 2) 1/3)))
  (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3))
  (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3))
  (* (sqrt z) (pow (cos y) 1/3))
  (* (sqrt z) (pow (cos y) 1/3))
  (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3))
  (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3))
  (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3))
  (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3))
  (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3)))
  (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3)))
  (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2)))
  (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2)))
  (* z (pow (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) 1/3))
  (* z (pow (pow (sqrt (cos y)) 2) 1/3))
  (* z (pow (pow 1 2) 1/3))
  (* z (pow (cos y) 1/3))
  (* z (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3))
  (* z (pow (sqrt (pow (cos y) 2)) 1/3))
  (* z (pow 1 1/3))
  (* z (pow (pow (cos y) (/ 2 2)) 1/3))
  (* z (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (pow (pow (cos y) 2) 1/3))))
  (* z (sqrt (pow (pow (cos y) 2) 1/3)))
  (* z 1)
  (* z (pow (pow (cos y) 2) (/ 1/3 2)))
  (* (cbrt z) (pow (pow (cos y) 2) 1/3))
  (* (sqrt z) (pow (pow (cos y) 2) 1/3))
  (* z (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)
  z
  (* z (cos y))
  (* z (cos y))
  z
  (* z (pow (pow (cos y) 2) 1/3))
  (* z (pow (pow (cos y) 2) 1/3))
4.378 * * [simplify]: iteration  0 :  133  enodes  (cost  1081 )
4.416 * * [simplify]: iteration  1 :  313  enodes  (cost  889 )
4.509 * * [simplify]: iteration  2 :  1098  enodes  (cost  792 )
4.964 * * [simplify]: iteration  done :  5001  enodes  (cost  792 )
4.964 * [simplify]: Simplified to:
   (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)))
  (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 (pow (cos y) 2) 3)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (exp (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (pow z 3) (pow (cos y) 3))
  (* (pow (* z (cbrt (pow (cos y) 2))) 3) (cos y))
  (* (pow (* z (cbrt (pow (cos y) 2))) 3) (cos y))
  (* (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))))
  (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (pow (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))) 3)
  (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (cbrt (pow (cos y) 2/3)) z) (cbrt (pow (cos y) 2)))
  (* (* z (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* z (cbrt (pow (cos y) 2)))
  (* (* z (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* z (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y))))
  (* z (cbrt (pow (cos y) 2)))
  (* (cbrt (cos y)) (cbrt (pow (cos y) 2)))
  (log (* z (cbrt (pow (cos y) 2))))
  (log (* z (cbrt (pow (cos y) 2))))
  (log (* z (cbrt (pow (cos y) 2))))
  (log (* z (cbrt (pow (cos y) 2))))
  (log (* z (cbrt (pow (cos y) 2))))
  (log (* z (cbrt (pow (cos y) 2))))
  (exp (* z (cbrt (pow (cos y) 2))))
  (* (pow z 3) (pow (cos y) 2))
  (pow (* z (cbrt (pow (cos y) 2))) 3)
  (* (cbrt (* z (cbrt (pow (cos y) 2)))) (cbrt (* z (cbrt (pow (cos y) 2)))))
  (cbrt (* z (cbrt (pow (cos y) 2))))
  (pow (* z (cbrt (pow (cos y) 2))) 3)
  (sqrt (* z (cbrt (pow (cos y) 2))))
  (sqrt (* z (cbrt (pow (cos y) 2))))
  (* (sqrt z) (cbrt (cos y)))
  (* (sqrt z) (cbrt (cos y)))
  (* (sqrt z) (cbrt (cos y)))
  (* (sqrt z) (cbrt (cos y)))
  (* (cbrt (fabs (cos y))) (sqrt z))
  (* (cbrt (fabs (cos y))) (sqrt z))
  (* (sqrt z) (cbrt (cos y)))
  (* (sqrt z) (cbrt (cos y)))
  (* (sqrt z) (sqrt (cbrt (pow (cos y) 2))))
  (* (sqrt z) (sqrt (cbrt (pow (cos y) 2))))
  (* (pow (pow (cos y) 2) 1/6) (sqrt z))
  (* (pow (pow (cos y) 2) 1/6) (sqrt z))
  (* z (cbrt (pow (cbrt (cos y)) 4)))
  (* (cbrt (cos y)) z)
  z
  (* (cbrt (cos y)) z)
  (* z (cbrt (pow (pow (cos y) 2) 2/3)))
  (* z (cbrt (fabs (cos y))))
  z
  (* (cbrt (cos y)) z)
  (* (* z (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) z)
  z
  (* z (pow (pow (cos y) 2) 1/6))
  (* (cbrt (pow (cos y) 2)) (cbrt z))
  (* (cbrt (pow (cos y) 2)) (sqrt z))
  (* z (cbrt (pow (cos y) 2)))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  z
  (* z (cos y))
  (* z (cos y))
  z
  (* z (cbrt (pow (cos y) 2)))
  (* z (cbrt (pow (cos y) 2)))
4.965 * * * [progress]: adding candidates to table
5.267 * * [progress]: iteration 4 / 4
5.267 * * * [progress]: picking best candidate
5.280 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>
5.280 * * * [progress]: localizing error
5.300 * * * [progress]: generating rewritten candidates
5.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
5.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
5.303 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1)
5.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
5.308 * * * [progress]: generating series expansions
5.308 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
5.308 * [approximate]: Taking taylor expansion of (log (pow (cos y) 2)) in (y) around 0
5.308 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
5.308 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.308 * [taylor]: Taking taylor expansion of (cos y) in y
5.308 * [taylor]: Taking taylor expansion of y in y
5.309 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
5.309 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.309 * [taylor]: Taking taylor expansion of (cos y) in y
5.309 * [taylor]: Taking taylor expansion of y in y
5.361 * [approximate]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in (y) around 0
5.361 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
5.361 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.361 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.361 * [taylor]: Taking taylor expansion of y in y
5.362 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
5.362 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.362 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.362 * [taylor]: Taking taylor expansion of y in y
5.386 * [approximate]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in (y) around 0
5.386 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
5.387 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
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 -1 in y
5.387 * [taylor]: Taking taylor expansion of y in y
5.387 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
5.387 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
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 -1 in y
5.387 * [taylor]: Taking taylor expansion of y in y
5.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
5.411 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
5.411 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
5.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
5.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
5.412 * [taylor]: Taking taylor expansion of 1/3 in y
5.412 * [taylor]: Taking taylor expansion of (log (cos y)) in y
5.412 * [taylor]: Taking taylor expansion of (cos y) in y
5.412 * [taylor]: Taking taylor expansion of y in y
5.416 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
5.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
5.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
5.416 * [taylor]: Taking taylor expansion of 1/3 in y
5.416 * [taylor]: Taking taylor expansion of (log (cos y)) in y
5.416 * [taylor]: Taking taylor expansion of (cos y) in y
5.416 * [taylor]: Taking taylor expansion of y in y
5.441 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
5.442 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
5.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
5.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
5.442 * [taylor]: Taking taylor expansion of 1/3 in y
5.442 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
5.442 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.442 * [taylor]: Taking taylor expansion of y in y
5.442 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
5.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
5.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
5.442 * [taylor]: Taking taylor expansion of 1/3 in y
5.442 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
5.442 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.442 * [taylor]: Taking taylor expansion of y in y
5.476 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
5.476 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
5.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
5.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
5.476 * [taylor]: Taking taylor expansion of 1/3 in y
5.476 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
5.476 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.476 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.476 * [taylor]: Taking taylor expansion of -1 in y
5.476 * [taylor]: Taking taylor expansion of y in y
5.477 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
5.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
5.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
5.477 * [taylor]: Taking taylor expansion of 1/3 in y
5.477 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
5.477 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.477 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.477 * [taylor]: Taking taylor expansion of -1 in y
5.477 * [taylor]: Taking taylor expansion of y in y
5.510 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1)
5.510 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
5.510 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.510 * [taylor]: Taking taylor expansion of (cos y) in y
5.510 * [taylor]: Taking taylor expansion of y in y
5.510 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.510 * [taylor]: Taking taylor expansion of (cos y) in y
5.510 * [taylor]: Taking taylor expansion of y in y
5.516 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
5.516 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.516 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.516 * [taylor]: Taking taylor expansion of y in y
5.517 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.517 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.517 * [taylor]: Taking taylor expansion of y in y
5.528 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
5.528 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.528 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.528 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.528 * [taylor]: Taking taylor expansion of -1 in y
5.528 * [taylor]: Taking taylor expansion of y in y
5.528 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.529 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.529 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.529 * [taylor]: Taking taylor expansion of -1 in y
5.529 * [taylor]: Taking taylor expansion of y in y
5.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
5.533 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
5.533 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.534 * [taylor]: Taking taylor expansion of (cos y) in y
5.534 * [taylor]: Taking taylor expansion of y in y
5.534 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
5.534 * [taylor]: Taking taylor expansion of (cos y) in y
5.534 * [taylor]: Taking taylor expansion of y in y
5.540 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
5.540 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.540 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.540 * [taylor]: Taking taylor expansion of y in y
5.540 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
5.540 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
5.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.540 * [taylor]: Taking taylor expansion of y in y
5.545 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
5.545 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.545 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.545 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.545 * [taylor]: Taking taylor expansion of -1 in y
5.545 * [taylor]: Taking taylor expansion of y in y
5.546 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
5.546 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
5.546 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.546 * [taylor]: Taking taylor expansion of -1 in y
5.546 * [taylor]: Taking taylor expansion of y in y
5.550 * * * [progress]: simplifying candidates
5.551 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (log (pow (cbrt (cos y)) 2))
  (log (pow (sqrt (cos y)) 2))
  (log (pow (sqrt (cos y)) 2))
  (log (pow 1 2))
  (log (pow (cos y) 2))
  (log (cos y))
  (log (cos y))
  (log (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (log (cbrt (pow (cos y) 2)))
  (log (sqrt (pow (cos y) 2)))
  (log (sqrt (pow (cos y) 2)))
  (log 1)
  (log (pow (cos y) 2))
  (log (pow (cos y) (/ 2 2)))
  (log (pow (cos y) (/ 2 2)))
  (log (cos y))
  (log (log (pow (cos y) 2)))
  (exp (log (pow (cos y) 2)))
  (* (cbrt (log (pow (cos y) 2))) (cbrt (log (pow (cos y) 2))))
  (cbrt (log (pow (cos y) 2)))
  (* (* (log (pow (cos y) 2)) (log (pow (cos y) 2))) (log (pow (cos y) 2)))
  (sqrt (log (pow (cos y) 2)))
  (sqrt (log (pow (cos y) 2)))
  (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)))
  (* (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))
  (exp 2)
  (exp (* (cbrt (log (pow (cos y) 2))) (cbrt (log (pow (cos y) 2)))))
  (exp (sqrt (log (pow (cos y) 2))))
  (exp 1)
  (exp (log (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)))
  (exp (log (pow (cbrt (cos y)) 2)))
  (exp (log (pow (sqrt (cos y)) 2)))
  (exp (log (pow (sqrt (cos y)) 2)))
  (exp (log (pow 1 2)))
  (exp (log (pow (cos y) 2)))
  (exp (log (cos y)))
  (exp (log (cos y)))
  (exp (log (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (exp (log (cbrt (pow (cos y) 2))))
  (exp (log (sqrt (pow (cos y) 2))))
  (exp (log (sqrt (pow (cos y) 2))))
  (exp (log 1))
  (exp (log (pow (cos y) 2)))
  (exp (log (pow (cos y) (/ 2 2))))
  (exp (log (pow (cos y) (/ 2 2))))
  (log (exp (log (pow (cos y) 2))))
  (exp (exp (log (pow (cos y) 2))))
  (* (cbrt (exp (log (pow (cos y) 2)))) (cbrt (exp (log (pow (cos y) 2)))))
  (cbrt (exp (log (pow (cos y) 2))))
  (* (* (exp (log (pow (cos y) 2))) (exp (log (pow (cos y) 2)))) (exp (log (pow (cos y) 2))))
  (sqrt (exp (log (pow (cos y) 2))))
  (sqrt (exp (log (pow (cos y) 2))))
  (- (+ (pow y 2) (+ (* 1/6 (pow y 4)) (* 2/45 (pow y 6)))))
  (log (pow (cos y) 2))
  (log (pow (cos y) 2))
  (- 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)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
5.554 * * [simplify]: iteration  0 :  98  enodes  (cost  635 )
5.576 * * [simplify]: iteration  1 :  179  enodes  (cost  521 )
5.628 * * [simplify]: iteration  2 :  490  enodes  (cost  447 )
5.876 * * [simplify]: iteration  3 :  1788  enodes  (cost  432 )
6.688 * * [simplify]: iteration  done :  5001  enodes  (cost  432 )
6.689 * [simplify]: Simplified to:
   (* 4/3 (log (cos y)))
  (log (pow (cos y) 2/3))
  (log (cos y))
  (log (cos y))
  0
  (* 2 (log (cos y)))
  (log (cos y))
  (log (cos y))
  (* 2 (log (cbrt (pow (cos y) 2))))
  (log (cbrt (pow (cos y) 2)))
  (log (cos y))
  (log (cos y))
  0
  (* 2 (log (cos y)))
  (log (cos y))
  (log (cos y))
  (log (cos y))
  (log (log (pow (cos y) 2)))
  (pow (cos y) 2)
  (* (cbrt (log (pow (cos y) 2))) (cbrt (log (pow (cos y) 2))))
  (cbrt (log (pow (cos y) 2)))
  (pow (log (pow (cos y) 2)) 3)
  (sqrt (log (pow (cos y) 2)))
  (sqrt (log (pow (cos y) 2)))
  (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)))
  (* 2 (log (cos y)))
  (* 2 (log (cos y)))
  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)
  (* 2 (log (cos y)))
  (exp (pow (cos y) 2))
  (exp (* 2 (log (cbrt (pow (cos y) 2)))))
  (cbrt (pow (cos y) 2))
  (pow (pow (cos y) 2) 3)
  (cos y)
  (cos y)
  (cos y)
  (cos y)
  (exp 2)
  (exp (* (cbrt (log (pow (cos y) 2))) (cbrt (log (pow (cos y) 2)))))
  (exp (sqrt (log (pow (cos y) 2))))
  E
  (pow (cos y) 4/3)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (cos y)
  (cos y)
  (exp (* 2 (log (cbrt (pow (cos y) 2)))))
  (cbrt (pow (cos y) 2))
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (cos y)
  (cos y)
  (* 2 (log (cos y)))
  (exp (pow (cos y) 2))
  (exp (* 2 (log (cbrt (pow (cos y) 2)))))
  (cbrt (pow (cos y) 2))
  (pow (pow (cos y) 2) 3)
  (cos y)
  (cos y)
  (- (- (* (pow y 6) -2/45) (* 1/6 (pow y 4))) (pow y 2))
  (* 2 (log (cos y)))
  (* 2 (log (cos y)))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
6.690 * * * [progress]: adding candidates to table
6.935 * [progress]: [Phase 3 of 3] Extracting.
6.935 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (pow (cos y) 1/3))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>)
6.936 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x)
6.936 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (#<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (pow (cos y) 1/3))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>)
6.973 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (pow (cos y) 1/3))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>)
7.000 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (pow (cos y) 1/3))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>)
7.025 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (pow (cos y) 1/3))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>)
7.054 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (sin y)) (* z (cos y)))
7.054 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
7.054 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
7.055 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
7.055 * [simplify]: Simplified to:
   (+ (+ x (sin y)) (* z (cos y)))
8.569 * [regime-testing]: Baseline error score: 0.050881360170021254
8.570 * [regime-testing]: Oracle error score: 0.021502687835979497
8.571 * [regime-testing]: End program error score: 0.050881360170021254