4.846 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* x (sin y)) (* z (cos y)))
0.059 * * [simplify]: iteration  0 :  11  enodes  (cost  5 )
0.060 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.060 * [simplify]: Simplified to:
   (+ (* x (sin y)) (* z (cos y)))
0.060 * * [progress]: iteration 1 / 4
0.060 * * * [progress]: picking best candidate
0.064 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* z (cos y))))>
0.064 * * * [progress]: localizing error
0.073 * * * [progress]: generating rewritten candidates
0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.077 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.081 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.090 * * * [progress]: generating series expansions
0.091 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.091 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.091 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.091 * [taylor]: Taking taylor expansion of (sin y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (sin y) in x
0.091 * [taylor]: Taking taylor expansion of y in x
0.091 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (sin y) in x
0.091 * [taylor]: Taking taylor expansion of y in x
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [taylor]: Taking taylor expansion of (sin y) in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.093 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.093 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.093 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.094 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.096 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.096 * [taylor]: Taking taylor expansion of -1 in x
0.096 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.096 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.096 * [taylor]: Taking taylor expansion of -1 in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.096 * [taylor]: Taking taylor expansion of -1 in x
0.096 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.096 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.096 * [taylor]: Taking taylor expansion of -1 in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.097 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.097 * [taylor]: Taking taylor expansion of -1 in y
0.097 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.097 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.097 * [taylor]: Taking taylor expansion of -1 in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.099 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.099 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.099 * [taylor]: Taking taylor expansion of (cos y) in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of z in y
0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.099 * [taylor]: Taking taylor expansion of (cos y) in z
0.099 * [taylor]: Taking taylor expansion of y in z
0.099 * [taylor]: Taking taylor expansion of z in z
0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.099 * [taylor]: Taking taylor expansion of (cos y) in z
0.099 * [taylor]: Taking taylor expansion of y in z
0.099 * [taylor]: Taking taylor expansion of z in z
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [taylor]: Taking taylor expansion of (cos y) in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of z in y
0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.101 * [taylor]: Taking taylor expansion of z in z
0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.101 * [taylor]: Taking taylor expansion of y in z
0.101 * [taylor]: Taking taylor expansion of z in z
0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.102 * [taylor]: Taking taylor expansion of -1 in y
0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of z in y
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of y in z
0.103 * [taylor]: Taking taylor expansion of z in z
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of y in z
0.103 * [taylor]: Taking taylor expansion of z in z
0.103 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.105 * [taylor]: Taking taylor expansion of 0 in y
0.105 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.105 * [approximate]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in (x y z) around 0
0.105 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in z
0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
0.105 * [taylor]: Taking taylor expansion of x in z
0.105 * [taylor]: Taking taylor expansion of (sin y) in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.105 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
0.105 * [taylor]: Taking taylor expansion of z in z
0.105 * [taylor]: Taking taylor expansion of (cos y) in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.105 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in y
0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.105 * [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 (* z (cos y)) in y
0.106 * [taylor]: Taking taylor expansion of z in y
0.106 * [taylor]: Taking taylor expansion of (cos y) in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos 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 (* z (cos y)) in x
0.106 * [taylor]: Taking taylor expansion of z in x
0.106 * [taylor]: Taking taylor expansion of (cos y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos 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 (* z (cos y)) in x
0.106 * [taylor]: Taking taylor expansion of z in x
0.106 * [taylor]: Taking taylor expansion of (cos y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.106 * [taylor]: Taking taylor expansion of (cos y) in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of z in y
0.106 * [taylor]: Taking taylor expansion of z in z
0.107 * [taylor]: Taking taylor expansion of (sin y) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of 1 in z
0.108 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z
0.108 * [taylor]: Taking taylor expansion of (* 1/2 z) in z
0.108 * [taylor]: Taking taylor expansion of 1/2 in z
0.108 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of 0 in y
0.108 * [taylor]: Taking taylor expansion of 0 in z
0.109 * [taylor]: Taking taylor expansion of 0 in z
0.109 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in (x y z) around 0
0.109 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in z
0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z
0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.109 * [taylor]: Taking taylor expansion of y in z
0.109 * [taylor]: Taking taylor expansion of x in z
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.109 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.109 * [taylor]: Taking taylor expansion of y in z
0.109 * [taylor]: Taking taylor expansion of z in z
0.109 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in y
0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of x in y
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.110 * [taylor]: Taking taylor expansion of (cos (/ 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 z in y
0.110 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x
0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) 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 x in x
0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x
0.110 * [taylor]: Taking taylor expansion of (cos (/ 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 z in x
0.110 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x
0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) 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 x in x
0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x
0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.110 * [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 z in x
0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.111 * [taylor]: Taking taylor expansion of y in z
0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of z in y
0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.111 * [taylor]: Taking taylor expansion of y in z
0.112 * [taylor]: Taking taylor expansion of z in z
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [taylor]: Taking taylor expansion of 0 in z
0.114 * [taylor]: Taking taylor expansion of 0 in z
0.114 * [taylor]: Taking taylor expansion of 0 in z
0.114 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [approximate]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in (x y z) around 0
0.115 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in z
0.115 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in z
0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.115 * [taylor]: Taking taylor expansion of -1 in z
0.115 * [taylor]: Taking taylor expansion of y in z
0.115 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z
0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.115 * [taylor]: Taking taylor expansion of -1 in z
0.115 * [taylor]: Taking taylor expansion of y in z
0.115 * [taylor]: Taking taylor expansion of x in z
0.115 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in y
0.115 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in y
0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.115 * [taylor]: Taking taylor expansion of -1 in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of z in y
0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.115 * [taylor]: Taking taylor expansion of -1 in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x
0.116 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x
0.116 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x
0.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.116 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x
0.116 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x
0.116 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x
0.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.116 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in y
0.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.117 * [taylor]: Taking taylor expansion of -1 in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in z
0.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.117 * [taylor]: Taking taylor expansion of -1 in z
0.117 * [taylor]: Taking taylor expansion of y in z
0.117 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in y
0.117 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.118 * [taylor]: Taking taylor expansion of -1 in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [taylor]: Taking taylor expansion of z in y
0.118 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in z
0.118 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.118 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.118 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.118 * [taylor]: Taking taylor expansion of -1 in z
0.118 * [taylor]: Taking taylor expansion of y in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * * * [progress]: simplifying candidates
0.122 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (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)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (* 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 (sin y))) (exp (* z (cos y))))
  (log (+ (* x (sin y)) (* z (cos y))))
  (exp (+ (* x (sin y)) (* z (cos y))))
  (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y)))))
  (cbrt (+ (* x (sin y)) (* z (cos y))))
  (* (* (+ (* x (sin y)) (* z (cos y))) (+ (* x (sin y)) (* z (cos y)))) (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3))
  (+ (* (* x (sin y)) (* x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (* x (sin y)) (* z (cos y)))))
  (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y))))
  (- (* x (sin y)) (* z (cos y)))
  (* x y)
  (* x (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (+ z (* x y))
  (+ (* (cos y) z) (* x (sin y)))
  (+ (* (cos y) z) (* x (sin y)))
0.125 * * [simplify]: iteration  0 :  185  enodes  (cost  250 )
0.129 * * [simplify]: iteration  1 :  702  enodes  (cost  229 )
0.144 * * [simplify]: iteration  2 :  2218  enodes  (cost  229 )
0.188 * * [simplify]: iteration  3 :  5001  enodes  (cost  229 )
0.190 * [simplify]: Simplified to:
   (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (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)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (* 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)) (* z (cos y))))
  (log (+ (* x (sin y)) (* z (cos y))))
  (exp (+ (* x (sin y)) (* z (cos y))))
  (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y)))))
  (cbrt (+ (* x (sin y)) (* z (cos y))))
  (pow (+ (* (cos y) z) (* x (sin y))) 3)
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3))
  (+ (* (* z (cos y)) (- (* z (cos y)) (* x (sin y)))) (* (* x (sin y)) (* x (sin y))))
  (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y))))
  (- (* x (sin y)) (* z (cos y)))
  (* x y)
  (* x (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (+ z (* x y))
  (+ (* (cos y) z) (* x (sin y)))
  (+ (* (cos y) z) (* x (sin y)))
0.191 * * * [progress]: adding candidates to table
0.249 * * [progress]: iteration 2 / 4
0.249 * * * [progress]: picking best candidate
0.282 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y)))))>
0.282 * * * [progress]: localizing error
0.297 * * * [progress]: generating rewritten candidates
0.297 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
0.300 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.301 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.308 * * * [progress]: generating series expansions
0.308 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.309 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.309 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.309 * [taylor]: Taking taylor expansion of 1/3 in y
0.309 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.309 * [taylor]: Taking taylor expansion of (cos y) in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.309 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.309 * [taylor]: Taking taylor expansion of 1/3 in y
0.309 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.309 * [taylor]: Taking taylor expansion of (cos y) in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.312 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.312 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.312 * [taylor]: Taking taylor expansion of 1/3 in y
0.312 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.312 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.312 * [taylor]: Taking taylor expansion of y in y
0.312 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.312 * [taylor]: Taking taylor expansion of 1/3 in y
0.312 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.312 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.312 * [taylor]: Taking taylor expansion of y in y
0.318 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.319 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.319 * [taylor]: Taking taylor expansion of 1/3 in y
0.319 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.319 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.319 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.319 * [taylor]: Taking taylor expansion of -1 in y
0.319 * [taylor]: Taking taylor expansion of y in y
0.319 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.319 * [taylor]: Taking taylor expansion of 1/3 in y
0.319 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.319 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.319 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.319 * [taylor]: Taking taylor expansion of -1 in y
0.319 * [taylor]: Taking taylor expansion of y in y
0.325 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
0.325 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.325 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.325 * [taylor]: Taking taylor expansion of 1/3 in y
0.325 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.325 * [taylor]: Taking taylor expansion of (cos y) in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.326 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.326 * [taylor]: Taking taylor expansion of 1/3 in y
0.326 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.326 * [taylor]: Taking taylor expansion of (cos y) in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.328 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.328 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.328 * [taylor]: Taking taylor expansion of 1/3 in y
0.328 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.328 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.329 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.329 * [taylor]: Taking taylor expansion of 1/3 in y
0.329 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.329 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.329 * [taylor]: Taking taylor expansion of y in y
0.335 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.335 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.335 * [taylor]: Taking taylor expansion of 1/3 in y
0.335 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.335 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.335 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.335 * [taylor]: Taking taylor expansion of -1 in y
0.335 * [taylor]: Taking taylor expansion of y in y
0.335 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.335 * [taylor]: Taking taylor expansion of 1/3 in y
0.335 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.335 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.336 * [taylor]: Taking taylor expansion of -1 in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.342 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.342 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.342 * [taylor]: Taking taylor expansion of 1/3 in y
0.342 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.342 * [taylor]: Taking taylor expansion of (cos y) in y
0.342 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.342 * [taylor]: Taking taylor expansion of 1/3 in y
0.342 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.342 * [taylor]: Taking taylor expansion of (cos y) in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.345 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.345 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.345 * [taylor]: Taking taylor expansion of 1/3 in y
0.345 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.345 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.345 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.345 * [taylor]: Taking taylor expansion of 1/3 in y
0.346 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.346 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.346 * [taylor]: Taking taylor expansion of y in y
0.352 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.352 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.352 * [taylor]: Taking taylor expansion of 1/3 in y
0.352 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.352 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.352 * [taylor]: Taking taylor expansion of -1 in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.352 * [taylor]: Taking taylor expansion of 1/3 in y
0.352 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.352 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.352 * [taylor]: Taking taylor expansion of -1 in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.359 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.359 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
0.359 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.359 * [taylor]: Taking taylor expansion of 1/3 in y
0.359 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.359 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.359 * [taylor]: Taking taylor expansion of (cos y) in y
0.359 * [taylor]: Taking taylor expansion of y in y
0.359 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.359 * [taylor]: Taking taylor expansion of 1/3 in y
0.359 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.359 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.359 * [taylor]: Taking taylor expansion of (cos y) in y
0.359 * [taylor]: Taking taylor expansion of y in y
0.366 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
0.366 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.366 * [taylor]: Taking taylor expansion of 1/3 in y
0.366 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.366 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.366 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.367 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.367 * [taylor]: Taking taylor expansion of 1/3 in y
0.367 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.367 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.367 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.375 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
0.375 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.375 * [taylor]: Taking taylor expansion of 1/3 in y
0.375 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.375 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.375 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.375 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.375 * [taylor]: Taking taylor expansion of -1 in y
0.375 * [taylor]: Taking taylor expansion of y in y
0.375 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.376 * [taylor]: Taking taylor expansion of 1/3 in y
0.376 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.376 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.376 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.376 * [taylor]: Taking taylor expansion of -1 in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.386 * * * [progress]: simplifying candidates
0.387 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (- (pow 1 1/3) (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (pow 1 1/3) (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (pow 1 1/3) (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (pow 1 1/3) (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
0.392 * * [simplify]: iteration  0 :  125  enodes  (cost  433 )
0.395 * * [simplify]: iteration  1 :  507  enodes  (cost  381 )
0.410 * * [simplify]: iteration  2 :  3337  enodes  (cost  357 )
0.489 * * [simplify]: iteration  3 :  5001  enodes  (cost  351 )
0.492 * [simplify]: Simplified to:
   (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)))
  1
  (pow (cos y) 1/3)
  (* (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 (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (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 (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (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
  (* 2/3 (log (cos y)))
  (* 2/3 (log (cos y)))
  (pow (exp 1) (pow (cos y) 2/3))
  (pow (cos y) 2)
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (pow (cos y) 2)
  (fabs (pow (cos y) 1/3))
  (fabs (pow (cos y) 1/3))
  (* (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))))
  1
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  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))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  2/3
  2
  (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (sqrt (cbrt (cos y))) 3)
  (pow (cos y) 1/3)
  (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)))
  (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 (cos y) 2/3)
  (pow (cos y) 2/3)
0.492 * * * [progress]: adding candidates to table
0.569 * * [progress]: iteration 3 / 4
0.569 * * * [progress]: picking best candidate
0.606 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))))>
0.606 * * * [progress]: localizing error
0.620 * * * [progress]: generating rewritten candidates
0.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
0.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.626 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.631 * * * [progress]: generating series expansions
0.631 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
0.631 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
0.631 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.631 * [taylor]: Taking taylor expansion of 1/3 in y
0.631 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.631 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.631 * [taylor]: Taking taylor expansion of (cos y) in y
0.631 * [taylor]: Taking taylor expansion of y in y
0.631 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.631 * [taylor]: Taking taylor expansion of 1/3 in y
0.631 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.631 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.631 * [taylor]: Taking taylor expansion of (cos y) in y
0.631 * [taylor]: Taking taylor expansion of y in y
0.638 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
0.638 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.639 * [taylor]: Taking taylor expansion of 1/3 in y
0.639 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.639 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.639 * [taylor]: Taking taylor expansion of y in y
0.639 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.639 * [taylor]: Taking taylor expansion of 1/3 in y
0.639 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.639 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.639 * [taylor]: Taking taylor expansion of y in y
0.647 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
0.647 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.647 * [taylor]: Taking taylor expansion of 1/3 in y
0.647 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.647 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.647 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.647 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.647 * [taylor]: Taking taylor expansion of -1 in y
0.647 * [taylor]: Taking taylor expansion of y in y
0.648 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.648 * [taylor]: Taking taylor expansion of 1/3 in y
0.648 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.648 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.648 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.648 * [taylor]: Taking taylor expansion of -1 in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.656 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.657 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.657 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.657 * [taylor]: Taking taylor expansion of 1/3 in y
0.657 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.657 * [taylor]: Taking taylor expansion of (cos y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.657 * [taylor]: Taking taylor expansion of 1/3 in y
0.657 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.657 * [taylor]: Taking taylor expansion of (cos y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.659 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.660 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.660 * [taylor]: Taking taylor expansion of 1/3 in y
0.660 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.660 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.660 * [taylor]: Taking taylor expansion of y in y
0.660 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.660 * [taylor]: Taking taylor expansion of 1/3 in y
0.660 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.660 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.660 * [taylor]: Taking taylor expansion of y in y
0.666 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.666 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.666 * [taylor]: Taking taylor expansion of 1/3 in y
0.666 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.666 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.666 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.666 * [taylor]: Taking taylor expansion of -1 in y
0.666 * [taylor]: Taking taylor expansion of y in y
0.667 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.667 * [taylor]: Taking taylor expansion of 1/3 in y
0.667 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.667 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.667 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.667 * [taylor]: Taking taylor expansion of -1 in y
0.667 * [taylor]: Taking taylor expansion of y in y
0.673 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.673 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
0.673 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.673 * [taylor]: Taking taylor expansion of (cos y) in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.673 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.673 * [taylor]: Taking taylor expansion of (cos y) in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.674 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
0.674 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.674 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.674 * [taylor]: Taking taylor expansion of y in y
0.674 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.674 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.674 * [taylor]: Taking taylor expansion of y in y
0.675 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
0.675 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.675 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.675 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.675 * [taylor]: Taking taylor expansion of -1 in y
0.675 * [taylor]: Taking taylor expansion of y in y
0.675 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.676 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.676 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.676 * [taylor]: Taking taylor expansion of -1 in y
0.676 * [taylor]: Taking taylor expansion of y in y
0.676 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.676 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.676 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.676 * [taylor]: Taking taylor expansion of x in y
0.676 * [taylor]: Taking taylor expansion of (sin y) in y
0.676 * [taylor]: Taking taylor expansion of y in y
0.677 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.677 * [taylor]: Taking taylor expansion of (sin y) in x
0.677 * [taylor]: Taking taylor expansion of y in x
0.677 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.677 * [taylor]: Taking taylor expansion of (sin y) in x
0.677 * [taylor]: Taking taylor expansion of y in x
0.677 * [taylor]: Taking taylor expansion of 0 in y
0.677 * [taylor]: Taking taylor expansion of (sin y) in y
0.677 * [taylor]: Taking taylor expansion of y in y
0.677 * [taylor]: Taking taylor expansion of 0 in y
0.678 * [taylor]: Taking taylor expansion of 0 in y
0.678 * [taylor]: Taking taylor expansion of 0 in y
0.679 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.679 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.679 * [taylor]: Taking taylor expansion of y in y
0.679 * [taylor]: Taking taylor expansion of x in y
0.679 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.679 * [taylor]: Taking taylor expansion of y in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.679 * [taylor]: Taking taylor expansion of y in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.679 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of 0 in y
0.680 * [taylor]: Taking taylor expansion of 0 in y
0.681 * [taylor]: Taking taylor expansion of 0 in y
0.681 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.681 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.681 * [taylor]: Taking taylor expansion of -1 in y
0.681 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.681 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.681 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.681 * [taylor]: Taking taylor expansion of -1 in y
0.681 * [taylor]: Taking taylor expansion of y in y
0.681 * [taylor]: Taking taylor expansion of x in y
0.681 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.681 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.681 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.682 * [taylor]: Taking taylor expansion of -1 in y
0.682 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.682 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.682 * [taylor]: Taking taylor expansion of -1 in y
0.682 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of 0 in y
0.683 * [taylor]: Taking taylor expansion of 0 in y
0.683 * [taylor]: Taking taylor expansion of 0 in y
0.683 * * * [progress]: simplifying candidates
0.684 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (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))
  (* x (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (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)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (- (pow 1 1/3) (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (pow 1 1/3) (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (* x y)
  (* x (sin y))
  (* x (sin y))
0.688 * * [simplify]: iteration  0 :  206  enodes  (cost  301 )
0.693 * * [simplify]: iteration  1 :  736  enodes  (cost  261 )
0.709 * * [simplify]: iteration  2 :  3102  enodes  (cost  255 )
0.781 * * [simplify]: iteration  3 :  5002  enodes  (cost  254 )
0.784 * [simplify]: Simplified to:
   (* 2/3 (log (cos y)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  1
  (pow (pow (cos y) 2) 1/3)
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  1
  (pow (pow (cos y) 2) 1/3)
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (pow (pow (cos y) 1/3) 1/2)
  (pow (pow (cos y) 1/3) 1/2)
  (log (pow (cos y) 2))
  (log (pow (cos y) 2))
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cos y) 4/3)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (pow (pow (cos y) 2) 1/3)
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (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)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (- (- 1 (* 1/3 (pow y 2))) (* 1/405 (pow y 6)))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (- 1 (* 1/6 (pow y 2))) (* 1/72 (pow y 4)))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (* x y)
  (* x (sin y))
  (* x (sin y))
0.784 * * * [progress]: adding candidates to table
0.882 * * [progress]: iteration 4 / 4
0.882 * * * [progress]: picking best candidate
0.925 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))>
0.925 * * * [progress]: localizing error
0.946 * * * [progress]: generating rewritten candidates
0.946 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
0.948 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2)
0.950 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1)
0.953 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
0.967 * * * [progress]: generating series expansions
0.967 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
0.968 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
0.968 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.968 * [taylor]: Taking taylor expansion of 1/3 in y
0.968 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.968 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.968 * [taylor]: Taking taylor expansion of (cos y) in y
0.968 * [taylor]: Taking taylor expansion of y in y
0.968 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.968 * [taylor]: Taking taylor expansion of 1/3 in y
0.968 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.968 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.968 * [taylor]: Taking taylor expansion of (cos y) in y
0.968 * [taylor]: Taking taylor expansion of y in y
0.975 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
0.975 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.975 * [taylor]: Taking taylor expansion of 1/3 in y
0.975 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.975 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.975 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.975 * [taylor]: Taking taylor expansion of y in y
0.976 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.976 * [taylor]: Taking taylor expansion of 1/3 in y
0.976 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.976 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.976 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.984 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
0.985 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.985 * [taylor]: Taking taylor expansion of 1/3 in y
0.985 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.985 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.985 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.985 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.985 * [taylor]: Taking taylor expansion of -1 in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.985 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.985 * [taylor]: Taking taylor expansion of 1/3 in y
0.985 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.985 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.985 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.985 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.985 * [taylor]: Taking taylor expansion of -1 in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.994 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2)
0.994 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
0.994 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.994 * [taylor]: Taking taylor expansion of 1/3 in y
0.994 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.994 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.994 * [taylor]: Taking taylor expansion of (cos y) in y
0.994 * [taylor]: Taking taylor expansion of y in y
0.994 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.994 * [taylor]: Taking taylor expansion of 1/3 in y
0.994 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.994 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.994 * [taylor]: Taking taylor expansion of (cos y) in y
0.994 * [taylor]: Taking taylor expansion of y in y
1.004 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
1.004 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.004 * [taylor]: Taking taylor expansion of 1/3 in y
1.004 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.004 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.004 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.004 * [taylor]: Taking taylor expansion of y in y
1.004 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.004 * [taylor]: Taking taylor expansion of 1/3 in y
1.004 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.004 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.004 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.005 * [taylor]: Taking taylor expansion of y in y
1.013 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
1.013 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.013 * [taylor]: Taking taylor expansion of 1/3 in y
1.013 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.013 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.013 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.013 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.013 * [taylor]: Taking taylor expansion of -1 in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.013 * [taylor]: Taking taylor expansion of 1/3 in y
1.013 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.013 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.013 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.013 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.013 * [taylor]: Taking taylor expansion of -1 in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1)
1.022 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
1.022 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
1.022 * [taylor]: Taking taylor expansion of 1/3 in y
1.022 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
1.022 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.022 * [taylor]: Taking taylor expansion of (cos y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
1.022 * [taylor]: Taking taylor expansion of 1/3 in y
1.022 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
1.022 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.022 * [taylor]: Taking taylor expansion of (cos y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.029 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
1.029 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.029 * [taylor]: Taking taylor expansion of 1/3 in y
1.029 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.029 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.029 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.029 * [taylor]: Taking taylor expansion of y in y
1.030 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.030 * [taylor]: Taking taylor expansion of 1/3 in y
1.030 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.030 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.030 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.030 * [taylor]: Taking taylor expansion of y in y
1.038 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
1.038 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.038 * [taylor]: Taking taylor expansion of 1/3 in y
1.038 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.038 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.038 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.038 * [taylor]: Taking taylor expansion of -1 in y
1.038 * [taylor]: Taking taylor expansion of y in y
1.039 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.039 * [taylor]: Taking taylor expansion of 1/3 in y
1.039 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.039 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.039 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.039 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.039 * [taylor]: Taking taylor expansion of -1 in y
1.039 * [taylor]: Taking taylor expansion of y in y
1.047 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1.047 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 4) 1/3) in (y) around 0
1.047 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 4) 1/3) in y
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 4)))) in y
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 4))) in y
1.047 * [taylor]: Taking taylor expansion of 1/3 in y
1.047 * [taylor]: Taking taylor expansion of (log (pow (cos y) 4)) in y
1.047 * [taylor]: Taking taylor expansion of (pow (cos y) 4) in y
1.047 * [taylor]: Taking taylor expansion of (cos y) in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.047 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 4) 1/3) in y
1.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 4)))) in y
1.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 4))) in y
1.048 * [taylor]: Taking taylor expansion of 1/3 in y
1.048 * [taylor]: Taking taylor expansion of (log (pow (cos y) 4)) in y
1.048 * [taylor]: Taking taylor expansion of (pow (cos y) 4) in y
1.048 * [taylor]: Taking taylor expansion of (cos y) in y
1.048 * [taylor]: Taking taylor expansion of y in y
1.051 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 4) 1/3) in (y) around 0
1.051 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 4) 1/3) in y
1.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 4)))) in y
1.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 4))) in y
1.051 * [taylor]: Taking taylor expansion of 1/3 in y
1.051 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 4)) in y
1.051 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 4) in y
1.051 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 4) 1/3) in y
1.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 4)))) in y
1.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 4))) in y
1.051 * [taylor]: Taking taylor expansion of 1/3 in y
1.051 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 4)) in y
1.051 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 4) in y
1.051 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.061 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 4) 1/3) in (y) around 0
1.061 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 4) 1/3) in y
1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 4)))) in y
1.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 4))) in y
1.061 * [taylor]: Taking taylor expansion of 1/3 in y
1.061 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 4)) in y
1.061 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 4) in y
1.061 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.061 * [taylor]: Taking taylor expansion of -1 in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 4) 1/3) in y
1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 4)))) in y
1.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 4))) in y
1.061 * [taylor]: Taking taylor expansion of 1/3 in y
1.061 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 4)) in y
1.061 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 4) in y
1.061 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.061 * [taylor]: Taking taylor expansion of -1 in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.070 * * * [progress]: simplifying candidates
1.073 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (pow (cos y) 2) (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (+ 1 1)
  (+ (log (cbrt (pow (cos y) 2))) (log (cbrt (pow (cos y) 2))))
  (log (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (exp (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (* (pow (cos y) 2) (pow (cos y) 2))
  (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (* (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (sqrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (sqrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (* (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)))
  (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (cbrt (cos y)) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow 1 2)) (cbrt (pow 1 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* 1 1)
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (cos y)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (cos y)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (sqrt (cos y)) 2)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (pow (sqrt (cos y)) 2)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (cos y)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (cos y)) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (cos y)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (cos y)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) (/ 2 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (pow (sqrt (cos y)) 2)))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) (/ 2 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (sqrt (cos y)) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow 1 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (* (cbrt (pow (cos y) 2)) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (* (cbrt (pow (cos y) 2)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) 2)) (cbrt 1))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) (/ 2 2))))
  (* (cbrt (pow (cos y) 2)) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))))
  (* (cbrt (pow (cos y) 2)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (pow (cos y) 2)) 1)
  (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (cos y)) (cbrt (pow (cos y) 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (- (pow 1 1/3) (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (pow 1 1/3) (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (pow 1 1/3) (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (+ (pow 1 1/3) (* 1/9 (pow y 4))) (* 2/3 (pow y 2)))
  (pow (pow (cos y) 4) 1/3)
  (pow (pow (cos y) 4) 1/3)
1.079 * * [simplify]: iteration  0 :  193  enodes  (cost  1069 )
1.084 * * [simplify]: iteration  1 :  729  enodes  (cost  902 )
1.105 * * [simplify]: iteration  2 :  4539  enodes  (cost  871 )
1.204 * * [simplify]: iteration  3 :  5001  enodes  (cost  866 )
1.210 * [simplify]: Simplified to:
   (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  1
  (pow (pow (cos y) 2) 1/3)
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cos y) 2)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  2/3
  2
  (pow (cos y) 4)
  (pow (pow (cos y) 2) 2/3)
  2
  (* 2/3 (log (pow (cos y) 2)))
  (* 2/3 (log (pow (cos y) 2)))
  (pow (exp 1) (pow (pow (cos y) 2) 2/3))
  (pow (cos y) 4)
  (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (pow (cos y) 4)
  (fabs (pow (pow (cos y) 2) 1/3))
  (fabs (pow (pow (cos y) 2) 1/3))
  (* (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)))
  (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (cbrt (cos y)) 2)))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  1
  (pow (pow (cos y) 2) 2/3)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  1
  (pow (pow (cos y) 2) 2/3)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cbrt (pow (cos y) 2))) 4)
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  1
  (pow (pow (cos y) 2) 2/3)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (cbrt (sqrt (pow (cos y) 2))))
  (pow (cbrt (cos y)) 2)
  (pow (cbrt (cos y)) 2)
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (sqrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (* (cbrt (cos y)) (sqrt (cbrt (pow (cos y) 2))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  2/3
  2
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (pow (pow (cos y) 2) 1/3)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (* (cbrt (pow (cos y) 2)) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))))
  (* (cbrt (pow (cos y) 2)) (cbrt (sqrt (pow (cos y) 2))))
  (pow (pow (cos y) 2) 1/3)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (pow (cbrt (cbrt (pow (cos y) 2))) 5)
  (pow (sqrt (cbrt (pow (cos y) 2))) 3)
  (pow (pow (cos y) 2) 1/3)
  (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (cos y) 2)))
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (pow (pow (cos y) 2) 2/3)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (pow (cbrt (cbrt (pow (cos y) 2))) 4)
  (* (cbrt (pow (cos y) 2)) (cbrt (sqrt (pow (cos y) 2))))
  (pow (pow (cos y) 2) 2/3)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (pow (cbrt (cbrt (pow (cos y) 2))) 4)
  (pow (sqrt (cbrt (pow (cos y) 2))) 3)
  (pow (pow (cos y) 2) 2/3)
  (- (- 1 (* 1/3 (pow y 2))) (* 1/405 (pow y 6)))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (- 1 (* 1/3 (pow y 2))) (* 1/405 (pow y 6)))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- (- 1 (* 1/3 (pow y 2))) (* 1/405 (pow y 6)))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (+ 1 (- (* 1/9 (pow y 4)) (* 2/3 (pow y 2))))
  (pow (pow (cos y) 4) 1/3)
  (pow (pow (cos y) 4) 1/3)
1.214 * * * [progress]: adding candidates to table
1.499 * [progress]: [Phase 3 of 3] Extracting.
1.499 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (pow (cos y) 2/3)) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (log (exp (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))>)
1.502 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
1.502 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (pow (cos y) 2/3)) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (log (exp (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))>)
1.585 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (pow (cos y) 2/3)) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (log (exp (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))>)
1.666 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (pow (cos y) 2/3)) (cbrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (log (exp (cbrt (pow (cos y) 2))))) (cbrt (cos y)))))>)
1.748 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.748 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y))))
1.749 * * [simplify]: iteration  0 :  22  enodes  (cost  20 )
1.749 * * [simplify]: iteration  1 :  22  enodes  (cost  20 )
1.749 * [simplify]: Simplified to:
   (+ (* x (sin y)) (* (* z (* (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))))) (cbrt (cos y))))
4.973 * [regime-testing]: End program error score: 0.34702659550913134