10.871 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.047 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.048 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.050 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.053 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.058 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.063 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.070 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.083 * * [simplify]: iteration 7 : 74 enodes (cost 9 ) 0.092 * * [simplify]: iteration 8 : 87 enodes (cost 9 ) 0.102 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 0.115 * * [simplify]: iteration 10 : 122 enodes (cost 9 ) 0.134 * * [simplify]: iteration 11 : 136 enodes (cost 9 ) 0.148 * * [simplify]: iteration done : 136 enodes (cost 9 ) 0.148 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.148 * * [progress]: iteration 1 / 4 0.148 * * * [progress]: picking best candidate 0.150 * * * * [pick]: Picked # 0.150 * * * [progress]: localizing error 0.160 * * * [progress]: generating rewritten candidates 0.160 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.164 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.183 * * * [progress]: generating series expansions 0.183 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.183 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.183 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.183 * [taylor]: Taking taylor expansion of (sin y) in y 0.183 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of z in y 0.183 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.183 * [taylor]: Taking taylor expansion of (sin y) in z 0.184 * [taylor]: Taking taylor expansion of y in z 0.184 * [taylor]: Taking taylor expansion of z in z 0.184 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.184 * [taylor]: Taking taylor expansion of (sin y) in z 0.184 * [taylor]: Taking taylor expansion of y in z 0.184 * [taylor]: Taking taylor expansion of z in z 0.184 * [taylor]: Taking taylor expansion of 0 in y 0.186 * [taylor]: Taking taylor expansion of (sin y) in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of 0 in y 0.193 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.201 * [taylor]: Taking taylor expansion of y in y 0.201 * [taylor]: Taking taylor expansion of z in y 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 y in z 0.201 * [taylor]: Taking taylor expansion of z 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 y in z 0.202 * [taylor]: Taking taylor expansion of z in z 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 y in y 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.208 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.212 * [taylor]: Taking taylor expansion of z in y 0.213 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.213 * [taylor]: Taking taylor expansion of -1 in z 0.213 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.213 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.213 * [taylor]: Taking taylor expansion of -1 in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.213 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.213 * [taylor]: Taking taylor expansion of -1 in z 0.213 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.213 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.213 * [taylor]: Taking taylor expansion of -1 in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.213 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.213 * [taylor]: Taking taylor expansion of -1 in y 0.213 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.213 * [taylor]: Taking taylor expansion of -1 in y 0.213 * [taylor]: Taking taylor expansion of y in y 0.217 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.226 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.227 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0 0.227 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z 0.227 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 0.227 * [taylor]: Taking taylor expansion of x in z 0.227 * [taylor]: Taking taylor expansion of (cos y) in z 0.227 * [taylor]: Taking taylor expansion of y in z 0.227 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.227 * [taylor]: Taking taylor expansion of (sin y) in z 0.227 * [taylor]: Taking taylor expansion of y in z 0.227 * [taylor]: Taking taylor expansion of z in z 0.227 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y 0.227 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [taylor]: Taking taylor expansion of (cos y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.227 * [taylor]: Taking taylor expansion of (sin y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of z in y 0.227 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.227 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (cos y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.227 * [taylor]: Taking taylor expansion of (sin y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of z in x 0.227 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.227 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (cos y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.227 * [taylor]: Taking taylor expansion of (sin y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of z in x 0.228 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y 0.228 * [taylor]: Taking taylor expansion of (cos y) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.228 * [taylor]: Taking taylor expansion of (sin y) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of z in y 0.229 * [taylor]: Taking taylor expansion of 1 in z 0.233 * [taylor]: Taking taylor expansion of 1 in y 0.233 * [taylor]: Taking taylor expansion of 1 in z 0.234 * [taylor]: Taking taylor expansion of (- z) in z 0.234 * [taylor]: Taking taylor expansion of z in z 0.240 * [taylor]: Taking taylor expansion of 0 in y 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.242 * [taylor]: Taking taylor expansion of -1/2 in z 0.242 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.243 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 0.243 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 0.243 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.243 * [taylor]: Taking taylor expansion of y in z 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.243 * [taylor]: Taking taylor expansion of x in z 0.243 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.243 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.243 * [taylor]: Taking taylor expansion of y in z 0.243 * [taylor]: Taking taylor expansion of z in z 0.243 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 0.243 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.243 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.244 * [taylor]: Taking taylor expansion of x in y 0.244 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.244 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of z in y 0.244 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.244 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.244 * [taylor]: Taking taylor expansion of y in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.245 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of z in x 0.245 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.245 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.245 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.246 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.246 * [taylor]: Taking taylor expansion of y in x 0.246 * [taylor]: Taking taylor expansion of z in x 0.247 * [taylor]: Taking taylor expansion of 1 in y 0.247 * [taylor]: Taking taylor expansion of 1 in z 0.248 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 0.248 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.248 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.248 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.249 * [taylor]: Taking taylor expansion of z in y 0.249 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 0.249 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.249 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.249 * [taylor]: Taking taylor expansion of y in z 0.249 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.249 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.249 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.249 * [taylor]: Taking taylor expansion of y in z 0.249 * [taylor]: Taking taylor expansion of z in z 0.250 * [taylor]: Taking taylor expansion of 0 in z 0.255 * [taylor]: Taking taylor expansion of 0 in y 0.255 * [taylor]: Taking taylor expansion of 0 in z 0.255 * [taylor]: Taking taylor expansion of 0 in z 0.255 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 0.259 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 0.259 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.259 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.259 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.259 * [taylor]: Taking taylor expansion of -1 in z 0.259 * [taylor]: Taking taylor expansion of y in z 0.259 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.259 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.259 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.259 * [taylor]: Taking taylor expansion of -1 in z 0.259 * [taylor]: Taking taylor expansion of y in z 0.259 * [taylor]: Taking taylor expansion of z in z 0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.260 * [taylor]: Taking taylor expansion of x in z 0.260 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 0.260 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.260 * [taylor]: Taking taylor expansion of -1 in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.260 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.260 * [taylor]: Taking taylor expansion of -1 in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of z in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.261 * [taylor]: Taking taylor expansion of x in y 0.261 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.261 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.261 * [taylor]: Taking taylor expansion of -1 in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.261 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.261 * [taylor]: Taking taylor expansion of -1 in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of z in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.262 * [taylor]: Taking taylor expansion of -1 in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.262 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.262 * [taylor]: Taking taylor expansion of -1 in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of z in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of -1 in y 0.263 * [taylor]: Taking taylor expansion of -1 in z 0.265 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.265 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.265 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.265 * [taylor]: Taking taylor expansion of -1 in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of z in y 0.266 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.266 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.266 * [taylor]: Taking taylor expansion of -1 in z 0.266 * [taylor]: Taking taylor expansion of y in z 0.266 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.266 * [taylor]: Taking taylor expansion of -1 in z 0.266 * [taylor]: Taking taylor expansion of y in z 0.267 * [taylor]: Taking taylor expansion of z in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.272 * [taylor]: Taking taylor expansion of 0 in y 0.272 * [taylor]: Taking taylor expansion of 0 in z 0.272 * [taylor]: Taking taylor expansion of 0 in z 0.272 * [taylor]: Taking taylor expansion of 0 in z 0.276 * * * [progress]: simplifying candidates 0.276 * [simplify]: Simplifying using # : (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (/ (* (exp x) (exp (cos y))) (exp (* z (sin y)))) (/ (exp (+ x (cos y))) (exp (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* (sin y) z)) (- (+ x (cos y)) (* (sin y) z)) 0.278 * * [simplify]: iteration 0 : 69 enodes (cost 365 ) 0.294 * * [simplify]: iteration 1 : 153 enodes (cost 346 ) 0.322 * * [simplify]: iteration 2 : 409 enodes (cost 338 ) 0.449 * * [simplify]: iteration 3 : 1283 enodes (cost 320 ) 1.156 * * [simplify]: iteration 4 : 4198 enodes (cost 320 ) 2.348 * * [simplify]: iteration done : 5001 enodes (cost 320 ) 2.348 * [simplify]: Simplified to: (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (exp (- (+ x (cos y)) (* 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)) (* z (sin y))) 3) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (+ x (cos y)) (* z (sin y)))) (* (+ x (cos y)) (+ x (cos y)))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y))) 2.348 * * * [progress]: adding candidates to table 2.438 * * [progress]: iteration 2 / 4 2.438 * * * [progress]: picking best candidate 2.451 * * * * [pick]: Picked # 2.451 * * * [progress]: localizing error 2.465 * * * [progress]: generating rewritten candidates 2.465 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.465 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 2.466 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.466 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.475 * * * [progress]: generating series expansions 2.475 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.475 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.475 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.475 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.475 * [taylor]: Taking taylor expansion of 1/3 in z 2.475 * [taylor]: Taking taylor expansion of (log z) in z 2.475 * [taylor]: Taking taylor expansion of z in z 2.476 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.476 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.476 * [taylor]: Taking taylor expansion of 1/3 in z 2.476 * [taylor]: Taking taylor expansion of (log z) in z 2.476 * [taylor]: Taking taylor expansion of z in z 2.531 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.531 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.531 * [taylor]: Taking taylor expansion of 1/3 in z 2.531 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.531 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.531 * [taylor]: Taking taylor expansion of z in z 2.532 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.532 * [taylor]: Taking taylor expansion of 1/3 in z 2.532 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.532 * [taylor]: Taking taylor expansion of z in z 2.590 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.590 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.590 * [taylor]: Taking taylor expansion of -1 in z 2.591 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.592 * [taylor]: Taking taylor expansion of 1/3 in z 2.592 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.592 * [taylor]: Taking taylor expansion of z in z 2.593 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.593 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.593 * [taylor]: Taking taylor expansion of -1 in z 2.593 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.593 * [taylor]: Taking taylor expansion of 1/3 in z 2.593 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.594 * [taylor]: Taking taylor expansion of z in z 2.665 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 2.665 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.665 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.665 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.665 * [taylor]: Taking taylor expansion of 1/3 in z 2.665 * [taylor]: Taking taylor expansion of (log z) in z 2.665 * [taylor]: Taking taylor expansion of z in z 2.666 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.666 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.666 * [taylor]: Taking taylor expansion of 1/3 in z 2.666 * [taylor]: Taking taylor expansion of (log z) in z 2.666 * [taylor]: Taking taylor expansion of z in z 2.718 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.718 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.718 * [taylor]: Taking taylor expansion of 1/3 in z 2.718 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.718 * [taylor]: Taking taylor expansion of z in z 2.719 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.719 * [taylor]: Taking taylor expansion of 1/3 in z 2.719 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.719 * [taylor]: Taking taylor expansion of z in z 2.777 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.777 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.777 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.777 * [taylor]: Taking taylor expansion of -1 in z 2.778 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.779 * [taylor]: Taking taylor expansion of 1/3 in z 2.779 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.779 * [taylor]: Taking taylor expansion of z in z 2.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.780 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.780 * [taylor]: Taking taylor expansion of -1 in z 2.780 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.780 * [taylor]: Taking taylor expansion of 1/3 in z 2.780 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.780 * [taylor]: Taking taylor expansion of z in z 2.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.852 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.852 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.852 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.852 * [taylor]: Taking taylor expansion of 1/3 in z 2.852 * [taylor]: Taking taylor expansion of (log z) in z 2.852 * [taylor]: Taking taylor expansion of z in z 2.853 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.853 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.853 * [taylor]: Taking taylor expansion of 1/3 in z 2.853 * [taylor]: Taking taylor expansion of (log z) in z 2.853 * [taylor]: Taking taylor expansion of z in z 2.907 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.907 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.908 * [taylor]: Taking taylor expansion of 1/3 in z 2.908 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.908 * [taylor]: Taking taylor expansion of z in z 2.909 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.909 * [taylor]: Taking taylor expansion of 1/3 in z 2.909 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.909 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.909 * [taylor]: Taking taylor expansion of z in z 2.963 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.963 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.963 * [taylor]: Taking taylor expansion of -1 in z 2.964 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.964 * [taylor]: Taking taylor expansion of 1/3 in z 2.964 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.964 * [taylor]: Taking taylor expansion of z in z 2.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.965 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.965 * [taylor]: Taking taylor expansion of -1 in z 2.966 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.966 * [taylor]: Taking taylor expansion of 1/3 in z 2.966 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.966 * [taylor]: Taking taylor expansion of z in z 3.036 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.036 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 3.036 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 3.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 3.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 3.036 * [taylor]: Taking taylor expansion of 1/3 in z 3.036 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 3.036 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.036 * [taylor]: Taking taylor expansion of z in z 3.037 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 3.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 3.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 3.037 * [taylor]: Taking taylor expansion of 1/3 in z 3.037 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 3.037 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.037 * [taylor]: Taking taylor expansion of z in z 3.094 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 3.095 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.095 * [taylor]: Taking taylor expansion of 1/3 in z 3.095 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.095 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.095 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.095 * [taylor]: Taking taylor expansion of z in z 3.096 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.096 * [taylor]: Taking taylor expansion of 1/3 in z 3.096 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.096 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.096 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.096 * [taylor]: Taking taylor expansion of z in z 3.157 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 3.158 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 3.158 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.158 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.158 * [taylor]: Taking taylor expansion of -1 in z 3.159 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.159 * [taylor]: Taking taylor expansion of 1/3 in z 3.159 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.159 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.159 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.159 * [taylor]: Taking taylor expansion of z in z 3.160 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 3.160 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.160 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.160 * [taylor]: Taking taylor expansion of -1 in z 3.161 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.161 * [taylor]: Taking taylor expansion of 1/3 in z 3.161 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.161 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.161 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.161 * [taylor]: Taking taylor expansion of z in z 3.242 * * * [progress]: simplifying candidates 3.243 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3)) 3.245 * * [simplify]: iteration 0 : 61 enodes (cost 524 ) 3.262 * * [simplify]: iteration 1 : 115 enodes (cost 417 ) 3.287 * * [simplify]: iteration 2 : 327 enodes (cost 397 ) 3.520 * * [simplify]: iteration 3 : 1169 enodes (cost 379 ) 4.783 * * [simplify]: iteration 4 : 3727 enodes (cost 374 ) 6.318 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 6.319 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) 2/3 2 (* z z) (pow z 2/3) 2 (log (pow z 2/3)) (log (pow z 2/3)) (exp (pow z 2/3)) (* z z) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (cbrt (pow z 2/3)) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt (pow z 2/3)) (cbrt z)) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow (cbrt -1) 2) (pow z 2/3)) 6.319 * * * [progress]: adding candidates to table 6.563 * * [progress]: iteration 3 / 4 6.563 * * * [progress]: picking best candidate 6.577 * * * * [pick]: Picked # 6.577 * * * [progress]: localizing error 6.596 * * * [progress]: generating rewritten candidates 6.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 6.602 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 6.603 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 6.604 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 6.607 * * * [progress]: generating series expansions 6.607 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 6.607 * [approximate]: Taking taylor expansion of (pow (pow z 1/9) 4) in (z) around 0 6.607 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 6.607 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.607 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.607 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.607 * [taylor]: Taking taylor expansion of 1/9 in z 6.607 * [taylor]: Taking taylor expansion of (log z) in z 6.607 * [taylor]: Taking taylor expansion of z in z 6.608 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 6.608 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.608 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.608 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.608 * [taylor]: Taking taylor expansion of 1/9 in z 6.608 * [taylor]: Taking taylor expansion of (log z) in z 6.608 * [taylor]: Taking taylor expansion of z in z 6.671 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in (z) around 0 6.671 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 6.671 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.671 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.671 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.671 * [taylor]: Taking taylor expansion of 1/9 in z 6.671 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.671 * [taylor]: Taking taylor expansion of z in z 6.672 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 6.672 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.672 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.672 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.672 * [taylor]: Taking taylor expansion of 1/9 in z 6.672 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.672 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.672 * [taylor]: Taking taylor expansion of z in z 6.741 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in (z) around 0 6.741 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 6.741 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.741 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.741 * [taylor]: Taking taylor expansion of 1/3 in z 6.741 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.741 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.741 * [taylor]: Taking taylor expansion of -1 in z 6.745 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.745 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.745 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.745 * [taylor]: Taking taylor expansion of 1/9 in z 6.745 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.745 * [taylor]: Taking taylor expansion of z in z 6.747 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 6.747 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.747 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.747 * [taylor]: Taking taylor expansion of 1/3 in z 6.747 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.747 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.747 * [taylor]: Taking taylor expansion of -1 in z 6.751 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.751 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.751 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.751 * [taylor]: Taking taylor expansion of 1/9 in z 6.751 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.751 * [taylor]: Taking taylor expansion of z in z 6.926 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 6.927 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.927 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.927 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.927 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.927 * [taylor]: Taking taylor expansion of 1/9 in z 6.927 * [taylor]: Taking taylor expansion of (log z) in z 6.927 * [taylor]: Taking taylor expansion of z in z 6.927 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.928 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.928 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.928 * [taylor]: Taking taylor expansion of 1/9 in z 6.928 * [taylor]: Taking taylor expansion of (log z) in z 6.928 * [taylor]: Taking taylor expansion of z in z 6.984 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.984 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.984 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.984 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.984 * [taylor]: Taking taylor expansion of 1/9 in z 6.984 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.984 * [taylor]: Taking taylor expansion of z in z 6.985 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.985 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.985 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.985 * [taylor]: Taking taylor expansion of 1/9 in z 6.985 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.985 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.985 * [taylor]: Taking taylor expansion of z in z 7.045 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 7.045 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.045 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.045 * [taylor]: Taking taylor expansion of 1/3 in z 7.045 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.045 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.045 * [taylor]: Taking taylor expansion of -1 in z 7.049 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.049 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.049 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.049 * [taylor]: Taking taylor expansion of 1/9 in z 7.049 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.050 * [taylor]: Taking taylor expansion of z in z 7.050 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.050 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.051 * [taylor]: Taking taylor expansion of 1/3 in z 7.051 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.051 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.051 * [taylor]: Taking taylor expansion of -1 in z 7.054 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.055 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.055 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.055 * [taylor]: Taking taylor expansion of 1/9 in z 7.055 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.055 * [taylor]: Taking taylor expansion of z in z 7.188 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 7.188 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 7.188 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.188 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.188 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.188 * [taylor]: Taking taylor expansion of 1/9 in z 7.188 * [taylor]: Taking taylor expansion of (log z) in z 7.188 * [taylor]: Taking taylor expansion of z in z 7.190 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.190 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.190 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.190 * [taylor]: Taking taylor expansion of 1/9 in z 7.190 * [taylor]: Taking taylor expansion of (log z) in z 7.190 * [taylor]: Taking taylor expansion of z in z 7.240 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 7.240 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.240 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.240 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.240 * [taylor]: Taking taylor expansion of 1/9 in z 7.240 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.240 * [taylor]: Taking taylor expansion of z in z 7.241 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.241 * [taylor]: Taking taylor expansion of 1/9 in z 7.241 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.241 * [taylor]: Taking taylor expansion of z in z 7.301 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 7.301 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.301 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.301 * [taylor]: Taking taylor expansion of 1/3 in z 7.301 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.301 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.301 * [taylor]: Taking taylor expansion of -1 in z 7.305 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.305 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.305 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.305 * [taylor]: Taking taylor expansion of 1/9 in z 7.305 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.305 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.305 * [taylor]: Taking taylor expansion of z in z 7.306 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.306 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.306 * [taylor]: Taking taylor expansion of 1/3 in z 7.306 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.306 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.306 * [taylor]: Taking taylor expansion of -1 in z 7.310 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.310 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.310 * [taylor]: Taking taylor expansion of 1/9 in z 7.310 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.310 * [taylor]: Taking taylor expansion of z in z 7.445 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 7.445 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 7.445 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.445 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.445 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.445 * [taylor]: Taking taylor expansion of 1/9 in z 7.445 * [taylor]: Taking taylor expansion of (log z) in z 7.445 * [taylor]: Taking taylor expansion of z in z 7.446 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.446 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.446 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.446 * [taylor]: Taking taylor expansion of 1/9 in z 7.446 * [taylor]: Taking taylor expansion of (log z) in z 7.446 * [taylor]: Taking taylor expansion of z in z 7.504 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 7.504 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.504 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.504 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.504 * [taylor]: Taking taylor expansion of 1/9 in z 7.504 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.504 * [taylor]: Taking taylor expansion of z in z 7.505 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.505 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.505 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.505 * [taylor]: Taking taylor expansion of 1/9 in z 7.505 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.505 * [taylor]: Taking taylor expansion of z in z 7.560 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 7.560 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.560 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.560 * [taylor]: Taking taylor expansion of 1/3 in z 7.560 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.560 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.560 * [taylor]: Taking taylor expansion of -1 in z 7.564 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.564 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.564 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.564 * [taylor]: Taking taylor expansion of 1/9 in z 7.564 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.564 * [taylor]: Taking taylor expansion of z in z 7.565 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.565 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.565 * [taylor]: Taking taylor expansion of 1/3 in z 7.565 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.565 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.565 * [taylor]: Taking taylor expansion of -1 in z 7.569 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.569 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.569 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.569 * [taylor]: Taking taylor expansion of 1/9 in z 7.569 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.569 * [taylor]: Taking taylor expansion of z in z 7.704 * * * [progress]: simplifying candidates 7.705 * [simplify]: Simplifying using # : (* (log (cbrt (cbrt z))) 4) (* (log (cbrt (cbrt z))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) (sqrt 4)) (pow (cbrt (cbrt z)) 1) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt z)) 4) (pow (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt z)) 4) (pow (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow 1 4) (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (* (* (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) (/ 4 2)) (pow (cbrt (cbrt z)) (/ 4 2)) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow z 4) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) 7.708 * * [simplify]: iteration 0 : 70 enodes (cost 569 ) 7.726 * * [simplify]: iteration 1 : 143 enodes (cost 513 ) 7.760 * * [simplify]: iteration 2 : 278 enodes (cost 509 ) 7.819 * * [simplify]: iteration 3 : 652 enodes (cost 483 ) 8.172 * * [simplify]: iteration 4 : 2381 enodes (cost 469 ) 9.495 * * [simplify]: iteration done : 5000 enodes (cost 469 ) 9.496 * [simplify]: Simplified to: (log (pow (cbrt (cbrt z)) 4)) (log (pow (cbrt (cbrt z)) 4)) 4/3 4 (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) 2) (cbrt (cbrt z)) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (pow (cbrt (cbrt z)) 2)) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt (cbrt z))) 8) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) 1 (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt z) 4) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (cbrt (pow (cbrt -1) 4)) (pow (pow z 4) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) 9.496 * * * [progress]: adding candidates to table 9.810 * * [progress]: iteration 4 / 4 9.810 * * * [progress]: picking best candidate 9.822 * * * * [pick]: Picked # 9.822 * * * [progress]: localizing error 9.845 * * * [progress]: generating rewritten candidates 9.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1) 9.848 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 9.850 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 9.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 9.854 * * * [progress]: generating series expansions 9.854 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1) 9.855 * [approximate]: Taking taylor expansion of (pow (pow z 1/9) 4) in (z) around 0 9.855 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 9.855 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 9.855 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 9.855 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 9.855 * [taylor]: Taking taylor expansion of 1/9 in z 9.855 * [taylor]: Taking taylor expansion of (log z) in z 9.855 * [taylor]: Taking taylor expansion of z in z 9.856 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 9.856 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 9.856 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 9.856 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 9.856 * [taylor]: Taking taylor expansion of 1/9 in z 9.856 * [taylor]: Taking taylor expansion of (log z) in z 9.856 * [taylor]: Taking taylor expansion of z in z 9.925 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in (z) around 0 9.925 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 9.925 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 9.925 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 9.925 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 9.925 * [taylor]: Taking taylor expansion of 1/9 in z 9.925 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 9.925 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.925 * [taylor]: Taking taylor expansion of z in z 9.927 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 9.927 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 9.927 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 9.927 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 9.927 * [taylor]: Taking taylor expansion of 1/9 in z 9.927 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 9.927 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.927 * [taylor]: Taking taylor expansion of z in z 9.998 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in (z) around 0 9.998 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 10.000 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.000 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.000 * [taylor]: Taking taylor expansion of 1/3 in z 10.000 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.000 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.000 * [taylor]: Taking taylor expansion of -1 in z 10.004 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.004 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.004 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.004 * [taylor]: Taking taylor expansion of 1/9 in z 10.004 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.004 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.004 * [taylor]: Taking taylor expansion of z in z 10.006 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 10.006 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.006 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.006 * [taylor]: Taking taylor expansion of 1/3 in z 10.006 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.006 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.006 * [taylor]: Taking taylor expansion of -1 in z 10.010 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.010 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.010 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.010 * [taylor]: Taking taylor expansion of 1/9 in z 10.010 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.010 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.010 * [taylor]: Taking taylor expansion of z in z 10.186 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 10.186 * [approximate]: Taking taylor expansion of (pow (pow z 1/9) 4) in (z) around 0 10.186 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 10.186 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.186 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.186 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.186 * [taylor]: Taking taylor expansion of 1/9 in z 10.186 * [taylor]: Taking taylor expansion of (log z) in z 10.186 * [taylor]: Taking taylor expansion of z in z 10.187 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 10.187 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.187 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.187 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.187 * [taylor]: Taking taylor expansion of 1/9 in z 10.187 * [taylor]: Taking taylor expansion of (log z) in z 10.187 * [taylor]: Taking taylor expansion of z in z 10.257 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in (z) around 0 10.257 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 10.257 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.257 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.257 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.257 * [taylor]: Taking taylor expansion of 1/9 in z 10.257 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.257 * [taylor]: Taking taylor expansion of z in z 10.258 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 10.258 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.258 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.258 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.258 * [taylor]: Taking taylor expansion of 1/9 in z 10.258 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.258 * [taylor]: Taking taylor expansion of z in z 10.330 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in (z) around 0 10.330 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 10.330 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.330 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.330 * [taylor]: Taking taylor expansion of 1/3 in z 10.330 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.330 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.330 * [taylor]: Taking taylor expansion of -1 in z 10.334 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.334 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.334 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.334 * [taylor]: Taking taylor expansion of 1/9 in z 10.334 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.334 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.334 * [taylor]: Taking taylor expansion of z in z 10.336 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 10.336 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.336 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.336 * [taylor]: Taking taylor expansion of 1/3 in z 10.336 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.336 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.336 * [taylor]: Taking taylor expansion of -1 in z 10.340 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.340 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.340 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.340 * [taylor]: Taking taylor expansion of 1/9 in z 10.340 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.340 * [taylor]: Taking taylor expansion of z in z 10.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 10.520 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 10.520 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.520 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.520 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.520 * [taylor]: Taking taylor expansion of 1/9 in z 10.520 * [taylor]: Taking taylor expansion of (log z) in z 10.520 * [taylor]: Taking taylor expansion of z in z 10.521 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.521 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.521 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.521 * [taylor]: Taking taylor expansion of 1/9 in z 10.521 * [taylor]: Taking taylor expansion of (log z) in z 10.521 * [taylor]: Taking taylor expansion of z in z 10.579 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 10.579 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.579 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.579 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.579 * [taylor]: Taking taylor expansion of 1/9 in z 10.579 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.579 * [taylor]: Taking taylor expansion of z in z 10.580 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.580 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.580 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.580 * [taylor]: Taking taylor expansion of 1/9 in z 10.580 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.580 * [taylor]: Taking taylor expansion of z in z 10.635 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 10.635 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.635 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.636 * [taylor]: Taking taylor expansion of 1/3 in z 10.636 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.636 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.636 * [taylor]: Taking taylor expansion of -1 in z 10.639 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.640 * [taylor]: Taking taylor expansion of 1/9 in z 10.640 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.640 * [taylor]: Taking taylor expansion of z in z 10.641 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.641 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.641 * [taylor]: Taking taylor expansion of 1/3 in z 10.641 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.641 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.641 * [taylor]: Taking taylor expansion of -1 in z 10.651 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.651 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.651 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.651 * [taylor]: Taking taylor expansion of 1/9 in z 10.651 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.651 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.651 * [taylor]: Taking taylor expansion of z in z 10.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 10.783 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 10.783 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.783 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.783 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.783 * [taylor]: Taking taylor expansion of 1/9 in z 10.783 * [taylor]: Taking taylor expansion of (log z) in z 10.783 * [taylor]: Taking taylor expansion of z in z 10.784 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.784 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.784 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.784 * [taylor]: Taking taylor expansion of 1/9 in z 10.784 * [taylor]: Taking taylor expansion of (log z) in z 10.784 * [taylor]: Taking taylor expansion of z in z 10.843 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 10.843 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.843 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.843 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.843 * [taylor]: Taking taylor expansion of 1/9 in z 10.843 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.843 * [taylor]: Taking taylor expansion of z in z 10.845 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.845 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.845 * [taylor]: Taking taylor expansion of 1/9 in z 10.845 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.845 * [taylor]: Taking taylor expansion of z in z 10.907 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 10.907 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.907 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.907 * [taylor]: Taking taylor expansion of 1/3 in z 10.907 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.907 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.908 * [taylor]: Taking taylor expansion of -1 in z 10.912 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.912 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.912 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.912 * [taylor]: Taking taylor expansion of 1/9 in z 10.912 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.912 * [taylor]: Taking taylor expansion of z in z 10.913 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 10.913 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 10.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 10.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 10.913 * [taylor]: Taking taylor expansion of 1/3 in z 10.913 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 10.913 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.913 * [taylor]: Taking taylor expansion of -1 in z 10.917 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 10.917 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 10.917 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 10.917 * [taylor]: Taking taylor expansion of 1/9 in z 10.917 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.917 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.917 * [taylor]: Taking taylor expansion of z in z 11.048 * * * [progress]: simplifying candidates 11.050 * [simplify]: Simplifying using # : (* (log (cbrt (cbrt z))) 4) (* (log (cbrt (cbrt z))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) (sqrt 4)) (pow (cbrt (cbrt z)) 1) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt z)) 4) (pow (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt z)) 4) (pow (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow 1 4) (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (* (* (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) (/ 4 2)) (pow (cbrt (cbrt z)) (/ 4 2)) (* (log (cbrt (cbrt z))) 4) (* (log (cbrt (cbrt z))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) (sqrt 4)) (pow (cbrt (cbrt z)) 1) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt z)) 4) (pow (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt z)) 4) (pow (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow 1 4) (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (* (* (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) (/ 4 2)) (pow (cbrt (cbrt z)) (/ 4 2)) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow z 4) 1/9)) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow z 4) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) 11.052 * * [simplify]: iteration 0 : 70 enodes (cost 706 ) 11.079 * * [simplify]: iteration 1 : 143 enodes (cost 630 ) 11.107 * * [simplify]: iteration 2 : 278 enodes (cost 622 ) 11.168 * * [simplify]: iteration 3 : 652 enodes (cost 598 ) 11.528 * * [simplify]: iteration 4 : 2381 enodes (cost 582 ) 12.796 * * [simplify]: iteration done : 5000 enodes (cost 582 ) 12.797 * [simplify]: Simplified to: (log (pow (cbrt (cbrt z)) 4)) (log (pow (cbrt (cbrt z)) 4)) 4/3 4 (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) 2) (cbrt (cbrt z)) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (pow (cbrt (cbrt z)) 2)) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt (cbrt z))) 8) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) 1 (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt z) 4) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) (log (pow (cbrt (cbrt z)) 4)) (log (pow (cbrt (cbrt z)) 4)) 4/3 4 (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) 2) (cbrt (cbrt z)) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (pow (cbrt (cbrt z)) 2)) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt (cbrt z))) 8) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) 1 (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt z) 4) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (cbrt (pow (cbrt -1) 4)) (pow (pow z 4) 1/9)) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (cbrt (pow (cbrt -1) 4)) (pow (pow z 4) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) 12.797 * * * [progress]: adding candidates to table 13.164 * [progress]: [Phase 3 of 3] Extracting. 13.164 * * [regime]: Finding splitpoints for: (# # # # # #) 13.166 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 13.166 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # #) 13.205 * * * * [regimes]: Trying to branch on z from (# # # # # #) 13.231 * * * * [regimes]: Trying to branch on y from (# # # # # #) 13.483 * * * * [regimes]: Trying to branch on x from (# # # # # #) 13.514 * * * [regime]: Found split indices: #