35.851 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (sin y)) (* z (cos y)))
0.046 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.047 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.049 * * [simplify]: iteration  2 :  19  enodes  (cost  9 )
0.051 * * [simplify]: iteration  done :  19  enodes  (cost  9 )
0.051 * [simplify]: Simplified to:
   (+ (+ x (sin y)) (* z (cos y)))
0.051 * * [progress]: iteration 1 / 4
0.052 * * * [progress]: picking best candidate
0.054 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* z (cos y))))>
0.054 * * * [progress]: localizing error
0.063 * * * [progress]: generating rewritten candidates
0.063 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.066 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.070 * * * [progress]: generating series expansions
0.070 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.070 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.070 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.070 * [taylor]: Taking taylor expansion of (cos y) in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.070 * [taylor]: Taking taylor expansion of z in y
0.070 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.070 * [taylor]: Taking taylor expansion of (cos y) in z
0.070 * [taylor]: Taking taylor expansion of y in z
0.070 * [taylor]: Taking taylor expansion of z in z
0.070 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.070 * [taylor]: Taking taylor expansion of (cos y) in z
0.070 * [taylor]: Taking taylor expansion of y in z
0.070 * [taylor]: Taking taylor expansion of z in z
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [taylor]: Taking taylor expansion of (cos y) in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.079 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.079 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.080 * [taylor]: Taking taylor expansion of z in y
0.080 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.080 * [taylor]: Taking taylor expansion of y in z
0.080 * [taylor]: Taking taylor expansion of z in z
0.080 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.080 * [taylor]: Taking taylor expansion of y in z
0.081 * [taylor]: Taking taylor expansion of z in z
0.081 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.091 * [taylor]: Taking taylor expansion of -1 in y
0.091 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.091 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.091 * [taylor]: Taking taylor expansion of -1 in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.092 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.092 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.092 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.092 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [taylor]: Taking taylor expansion of y in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.092 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.092 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.092 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.092 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [taylor]: Taking taylor expansion of y in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.093 * [taylor]: Taking taylor expansion of -1 in y
0.093 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.093 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.093 * [taylor]: Taking taylor expansion of -1 in y
0.093 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.106 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.106 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0
0.106 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y
0.106 * [taylor]: Taking taylor expansion of x in y
0.106 * [taylor]: Taking taylor expansion of (sin y) in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (sin y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (sin y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of (sin y) in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of 1 in y
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0
0.119 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y
0.119 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.120 * [taylor]: Taking taylor expansion of x in y
0.120 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x
0.120 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.120 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x
0.120 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.120 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of 1 in y
0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.127 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0
0.127 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y
0.127 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.127 * [taylor]: Taking taylor expansion of -1 in y
0.127 * [taylor]: Taking taylor expansion of y in y
0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.128 * [taylor]: Taking taylor expansion of x in y
0.128 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x
0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x
0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of -1 in y
0.130 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.130 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.130 * [taylor]: Taking taylor expansion of -1 in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.136 * * * [progress]: simplifying candidates
0.137 * [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.138 * * [simplify]: iteration  0 :  56  enodes  (cost  232 )
0.148 * * [simplify]: iteration  1 :  126  enodes  (cost  225 )
0.166 * * [simplify]: iteration  2 :  236  enodes  (cost  201 )
0.212 * * [simplify]: iteration  3 :  371  enodes  (cost  201 )
0.297 * * [simplify]: iteration  4 :  681  enodes  (cost  201 )
0.567 * * [simplify]: iteration  5 :  1666  enodes  (cost  201 )
1.713 * * [simplify]: iteration  6 :  4212  enodes  (cost  201 )
2.700 * * [simplify]: iteration  done :  5000  enodes  (cost  201 )
2.700 * [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))
  (+ (sin y) x)
  z
  (* z (cos y))
  (* z (cos y))
  (+ x y)
  (+ (sin y) x)
  (+ (sin y) x)
2.701 * * * [progress]: adding candidates to table
2.787 * * [progress]: iteration 2 / 4
2.788 * * * [progress]: picking best candidate
2.795 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))>
2.795 * * * [progress]: localizing error
2.808 * * * [progress]: generating rewritten candidates
2.808 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
2.810 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
2.810 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.818 * * * [progress]: generating series expansions
2.818 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.818 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.818 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.818 * [taylor]: Taking taylor expansion of 1/3 in y
2.818 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.818 * [taylor]: Taking taylor expansion of (cos y) in y
2.818 * [taylor]: Taking taylor expansion of y in y
2.823 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.823 * [taylor]: Taking taylor expansion of 1/3 in y
2.823 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.823 * [taylor]: Taking taylor expansion of (cos y) in y
2.823 * [taylor]: Taking taylor expansion of y in y
2.849 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.849 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.849 * [taylor]: Taking taylor expansion of 1/3 in y
2.849 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.849 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.849 * [taylor]: Taking taylor expansion of y in y
2.849 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.849 * [taylor]: Taking taylor expansion of 1/3 in y
2.849 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.850 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.850 * [taylor]: Taking taylor expansion of y in y
2.883 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.884 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.884 * [taylor]: Taking taylor expansion of 1/3 in y
2.884 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.884 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.884 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.884 * [taylor]: Taking taylor expansion of -1 in y
2.884 * [taylor]: Taking taylor expansion of y in y
2.884 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.884 * [taylor]: Taking taylor expansion of 1/3 in y
2.884 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.884 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.884 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.884 * [taylor]: Taking taylor expansion of -1 in y
2.884 * [taylor]: Taking taylor expansion of y in y
2.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
2.924 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.925 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.925 * [taylor]: Taking taylor expansion of 1/3 in y
2.925 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.925 * [taylor]: Taking taylor expansion of (cos y) in y
2.925 * [taylor]: Taking taylor expansion of y in y
2.929 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.929 * [taylor]: Taking taylor expansion of 1/3 in y
2.929 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.929 * [taylor]: Taking taylor expansion of (cos y) in y
2.929 * [taylor]: Taking taylor expansion of y in y
2.950 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.950 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.950 * [taylor]: Taking taylor expansion of 1/3 in y
2.950 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.950 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.950 * [taylor]: Taking taylor expansion of y in y
2.951 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.951 * [taylor]: Taking taylor expansion of 1/3 in y
2.951 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.951 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.951 * [taylor]: Taking taylor expansion of y in y
2.984 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.984 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.984 * [taylor]: Taking taylor expansion of 1/3 in y
2.984 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.984 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.984 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.984 * [taylor]: Taking taylor expansion of -1 in y
2.984 * [taylor]: Taking taylor expansion of y in y
2.984 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.984 * [taylor]: Taking taylor expansion of 1/3 in y
2.984 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.984 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.984 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.984 * [taylor]: Taking taylor expansion of -1 in y
2.984 * [taylor]: Taking taylor expansion of y in y
3.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
3.023 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
3.023 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
3.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
3.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
3.023 * [taylor]: Taking taylor expansion of 1/3 in y
3.023 * [taylor]: Taking taylor expansion of (log (cos y)) in y
3.023 * [taylor]: Taking taylor expansion of (cos y) in y
3.023 * [taylor]: Taking taylor expansion of y in y
3.028 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
3.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
3.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
3.028 * [taylor]: Taking taylor expansion of 1/3 in y
3.028 * [taylor]: Taking taylor expansion of (log (cos y)) in y
3.028 * [taylor]: Taking taylor expansion of (cos y) in y
3.028 * [taylor]: Taking taylor expansion of y in y
3.049 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
3.049 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
3.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
3.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
3.049 * [taylor]: Taking taylor expansion of 1/3 in y
3.049 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
3.049 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.049 * [taylor]: Taking taylor expansion of y in y
3.049 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
3.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
3.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
3.049 * [taylor]: Taking taylor expansion of 1/3 in y
3.049 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
3.049 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.049 * [taylor]: Taking taylor expansion of y in y
3.087 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
3.087 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
3.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
3.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
3.087 * [taylor]: Taking taylor expansion of 1/3 in y
3.087 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
3.087 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.087 * [taylor]: Taking taylor expansion of -1 in y
3.087 * [taylor]: Taking taylor expansion of y in y
3.088 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
3.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
3.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
3.088 * [taylor]: Taking taylor expansion of 1/3 in y
3.088 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
3.088 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.088 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.088 * [taylor]: Taking taylor expansion of -1 in y
3.088 * [taylor]: Taking taylor expansion of y in y
3.120 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
3.120 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
3.120 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
3.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
3.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
3.120 * [taylor]: Taking taylor expansion of 1/3 in y
3.120 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
3.120 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
3.120 * [taylor]: Taking taylor expansion of (cos y) in y
3.120 * [taylor]: Taking taylor expansion of y in y
3.126 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
3.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
3.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
3.126 * [taylor]: Taking taylor expansion of 1/3 in y
3.126 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
3.126 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
3.126 * [taylor]: Taking taylor expansion of (cos y) in y
3.126 * [taylor]: Taking taylor expansion of y in y
3.195 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
3.195 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
3.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
3.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
3.195 * [taylor]: Taking taylor expansion of 1/3 in y
3.195 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
3.195 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
3.195 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.195 * [taylor]: Taking taylor expansion of y in y
3.196 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
3.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
3.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
3.196 * [taylor]: Taking taylor expansion of 1/3 in y
3.196 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
3.196 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
3.196 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.196 * [taylor]: Taking taylor expansion of y in y
3.240 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
3.240 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
3.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
3.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
3.241 * [taylor]: Taking taylor expansion of 1/3 in y
3.241 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
3.241 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
3.241 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.241 * [taylor]: Taking taylor expansion of -1 in y
3.241 * [taylor]: Taking taylor expansion of y in y
3.242 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
3.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
3.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
3.242 * [taylor]: Taking taylor expansion of 1/3 in y
3.242 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
3.242 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
3.242 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.242 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.242 * [taylor]: Taking taylor expansion of -1 in y
3.242 * [taylor]: Taking taylor expansion of y in y
3.280 * * * [progress]: simplifying candidates
3.282 * [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)
3.284 * * [simplify]: iteration  0 :  64  enodes  (cost  686 )
3.300 * * [simplify]: iteration  1 :  122  enodes  (cost  615 )
3.326 * * [simplify]: iteration  2 :  355  enodes  (cost  521 )
3.587 * * [simplify]: iteration  3 :  1333  enodes  (cost  499 )
5.351 * * [simplify]: iteration  4 :  4814  enodes  (cost  492 )
6.774 * * [simplify]: iteration  done :  5000  enodes  (cost  492 )
6.774 * [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))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (cbrt (cos y))
  2/3
  2
  (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (pow (cbrt (cbrt (cos y))) 5)
  (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))))
  (pow (cos y) 2/3)
  (pow (cos y) 2/3)
6.775 * * * [progress]: adding candidates to table
6.997 * * [progress]: iteration 3 / 4
6.997 * * * [progress]: picking best candidate
7.006 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))))>
7.006 * * * [progress]: localizing error
7.022 * * * [progress]: generating rewritten candidates
7.022 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
7.023 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
7.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
7.055 * * * [progress]: generating series expansions
7.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
7.055 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
7.055 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
7.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
7.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
7.055 * [taylor]: Taking taylor expansion of 1/3 in y
7.055 * [taylor]: Taking taylor expansion of (log (cos y)) in y
7.055 * [taylor]: Taking taylor expansion of (cos y) in y
7.055 * [taylor]: Taking taylor expansion of y in y
7.060 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
7.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
7.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
7.060 * [taylor]: Taking taylor expansion of 1/3 in y
7.060 * [taylor]: Taking taylor expansion of (log (cos y)) in y
7.060 * [taylor]: Taking taylor expansion of (cos y) in y
7.060 * [taylor]: Taking taylor expansion of y in y
7.084 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
7.084 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
7.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
7.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
7.085 * [taylor]: Taking taylor expansion of 1/3 in y
7.085 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
7.085 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.085 * [taylor]: Taking taylor expansion of y in y
7.085 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
7.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
7.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
7.085 * [taylor]: Taking taylor expansion of 1/3 in y
7.085 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
7.085 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.085 * [taylor]: Taking taylor expansion of y in y
7.117 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
7.117 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
7.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
7.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
7.117 * [taylor]: Taking taylor expansion of 1/3 in y
7.117 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
7.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.117 * [taylor]: Taking taylor expansion of -1 in y
7.117 * [taylor]: Taking taylor expansion of y in y
7.118 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
7.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
7.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
7.118 * [taylor]: Taking taylor expansion of 1/3 in y
7.118 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
7.118 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.118 * [taylor]: Taking taylor expansion of -1 in y
7.118 * [taylor]: Taking taylor expansion of y in y
7.154 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
7.154 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
7.154 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.154 * [taylor]: Taking taylor expansion of (cos y) in y
7.154 * [taylor]: Taking taylor expansion of y in y
7.154 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.154 * [taylor]: Taking taylor expansion of (cos y) in y
7.154 * [taylor]: Taking taylor expansion of y in y
7.160 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
7.160 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.160 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.160 * [taylor]: Taking taylor expansion of y in y
7.160 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.160 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.160 * [taylor]: Taking taylor expansion of y in y
7.165 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
7.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.165 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.165 * [taylor]: Taking taylor expansion of -1 in y
7.165 * [taylor]: Taking taylor expansion of y in y
7.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.165 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.165 * [taylor]: Taking taylor expansion of -1 in y
7.165 * [taylor]: Taking taylor expansion of y in y
7.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.171 * [approximate]: Taking taylor expansion of (* z (cos y)) in (z y) around 0
7.171 * [taylor]: Taking taylor expansion of (* z (cos y)) in y
7.171 * [taylor]: Taking taylor expansion of z in y
7.171 * [taylor]: Taking taylor expansion of (cos y) in y
7.171 * [taylor]: Taking taylor expansion of y in y
7.171 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
7.171 * [taylor]: Taking taylor expansion of z in z
7.171 * [taylor]: Taking taylor expansion of (cos y) in z
7.171 * [taylor]: Taking taylor expansion of y in z
7.171 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
7.171 * [taylor]: Taking taylor expansion of z in z
7.171 * [taylor]: Taking taylor expansion of (cos y) in z
7.171 * [taylor]: Taking taylor expansion of y in z
7.171 * [taylor]: Taking taylor expansion of 0 in y
7.173 * [taylor]: Taking taylor expansion of (cos y) in y
7.173 * [taylor]: Taking taylor expansion of y in y
7.176 * [taylor]: Taking taylor expansion of 0 in y
7.180 * [taylor]: Taking taylor expansion of 0 in y
7.180 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
7.180 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
7.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.180 * [taylor]: Taking taylor expansion of y in y
7.180 * [taylor]: Taking taylor expansion of z in y
7.180 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
7.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
7.180 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.180 * [taylor]: Taking taylor expansion of y in z
7.181 * [taylor]: Taking taylor expansion of z in z
7.181 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
7.181 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
7.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.181 * [taylor]: Taking taylor expansion of y in z
7.181 * [taylor]: Taking taylor expansion of z in z
7.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.182 * [taylor]: Taking taylor expansion of y in y
7.184 * [taylor]: Taking taylor expansion of 0 in y
7.187 * [taylor]: Taking taylor expansion of 0 in y
7.191 * [taylor]: Taking taylor expansion of 0 in y
7.192 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
7.192 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
7.192 * [taylor]: Taking taylor expansion of -1 in y
7.192 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
7.192 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.192 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.192 * [taylor]: Taking taylor expansion of -1 in y
7.192 * [taylor]: Taking taylor expansion of y in y
7.192 * [taylor]: Taking taylor expansion of z in y
7.192 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
7.192 * [taylor]: Taking taylor expansion of -1 in z
7.192 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
7.192 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
7.192 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.192 * [taylor]: Taking taylor expansion of -1 in z
7.192 * [taylor]: Taking taylor expansion of y in z
7.192 * [taylor]: Taking taylor expansion of z in z
7.193 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
7.193 * [taylor]: Taking taylor expansion of -1 in z
7.193 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
7.193 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
7.193 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.193 * [taylor]: Taking taylor expansion of -1 in z
7.193 * [taylor]: Taking taylor expansion of y in z
7.193 * [taylor]: Taking taylor expansion of z in z
7.194 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
7.194 * [taylor]: Taking taylor expansion of -1 in y
7.194 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.194 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.194 * [taylor]: Taking taylor expansion of -1 in y
7.194 * [taylor]: Taking taylor expansion of y in y
7.197 * [taylor]: Taking taylor expansion of 0 in y
7.201 * [taylor]: Taking taylor expansion of 0 in y
7.206 * [taylor]: Taking taylor expansion of 0 in y
7.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.207 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0
7.207 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y
7.207 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.207 * [taylor]: Taking taylor expansion of 1/3 in y
7.207 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.207 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.207 * [taylor]: Taking taylor expansion of (cos y) in y
7.207 * [taylor]: Taking taylor expansion of y in y
7.213 * [taylor]: Taking taylor expansion of z in y
7.213 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z
7.213 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z
7.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z
7.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z
7.213 * [taylor]: Taking taylor expansion of 1/3 in z
7.213 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z
7.213 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
7.213 * [taylor]: Taking taylor expansion of (cos y) in z
7.213 * [taylor]: Taking taylor expansion of y in z
7.214 * [taylor]: Taking taylor expansion of z in z
7.214 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z
7.214 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z
7.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z
7.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z
7.214 * [taylor]: Taking taylor expansion of 1/3 in z
7.214 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z
7.214 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
7.214 * [taylor]: Taking taylor expansion of (cos y) in z
7.214 * [taylor]: Taking taylor expansion of y in z
7.214 * [taylor]: Taking taylor expansion of z in z
7.214 * [taylor]: Taking taylor expansion of 0 in y
7.218 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
7.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
7.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
7.218 * [taylor]: Taking taylor expansion of 1/3 in y
7.218 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
7.218 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
7.218 * [taylor]: Taking taylor expansion of (cos y) in y
7.218 * [taylor]: Taking taylor expansion of y in y
7.229 * [taylor]: Taking taylor expansion of 0 in y
7.240 * [taylor]: Taking taylor expansion of 0 in y
7.240 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0
7.240 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y
7.240 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.240 * [taylor]: Taking taylor expansion of 1/3 in y
7.240 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.240 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.240 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.240 * [taylor]: Taking taylor expansion of y in y
7.241 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.241 * [taylor]: Taking taylor expansion of z in y
7.241 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z
7.241 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z
7.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z
7.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z
7.241 * [taylor]: Taking taylor expansion of 1/3 in z
7.241 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z
7.241 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
7.241 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
7.241 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.241 * [taylor]: Taking taylor expansion of y in z
7.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.242 * [taylor]: Taking taylor expansion of z in z
7.242 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z
7.242 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z
7.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z
7.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z
7.242 * [taylor]: Taking taylor expansion of 1/3 in z
7.242 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z
7.242 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
7.242 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
7.242 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.242 * [taylor]: Taking taylor expansion of y in z
7.243 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.243 * [taylor]: Taking taylor expansion of z in z
7.244 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
7.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
7.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
7.244 * [taylor]: Taking taylor expansion of 1/3 in y
7.244 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
7.244 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
7.244 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
7.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.244 * [taylor]: Taking taylor expansion of y in y
7.249 * [taylor]: Taking taylor expansion of 0 in y
7.257 * [taylor]: Taking taylor expansion of 0 in y
7.268 * [taylor]: Taking taylor expansion of 0 in y
7.268 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0
7.268 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y
7.268 * [taylor]: Taking taylor expansion of -1 in y
7.268 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y
7.268 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.268 * [taylor]: Taking taylor expansion of 1/3 in y
7.268 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.268 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.268 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.268 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.268 * [taylor]: Taking taylor expansion of -1 in y
7.268 * [taylor]: Taking taylor expansion of y in y
7.269 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.269 * [taylor]: Taking taylor expansion of z in y
7.269 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z
7.269 * [taylor]: Taking taylor expansion of -1 in z
7.269 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z
7.269 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z
7.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z
7.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z
7.269 * [taylor]: Taking taylor expansion of 1/3 in z
7.269 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z
7.269 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
7.269 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
7.269 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.269 * [taylor]: Taking taylor expansion of -1 in z
7.269 * [taylor]: Taking taylor expansion of y in z
7.270 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.270 * [taylor]: Taking taylor expansion of z in z
7.270 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z
7.270 * [taylor]: Taking taylor expansion of -1 in z
7.270 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z
7.270 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z
7.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z
7.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z
7.271 * [taylor]: Taking taylor expansion of 1/3 in z
7.271 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z
7.271 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
7.271 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
7.271 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.271 * [taylor]: Taking taylor expansion of -1 in z
7.271 * [taylor]: Taking taylor expansion of y in z
7.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.271 * [taylor]: Taking taylor expansion of z in z
7.272 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y
7.272 * [taylor]: Taking taylor expansion of -1 in y
7.272 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
7.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
7.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
7.272 * [taylor]: Taking taylor expansion of 1/3 in y
7.272 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
7.272 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
7.272 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
7.272 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.272 * [taylor]: Taking taylor expansion of -1 in y
7.272 * [taylor]: Taking taylor expansion of y in y
7.278 * [taylor]: Taking taylor expansion of 0 in y
7.287 * [taylor]: Taking taylor expansion of 0 in y
7.299 * [taylor]: Taking taylor expansion of 0 in y
7.299 * * * [progress]: simplifying candidates
7.301 * [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))
7.305 * * [simplify]: iteration  0 :  133  enodes  (cost  1081 )
7.346 * * [simplify]: iteration  1 :  313  enodes  (cost  889 )
7.432 * * [simplify]: iteration  2 :  918  enodes  (cost  795 )
8.240 * * [simplify]: iteration  3 :  3874  enodes  (cost  730 )
9.526 * * [simplify]: iteration  done :  5001  enodes  (cost  730 )
9.527 * [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 (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)
  (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (+ (log z) (log (cos y)))
  (exp (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (pow (cos y) 3) (pow z 3))
  (* (pow (cos y) 3) (pow z 3))
  (* (pow (cos y) 3) (pow z 3))
  (* (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 (cos y) 3) (pow z 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 3) (pow (cos y) 2))
  (* (cbrt (* z (cbrt (pow (cos y) 2)))) (cbrt (* z (cbrt (pow (cos y) 2)))))
  (cbrt (* z (cbrt (pow (cos y) 2))))
  (* (pow z 3) (pow (cos y) 2))
  (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 (cos y) 4/3)))
  (* z (cbrt (cos y)))
  z
  (* z (cbrt (cos y)))
  (* z (cbrt (pow (pow (cos y) 2) 2/3)))
  (* z (cbrt (fabs (cos y))))
  z
  (* z (cbrt (cos y)))
  (* (* 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)))
9.527 * * * [progress]: adding candidates to table
9.800 * * [progress]: iteration 4 / 4
9.800 * * * [progress]: picking best candidate
9.810 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (sin y)) (* (* z (pow (exp (log (pow (cos y) 2))) 1/3)) (cbrt (cos y)))))>
9.810 * * * [progress]: localizing error
9.829 * * * [progress]: generating rewritten candidates
9.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
9.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
9.831 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1)
9.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
9.837 * * * [progress]: generating series expansions
9.837 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
9.837 * [approximate]: Taking taylor expansion of (log (pow (cos y) 2)) in (y) around 0
9.837 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
9.837 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
9.837 * [taylor]: Taking taylor expansion of (cos y) in y
9.837 * [taylor]: Taking taylor expansion of y in y
9.838 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
9.838 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
9.838 * [taylor]: Taking taylor expansion of (cos y) in y
9.838 * [taylor]: Taking taylor expansion of y in y
9.887 * [approximate]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in (y) around 0
9.887 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
9.887 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
9.887 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
9.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.887 * [taylor]: Taking taylor expansion of y in y
9.888 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
9.888 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
9.888 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
9.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.888 * [taylor]: Taking taylor expansion of y in y
9.912 * [approximate]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in (y) around 0
9.912 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
9.912 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
9.912 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
9.912 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.912 * [taylor]: Taking taylor expansion of -1 in y
9.912 * [taylor]: Taking taylor expansion of y in y
9.912 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
9.912 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
9.912 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
9.912 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.912 * [taylor]: Taking taylor expansion of -1 in y
9.912 * [taylor]: Taking taylor expansion of y in y
9.938 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
9.939 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
9.939 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
9.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
9.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
9.939 * [taylor]: Taking taylor expansion of 1/3 in y
9.939 * [taylor]: Taking taylor expansion of (log (cos y)) in y
9.939 * [taylor]: Taking taylor expansion of (cos y) in y
9.939 * [taylor]: Taking taylor expansion of y in y
9.943 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
9.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
9.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
9.943 * [taylor]: Taking taylor expansion of 1/3 in y
9.943 * [taylor]: Taking taylor expansion of (log (cos y)) in y
9.943 * [taylor]: Taking taylor expansion of (cos y) in y
9.943 * [taylor]: Taking taylor expansion of y in y
9.964 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
9.964 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
9.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
9.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
9.964 * [taylor]: Taking taylor expansion of 1/3 in y
9.964 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
9.964 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
9.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.964 * [taylor]: Taking taylor expansion of y in y
9.964 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
9.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
9.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
9.964 * [taylor]: Taking taylor expansion of 1/3 in y
9.964 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
9.964 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
9.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.964 * [taylor]: Taking taylor expansion of y in y
10.000 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
10.000 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
10.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
10.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
10.000 * [taylor]: Taking taylor expansion of 1/3 in y
10.000 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
10.000 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.000 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.000 * [taylor]: Taking taylor expansion of -1 in y
10.000 * [taylor]: Taking taylor expansion of y in y
10.000 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
10.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
10.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
10.000 * [taylor]: Taking taylor expansion of 1/3 in y
10.000 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
10.000 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.000 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.000 * [taylor]: Taking taylor expansion of -1 in y
10.000 * [taylor]: Taking taylor expansion of y in y
10.033 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1)
10.033 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
10.033 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
10.033 * [taylor]: Taking taylor expansion of (cos y) in y
10.033 * [taylor]: Taking taylor expansion of y in y
10.033 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
10.033 * [taylor]: Taking taylor expansion of (cos y) in y
10.033 * [taylor]: Taking taylor expansion of y in y
10.039 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
10.039 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
10.040 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
10.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.040 * [taylor]: Taking taylor expansion of y in y
10.040 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
10.040 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
10.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.040 * [taylor]: Taking taylor expansion of y in y
10.045 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
10.045 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
10.045 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.045 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.045 * [taylor]: Taking taylor expansion of -1 in y
10.045 * [taylor]: Taking taylor expansion of y in y
10.045 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
10.045 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.046 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.046 * [taylor]: Taking taylor expansion of -1 in y
10.046 * [taylor]: Taking taylor expansion of y in y
10.051 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
10.051 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
10.051 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
10.051 * [taylor]: Taking taylor expansion of (cos y) in y
10.051 * [taylor]: Taking taylor expansion of y in y
10.051 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
10.051 * [taylor]: Taking taylor expansion of (cos y) in y
10.051 * [taylor]: Taking taylor expansion of y in y
10.057 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
10.057 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
10.057 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
10.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.057 * [taylor]: Taking taylor expansion of y in y
10.057 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
10.057 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
10.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.058 * [taylor]: Taking taylor expansion of y in y
10.062 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
10.062 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
10.062 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.062 * [taylor]: Taking taylor expansion of -1 in y
10.062 * [taylor]: Taking taylor expansion of y in y
10.063 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
10.063 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
10.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.063 * [taylor]: Taking taylor expansion of -1 in y
10.063 * [taylor]: Taking taylor expansion of y in y
10.068 * * * [progress]: simplifying candidates
10.069 * [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)
10.072 * * [simplify]: iteration  0 :  98  enodes  (cost  635 )
10.096 * * [simplify]: iteration  1 :  179  enodes  (cost  521 )
10.139 * * [simplify]: iteration  2 :  399  enodes  (cost  447 )
10.249 * * [simplify]: iteration  3 :  1082  enodes  (cost  440 )
10.841 * * [simplify]: iteration  done :  5000  enodes  (cost  436 )
10.841 * [simplify]: Simplified to:
   (* 4/3 (log (cos y)))
  (log (pow (cos y) 2/3))
  (log (cos y))
  (log (cos y))
  0
  (log (pow (cos y) 2))
  (log (cos y))
  (log (cos y))
  (* 2 (log (cbrt (pow (cos y) 2))))
  (log (cbrt (pow (cos y) 2)))
  (log (fabs (cos y)))
  (log (fabs (cos y)))
  0
  (log (pow (cos y) 2))
  (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)))
  (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))
  (exp (* 2 (log (cbrt (pow (cos y) 2)))))
  (cbrt (pow (cos y) 2))
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (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))
  (fabs (cos y))
  (fabs (cos y))
  1
  (pow (cos y) 2)
  (cos y)
  (cos y)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (exp (* 2 (log (cbrt (pow (cos y) 2)))))
  (cbrt (pow (cos y) 2))
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (cos y))
  (- (+ (* -2/45 (pow y 6)) (* -1/6 (pow y 4))) (pow y 2))
  (log (pow (cos y) 2))
  (log (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)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
10.841 * * * [progress]: adding candidates to table
11.090 * [progress]: [Phase 3 of 3] Extracting.
11.090 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* 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)) (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))))>)
11.093 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x)
11.093 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (#<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* 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)) (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))))>)
11.125 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* 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)) (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))))>)
11.152 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* 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)) (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))))>)
11.176 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (+ x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (+ x (sin y)) (* 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)) (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))))>)
11.202 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.203 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (sin y)) (* z (cos y)))
11.203 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
11.203 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
11.203 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
11.203 * [simplify]: Simplified to:
   (+ (+ x (sin y)) (* z (cos y)))
12.745 * [regime-testing]: Baseline error score: 0.050881360170021254
12.745 * [regime-testing]: Oracle error score: 0.021502687835979497
12.746 * [regime-testing]: End program error score: 0.050881360170021254