5.556 * [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 (cos y)) (* z (sin y)))
0.059 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.060 * * [simplify]: iteration  1 :  19  enodes  (cost  5 )
0.061 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
0.061 * [simplify]: Simplified to:
   (- (* x (cos y)) (* z (sin y)))
0.061 * * [progress]: iteration 1 / 4
0.061 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* z (sin y))))>
0.065 * * * [progress]: localizing error
0.074 * * * [progress]: generating rewritten candidates
0.074 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.082 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.086 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.091 * * * [progress]: generating series expansions
0.091 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.091 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) 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 z in y
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.091 * [taylor]: Taking taylor expansion of (sin y) in z
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.091 * [taylor]: Taking taylor expansion of (sin y) in z
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [taylor]: Taking taylor expansion of z in z
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.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.094 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
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.094 * [taylor]: Taking taylor expansion of z in y
0.094 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.094 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.095 * [taylor]: Taking taylor expansion of z in z
0.095 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.095 * [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)) z)) in (z y) around 0
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) 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 z in y
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.096 * [taylor]: Taking taylor expansion of -1 in z
0.096 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.096 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.096 * [taylor]: Taking taylor expansion of -1 in z
0.096 * [taylor]: Taking taylor expansion of y in z
0.097 * [taylor]: Taking taylor expansion of z in z
0.097 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.097 * [taylor]: Taking taylor expansion of -1 in z
0.097 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.097 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.097 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.097 * [taylor]: Taking taylor expansion of -1 in z
0.097 * [taylor]: Taking taylor expansion of y in z
0.097 * [taylor]: Taking taylor expansion of z in z
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 1)
0.099 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
0.099 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.099 * [taylor]: Taking taylor expansion of x 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 (* x (cos y)) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (cos y) in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (cos y) in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of (cos y) in y
0.100 * [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)) x) in (x y) around 0
0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) 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.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of x in x
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.102 * [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.103 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) 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 x in y
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of y in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of y in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.104 * [taylor]: Taking taylor expansion of -1 in y
0.104 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.104 * [taylor]: Taking taylor expansion of -1 in y
0.104 * [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 (cos y)) (* (sin y) z)) in (x y z) around 0
0.105 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z
0.105 * [taylor]: Taking taylor expansion of (* x (cos y)) in z
0.105 * [taylor]: Taking taylor expansion of x 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 (* (sin y) z) in z
0.105 * [taylor]: Taking taylor expansion of (sin y) in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.106 * [taylor]: Taking taylor expansion of z in z
0.106 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in y
0.106 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.106 * [taylor]: Taking taylor expansion of x 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 (* (sin y) z) 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 in y
0.106 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.106 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.106 * [taylor]: Taking taylor expansion of x 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 (* (sin y) z) 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 in x
0.106 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.106 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.106 * [taylor]: Taking taylor expansion of x 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 (* (sin y) z) 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 in x
0.106 * [taylor]: Taking taylor expansion of (neg (* (sin y) z)) in y
0.106 * [taylor]: Taking taylor expansion of (* (sin y) z) 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 in y
0.106 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of (cos y) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 1 in z
0.107 * [taylor]: Taking taylor expansion of (neg z) in z
0.107 * [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.108 * [taylor]: Taking taylor expansion of 0 in z
0.108 * [taylor]: Taking taylor expansion of 0 in z
0.108 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.108 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z
0.108 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.108 * [taylor]: Taking taylor expansion of y in z
0.108 * [taylor]: Taking taylor expansion of x in z
0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.108 * [taylor]: Taking taylor expansion of y in z
0.108 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.108 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.108 * [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 (/ (sin (/ 1 y)) z) 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 z in y
0.109 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.109 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of z in x
0.109 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.109 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) 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 z in x
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 (cos (/ 1 y)) in z
0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.110 * [taylor]: Taking taylor expansion of y in z
0.110 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 y)) z)) in y
0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of z in y
0.111 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 y)) z)) in z
0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
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 z in z
0.111 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [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.113 * [taylor]: Taking taylor expansion of 0 in z
0.114 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0
0.114 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z
0.114 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.114 * [taylor]: Taking taylor expansion of -1 in z
0.114 * [taylor]: Taking taylor expansion of y in z
0.114 * [taylor]: Taking taylor expansion of z in z
0.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z
0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.114 * [taylor]: Taking taylor expansion of -1 in z
0.114 * [taylor]: Taking taylor expansion of y in z
0.114 * [taylor]: Taking taylor expansion of x in z
0.114 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y
0.114 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.114 * [taylor]: Taking taylor expansion of -1 in y
0.114 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of z in y
0.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.114 * [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.115 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.115 * [taylor]: Taking taylor expansion of -1 in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of z in x
0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.115 * [taylor]: Taking taylor expansion of -1 in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.115 * [taylor]: Taking taylor expansion of -1 in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of z in x
0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.115 * [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))) in y
0.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.116 * [taylor]: Taking taylor expansion of -1 in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (neg (cos (/ -1 y))) in z
0.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.116 * [taylor]: Taking taylor expansion of -1 in z
0.116 * [taylor]: Taking taylor expansion of y in z
0.116 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.116 * [taylor]: Taking taylor expansion of -1 in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of z in y
0.117 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) 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 z in z
0.117 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 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.119 * [taylor]: Taking taylor expansion of 0 in z
0.120 * * * [progress]: simplifying candidates
0.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (sin y))
  (+ (log z) (log (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (* (* (* z (sin y)) (* z (sin y))) (* z (sin y)))
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  (* z 1)
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (* x (cos y))
  (+ (log x) (log (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (* (* (* x (cos y)) (* x (cos y))) (* x (cos y)))
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  (* x 1)
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (/ (exp (* x (cos y))) (exp (* z (sin y))))
  (log (- (* x (cos y)) (* z (sin y))))
  (exp (- (* x (cos y)) (* z (sin y))))
  (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y)))))
  (cbrt (- (* x (cos y)) (* z (sin y))))
  (* (* (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))))
  (sqrt (- (* x (cos y)) (* z (sin y))))
  (sqrt (- (* x (cos y)) (* z (sin y))))
  (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (* x (cos y)) (* x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (* x (cos y)) (* z (sin y)))))
  (neg (* z (sin y)))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (* x (cos y)) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  x
  (* x (cos y))
  (* x (cos y))
  x
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
0.124 * * [simplify]: iteration  0 :  174  enodes  (cost  254 )
0.127 * * [simplify]: iteration  1 :  636  enodes  (cost  233 )
0.140 * * [simplify]: iteration  2 :  2041  enodes  (cost  233 )
0.176 * * [simplify]: iteration  3 :  5001  enodes  (cost  233 )
0.178 * [simplify]: Simplified to:
   (* z (sin y))
  (log (* z (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (pow (* z (sin y)) 3)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (pow (* z (sin y)) 3)
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  z
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (* x (cos y))
  (log (* x (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (pow (* x (cos y)) 3)
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (pow (* x (cos y)) 3)
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  x
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (exp (- (* x (cos y)) (* z (sin y))))
  (log (- (* x (cos y)) (* z (sin y))))
  (exp (- (* x (cos y)) (* z (sin y))))
  (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y)))))
  (cbrt (- (* x (cos y)) (* z (sin y))))
  (pow (- (* x (cos y)) (* (sin y) z)) 3)
  (sqrt (- (* x (cos y)) (* z (sin y))))
  (sqrt (- (* x (cos y)) (* z (sin y))))
  (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (* z (sin y)) (+ (* z (sin y)) (* x (cos y)))) (* (* x (cos y)) (* x (cos y))))
  (neg (* z (sin y)))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (* x (cos y)) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  x
  (* x (cos y))
  (* x (cos y))
  x
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
0.178 * * * [progress]: adding candidates to table
0.234 * * [progress]: iteration 2 / 4
0.234 * * * [progress]: picking best candidate
0.262 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
0.262 * * * [progress]: localizing error
0.278 * * * [progress]: generating rewritten candidates
0.278 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.280 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
0.281 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.283 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.290 * * * [progress]: generating series expansions
0.290 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.290 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.290 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.290 * [taylor]: Taking taylor expansion of 1/3 in y
0.290 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.290 * [taylor]: Taking taylor expansion of (sin y) in y
0.291 * [taylor]: Taking taylor expansion of y in y
0.291 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.291 * [taylor]: Taking taylor expansion of 1/3 in y
0.291 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.291 * [taylor]: Taking taylor expansion of (sin y) in y
0.291 * [taylor]: Taking taylor expansion of y in y
0.294 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.294 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.295 * [taylor]: Taking taylor expansion of 1/3 in y
0.295 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.295 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.295 * [taylor]: Taking taylor expansion of 1/3 in y
0.295 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.295 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.301 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.301 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.301 * [taylor]: Taking taylor expansion of 1/3 in y
0.301 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.301 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.301 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.301 * [taylor]: Taking taylor expansion of -1 in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.302 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.302 * [taylor]: Taking taylor expansion of 1/3 in y
0.302 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.302 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.302 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.302 * [taylor]: Taking taylor expansion of -1 in y
0.302 * [taylor]: Taking taylor expansion of y in y
0.308 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
0.308 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.308 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.308 * [taylor]: Taking taylor expansion of 1/3 in y
0.308 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.308 * [taylor]: Taking taylor expansion of (sin y) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.308 * [taylor]: Taking taylor expansion of 1/3 in y
0.308 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.308 * [taylor]: Taking taylor expansion of (sin y) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.312 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.312 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.312 * [taylor]: Taking taylor expansion of 1/3 in y
0.312 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.312 * [taylor]: Taking taylor expansion of (sin (/ 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 (sin (/ 1 y)) 1/3) in y
0.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.312 * [taylor]: Taking taylor expansion of 1/3 in y
0.312 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.312 * [taylor]: Taking taylor expansion of (sin (/ 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.319 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.319 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.319 * [taylor]: Taking taylor expansion of 1/3 in y
0.319 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.319 * [taylor]: Taking taylor expansion of (sin (/ -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 (sin (/ -1 y)) 1/3) in y
0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.319 * [taylor]: Taking taylor expansion of 1/3 in y
0.319 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.319 * [taylor]: Taking taylor expansion of (sin (/ -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]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.325 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.326 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.326 * [taylor]: Taking taylor expansion of 1/3 in y
0.326 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.326 * [taylor]: Taking taylor expansion of (sin y) in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.326 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.326 * [taylor]: Taking taylor expansion of 1/3 in y
0.326 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.326 * [taylor]: Taking taylor expansion of (sin y) in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.329 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.329 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.330 * [taylor]: Taking taylor expansion of 1/3 in y
0.330 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.330 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.330 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.330 * [taylor]: Taking taylor expansion of 1/3 in y
0.330 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.330 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.336 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.336 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.336 * [taylor]: Taking taylor expansion of 1/3 in y
0.336 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.336 * [taylor]: Taking taylor expansion of (sin (/ -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.336 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.337 * [taylor]: Taking taylor expansion of 1/3 in y
0.337 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.337 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.337 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.337 * [taylor]: Taking taylor expansion of -1 in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.344 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.344 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
0.344 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.344 * [taylor]: Taking taylor expansion of 1/3 in y
0.344 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.344 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.344 * [taylor]: Taking taylor expansion of (sin y) in y
0.344 * [taylor]: Taking taylor expansion of y in y
0.344 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.344 * [taylor]: Taking taylor expansion of 1/3 in y
0.344 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.344 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.344 * [taylor]: Taking taylor expansion of (sin y) in y
0.344 * [taylor]: Taking taylor expansion of y in y
0.348 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
0.348 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.348 * [taylor]: Taking taylor expansion of 1/3 in y
0.348 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.348 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.348 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.348 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.349 * [taylor]: Taking taylor expansion of 1/3 in y
0.349 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.349 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.349 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.357 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
0.357 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.357 * [taylor]: Taking taylor expansion of 1/3 in y
0.357 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.357 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.357 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.357 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.357 * [taylor]: Taking taylor expansion of -1 in y
0.357 * [taylor]: Taking taylor expansion of y in y
0.357 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.357 * [taylor]: Taking taylor expansion of 1/3 in y
0.357 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.357 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.358 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.358 * [taylor]: Taking taylor expansion of -1 in y
0.358 * [taylor]: Taking taylor expansion of y in y
0.368 * * * [progress]: simplifying candidates
0.369 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (+ 1 1)
  (+ (log (cbrt (sin y))) (log (cbrt (sin y))))
  (log (* (cbrt (sin y)) (cbrt (sin y))))
  (exp (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sin y) (sin y))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 1 1)
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (* (cbrt (sin y)) (cbrt 1))
  (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (sin y)) (sqrt (cbrt (sin y))))
  (* (cbrt (sin y)) 1)
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) (pow y 4))) (exp (* 1/3 (+ (log 1) (* 2 (log y)))))) (* 1/9 (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) (pow y 2))))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
0.373 * * [simplify]: iteration  0 :  161  enodes  (cost  512 )
0.376 * * [simplify]: iteration  1 :  596  enodes  (cost  460 )
0.394 * * [simplify]: iteration  2 :  3671  enodes  (cost  403 )
0.479 * * [simplify]: iteration  3 :  5002  enodes  (cost  397 )
0.482 * [simplify]: Simplified to:
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  2/3
  2
  (pow (sin y) 2)
  (pow (sin y) 2/3)
  2
  (* 2/3 (log (sin y)))
  (* 2/3 (log (sin y)))
  (pow (exp 1) (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (pow (sin y) 2)
  (fabs (pow (sin y) 1/3))
  (fabs (pow (sin y) 1/3))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  1
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  1
  (pow (sin y) 2/3)
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  2/3
  2
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 1/3)
  (pow (cbrt (cbrt (sin y))) 5)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 1/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 2/3)
  (+ (+ (* (pow y 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow y 4))) (* (pow y 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow y 2))) (* (pow y 1/3) (pow 1 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (+ (+ (* (pow y 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow y 4))) (* (pow y 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow y 2))) (* (pow y 1/3) (pow 1 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (+ (+ (* (pow y 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow y 4))) (* (pow y 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow y 2))) (* (pow y 1/3) (pow 1 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (+ (* (* (pow y 2/3) (pow 1 1/3)) (- (* (pow y 4) 1/405) (* (pow y 2) 1/9))) (* (pow y 2/3) (pow 1 1/3)))
  (pow (sin y) 2/3)
  (pow (sin y) 2/3)
0.482 * * * [progress]: adding candidates to table
0.566 * * [progress]: iteration 3 / 4
0.566 * * * [progress]: picking best candidate
0.601 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))>
0.601 * * * [progress]: localizing error
0.618 * * * [progress]: generating rewritten candidates
0.618 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.623 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.624 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2)
0.626 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
0.628 * * * [progress]: generating series expansions
0.628 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.628 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in (y) around 0
0.628 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in y
0.628 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin y) 2)))) in y
0.628 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin y) 2))) in y
0.628 * [taylor]: Taking taylor expansion of 1/9 in y
0.628 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.628 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.628 * [taylor]: Taking taylor expansion of (sin y) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.629 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in y
0.629 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin y) 2)))) in y
0.629 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin y) 2))) in y
0.629 * [taylor]: Taking taylor expansion of 1/9 in y
0.629 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.629 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.629 * [taylor]: Taking taylor expansion of (sin y) in y
0.629 * [taylor]: Taking taylor expansion of y in y
0.633 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in (y) around 0
0.633 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in y
0.633 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ 1 y)) 2)))) in y
0.633 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ 1 y)) 2))) in y
0.633 * [taylor]: Taking taylor expansion of 1/9 in y
0.633 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.633 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.633 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.633 * [taylor]: Taking taylor expansion of y in y
0.633 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in y
0.633 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ 1 y)) 2)))) in y
0.633 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ 1 y)) 2))) in y
0.633 * [taylor]: Taking taylor expansion of 1/9 in y
0.633 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.633 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.633 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.633 * [taylor]: Taking taylor expansion of y in y
0.641 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in (y) around 0
0.641 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in y
0.642 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ -1 y)) 2)))) in y
0.642 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ -1 y)) 2))) in y
0.642 * [taylor]: Taking taylor expansion of 1/9 in y
0.642 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.642 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.642 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.642 * [taylor]: Taking taylor expansion of -1 in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.642 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in y
0.642 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ -1 y)) 2)))) in y
0.642 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ -1 y)) 2))) in y
0.642 * [taylor]: Taking taylor expansion of 1/9 in y
0.642 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.642 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.642 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.642 * [taylor]: Taking taylor expansion of -1 in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
0.650 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.650 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.650 * [taylor]: Taking taylor expansion of 1/3 in y
0.650 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.651 * [taylor]: Taking taylor expansion of (sin y) in y
0.651 * [taylor]: Taking taylor expansion of y in y
0.651 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.651 * [taylor]: Taking taylor expansion of 1/3 in y
0.651 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.651 * [taylor]: Taking taylor expansion of (sin y) in y
0.651 * [taylor]: Taking taylor expansion of y in y
0.654 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.654 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.654 * [taylor]: Taking taylor expansion of 1/3 in y
0.654 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.655 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.655 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.655 * [taylor]: Taking taylor expansion of 1/3 in y
0.655 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.655 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.661 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.661 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.661 * [taylor]: Taking taylor expansion of 1/3 in y
0.661 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.661 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.661 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.661 * [taylor]: Taking taylor expansion of -1 in y
0.661 * [taylor]: Taking taylor expansion of y in y
0.661 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.662 * [taylor]: Taking taylor expansion of 1/3 in y
0.662 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.662 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.662 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.662 * [taylor]: Taking taylor expansion of -1 in y
0.662 * [taylor]: Taking taylor expansion of y in y
0.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2)
0.668 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.668 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.668 * [taylor]: Taking taylor expansion of 1/3 in y
0.668 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.668 * [taylor]: Taking taylor expansion of (sin y) in y
0.668 * [taylor]: Taking taylor expansion of y in y
0.668 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.668 * [taylor]: Taking taylor expansion of 1/3 in y
0.668 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.668 * [taylor]: Taking taylor expansion of (sin y) in y
0.668 * [taylor]: Taking taylor expansion of y in y
0.672 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.672 * [taylor]: Taking taylor expansion of 1/3 in y
0.672 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.672 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.672 * [taylor]: Taking taylor expansion of y in y
0.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.672 * [taylor]: Taking taylor expansion of 1/3 in y
0.672 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.672 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.672 * [taylor]: Taking taylor expansion of y in y
0.681 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.681 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.681 * [taylor]: Taking taylor expansion of 1/3 in y
0.681 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) 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 (pow (sin (/ -1 y)) 1/3) in y
0.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.681 * [taylor]: Taking taylor expansion of 1/3 in y
0.681 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) 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.688 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
0.688 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.688 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.688 * [taylor]: Taking taylor expansion of 1/3 in y
0.688 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.688 * [taylor]: Taking taylor expansion of (sin y) in y
0.688 * [taylor]: Taking taylor expansion of y in y
0.688 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.688 * [taylor]: Taking taylor expansion of 1/3 in y
0.688 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.688 * [taylor]: Taking taylor expansion of (sin y) in y
0.688 * [taylor]: Taking taylor expansion of y in y
0.692 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.692 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.692 * [taylor]: Taking taylor expansion of 1/3 in y
0.692 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.692 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.692 * [taylor]: Taking taylor expansion of y in y
0.692 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.692 * [taylor]: Taking taylor expansion of 1/3 in y
0.692 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.692 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.692 * [taylor]: Taking taylor expansion of y in y
0.698 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.698 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.699 * [taylor]: Taking taylor expansion of 1/3 in y
0.699 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.699 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.699 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.699 * [taylor]: Taking taylor expansion of -1 in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.699 * [taylor]: Taking taylor expansion of 1/3 in y
0.699 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.699 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.699 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.699 * [taylor]: Taking taylor expansion of -1 in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.705 * * * [progress]: simplifying candidates
0.706 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (exp (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (cbrt (sin y)))
  (cbrt (cbrt (sin y)))
  (* (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))))
  (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (sqrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (sqrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (- (exp (* 1/9 (+ (log 1) (* 2 (log y))))) (+ (* 1/27 (* (exp (* 1/9 (+ (log 1) (* 2 (log y))))) (pow y 2))) (* 2/3645 (* (exp (* 1/9 (+ (log 1) (* 2 (log y))))) (pow y 4)))))
  (pow (pow (sin y) 2) 1/9)
  (pow (pow (sin y) 2) 1/9)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
0.710 * * [simplify]: iteration  0 :  123  enodes  (cost  333 )
0.712 * * [simplify]: iteration  1 :  334  enodes  (cost  305 )
0.720 * * [simplify]: iteration  2 :  1294  enodes  (cost  275 )
0.756 * * [simplify]: iteration  3 :  5001  enodes  (cost  228 )
0.758 * [simplify]: Simplified to:
   (log (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (exp (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (cbrt (sin y)))
  (cbrt (cbrt (sin y)))
  (* (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))))
  (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (pow (sin y) 2/3)
  (sqrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (sqrt (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (* (pow y 2/9) (- 1 (+ (* 2/3645 (pow y 4)) (* 1/27 (pow y 2)))))
  (pow (pow (sin y) 2) 1/9)
  (pow (pow (sin y) 2) 1/9)
  (* (pow y 1/3) (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* (pow y 1/3) (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* (pow y 1/3) (- 1 (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
0.758 * * * [progress]: adding candidates to table
0.820 * * [progress]: iteration 4 / 4
0.820 * * * [progress]: picking best candidate
0.848 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>
0.848 * * * [progress]: localizing error
0.868 * * * [progress]: generating rewritten candidates
0.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
0.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
0.887 * * * [progress]: generating series expansions
0.887 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
0.887 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
0.887 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.887 * [taylor]: Taking taylor expansion of 1/3 in y
0.887 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.887 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.887 * [taylor]: Taking taylor expansion of (sin y) in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.887 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.887 * [taylor]: Taking taylor expansion of 1/3 in y
0.887 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.887 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.887 * [taylor]: Taking taylor expansion of (sin y) in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.891 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
0.891 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.892 * [taylor]: Taking taylor expansion of 1/3 in y
0.892 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.892 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.892 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.892 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.892 * [taylor]: Taking taylor expansion of 1/3 in y
0.892 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.892 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.892 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.900 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
0.900 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.900 * [taylor]: Taking taylor expansion of 1/3 in y
0.900 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.900 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.900 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.900 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.900 * [taylor]: Taking taylor expansion of -1 in y
0.900 * [taylor]: Taking taylor expansion of y in y
0.901 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.901 * [taylor]: Taking taylor expansion of 1/3 in y
0.901 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.901 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.901 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.901 * [taylor]: Taking taylor expansion of -1 in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.909 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.909 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.909 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.909 * [taylor]: Taking taylor expansion of 1/3 in y
0.909 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.909 * [taylor]: Taking taylor expansion of (sin y) in y
0.909 * [taylor]: Taking taylor expansion of y in y
0.909 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.909 * [taylor]: Taking taylor expansion of 1/3 in y
0.909 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.909 * [taylor]: Taking taylor expansion of (sin y) in y
0.909 * [taylor]: Taking taylor expansion of y in y
0.913 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.913 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.913 * [taylor]: Taking taylor expansion of 1/3 in y
0.913 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.913 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.913 * [taylor]: Taking taylor expansion of 1/3 in y
0.913 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.919 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.919 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.920 * [taylor]: Taking taylor expansion of 1/3 in y
0.920 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.920 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.920 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.920 * [taylor]: Taking taylor expansion of 1/3 in y
0.920 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.920 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.926 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.926 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.926 * [taylor]: Taking taylor expansion of (sin y) in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of z in y
0.926 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.926 * [taylor]: Taking taylor expansion of (sin y) in z
0.926 * [taylor]: Taking taylor expansion of y in z
0.926 * [taylor]: Taking taylor expansion of z in z
0.926 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.926 * [taylor]: Taking taylor expansion of (sin y) in z
0.926 * [taylor]: Taking taylor expansion of y in z
0.926 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of (sin y) in y
0.927 * [taylor]: Taking taylor expansion of y in y
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.928 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.929 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [taylor]: Taking taylor expansion of z in y
0.929 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.929 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.929 * [taylor]: Taking taylor expansion of y in z
0.929 * [taylor]: Taking taylor expansion of z in z
0.929 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.929 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.929 * [taylor]: Taking taylor expansion of y in z
0.929 * [taylor]: Taking taylor expansion of z in z
0.929 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.930 * [taylor]: Taking taylor expansion of 0 in y
0.930 * [taylor]: Taking taylor expansion of 0 in y
0.930 * [taylor]: Taking taylor expansion of 0 in y
0.931 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.931 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.931 * [taylor]: Taking taylor expansion of -1 in y
0.931 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.931 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.931 * [taylor]: Taking taylor expansion of -1 in y
0.931 * [taylor]: Taking taylor expansion of y in y
0.931 * [taylor]: Taking taylor expansion of z in y
0.931 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.931 * [taylor]: Taking taylor expansion of -1 in z
0.931 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.931 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.931 * [taylor]: Taking taylor expansion of -1 in z
0.931 * [taylor]: Taking taylor expansion of y in z
0.931 * [taylor]: Taking taylor expansion of z in z
0.931 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.931 * [taylor]: Taking taylor expansion of -1 in z
0.931 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.931 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.931 * [taylor]: Taking taylor expansion of -1 in z
0.931 * [taylor]: Taking taylor expansion of y in z
0.931 * [taylor]: Taking taylor expansion of z in z
0.932 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.932 * [taylor]: Taking taylor expansion of -1 in y
0.932 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.932 * [taylor]: Taking taylor expansion of -1 in y
0.932 * [taylor]: Taking taylor expansion of y in y
0.932 * [taylor]: Taking taylor expansion of 0 in y
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.933 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
0.933 * [approximate]: Taking taylor expansion of (pow (sin y) 2) in (y) around 0
0.933 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.933 * [taylor]: Taking taylor expansion of (sin y) in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.933 * [taylor]: Taking taylor expansion of (sin y) in y
0.934 * [taylor]: Taking taylor expansion of y in y
0.935 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in (y) around 0
0.935 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.935 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.935 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.936 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in (y) around 0
0.936 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.936 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.936 * [taylor]: Taking taylor expansion of -1 in y
0.936 * [taylor]: Taking taylor expansion of y in y
0.936 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.936 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.936 * [taylor]: Taking taylor expansion of -1 in y
0.936 * [taylor]: Taking taylor expansion of y in y
0.937 * * * [progress]: simplifying candidates
0.938 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (log (sin y)) 2) 1/3)
  (* (* (log (sin y)) 2) 1/3)
  (* (log (pow (sin y) 2)) 1/3)
  (* (log (pow (sin y) 2)) 1/3)
  (* 2 1/3)
  (pow (pow (sin y) 2) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (sin y) 2) (sqrt 1/3))
  (pow (pow (sin y) 2) 1)
  (pow (pow (* (cbrt (sin y)) (cbrt (sin y))) 2) 1/3)
  (pow (pow (cbrt (sin y)) 2) 1/3)
  (pow (pow (sqrt (sin y)) 2) 1/3)
  (pow (pow (sqrt (sin y)) 2) 1/3)
  (pow (pow 1 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (pow (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2))) 1/3)
  (pow (cbrt (pow (sin y) 2)) 1/3)
  (pow (sqrt (pow (sin y) 2)) 1/3)
  (pow (sqrt (pow (sin y) 2)) 1/3)
  (pow 1 1/3)
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) (/ 2 2)) 1/3)
  (pow (pow (sin y) (/ 2 2)) 1/3)
  (log (pow (pow (sin y) 2) 1/3))
  (exp (pow (pow (sin y) 2) 1/3))
  (* (cbrt (pow (pow (sin y) 2) 1/3)) (cbrt (pow (pow (sin y) 2) 1/3)))
  (cbrt (pow (pow (sin y) 2) 1/3))
  (* (* (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2) 1/3))
  (sqrt (pow (pow (sin y) 2) 1/3))
  (sqrt (pow (pow (sin y) 2) 1/3))
  (pow (pow (sin y) 2) (/ 1/3 2))
  (pow (pow (sin y) 2) (/ 1/3 2))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
  (+ (+ (log z) (* (* (log (sin y)) 2) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log z) (* (* (log (sin y)) 2) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log z) (* (log (pow (sin y) 2)) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log z) (* (log (pow (sin y) 2)) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log z) (log (pow (pow (sin y) 2) 1/3))) (log (cbrt (sin y))))
  (+ (log (* z (pow (pow (sin y) 2) 1/3))) (log (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (exp (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* (* (* z z) z) (pow (sin y) 2)) (sin y))
  (* (* (* (* z z) z) (* (* (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2) 1/3))) (sin y))
  (* (* (* (* z (pow (pow (sin y) 2) 1/3)) (* z (pow (pow (sin y) 2) 1/3))) (* z (pow (pow (sin y) 2) 1/3))) (sin y))
  (* (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))) (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))
  (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (sqrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (sqrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sqrt (sin y))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt 1))
  (* (* z (pow (pow (sin y) 2) 1/3)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (sqrt (cbrt (sin y))))
  (* (* z (pow (pow (sin y) 2) 1/3)) 1)
  (* (pow (pow (sin y) 2) 1/3) (cbrt (sin y)))
  (* (log (sin y)) 2)
  (* (log (sin y)) 2)
  (* 1 2)
  (pow (sin y) (* (cbrt 2) (cbrt 2)))
  (pow (sin y) (sqrt 2))
  (pow (sin y) 1)
  (pow (* (cbrt (sin y)) (cbrt (sin y))) 2)
  (pow (cbrt (sin y)) 2)
  (pow (sqrt (sin y)) 2)
  (pow (sqrt (sin y)) 2)
  (pow 1 2)
  (pow (sin y) 2)
  (log (pow (sin y) 2))
  (exp (pow (sin y) 2))
  (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)))
  (cbrt (pow (sin y) 2))
  (* (* (pow (sin y) 2) (pow (sin y) 2)) (pow (sin y) 2))
  (sqrt (pow (sin y) 2))
  (sqrt (pow (sin y) 2))
  (pow (sin y) (/ 2 2))
  (pow (sin y) (/ 2 2))
  (- (+ (* 1/405 (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) (pow y 4))) (exp (* 1/3 (+ (log 1) (* 2 (log y)))))) (* 1/9 (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) (pow y 2))))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
  (- (exp (* 1/3 (+ (log 1) (log y)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log y)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  (- (+ (pow y 2) (* 2/45 (pow y 6))) (* 1/3 (pow y 4)))
  (pow (sin y) 2)
  (pow (sin y) 2)
0.943 * * [simplify]: iteration  0 :  361  enodes  (cost  514 )
0.950 * * [simplify]: iteration  1 :  1427  enodes  (cost  443 )
0.980 * * [simplify]: iteration  2 :  5001  enodes  (cost  406 )
0.983 * [simplify]: Simplified to:
   (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  2/3
  (pow (pow (sin y) 2) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (sin y) 2) (sqrt 1/3))
  (pow (sin y) 2)
  (pow (pow (sin y) 4/3) 1/3)
  (pow (pow (sin y) 2/3) 1/3)
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  1
  (pow (pow (sin y) 2) 1/3)
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (cbrt (pow (pow (sin y) 2) 2/3))
  (pow (cbrt (pow (sin y) 2)) 1/3)
  (pow (fabs (sin y)) 1/3)
  (pow (fabs (sin y)) 1/3)
  1
  (pow (pow (sin y) 2) 1/3)
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* (log (sin y)) 2/3)
  (exp (pow (pow (sin y) 2) 1/3))
  (pow (pow (pow (sin y) 2) 1/3) 2/3)
  (pow (cbrt (pow (sin y) 2)) 1/3)
  (pow (sin y) 2)
  (sqrt (pow (pow (sin y) 2) 1/3))
  (sqrt (pow (pow (sin y) 2) 1/3))
  (pow (pow (sin y) 2) 1/6)
  (pow (pow (sin y) 2) 1/6)
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (pow (pow (sin y) 2/3) 1/3)
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (log (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (exp (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (pow (sin y) 3) (pow z 3))
  (* (pow (sin y) 3) (pow z 3))
  (* (pow (sin y) 3) (pow z 3))
  (* (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))) (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))
  (cbrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (pow (sin y) 3) (pow z 3))
  (sqrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (sqrt (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2/3) 1/3))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sqrt (sin y))))
  (* z (pow (pow (sin y) 2) 1/3))
  (* (* z (pow (pow (sin y) 2) 1/3)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (* z (pow (pow (sin y) 2) 1/3)) (sqrt (cbrt (sin y))))
  (* z (pow (pow (sin y) 2) 1/3))
  (* (pow (pow (sin y) 2) 1/3) (cbrt (sin y)))
  (log (pow (sin y) 2))
  (log (pow (sin y) 2))
  2
  (pow (sin y) (* (cbrt 2) (cbrt 2)))
  (pow (sin y) (sqrt 2))
  (sin y)
  (pow (sin y) 4/3)
  (pow (sin y) 2/3)
  (sin y)
  (sin y)
  1
  (pow (sin y) 2)
  (log (pow (sin y) 2))
  (exp (pow (sin y) 2))
  (pow (pow (sin y) 2) 2/3)
  (pow (pow (sin y) 2) 1/3)
  (pow (sin y) 6)
  (fabs (sin y))
  (fabs (sin y))
  (sin y)
  (sin y)
  (+ (+ (* (pow y 2) (* -1/9 (pow y 2/3))) (pow y 2/3)) (* 1/405 (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) (pow y 4))))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
  (+ (+ (pow y 1/3) (* (neg (* 1/3240 (pow y 4))) (pow y 1/3))) (* (neg (* 1/18 (pow y 2))) (pow y 1/3)))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  (- (+ (pow y 2) (* 2/45 (pow y 6))) (* 1/3 (pow y 4)))
  (pow (sin y) 2)
  (pow (sin y) 2)
0.984 * * * [progress]: adding candidates to table
1.086 * [progress]: [Phase 3 of 3] Extracting.
1.086 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<alt (λ (x y z) (* (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (log (exp (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))>)
1.088 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x (cos y)) (* z (sin y))) z y x)
1.088 * * * * [regimes]: Trying to branch on (- (* x (cos y)) (* z (sin y))) from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<alt (λ (x y z) (* (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (log (exp (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))>)
1.174 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<alt (λ (x y z) (* (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (log (exp (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))>)
1.249 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<alt (λ (x y z) (* (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (log (exp (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))>)
1.323 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<alt (λ (x y z) (* (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (log (exp (cbrt (sin y)))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))>)
1.398 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.398 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))))))
1.399 * * [simplify]: iteration  0 :  18  enodes  (cost  20 )
1.399 * * [simplify]: iteration  1 :  18  enodes  (cost  20 )
1.400 * [simplify]: Simplified to:
   (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))))))
4.452 * [regime-testing]: Baseline error score: 0.6618291024294333
4.453 * [regime-testing]: Oracle error score: 0.0635291817729019
4.454 * [regime-testing]: End program error score: 0.6618291024294333