124.880 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x (cos y)) (* z (sin y)))
0.056 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.057 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.058 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
0.061 * * [simplify]: iteration  3 :  25  enodes  (cost  9 )
0.063 * * [simplify]: iteration  done :  25  enodes  (cost  9 )
0.064 * [simplify]: Simplified to:
   (- (* x (cos y)) (* z (sin y)))
0.064 * * [progress]: iteration 1 / 4
0.064 * * * [progress]: picking best candidate
0.066 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* z (sin y))))>
0.066 * * * [progress]: localizing error
0.075 * * * [progress]: generating rewritten candidates
0.075 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.079 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.082 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.086 * * * [progress]: generating series expansions
0.086 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.086 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.086 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.086 * [taylor]: Taking taylor expansion of (sin y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.087 * [taylor]: Taking taylor expansion of z in y
0.087 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.087 * [taylor]: Taking taylor expansion of (sin y) in z
0.087 * [taylor]: Taking taylor expansion of y in z
0.087 * [taylor]: Taking taylor expansion of z in z
0.087 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.087 * [taylor]: Taking taylor expansion of (sin y) in z
0.087 * [taylor]: Taking taylor expansion of y in z
0.087 * [taylor]: Taking taylor expansion of z in z
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of (sin y) in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.100 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.100 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of z in y
0.100 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.100 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.101 * [taylor]: Taking taylor expansion of z in z
0.101 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.101 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.101 * [taylor]: Taking taylor expansion of y in z
0.101 * [taylor]: Taking taylor expansion of z in z
0.101 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.110 * [taylor]: Taking taylor expansion of -1 in y
0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.110 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.110 * [taylor]: Taking taylor expansion of -1 in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of z in y
0.111 * [taylor]: Taking taylor expansion of (* -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.111 * [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.115 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.124 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.124 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.124 * [taylor]: Taking taylor expansion of x in y
0.124 * [taylor]: Taking taylor expansion of (cos y) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (cos y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (cos y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [taylor]: Taking taylor expansion of (cos y) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
0.136 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.136 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.136 * [taylor]: Taking taylor expansion of y in y
0.136 * [taylor]: Taking taylor expansion of x in y
0.137 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.137 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.137 * [taylor]: Taking taylor expansion of y in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.137 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.137 * [taylor]: Taking taylor expansion of y in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.138 * [taylor]: Taking taylor expansion of y in y
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.143 * [taylor]: Taking taylor expansion of 0 in y
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.148 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.148 * [taylor]: Taking taylor expansion of -1 in y
0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.148 * [taylor]: Taking taylor expansion of -1 in y
0.148 * [taylor]: Taking taylor expansion of y in y
0.148 * [taylor]: Taking taylor expansion of x in y
0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of y in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.149 * [taylor]: Taking taylor expansion of -1 in y
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.149 * [taylor]: Taking taylor expansion of -1 in y
0.149 * [taylor]: Taking taylor expansion of y in y
0.152 * [taylor]: Taking taylor expansion of 0 in y
0.156 * [taylor]: Taking taylor expansion of 0 in y
0.162 * [taylor]: Taking taylor expansion of 0 in y
0.162 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.162 * [approximate]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in (x y z) around 0
0.162 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z
0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in z
0.162 * [taylor]: Taking taylor expansion of x in z
0.162 * [taylor]: Taking taylor expansion of (cos y) in z
0.162 * [taylor]: Taking taylor expansion of y in z
0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.162 * [taylor]: Taking taylor expansion of (sin y) in z
0.162 * [taylor]: Taking taylor expansion of y in z
0.162 * [taylor]: Taking taylor expansion of z in z
0.162 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in y
0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.162 * [taylor]: Taking taylor expansion of x in y
0.162 * [taylor]: Taking taylor expansion of (cos y) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.162 * [taylor]: Taking taylor expansion of (sin y) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [taylor]: Taking taylor expansion of z in y
0.162 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (cos y) in x
0.162 * [taylor]: Taking taylor expansion of y in x
0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.162 * [taylor]: Taking taylor expansion of (sin y) in x
0.162 * [taylor]: Taking taylor expansion of y in x
0.163 * [taylor]: Taking taylor expansion of z in x
0.163 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.163 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of (cos y) in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.163 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.163 * [taylor]: Taking taylor expansion of (sin y) in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.163 * [taylor]: Taking taylor expansion of z in x
0.164 * [taylor]: Taking taylor expansion of (- (* (sin y) z)) in y
0.164 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.164 * [taylor]: Taking taylor expansion of (sin y) in y
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of z in y
0.164 * [taylor]: Taking taylor expansion of 0 in z
0.168 * [taylor]: Taking taylor expansion of (cos y) in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.168 * [taylor]: Taking taylor expansion of 1 in z
0.168 * [taylor]: Taking taylor expansion of (- z) in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.174 * [taylor]: Taking taylor expansion of 0 in y
0.174 * [taylor]: Taking taylor expansion of 0 in z
0.174 * [taylor]: Taking taylor expansion of 0 in z
0.175 * [taylor]: Taking taylor expansion of 0 in z
0.176 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.176 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.176 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z
0.176 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.176 * [taylor]: Taking taylor expansion of y in z
0.176 * [taylor]: Taking taylor expansion of x in z
0.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.176 * [taylor]: Taking taylor expansion of y in z
0.176 * [taylor]: Taking taylor expansion of z in z
0.176 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.177 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.177 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.177 * [taylor]: Taking taylor expansion of z in y
0.177 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.177 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.178 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.178 * [taylor]: Taking taylor expansion of z in x
0.178 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.178 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of z in x
0.179 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.180 * [taylor]: Taking taylor expansion of y in z
0.182 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in y
0.182 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.182 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.182 * [taylor]: Taking taylor expansion of y in y
0.182 * [taylor]: Taking taylor expansion of z in y
0.183 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in z
0.183 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.183 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.183 * [taylor]: Taking taylor expansion of y in z
0.183 * [taylor]: Taking taylor expansion of z in z
0.183 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [taylor]: Taking taylor expansion of 0 in y
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in y
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0
0.201 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z
0.201 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.201 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.201 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.201 * [taylor]: Taking taylor expansion of -1 in z
0.201 * [taylor]: Taking taylor expansion of y in z
0.201 * [taylor]: Taking taylor expansion of z in z
0.201 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z
0.201 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.201 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.201 * [taylor]: Taking taylor expansion of -1 in z
0.202 * [taylor]: Taking taylor expansion of y in z
0.202 * [taylor]: Taking taylor expansion of x in z
0.202 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y
0.202 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.202 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.202 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.202 * [taylor]: Taking taylor expansion of -1 in y
0.202 * [taylor]: Taking taylor expansion of y in y
0.202 * [taylor]: Taking taylor expansion of z in y
0.202 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.203 * [taylor]: Taking taylor expansion of -1 in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.203 * [taylor]: Taking taylor expansion of x in y
0.203 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.203 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.203 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.203 * [taylor]: Taking taylor expansion of -1 in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.203 * [taylor]: Taking taylor expansion of -1 in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.204 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.204 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.204 * [taylor]: Taking taylor expansion of -1 in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [taylor]: Taking taylor expansion of z in x
0.204 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.204 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.204 * [taylor]: Taking taylor expansion of -1 in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y
0.205 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.205 * [taylor]: Taking taylor expansion of -1 in y
0.205 * [taylor]: Taking taylor expansion of y in y
0.205 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z
0.205 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.205 * [taylor]: Taking taylor expansion of -1 in z
0.205 * [taylor]: Taking taylor expansion of y in z
0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.208 * [taylor]: Taking taylor expansion of -1 in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.209 * [taylor]: Taking taylor expansion of z in y
0.209 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.209 * [taylor]: Taking taylor expansion of -1 in z
0.209 * [taylor]: Taking taylor expansion of y in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.209 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of 0 in y
0.218 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.230 * * * [progress]: simplifying candidates
0.231 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* z (sin y)))
  (log1p (* z (sin y)))
  (* 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))
  (expm1 (* x (cos y)))
  (log1p (* x (cos y)))
  (* x (cos y))
  (+ (log x) (log (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (* (* (* x (cos y)) (* x (cos y))) (* x (cos y)))
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  (* x 1)
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (fma x (cos y) (- (* (sin y) z)))
  (fma (- (sin y)) z (* (sin y) z))
  (expm1 (- (* x (cos y)) (* z (sin y))))
  (log1p (- (* x (cos y)) (* z (sin y))))
  (- (* 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)))))
  (- (* z (sin y)))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (* x (cos y)) (* z (sin y)))
  (- (* z (sin y)))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  x
  (* x (cos y))
  (* x (cos y))
  x
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
0.233 * * [simplify]: iteration  0 :  92  enodes  (cost  527 )
0.247 * * [simplify]: iteration  1 :  202  enodes  (cost  495 )
0.288 * * [simplify]: iteration  2 :  630  enodes  (cost  459 )
0.484 * * [simplify]: iteration  3 :  1930  enodes  (cost  458 )
1.395 * * [simplify]: iteration  done :  5000  enodes  (cost  453 )
1.396 * [simplify]: Simplified to:
   (expm1 (* z (sin y)))
  (log1p (* z (sin y)))
  (* 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))
  (expm1 (* x (cos y)))
  (log1p (* x (cos y)))
  (* x (cos y))
  (log (* x (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (pow (* x (cos y)) 3)
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (pow (* x (cos y)) 3)
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  x
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos y))
  (fma x (cos y) (- (* z (sin y))))
  0
  (expm1 (- (* x (cos y)) (* z (sin y))))
  (log1p (- (* x (cos y)) (* z (sin 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))
  (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y)))))
  (- (* z (sin y)))
  (* (fma x (cos y) (* z (sin y))) (- (* x (cos y)) (* z (sin y))))
  (fma (sin y) z (* x (cos y)))
  (- (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  x
  (* x (cos y))
  (* x (cos y))
  x
  (fma x (cos y) (- (* z (sin y))))
  (fma x (cos y) (- (* z (sin y))))
1.396 * * * [progress]: adding candidates to table
1.539 * * [progress]: iteration 2 / 4
1.540 * * * [progress]: picking best candidate
1.567 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))>
1.567 * * * [progress]: localizing error
1.582 * * * [progress]: generating rewritten candidates
1.582 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.582 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
1.583 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.592 * * * [progress]: generating series expansions
1.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.592 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.592 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.592 * [taylor]: Taking taylor expansion of 1/3 in y
1.592 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.592 * [taylor]: Taking taylor expansion of (cos y) in y
1.592 * [taylor]: Taking taylor expansion of y in y
1.597 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.597 * [taylor]: Taking taylor expansion of 1/3 in y
1.597 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.597 * [taylor]: Taking taylor expansion of (cos y) in y
1.597 * [taylor]: Taking taylor expansion of y in y
1.621 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.621 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.621 * [taylor]: Taking taylor expansion of 1/3 in y
1.621 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.621 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.621 * [taylor]: Taking taylor expansion of y in y
1.622 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.622 * [taylor]: Taking taylor expansion of 1/3 in y
1.622 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.622 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.622 * [taylor]: Taking taylor expansion of y in y
1.655 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.655 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.655 * [taylor]: Taking taylor expansion of 1/3 in y
1.655 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.655 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.655 * [taylor]: Taking taylor expansion of -1 in y
1.655 * [taylor]: Taking taylor expansion of y in y
1.656 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.656 * [taylor]: Taking taylor expansion of 1/3 in y
1.656 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.656 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.656 * [taylor]: Taking taylor expansion of -1 in y
1.656 * [taylor]: Taking taylor expansion of y in y
1.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
1.689 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.689 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.689 * [taylor]: Taking taylor expansion of 1/3 in y
1.689 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.689 * [taylor]: Taking taylor expansion of (cos y) in y
1.689 * [taylor]: Taking taylor expansion of y in y
1.693 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.694 * [taylor]: Taking taylor expansion of 1/3 in y
1.694 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.694 * [taylor]: Taking taylor expansion of (cos y) in y
1.694 * [taylor]: Taking taylor expansion of y in y
1.718 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.718 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.718 * [taylor]: Taking taylor expansion of 1/3 in y
1.718 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.718 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.718 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.719 * [taylor]: Taking taylor expansion of 1/3 in y
1.719 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.719 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.752 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.752 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.752 * [taylor]: Taking taylor expansion of 1/3 in y
1.752 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.752 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.752 * [taylor]: Taking taylor expansion of -1 in y
1.752 * [taylor]: Taking taylor expansion of y in y
1.752 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.752 * [taylor]: Taking taylor expansion of 1/3 in y
1.752 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.752 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.753 * [taylor]: Taking taylor expansion of -1 in y
1.753 * [taylor]: Taking taylor expansion of y in y
1.787 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1.787 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.787 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.787 * [taylor]: Taking taylor expansion of 1/3 in y
1.787 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.787 * [taylor]: Taking taylor expansion of (cos y) in y
1.787 * [taylor]: Taking taylor expansion of y in y
1.792 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.792 * [taylor]: Taking taylor expansion of 1/3 in y
1.792 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.792 * [taylor]: Taking taylor expansion of (cos y) in y
1.792 * [taylor]: Taking taylor expansion of y in y
1.813 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.813 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.813 * [taylor]: Taking taylor expansion of 1/3 in y
1.813 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.813 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.813 * [taylor]: Taking taylor expansion of y in y
1.813 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.813 * [taylor]: Taking taylor expansion of 1/3 in y
1.813 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.813 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.813 * [taylor]: Taking taylor expansion of y in y
1.846 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.846 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.846 * [taylor]: Taking taylor expansion of 1/3 in y
1.846 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.846 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.846 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.846 * [taylor]: Taking taylor expansion of -1 in y
1.846 * [taylor]: Taking taylor expansion of y in y
1.846 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.846 * [taylor]: Taking taylor expansion of 1/3 in y
1.846 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.846 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.846 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.846 * [taylor]: Taking taylor expansion of -1 in y
1.846 * [taylor]: Taking taylor expansion of y in y
1.881 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.882 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
1.882 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
1.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
1.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
1.882 * [taylor]: Taking taylor expansion of 1/3 in y
1.882 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
1.882 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.882 * [taylor]: Taking taylor expansion of (cos y) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.887 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
1.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
1.887 * [taylor]: Taking taylor expansion of 1/3 in y
1.887 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
1.887 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.887 * [taylor]: Taking taylor expansion of (cos y) in y
1.887 * [taylor]: Taking taylor expansion of y in y
1.953 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
1.953 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.953 * [taylor]: Taking taylor expansion of 1/3 in y
1.953 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.953 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.953 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.953 * [taylor]: Taking taylor expansion of y in y
1.954 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
1.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
1.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
1.954 * [taylor]: Taking taylor expansion of 1/3 in y
1.954 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
1.954 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.954 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.954 * [taylor]: Taking taylor expansion of y in y
1.992 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
1.992 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.992 * [taylor]: Taking taylor expansion of 1/3 in y
1.992 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.992 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.992 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.992 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.992 * [taylor]: Taking taylor expansion of -1 in y
1.992 * [taylor]: Taking taylor expansion of y in y
1.993 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
1.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
1.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
1.993 * [taylor]: Taking taylor expansion of 1/3 in y
1.993 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
1.993 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.993 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.993 * [taylor]: Taking taylor expansion of -1 in y
1.993 * [taylor]: Taking taylor expansion of y in y
2.034 * * * [progress]: simplifying candidates
2.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (* (cbrt (cos y)) (cbrt (cos y))))
  (log1p (* (cbrt (cos y)) (cbrt (cos y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (cos y) (cos y))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (+ 1 1)
  (+ (log (cbrt (cos y))) (log (cbrt (cos y))))
  (log (* (cbrt (cos y)) (cbrt (cos y))))
  (exp (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cos y) (cos y))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 1 1)
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (* (cbrt (cos y)) (cbrt 1))
  (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cos y)) (sqrt (cbrt (cos y))))
  (* (cbrt (cos y)) 1)
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (sqrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
2.037 * * [simplify]: iteration  0 :  68  enodes  (cost  726 )
2.051 * * [simplify]: iteration  1 :  131  enodes  (cost  655 )
2.093 * * [simplify]: iteration  2 :  486  enodes  (cost  551 )
2.350 * * [simplify]: iteration  3 :  2287  enodes  (cost  529 )
3.775 * * [simplify]: iteration  done :  5000  enodes  (cost  529 )
3.775 * [simplify]: Simplified to:
   (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2/3))
  (log1p (pow (cos y) 2/3))
  2/3
  2
  (pow (cos y) 2)
  (pow (cos y) 2/3)
  2
  (log (pow (cos y) 2/3))
  (log (pow (cos y) 2/3))
  (exp (pow (cos y) 2/3))
  (pow (cos y) 2)
  (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3)))
  (cbrt (pow (cos y) 2/3))
  (pow (cos y) 2)
  (fabs (cbrt (cos y)))
  (fabs (cbrt (cos y)))
  (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3)))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  1
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (pow (cos y) 2/3)
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (cbrt (cos y))
  2/3
  2
  (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (cbrt (cos y))
  (* (pow (cbrt (cbrt (cos y))) 4) (cbrt (cbrt (cos y))))
  (pow (sqrt (cbrt (cos y))) 3)
  (cbrt (cos y))
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (pow (sqrt (cbrt (cos y))) 3)
  (pow (cos y) 2/3)
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
3.776 * * * [progress]: adding candidates to table
4.037 * * [progress]: iteration 3 / 4
4.037 * * * [progress]: picking best candidate
4.068 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))>
4.069 * * * [progress]: localizing error
4.084 * * * [progress]: generating rewritten candidates
4.085 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
4.086 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
4.088 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.103 * * * [progress]: generating series expansions
4.103 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
4.104 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
4.104 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.104 * [taylor]: Taking taylor expansion of 1/3 in y
4.104 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.104 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.104 * [taylor]: Taking taylor expansion of (cos y) in y
4.104 * [taylor]: Taking taylor expansion of y in y
4.109 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
4.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
4.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
4.110 * [taylor]: Taking taylor expansion of 1/3 in y
4.110 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
4.110 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.110 * [taylor]: Taking taylor expansion of (cos y) in y
4.110 * [taylor]: Taking taylor expansion of y in y
4.178 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
4.178 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.178 * [taylor]: Taking taylor expansion of 1/3 in y
4.178 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.178 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.178 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.178 * [taylor]: Taking taylor expansion of y in y
4.179 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
4.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
4.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
4.179 * [taylor]: Taking taylor expansion of 1/3 in y
4.179 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
4.179 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.179 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.179 * [taylor]: Taking taylor expansion of y in y
4.221 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
4.221 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
4.221 * [taylor]: Taking taylor expansion of 1/3 in y
4.221 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
4.221 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.221 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.221 * [taylor]: Taking taylor expansion of -1 in y
4.221 * [taylor]: Taking taylor expansion of y in y
4.222 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
4.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
4.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
4.222 * [taylor]: Taking taylor expansion of 1/3 in y
4.222 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
4.222 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.222 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.222 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.222 * [taylor]: Taking taylor expansion of -1 in y
4.222 * [taylor]: Taking taylor expansion of y in y
4.260 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.260 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
4.260 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.260 * [taylor]: Taking taylor expansion of 1/3 in y
4.260 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.260 * [taylor]: Taking taylor expansion of (cos y) in y
4.261 * [taylor]: Taking taylor expansion of y in y
4.265 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
4.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
4.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
4.265 * [taylor]: Taking taylor expansion of 1/3 in y
4.265 * [taylor]: Taking taylor expansion of (log (cos y)) in y
4.265 * [taylor]: Taking taylor expansion of (cos y) in y
4.265 * [taylor]: Taking taylor expansion of y in y
4.290 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
4.290 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.290 * [taylor]: Taking taylor expansion of 1/3 in y
4.290 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.290 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.290 * [taylor]: Taking taylor expansion of y in y
4.290 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
4.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
4.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
4.290 * [taylor]: Taking taylor expansion of 1/3 in y
4.291 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
4.291 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.291 * [taylor]: Taking taylor expansion of y in y
4.325 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
4.325 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.325 * [taylor]: Taking taylor expansion of 1/3 in y
4.325 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.325 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.325 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.326 * [taylor]: Taking taylor expansion of -1 in y
4.326 * [taylor]: Taking taylor expansion of y in y
4.326 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
4.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
4.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
4.326 * [taylor]: Taking taylor expansion of 1/3 in y
4.326 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
4.326 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.326 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.326 * [taylor]: Taking taylor expansion of -1 in y
4.326 * [taylor]: Taking taylor expansion of y in y
4.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
4.362 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
4.362 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.362 * [taylor]: Taking taylor expansion of (cos y) in y
4.362 * [taylor]: Taking taylor expansion of y in y
4.362 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
4.362 * [taylor]: Taking taylor expansion of (cos y) in y
4.362 * [taylor]: Taking taylor expansion of y in y
4.368 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
4.368 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.368 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.368 * [taylor]: Taking taylor expansion of y in y
4.369 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
4.369 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.369 * [taylor]: Taking taylor expansion of y in y
4.373 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
4.373 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.373 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.373 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.373 * [taylor]: Taking taylor expansion of -1 in y
4.373 * [taylor]: Taking taylor expansion of y in y
4.374 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
4.374 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.374 * [taylor]: Taking taylor expansion of -1 in y
4.374 * [taylor]: Taking taylor expansion of y in y
4.379 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.379 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
4.379 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
4.379 * [taylor]: Taking taylor expansion of x in y
4.379 * [taylor]: Taking taylor expansion of (cos y) in y
4.379 * [taylor]: Taking taylor expansion of y in y
4.379 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [taylor]: Taking taylor expansion of (cos y) in x
4.379 * [taylor]: Taking taylor expansion of y in x
4.379 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [taylor]: Taking taylor expansion of (cos y) in x
4.379 * [taylor]: Taking taylor expansion of y in x
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.382 * [taylor]: Taking taylor expansion of (cos y) in y
4.382 * [taylor]: Taking taylor expansion of y in y
4.385 * [taylor]: Taking taylor expansion of 0 in y
4.389 * [taylor]: Taking taylor expansion of 0 in y
4.389 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
4.389 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
4.389 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.389 * [taylor]: Taking taylor expansion of y in y
4.390 * [taylor]: Taking taylor expansion of x in y
4.390 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
4.390 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.390 * [taylor]: Taking taylor expansion of y in x
4.390 * [taylor]: Taking taylor expansion of x in x
4.390 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
4.390 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.390 * [taylor]: Taking taylor expansion of y in x
4.390 * [taylor]: Taking taylor expansion of x in x
4.391 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.391 * [taylor]: Taking taylor expansion of y in y
4.393 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.401 * [taylor]: Taking taylor expansion of 0 in y
4.401 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
4.401 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
4.401 * [taylor]: Taking taylor expansion of -1 in y
4.401 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
4.401 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.401 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.401 * [taylor]: Taking taylor expansion of -1 in y
4.401 * [taylor]: Taking taylor expansion of y in y
4.401 * [taylor]: Taking taylor expansion of x in y
4.402 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
4.402 * [taylor]: Taking taylor expansion of -1 in x
4.402 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
4.402 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.402 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.402 * [taylor]: Taking taylor expansion of -1 in x
4.402 * [taylor]: Taking taylor expansion of y in x
4.402 * [taylor]: Taking taylor expansion of x in x
4.402 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
4.402 * [taylor]: Taking taylor expansion of -1 in x
4.402 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
4.402 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.402 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.402 * [taylor]: Taking taylor expansion of -1 in x
4.402 * [taylor]: Taking taylor expansion of y in x
4.402 * [taylor]: Taking taylor expansion of x in x
4.403 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
4.403 * [taylor]: Taking taylor expansion of -1 in y
4.403 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.403 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.403 * [taylor]: Taking taylor expansion of -1 in y
4.403 * [taylor]: Taking taylor expansion of y in y
4.406 * [taylor]: Taking taylor expansion of 0 in y
4.410 * [taylor]: Taking taylor expansion of 0 in y
4.415 * [taylor]: Taking taylor expansion of 0 in y
4.416 * * * [progress]: simplifying candidates
4.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (log (cbrt (pow (cos y) 2)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (cbrt (pow (cbrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow (sqrt (cos y)) 2))
  (cbrt (pow 1 2))
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt (sqrt (pow (cos y) 2)))
  (cbrt 1)
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) (/ 2 2)))
  (cbrt (pow (cos y) (/ 2 2)))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (* (log (cos y)) 2)
  (* (log (cos y)) 2)
  (* 1 2)
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (pow (cos y) 1)
  (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)
  (pow (cbrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow 1 2)
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 2))
  (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (pow (cos y) (/ 2 2))
  (pow (cos y) (/ 2 2))
  (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (+ (+ (log x) (log (cbrt (pow (cos y) 2)))) (log (cbrt (cos y))))
  (+ (log (* x (cbrt (pow (cos y) 2)))) (log (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (* (* x x) x) (pow (cos y) 2)) (cos y))
  (* (* (* (* x (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (cos y))
  (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))))
  (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt 1))
  (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) 1)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
4.419 * * [simplify]: iteration  0 :  112  enodes  (cost  763 )
4.445 * * [simplify]: iteration  1 :  250  enodes  (cost  706 )
4.513 * * [simplify]: iteration  2 :  1026  enodes  (cost  610 )
4.958 * * [simplify]: iteration  done :  5001  enodes  (cost  607 )
4.959 * [simplify]: Simplified to:
   (expm1 (cbrt (pow (cos y) 2)))
  (log1p (cbrt (pow (cos y) 2)))
  (* 2/3 (log (cos y)))
  (exp (cbrt (pow (cos y) 2)))
  (cbrt (pow (cbrt (cos y)) 4))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cos y))
  (cbrt (cos y))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (cbrt (pow (pow (cos y) 2) 2/3))
  (cbrt (cbrt (pow (cos y) 2)))
  (cbrt (fabs (cos y)))
  (cbrt (fabs (cos y)))
  1
  (cbrt (pow (cos y) 2))
  (cbrt (cos y))
  (cbrt (cos y))
  (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2))))
  (cbrt (cbrt (pow (cos y) 2)))
  (pow (cbrt (pow (cos y) 2)) 3)
  (sqrt (cbrt (pow (cos y) 2)))
  (sqrt (cbrt (pow (cos y) 2)))
  (expm1 (cbrt (cos y)))
  (log1p (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (pow (cos y) 2/3))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (pow (cbrt (cos y)) 3)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (expm1 (pow (cos y) 2))
  (log1p (pow (cos y) 2))
  (log (pow (cos y) 2))
  (log (pow (cos y) 2))
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cbrt (cos y)) 4)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (cbrt (pow (cos y) 2))
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* (pow x 3) (pow (cos y) 3))
  (* (pow (* x (cbrt (pow (cos y) 2))) 3) (cos y))
  (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))))
  (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (pow (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) 3)
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))
  (* x (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2/3))))
  (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y))))
  (* (cbrt (pow (cos y) 2)) x)
  (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y))))
  (* (cbrt (pow (cos y) 2)) x)
  (* (cbrt (pow (cos y) 2)) (cbrt (cos y)))
  (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6))))
  (cbrt (pow (cos y) 2))
  (cbrt (pow (cos y) 2))
  (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4))))
  (cbrt (cos y))
  (cbrt (cos y))
  (- (fma 1/3 (pow y 4) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
4.959 * * * [progress]: adding candidates to table
5.228 * * [progress]: iteration 4 / 4
5.228 * * * [progress]: picking best candidate
5.257 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
5.257 * * * [progress]: localizing error
5.270 * * * [progress]: generating rewritten candidates
5.270 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.271 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
5.272 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
5.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
5.281 * * * [progress]: generating series expansions
5.281 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.282 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
5.282 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.282 * [taylor]: Taking taylor expansion of 1/3 in y
5.282 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.282 * [taylor]: Taking taylor expansion of (sin y) in y
5.282 * [taylor]: Taking taylor expansion of y in y
5.283 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.283 * [taylor]: Taking taylor expansion of 1/3 in y
5.283 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.283 * [taylor]: Taking taylor expansion of (sin y) in y
5.283 * [taylor]: Taking taylor expansion of y in y
5.311 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
5.311 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.311 * [taylor]: Taking taylor expansion of 1/3 in y
5.311 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.311 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.311 * [taylor]: Taking taylor expansion of y in y
5.311 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.311 * [taylor]: Taking taylor expansion of 1/3 in y
5.311 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.312 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.312 * [taylor]: Taking taylor expansion of y in y
5.344 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
5.344 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.344 * [taylor]: Taking taylor expansion of 1/3 in y
5.344 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.345 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.345 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.345 * [taylor]: Taking taylor expansion of -1 in y
5.345 * [taylor]: Taking taylor expansion of y in y
5.345 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.345 * [taylor]: Taking taylor expansion of 1/3 in y
5.345 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.345 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.345 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.345 * [taylor]: Taking taylor expansion of -1 in y
5.345 * [taylor]: Taking taylor expansion of y in y
5.381 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
5.381 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
5.381 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.381 * [taylor]: Taking taylor expansion of 1/3 in y
5.381 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.381 * [taylor]: Taking taylor expansion of (sin y) in y
5.381 * [taylor]: Taking taylor expansion of y in y
5.382 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.382 * [taylor]: Taking taylor expansion of 1/3 in y
5.382 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.382 * [taylor]: Taking taylor expansion of (sin y) in y
5.382 * [taylor]: Taking taylor expansion of y in y
5.407 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
5.407 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.407 * [taylor]: Taking taylor expansion of 1/3 in y
5.407 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.407 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.407 * [taylor]: Taking taylor expansion of y in y
5.407 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.407 * [taylor]: Taking taylor expansion of 1/3 in y
5.408 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.408 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.408 * [taylor]: Taking taylor expansion of y in y
5.440 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
5.440 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.440 * [taylor]: Taking taylor expansion of 1/3 in y
5.440 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.440 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.440 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.440 * [taylor]: Taking taylor expansion of -1 in y
5.440 * [taylor]: Taking taylor expansion of y in y
5.441 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.441 * [taylor]: Taking taylor expansion of 1/3 in y
5.441 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.441 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.441 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.441 * [taylor]: Taking taylor expansion of -1 in y
5.441 * [taylor]: Taking taylor expansion of y in y
5.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
5.479 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
5.479 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.479 * [taylor]: Taking taylor expansion of 1/3 in y
5.479 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.479 * [taylor]: Taking taylor expansion of (sin y) in y
5.479 * [taylor]: Taking taylor expansion of y in y
5.480 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.480 * [taylor]: Taking taylor expansion of 1/3 in y
5.480 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.480 * [taylor]: Taking taylor expansion of (sin y) in y
5.480 * [taylor]: Taking taylor expansion of y in y
5.505 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
5.505 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.505 * [taylor]: Taking taylor expansion of 1/3 in y
5.505 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.505 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.505 * [taylor]: Taking taylor expansion of y in y
5.506 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.506 * [taylor]: Taking taylor expansion of 1/3 in y
5.506 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.506 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.506 * [taylor]: Taking taylor expansion of y in y
5.539 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
5.539 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.539 * [taylor]: Taking taylor expansion of 1/3 in y
5.539 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.539 * [taylor]: Taking taylor expansion of -1 in y
5.539 * [taylor]: Taking taylor expansion of y in y
5.539 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.539 * [taylor]: Taking taylor expansion of 1/3 in y
5.539 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.539 * [taylor]: Taking taylor expansion of -1 in y
5.539 * [taylor]: Taking taylor expansion of y in y
5.578 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
5.578 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
5.578 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
5.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
5.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
5.578 * [taylor]: Taking taylor expansion of 1/3 in y
5.578 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
5.578 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
5.578 * [taylor]: Taking taylor expansion of (sin y) in y
5.578 * [taylor]: Taking taylor expansion of y in y
5.580 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
5.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
5.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
5.580 * [taylor]: Taking taylor expansion of 1/3 in y
5.580 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
5.580 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
5.580 * [taylor]: Taking taylor expansion of (sin y) in y
5.580 * [taylor]: Taking taylor expansion of y in y
5.607 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
5.607 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
5.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
5.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
5.607 * [taylor]: Taking taylor expansion of 1/3 in y
5.607 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
5.607 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
5.607 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.608 * [taylor]: Taking taylor expansion of y in y
5.608 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
5.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
5.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
5.608 * [taylor]: Taking taylor expansion of 1/3 in y
5.608 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
5.608 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
5.608 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.608 * [taylor]: Taking taylor expansion of y in y
5.653 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
5.653 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
5.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
5.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
5.653 * [taylor]: Taking taylor expansion of 1/3 in y
5.653 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
5.653 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
5.653 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.653 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.653 * [taylor]: Taking taylor expansion of -1 in y
5.653 * [taylor]: Taking taylor expansion of y in y
5.654 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
5.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
5.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
5.654 * [taylor]: Taking taylor expansion of 1/3 in y
5.654 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
5.654 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
5.654 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.654 * [taylor]: Taking taylor expansion of -1 in y
5.654 * [taylor]: Taking taylor expansion of y in y
5.694 * * * [progress]: simplifying candidates
5.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (* (cbrt (sin y)) (cbrt (sin y))))
  (log1p (* (cbrt (sin y)) (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)))
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3)))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
5.697 * * [simplify]: iteration  0 :  79  enodes  (cost  750 )
5.718 * * [simplify]: iteration  1 :  165  enodes  (cost  668 )
5.763 * * [simplify]: iteration  2 :  551  enodes  (cost  564 )
6.034 * * [simplify]: iteration  3 :  2181  enodes  (cost  541 )
7.241 * * [simplify]: iteration  done :  5000  enodes  (cost  541 )
7.242 * [simplify]: Simplified to:
   (expm1 (cbrt (sin y)))
  (log1p (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (expm1 (cbrt (sin y)))
  (log1p (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (expm1 (cbrt (sin y)))
  (log1p (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (expm1 (pow (sin y) 2/3))
  (log1p (pow (sin y) 2/3))
  2/3
  2
  (pow (sin y) 2)
  (pow (sin y) 2/3)
  2
  (log (pow (sin y) 2/3))
  (log (pow (sin y) 2/3))
  (exp (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (cbrt (pow (sin y) 2/3))
  (pow (sin y) 2)
  (fabs (cbrt (sin y)))
  (fabs (cbrt (sin y)))
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (* (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))))
  (cbrt (sin y))
  (cbrt (sin y))
  1
  (pow (sin y) 2/3)
  (* (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))) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  2/3
  2
  (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y))))
  (pow (sqrt (cbrt (sin y))) 3)
  (cbrt (sin y))
  (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)
  (- (cbrt y) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (fma -1/9 (cbrt (pow y 8)) (fma 1/405 (cbrt (pow y 14)) (pow y 2/3)))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
7.242 * * * [progress]: adding candidates to table
7.501 * [progress]: [Phase 3 of 3] Extracting.
7.501 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (/ (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y)))))))> #<alt (λ (x y z) (- (* (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (log (exp (pow (sin y) 2/3)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (sqrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* 1 (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
7.505 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.505 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (/ (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y)))))))> #<alt (λ (x y z) (- (* (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (log (exp (pow (sin y) 2/3)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (sqrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* 1 (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
7.564 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (/ (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y)))))))> #<alt (λ (x y z) (- (* (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (log (exp (pow (sin y) 2/3)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (sqrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* 1 (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
7.621 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (/ (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y)))))))> #<alt (λ (x y z) (- (* (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (log (exp (pow (sin y) 2/3)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (sqrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* 1 (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (* (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (* (* x (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
7.678 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
7.678 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y)))
7.678 * * [simplify]: iteration  0 :  13  enodes  (cost  16 )
7.679 * * [simplify]: iteration  1 :  16  enodes  (cost  16 )
7.679 * * [simplify]: iteration  done :  16  enodes  (cost  16 )
7.679 * [simplify]: Simplified to:
   (- (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* z (sin y)))
10.030 * [regime-testing]: Baseline error score: 0.2804593898616867
10.030 * [regime-testing]: Oracle error score: 0.03640079072402079
10.031 * [regime-testing]: End program error score: 0.2804593898616867