15.662 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ x (cos y)) (* z (sin y)))
0.055 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.056 * * [simplify]: iteration  1 :  28  enodes  (cost  5 )
0.058 * * [simplify]: iteration  2 :  37  enodes  (cost  5 )
0.060 * * [simplify]: iteration  3 :  43  enodes  (cost  5 )
0.062 * * [simplify]: iteration  4 :  52  enodes  (cost  5 )
0.064 * * [simplify]: iteration  5 :  66  enodes  (cost  5 )
0.066 * * [simplify]: iteration  6 :  101  enodes  (cost  5 )
0.068 * * [simplify]: iteration  7 :  166  enodes  (cost  5 )
0.070 * * [simplify]: iteration  8 :  212  enodes  (cost  5 )
0.072 * * [simplify]: iteration  9 :  236  enodes  (cost  5 )
0.075 * * [simplify]: iteration  10 :  250  enodes  (cost  5 )
0.077 * * [simplify]: iteration  11 :  270  enodes  (cost  5 )
0.079 * * [simplify]: iteration  12 :  270  enodes  (cost  5 )
0.079 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
0.079 * * [progress]: iteration 1 / 4
0.080 * * * [progress]: picking best candidate
0.083 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>
0.083 * * * [progress]: localizing error
0.092 * * * [progress]: generating rewritten candidates
0.092 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.096 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.099 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.106 * * * [progress]: generating series expansions
0.106 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.106 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
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 (* (sin y) z) in z
0.106 * [taylor]: Taking taylor expansion of (sin y) in z
0.106 * [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 (* (sin y) z) in z
0.106 * [taylor]: Taking taylor expansion of (sin y) in z
0.106 * [taylor]: Taking taylor expansion of y in z
0.106 * [taylor]: Taking taylor expansion of z in z
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of (sin y) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.108 * [taylor]: Taking taylor expansion of 0 in y
0.108 * [taylor]: Taking taylor expansion of 0 in y
0.109 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
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 (/ (sin (/ 1 y)) z) in z
0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.109 * [taylor]: Taking taylor expansion of y in z
0.109 * [taylor]: Taking taylor expansion of z in z
0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.109 * [taylor]: Taking taylor expansion of y in z
0.109 * [taylor]: Taking taylor expansion of z in z
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.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.111 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.111 * [taylor]: Taking taylor expansion of -1 in y
0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.111 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.111 * [taylor]: Taking taylor expansion of -1 in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of z in y
0.111 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.111 * [taylor]: Taking taylor expansion of -1 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 -1 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 (* -1 (/ (sin (/ -1 y)) z)) in z
0.111 * [taylor]: Taking taylor expansion of -1 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 -1 in z
0.111 * [taylor]: Taking taylor expansion of y in z
0.112 * [taylor]: Taking taylor expansion of z in z
0.112 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.112 * [taylor]: Taking taylor expansion of -1 in y
0.112 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.112 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.112 * [taylor]: Taking taylor expansion of -1 in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.114 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.114 * [approximate]: Taking taylor expansion of (+ x (cos y)) in (x y) around 0
0.114 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y
0.114 * [taylor]: Taking taylor expansion of x in y
0.114 * [taylor]: Taking taylor expansion of (cos y) in y
0.114 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (cos y) in x
0.114 * [taylor]: Taking taylor expansion of y in x
0.114 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (cos y) in x
0.114 * [taylor]: Taking taylor expansion of y in x
0.114 * [taylor]: Taking taylor expansion of (cos y) in y
0.114 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of 1 in y
0.115 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in (x y) around 0
0.115 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.115 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.115 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 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 y in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.116 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of 1 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 y in y
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [approximate]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in (x y) around 0
0.117 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y
0.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.117 * [taylor]: Taking taylor expansion of -1 in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.117 * [taylor]: Taking taylor expansion of -1 in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.117 * [taylor]: Taking taylor expansion of -1 in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (neg 1) in y
0.118 * [taylor]: Taking taylor expansion of 1 in y
0.118 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.118 * [taylor]: Taking taylor expansion of -1 in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.119 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.119 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0
0.119 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z
0.119 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z
0.119 * [taylor]: Taking taylor expansion of x in z
0.119 * [taylor]: Taking taylor expansion of (cos y) in z
0.119 * [taylor]: Taking taylor expansion of y in z
0.119 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.119 * [taylor]: Taking taylor expansion of (sin y) in z
0.119 * [taylor]: Taking taylor expansion of y in z
0.119 * [taylor]: Taking taylor expansion of z in z
0.119 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y
0.119 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y
0.119 * [taylor]: Taking taylor expansion of x in y
0.119 * [taylor]: Taking taylor expansion of (cos y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.119 * [taylor]: Taking taylor expansion of (sin y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of z in y
0.119 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x
0.119 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (cos y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.119 * [taylor]: Taking taylor expansion of (sin y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of z in x
0.119 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x
0.119 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (cos y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.119 * [taylor]: Taking taylor expansion of (sin y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of z in x
0.120 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y
0.120 * [taylor]: Taking taylor expansion of (cos y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.120 * [taylor]: Taking taylor expansion of (sin y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of z in y
0.120 * [taylor]: Taking taylor expansion of 1 in z
0.120 * [taylor]: Taking taylor expansion of 1 in y
0.120 * [taylor]: Taking taylor expansion of 1 in z
0.120 * [taylor]: Taking taylor expansion of (neg z) in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of (neg 1/2) in z
0.121 * [taylor]: Taking taylor expansion of 1/2 in z
0.122 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.122 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z
0.122 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z
0.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.122 * [taylor]: Taking taylor expansion of x in z
0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of z in z
0.122 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y
0.122 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of z in y
0.122 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.122 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.122 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.123 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.123 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.124 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of z in x
0.124 * [taylor]: Taking taylor expansion of 1 in y
0.124 * [taylor]: Taking taylor expansion of 1 in z
0.124 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y
0.124 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.124 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of z in y
0.125 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z
0.125 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.125 * [taylor]: Taking taylor expansion of y in z
0.125 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.125 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.125 * [taylor]: Taking taylor expansion of y in z
0.125 * [taylor]: Taking taylor expansion of z in z
0.125 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in y
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0
0.127 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z
0.127 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.127 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.127 * [taylor]: Taking taylor expansion of -1 in z
0.127 * [taylor]: Taking taylor expansion of y in z
0.127 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.127 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.127 * [taylor]: Taking taylor expansion of -1 in z
0.127 * [taylor]: Taking taylor expansion of y in z
0.127 * [taylor]: Taking taylor expansion of z in z
0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.127 * [taylor]: Taking taylor expansion of x in z
0.127 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y
0.127 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.127 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.127 * [taylor]: Taking taylor expansion of -1 in y
0.127 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.127 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.127 * [taylor]: Taking taylor expansion of -1 in y
0.127 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of z in y
0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.127 * [taylor]: Taking taylor expansion of x in y
0.127 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.127 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.128 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of z in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.128 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.128 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.128 * [taylor]: Taking taylor expansion of -1 in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of z in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of (neg 1) in y
0.129 * [taylor]: Taking taylor expansion of 1 in y
0.129 * [taylor]: Taking taylor expansion of (neg 1) in z
0.129 * [taylor]: Taking taylor expansion of 1 in z
0.129 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.129 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.129 * [taylor]: Taking taylor expansion of -1 in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.129 * [taylor]: Taking taylor expansion of -1 in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of z in y
0.129 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.129 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.129 * [taylor]: Taking taylor expansion of -1 in z
0.129 * [taylor]: Taking taylor expansion of y in z
0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.129 * [taylor]: Taking taylor expansion of -1 in z
0.130 * [taylor]: Taking taylor expansion of y in z
0.130 * [taylor]: Taking taylor expansion of z in z
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * * * [progress]: simplifying candidates
0.132 * [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))
  (* (exp x) (exp (cos y)))
  (log (+ x (cos y)))
  (exp (+ x (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)))
  (+ (pow x 3) (pow (cos y) 3))
  (+ (* x x) (- (* (cos y) (cos y)) (* x (cos y))))
  (- (* x x) (* (cos y) (cos y)))
  (- x (cos y))
  (+ x (cos y))
  (/ (* (exp x) (exp (cos y))) (exp (* z (sin 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)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  (- (+ x 1) (* 1/2 (pow y 2)))
  (+ x (cos y))
  (+ x (cos y))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (- (+ x (cos y)) (* (sin y) z))
  (- (+ x (cos y)) (* (sin y) z))
0.136 * * [simplify]: iteration  0 :  198  enodes  (cost  256 )
0.141 * * [simplify]: iteration  1 :  668  enodes  (cost  240 )
0.155 * * [simplify]: iteration  2 :  2771  enodes  (cost  240 )
0.206 * * [simplify]: iteration  3 :  5001  enodes  (cost  240 )
0.207 * [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))
  (exp (+ x (cos y)))
  (log (+ x (cos y)))
  (exp (+ x (cos y)))
  (* (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)))
  (+ (pow x 3) (pow (cos y) 3))
  (+ (* (cos y) (- (cos y) x)) (* x x))
  (- (* x x) (* (cos y) (cos y)))
  (- x (cos y))
  (+ x (cos y))
  (exp (- (+ x (cos y)) (* z (sin 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)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (+ x (cos y))
  (+ x (cos y))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (- (+ x (cos y)) (* (sin y) z))
  (- (+ x (cos y)) (* (sin y) z))
0.208 * * * [progress]: adding candidates to table
0.259 * * [progress]: iteration 2 / 4
0.259 * * * [progress]: picking best candidate
0.277 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
0.277 * * * [progress]: localizing error
0.291 * * * [progress]: generating rewritten candidates
0.291 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
0.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.297 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.305 * * * [progress]: generating series expansions
0.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.305 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.305 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.305 * [taylor]: Taking taylor expansion of 1/3 in y
0.305 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.305 * [taylor]: Taking taylor expansion of (sin y) in y
0.305 * [taylor]: Taking taylor expansion of y in y
0.306 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.306 * [taylor]: Taking taylor expansion of 1/3 in y
0.306 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.306 * [taylor]: Taking taylor expansion of (sin y) in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.310 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.310 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.310 * [taylor]: Taking taylor expansion of 1/3 in y
0.310 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.310 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.310 * [taylor]: Taking taylor expansion of y in y
0.310 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.310 * [taylor]: Taking taylor expansion of 1/3 in y
0.311 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.311 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.311 * [taylor]: Taking taylor expansion of y in y
0.317 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.317 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.317 * [taylor]: Taking taylor expansion of 1/3 in y
0.317 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.317 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.317 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.317 * [taylor]: Taking taylor expansion of -1 in y
0.317 * [taylor]: Taking taylor expansion of y in y
0.317 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.317 * [taylor]: Taking taylor expansion of 1/3 in y
0.317 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.317 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.318 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.318 * [taylor]: Taking taylor expansion of -1 in y
0.318 * [taylor]: Taking taylor expansion of y in y
0.324 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
0.324 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.324 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.324 * [taylor]: Taking taylor expansion of 1/3 in y
0.324 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.324 * [taylor]: Taking taylor expansion of (sin y) in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.324 * [taylor]: Taking taylor expansion of 1/3 in y
0.324 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.324 * [taylor]: Taking taylor expansion of (sin y) in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.328 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.328 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.328 * [taylor]: Taking taylor expansion of 1/3 in y
0.328 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.328 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.328 * [taylor]: Taking taylor expansion of 1/3 in y
0.328 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.328 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.335 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.335 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.335 * [taylor]: Taking taylor expansion of 1/3 in y
0.335 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.335 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.335 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.335 * [taylor]: Taking taylor expansion of -1 in y
0.335 * [taylor]: Taking taylor expansion of y in y
0.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.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.342 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.342 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.342 * [taylor]: Taking taylor expansion of 1/3 in y
0.342 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.342 * [taylor]: Taking taylor expansion of (sin y) in y
0.342 * [taylor]: Taking taylor expansion of y in y
0.343 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.343 * [taylor]: Taking taylor expansion of 1/3 in y
0.343 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.343 * [taylor]: Taking taylor expansion of (sin y) in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.346 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.346 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.346 * [taylor]: Taking taylor expansion of 1/3 in y
0.346 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.346 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.346 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.347 * [taylor]: Taking taylor expansion of 1/3 in y
0.347 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.347 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.353 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.353 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.353 * [taylor]: Taking taylor expansion of 1/3 in y
0.353 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.353 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.353 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.353 * [taylor]: Taking taylor expansion of -1 in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.354 * [taylor]: Taking taylor expansion of 1/3 in y
0.354 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.354 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.354 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.354 * [taylor]: Taking taylor expansion of -1 in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.360 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.360 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
0.360 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.360 * [taylor]: Taking taylor expansion of 1/3 in y
0.360 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.360 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.360 * [taylor]: Taking taylor expansion of (sin y) in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.361 * [taylor]: Taking taylor expansion of 1/3 in y
0.361 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.361 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.361 * [taylor]: Taking taylor expansion of (sin y) in y
0.361 * [taylor]: Taking taylor expansion of y in y
0.365 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
0.365 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.365 * [taylor]: Taking taylor expansion of 1/3 in y
0.365 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.365 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.365 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.365 * [taylor]: Taking taylor expansion of 1/3 in y
0.365 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.365 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.365 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.373 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
0.374 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.374 * [taylor]: Taking taylor expansion of 1/3 in y
0.374 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.374 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.374 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.374 * [taylor]: Taking taylor expansion of -1 in y
0.374 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.374 * [taylor]: Taking taylor expansion of 1/3 in y
0.374 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.374 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.374 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.374 * [taylor]: Taking taylor expansion of -1 in y
0.374 * [taylor]: Taking taylor expansion of y in y
0.383 * * * [progress]: simplifying candidates
0.384 * [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.391 * * [simplify]: iteration  0 :  161  enodes  (cost  512 )
0.396 * * [simplify]: iteration  1 :  596  enodes  (cost  460 )
0.415 * * [simplify]: iteration  2 :  3671  enodes  (cost  403 )
0.499 * * [simplify]: iteration  3 :  5002  enodes  (cost  397 )
0.502 * [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.502 * * * [progress]: adding candidates to table
0.586 * * [progress]: iteration 3 / 4
0.586 * * * [progress]: picking best candidate
0.608 * * * * [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.608 * * * [progress]: localizing error
0.630 * * * [progress]: generating rewritten candidates
0.630 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.634 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2)
0.637 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
0.639 * * * [progress]: generating series expansions
0.639 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.640 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in (y) around 0
0.640 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in y
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin y) 2)))) in y
0.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin y) 2))) in y
0.640 * [taylor]: Taking taylor expansion of 1/9 in y
0.640 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.640 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.640 * [taylor]: Taking taylor expansion of (sin y) in y
0.640 * [taylor]: Taking taylor expansion of y in y
0.640 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/9) in y
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin y) 2)))) in y
0.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin y) 2))) in y
0.640 * [taylor]: Taking taylor expansion of 1/9 in y
0.640 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.640 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.640 * [taylor]: Taking taylor expansion of (sin y) in y
0.640 * [taylor]: Taking taylor expansion of y in y
0.644 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in (y) around 0
0.644 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in y
0.644 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ 1 y)) 2)))) in y
0.644 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ 1 y)) 2))) in y
0.644 * [taylor]: Taking taylor expansion of 1/9 in y
0.644 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.644 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.644 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/9) in y
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ 1 y)) 2)))) in y
0.645 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ 1 y)) 2))) in y
0.645 * [taylor]: Taking taylor expansion of 1/9 in y
0.645 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.645 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.645 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.653 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in (y) around 0
0.653 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in y
0.653 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ -1 y)) 2)))) in y
0.653 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ -1 y)) 2))) in y
0.653 * [taylor]: Taking taylor expansion of 1/9 in y
0.653 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.653 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.653 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.653 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.653 * [taylor]: Taking taylor expansion of -1 in y
0.653 * [taylor]: Taking taylor expansion of y in y
0.654 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/9) in y
0.654 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (/ -1 y)) 2)))) in y
0.654 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (/ -1 y)) 2))) in y
0.654 * [taylor]: Taking taylor expansion of 1/9 in y
0.654 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.654 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.654 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.654 * [taylor]: Taking taylor expansion of -1 in y
0.654 * [taylor]: Taking taylor expansion of y in y
0.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
0.662 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.662 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.662 * [taylor]: Taking taylor expansion of 1/3 in y
0.662 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.662 * [taylor]: Taking taylor expansion of (sin y) in y
0.662 * [taylor]: Taking taylor expansion of y in y
0.662 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.662 * [taylor]: Taking taylor expansion of 1/3 in y
0.662 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.662 * [taylor]: Taking taylor expansion of (sin y) in y
0.662 * [taylor]: Taking taylor expansion of y in y
0.666 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.666 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.666 * [taylor]: Taking taylor expansion of 1/3 in y
0.666 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.666 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.666 * [taylor]: Taking taylor expansion of y in y
0.666 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.666 * [taylor]: Taking taylor expansion of 1/3 in y
0.666 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.666 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.666 * [taylor]: Taking taylor expansion of y in y
0.673 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.673 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.673 * [taylor]: Taking taylor expansion of 1/3 in y
0.673 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.673 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.673 * [taylor]: Taking taylor expansion of -1 in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.673 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.673 * [taylor]: Taking taylor expansion of 1/3 in y
0.673 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.673 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.673 * [taylor]: Taking taylor expansion of -1 in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2)
0.680 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.680 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.680 * [taylor]: Taking taylor expansion of 1/3 in y
0.680 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.680 * [taylor]: Taking taylor expansion of (sin y) in y
0.680 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.680 * [taylor]: Taking taylor expansion of 1/3 in y
0.680 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.680 * [taylor]: Taking taylor expansion of (sin y) in y
0.680 * [taylor]: Taking taylor expansion of y in y
0.684 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.684 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.684 * [taylor]: Taking taylor expansion of 1/3 in y
0.685 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.685 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.685 * [taylor]: Taking taylor expansion of y in y
0.685 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.685 * [taylor]: Taking taylor expansion of 1/3 in y
0.685 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.685 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.685 * [taylor]: Taking taylor expansion of y in y
0.691 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.691 * [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 -1 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 -1 in y
0.692 * [taylor]: Taking taylor expansion of y in y
0.698 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
0.698 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.699 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.699 * [taylor]: Taking taylor expansion of 1/3 in y
0.699 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.699 * [taylor]: Taking taylor expansion of (sin y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.699 * [taylor]: Taking taylor expansion of 1/3 in y
0.699 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.699 * [taylor]: Taking taylor expansion of (sin y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.703 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.703 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.703 * [taylor]: Taking taylor expansion of 1/3 in y
0.703 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.703 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.703 * [taylor]: Taking taylor expansion of y in y
0.703 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.703 * [taylor]: Taking taylor expansion of 1/3 in y
0.703 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.703 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.703 * [taylor]: Taking taylor expansion of y in y
0.710 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.710 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.710 * [taylor]: Taking taylor expansion of 1/3 in y
0.710 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.710 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.710 * [taylor]: Taking taylor expansion of -1 in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.710 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.710 * [taylor]: Taking taylor expansion of 1/3 in y
0.710 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.710 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.710 * [taylor]: Taking taylor expansion of -1 in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.719 * * * [progress]: simplifying candidates
0.720 * [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.724 * * [simplify]: iteration  0 :  123  enodes  (cost  333 )
0.727 * * [simplify]: iteration  1 :  334  enodes  (cost  305 )
0.734 * * [simplify]: iteration  2 :  1294  enodes  (cost  275 )
0.772 * * [simplify]: iteration  3 :  5001  enodes  (cost  228 )
0.773 * [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.774 * * * [progress]: adding candidates to table
0.839 * * [progress]: iteration 4 / 4
0.839 * * * [progress]: picking best candidate
0.857 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>
0.857 * * * [progress]: localizing error
0.876 * * * [progress]: generating rewritten candidates
0.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
0.880 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.881 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.888 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.900 * * * [progress]: generating series expansions
0.900 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
0.900 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
0.900 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin 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 y) 2)) in y
0.900 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.900 * [taylor]: Taking taylor expansion of (sin y) in y
0.900 * [taylor]: Taking taylor expansion of y in y
0.900 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin 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 y) 2)) in y
0.901 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.901 * [taylor]: Taking taylor expansion of (sin y) in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.905 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
0.905 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.905 * [taylor]: Taking taylor expansion of 1/3 in y
0.905 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.905 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.905 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.905 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.905 * [taylor]: Taking taylor expansion of 1/3 in y
0.905 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.905 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.905 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.915 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
0.915 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.915 * [taylor]: Taking taylor expansion of 1/3 in y
0.916 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.916 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.916 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.916 * [taylor]: Taking taylor expansion of -1 in y
0.916 * [taylor]: Taking taylor expansion of y in y
0.916 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.916 * [taylor]: Taking taylor expansion of 1/3 in y
0.916 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.916 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.916 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.916 * [taylor]: Taking taylor expansion of -1 in y
0.916 * [taylor]: Taking taylor expansion of y in y
0.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.924 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.924 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.924 * [taylor]: Taking taylor expansion of 1/3 in y
0.924 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.924 * [taylor]: Taking taylor expansion of (sin y) in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.925 * [taylor]: Taking taylor expansion of 1/3 in y
0.925 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.925 * [taylor]: Taking taylor expansion of (sin y) in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.928 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.928 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.928 * [taylor]: Taking taylor expansion of 1/3 in y
0.928 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.928 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.929 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.929 * [taylor]: Taking taylor expansion of 1/3 in y
0.929 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) 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.935 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.935 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.935 * [taylor]: Taking taylor expansion of 1/3 in y
0.935 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) 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 -1 in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.935 * [taylor]: Taking taylor expansion of 1/3 in y
0.935 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) 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 -1 in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.942 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.942 * [approximate]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in (z y) around 0
0.942 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in y
0.942 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.942 * [taylor]: Taking taylor expansion of 1/3 in y
0.942 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.942 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.942 * [taylor]: Taking taylor expansion of (sin y) in y
0.942 * [taylor]: Taking taylor expansion of y in y
0.942 * [taylor]: Taking taylor expansion of z in y
0.942 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in z
0.942 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in z
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in z
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in z
0.942 * [taylor]: Taking taylor expansion of 1/3 in z
0.942 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in z
0.942 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
0.942 * [taylor]: Taking taylor expansion of (sin y) in z
0.942 * [taylor]: Taking taylor expansion of y in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.943 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in z
0.943 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in z
0.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in z
0.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in z
0.943 * [taylor]: Taking taylor expansion of 1/3 in z
0.943 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in z
0.943 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
0.943 * [taylor]: Taking taylor expansion of (sin y) in z
0.943 * [taylor]: Taking taylor expansion of y in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.943 * [taylor]: Taking taylor expansion of 0 in y
0.944 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
0.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
0.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
0.944 * [taylor]: Taking taylor expansion of 1/3 in y
0.944 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
0.944 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.944 * [taylor]: Taking taylor expansion of (sin y) in y
0.944 * [taylor]: Taking taylor expansion of y in y
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.947 * [taylor]: Taking taylor expansion of 0 in y
0.947 * [approximate]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0
0.947 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in y
0.947 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.947 * [taylor]: Taking taylor expansion of 1/3 in y
0.947 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.947 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.947 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.947 * [taylor]: Taking taylor expansion of y in y
0.947 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.947 * [taylor]: Taking taylor expansion of z in y
0.947 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in z
0.947 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in z
0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in z
0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in z
0.947 * [taylor]: Taking taylor expansion of 1/3 in z
0.947 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in z
0.947 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
0.947 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.947 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.947 * [taylor]: Taking taylor expansion of y in z
0.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.948 * [taylor]: Taking taylor expansion of z in z
0.948 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in z
0.948 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in z
0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in z
0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in z
0.948 * [taylor]: Taking taylor expansion of 1/3 in z
0.948 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in z
0.948 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
0.948 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.948 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.948 * [taylor]: Taking taylor expansion of y in z
0.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.948 * [taylor]: Taking taylor expansion of z in z
0.949 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
0.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
0.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
0.949 * [taylor]: Taking taylor expansion of 1/3 in y
0.949 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
0.949 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.949 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.950 * [taylor]: Taking taylor expansion of 0 in y
0.951 * [taylor]: Taking taylor expansion of 0 in y
0.953 * [taylor]: Taking taylor expansion of 0 in y
0.953 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0
0.953 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in y
0.953 * [taylor]: Taking taylor expansion of -1 in y
0.953 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in y
0.954 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.954 * [taylor]: Taking taylor expansion of 1/3 in y
0.954 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.954 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.954 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.954 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.954 * [taylor]: Taking taylor expansion of -1 in y
0.954 * [taylor]: Taking taylor expansion of y in y
0.954 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.954 * [taylor]: Taking taylor expansion of z in y
0.954 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in z
0.954 * [taylor]: Taking taylor expansion of -1 in z
0.954 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in z
0.954 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in z
0.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in z
0.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in z
0.954 * [taylor]: Taking taylor expansion of 1/3 in z
0.954 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in z
0.954 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
0.954 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.954 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.954 * [taylor]: Taking taylor expansion of -1 in z
0.954 * [taylor]: Taking taylor expansion of y in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.955 * [taylor]: Taking taylor expansion of z in z
0.955 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in z
0.955 * [taylor]: Taking taylor expansion of -1 in z
0.955 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in z
0.955 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in z
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in z
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in z
0.955 * [taylor]: Taking taylor expansion of 1/3 in z
0.955 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in z
0.955 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
0.955 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.955 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.955 * [taylor]: Taking taylor expansion of -1 in z
0.955 * [taylor]: Taking taylor expansion of y in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.955 * [taylor]: Taking taylor expansion of z in z
0.955 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sin (/ -1 y)) 2) 1/3)) in y
0.956 * [taylor]: Taking taylor expansion of -1 in y
0.956 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
0.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
0.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
0.956 * [taylor]: Taking taylor expansion of 1/3 in y
0.956 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
0.956 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.956 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.956 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.956 * [taylor]: Taking taylor expansion of -1 in y
0.956 * [taylor]: Taking taylor expansion of y in y
0.957 * [taylor]: Taking taylor expansion of 0 in y
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.961 * [taylor]: Taking taylor expansion of 0 in y
0.961 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.961 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.961 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.961 * [taylor]: Taking taylor expansion of (sin y) in y
0.961 * [taylor]: Taking taylor expansion of y in y
0.961 * [taylor]: Taking taylor expansion of z in y
0.961 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.961 * [taylor]: Taking taylor expansion of (sin y) in z
0.961 * [taylor]: Taking taylor expansion of y in z
0.961 * [taylor]: Taking taylor expansion of z in z
0.961 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.961 * [taylor]: Taking taylor expansion of (sin y) in z
0.961 * [taylor]: Taking taylor expansion of y in z
0.961 * [taylor]: Taking taylor expansion of z in z
0.961 * [taylor]: Taking taylor expansion of 0 in y
0.962 * [taylor]: Taking taylor expansion of (sin y) in y
0.962 * [taylor]: Taking taylor expansion of y in y
0.962 * [taylor]: Taking taylor expansion of 0 in y
0.962 * [taylor]: Taking taylor expansion of 0 in y
0.963 * [taylor]: Taking taylor expansion of 0 in y
0.963 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.963 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.963 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.963 * [taylor]: Taking taylor expansion of y in y
0.963 * [taylor]: Taking taylor expansion of z in y
0.963 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.964 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.964 * [taylor]: Taking taylor expansion of y in z
0.964 * [taylor]: Taking taylor expansion of z in z
0.964 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.964 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.964 * [taylor]: Taking taylor expansion of y in z
0.964 * [taylor]: Taking taylor expansion of z in z
0.964 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.964 * [taylor]: Taking taylor expansion of y in y
0.964 * [taylor]: Taking taylor expansion of 0 in y
0.965 * [taylor]: Taking taylor expansion of 0 in y
0.965 * [taylor]: Taking taylor expansion of 0 in y
0.966 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.966 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.966 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.966 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of y in y
0.966 * [taylor]: Taking taylor expansion of z in y
0.966 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.966 * [taylor]: Taking taylor expansion of -1 in z
0.966 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.966 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.966 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.966 * [taylor]: Taking taylor expansion of -1 in z
0.966 * [taylor]: Taking taylor expansion of y in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.966 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.966 * [taylor]: Taking taylor expansion of -1 in z
0.966 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.966 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.966 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.966 * [taylor]: Taking taylor expansion of -1 in z
0.966 * [taylor]: Taking taylor expansion of y in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.966 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.966 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of y in y
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.968 * [taylor]: Taking taylor expansion of 0 in y
0.968 * * * [progress]: simplifying candidates
0.969 * [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)))
  (+ (log z) (* (* (log (sin y)) 2) 1/3))
  (+ (log z) (* (* (log (sin y)) 2) 1/3))
  (+ (log z) (* (log (pow (sin y) 2)) 1/3))
  (+ (log z) (* (log (pow (sin y) 2)) 1/3))
  (+ (log z) (log (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (exp (* z (pow (pow (sin y) 2) 1/3)))
  (* (* (* z z) z) (pow (sin y) 2))
  (* (* (* z z) z) (* (* (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2) 1/3)))
  (* (cbrt (* z (pow (pow (sin y) 2) 1/3))) (cbrt (* z (pow (pow (sin y) 2) 1/3))))
  (cbrt (* z (pow (pow (sin y) 2) 1/3)))
  (* (* (* z (pow (pow (sin y) 2) 1/3)) (* z (pow (pow (sin y) 2) 1/3))) (* z (pow (pow (sin y) 2) 1/3)))
  (sqrt (* z (pow (pow (sin y) 2) 1/3)))
  (sqrt (* z (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (pow (pow (sqrt (sin y)) 2) 1/3))
  (* (sqrt z) (pow (pow (sqrt (sin y)) 2) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sqrt (pow (sin y) 2)) 1/3))
  (* (sqrt z) (pow (sqrt (pow (sin y) 2)) 1/3))
  (* (sqrt z) (pow (pow (sin y) (/ 2 2)) 1/3))
  (* (sqrt z) (pow (pow (sin y) (/ 2 2)) 1/3))
  (* (sqrt z) (sqrt (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (sqrt (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (pow (pow (sin y) 2) (/ 1/3 2)))
  (* (sqrt z) (pow (pow (sin y) 2) (/ 1/3 2)))
  (* z (pow (pow (* (cbrt (sin y)) (cbrt (sin y))) 2) 1/3))
  (* z (pow (pow (sqrt (sin y)) 2) 1/3))
  (* z (pow (pow 1 2) 1/3))
  (* z (pow (sin y) 1/3))
  (* z (pow (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2))) 1/3))
  (* z (pow (sqrt (pow (sin y) 2)) 1/3))
  (* z (pow 1 1/3))
  (* z (pow (pow (sin y) (/ 2 2)) 1/3))
  (* z (* (cbrt (pow (pow (sin y) 2) 1/3)) (cbrt (pow (pow (sin y) 2) 1/3))))
  (* z (sqrt (pow (pow (sin y) 2) 1/3)))
  (* z 1)
  (* z (pow (pow (sin y) 2) (/ 1/3 2)))
  (* (cbrt z) (pow (pow (sin y) 2) 1/3))
  (* (sqrt z) (pow (pow (sin y) 2) 1/3))
  (* z (pow (pow (sin y) 2) 1/3))
  (* (* 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)))
  (- (+ (* 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)
  (* (exp (* 1/3 (+ (log 1) (* 2 (log y))))) z)
  (* (pow (pow (sin y) 2) 1/3) z)
  (* (pow (pow (sin y) 2) 1/3) z)
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
0.975 * * [simplify]: iteration  0 :  369  enodes  (cost  679 )
0.982 * * [simplify]: iteration  1 :  1538  enodes  (cost  587 )
1.012 * * [simplify]: iteration  2 :  5002  enodes  (cost  530 )
1.015 * [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)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (log (* z (pow (pow (sin y) 2) 1/3)))
  (exp (* z (pow (pow (sin y) 2) 1/3)))
  (* (pow z 3) (pow (sin y) 2))
  (* (pow z 3) (pow (sin y) 2))
  (* (cbrt (* z (pow (pow (sin y) 2) 1/3))) (cbrt (* z (pow (pow (sin y) 2) 1/3))))
  (cbrt (* z (pow (pow (sin y) 2) 1/3)))
  (* (pow z 3) (pow (sin y) 2))
  (sqrt (* z (pow (pow (sin y) 2) 1/3)))
  (sqrt (* z (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sqrt (pow (sin y) 2)) 1/3))
  (* (sqrt z) (pow (sqrt (pow (sin y) 2)) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (pow (sin y) 1/3))
  (* (sqrt z) (sqrt (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (sqrt (pow (pow (sin y) 2) 1/3)))
  (* (sqrt z) (pow (pow (sin y) 2) 1/6))
  (* (sqrt z) (pow (pow (sin y) 2) 1/6))
  (* z (pow (pow (pow (sin y) 1/3) 4) 1/3))
  (* z (pow (sin y) 1/3))
  z
  (* z (pow (sin y) 1/3))
  (* z (cbrt (pow (pow (sin y) 2) 2/3)))
  (* z (pow (fabs (sin y)) 1/3))
  z
  (* z (pow (sin y) 1/3))
  (* z (pow (pow (pow (sin y) 2) 1/3) 2/3))
  (* z (sqrt (pow (pow (sin y) 2) 1/3)))
  z
  (* z (pow (pow (sin y) 2) 1/6))
  (* (cbrt z) (pow (pow (sin y) 2) 1/3))
  (* (sqrt z) (pow (pow (sin y) 2) 1/3))
  (* z (pow (pow (sin y) 2) 1/3))
  (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (+ (+ (* (log (sin y)) 1) 0) (log z))
  (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)))
  (+ (+ (* (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 (pow y 2/3))
  (* z (pow (pow (sin y) 2) 1/3))
  (* z (pow (pow (sin y) 2) 1/3))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
1.016 * * * [progress]: adding candidates to table
1.145 * [progress]: [Phase 3 of 3] Extracting.
1.145 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<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) (- (* (sqrt (+ x (cos y))) (sqrt (+ x (cos y)))) (* z (sin y))))> #<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 (pow (pow (sin y) 2) 1/3)) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>)
1.146 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x)
1.146 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (#<alt (λ (x y z) (- (+ x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<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) (- (* (sqrt (+ x (cos y))) (sqrt (+ x (cos y)))) (* z (sin y))))> #<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 (pow (pow (sin y) 2) 1/3)) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>)
1.220 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<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) (- (* (sqrt (+ x (cos y))) (sqrt (+ x (cos y)))) (* z (sin y))))> #<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 (pow (pow (sin y) 2) 1/3)) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>)
1.287 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<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) (- (* (sqrt (+ x (cos y))) (sqrt (+ x (cos y)))) (* z (sin y))))> #<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 (pow (pow (sin y) 2) 1/3)) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>)
1.353 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ x (cos y)) (cbrt (* (pow (sin y) 3) (pow z 3)))))> #<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) (- (* (sqrt (+ x (cos y))) (sqrt (+ x (cos y)))) (* z (sin y))))> #<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 (pow (pow (sin y) 2) 1/3)) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>)
1.421 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
1.421 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ x (cos y)) (* z (sin y)))
1.422 * * [simplify]: iteration  0 :  10  enodes  (cost  5 )
1.422 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
1.422 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
3.831 * [regime-testing]: End program error score: 0.05300662582822853