24.808 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.042 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.043 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.045 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.048 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.051 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.056 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.065 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.073 * * [simplify]: iteration 7 : 88 enodes (cost 9 ) 0.085 * * [simplify]: iteration 8 : 130 enodes (cost 9 ) 0.104 * * [simplify]: iteration 9 : 156 enodes (cost 9 ) 0.132 * * [simplify]: iteration 10 : 181 enodes (cost 9 ) 0.168 * * [simplify]: iteration 11 : 204 enodes (cost 9 ) 0.214 * * [simplify]: iteration 12 : 222 enodes (cost 9 ) 0.272 * * [simplify]: iteration done : 222 enodes (cost 9 ) 0.272 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.272 * * [progress]: iteration 1 / 4 0.272 * * * [progress]: picking best candidate 0.274 * * * * [pick]: Picked # 0.274 * * * [progress]: localizing error 0.283 * * * [progress]: generating rewritten candidates 0.283 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.287 * * * [progress]: generating series expansions 0.287 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.287 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.287 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.287 * [taylor]: Taking taylor expansion of (sin y) in y 0.287 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of z in y 0.288 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.288 * [taylor]: Taking taylor expansion of (sin y) in z 0.288 * [taylor]: Taking taylor expansion of y in z 0.288 * [taylor]: Taking taylor expansion of z in z 0.288 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.288 * [taylor]: Taking taylor expansion of (sin y) in z 0.288 * [taylor]: Taking taylor expansion of y in z 0.288 * [taylor]: Taking taylor expansion of z in z 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.290 * [taylor]: Taking taylor expansion of (sin y) in y 0.290 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.296 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.300 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.300 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.300 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of z in y 0.301 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.301 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.301 * [taylor]: Taking taylor expansion of y in z 0.301 * [taylor]: Taking taylor expansion of z in z 0.301 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.301 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.301 * [taylor]: Taking taylor expansion of y in z 0.301 * [taylor]: Taking taylor expansion of z in z 0.301 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.302 * [taylor]: Taking taylor expansion of y in y 0.308 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [taylor]: Taking taylor expansion of 0 in y 0.314 * [taylor]: Taking taylor expansion of 0 in y 0.314 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.314 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.315 * [taylor]: Taking taylor expansion of -1 in y 0.315 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.315 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.315 * [taylor]: Taking taylor expansion of -1 in y 0.315 * [taylor]: Taking taylor expansion of y in y 0.315 * [taylor]: Taking taylor expansion of z in y 0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.315 * [taylor]: Taking taylor expansion of -1 in z 0.315 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.315 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.315 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.315 * [taylor]: Taking taylor expansion of -1 in z 0.315 * [taylor]: Taking taylor expansion of y in z 0.315 * [taylor]: Taking taylor expansion of z in z 0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.315 * [taylor]: Taking taylor expansion of -1 in z 0.315 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.315 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.315 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.315 * [taylor]: Taking taylor expansion of -1 in z 0.315 * [taylor]: Taking taylor expansion of y in z 0.316 * [taylor]: Taking taylor expansion of z in z 0.316 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.316 * [taylor]: Taking taylor expansion of -1 in y 0.316 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.316 * [taylor]: Taking taylor expansion of -1 in y 0.316 * [taylor]: Taking taylor expansion of y in y 0.319 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [taylor]: Taking taylor expansion of 0 in y 0.328 * [taylor]: Taking taylor expansion of 0 in y 0.328 * * * [progress]: simplifying candidates 0.328 * [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)) (* z y) (* (sin y) z) (* (sin y) z) 0.329 * * [simplify]: iteration 0 : 33 enodes (cost 128 ) 0.334 * * [simplify]: iteration 1 : 65 enodes (cost 125 ) 0.346 * * [simplify]: iteration 2 : 200 enodes (cost 109 ) 0.397 * * [simplify]: iteration 3 : 393 enodes (cost 109 ) 0.544 * * [simplify]: iteration 4 : 608 enodes (cost 109 ) 0.821 * * [simplify]: iteration 5 : 1289 enodes (cost 109 ) 1.550 * * [simplify]: iteration done : 5001 enodes (cost 109 ) 1.551 * [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)) (* z y) (* z (sin y)) (* z (sin y)) 1.551 * * * [progress]: adding candidates to table 1.596 * * [progress]: iteration 2 / 4 1.596 * * * [progress]: picking best candidate 1.603 * * * * [pick]: Picked # 1.603 * * * [progress]: localizing error 1.616 * * * [progress]: generating rewritten candidates 1.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.625 * * * [progress]: generating series expansions 1.625 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.625 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.625 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.626 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.626 * [taylor]: Taking taylor expansion of 1/3 in z 1.626 * [taylor]: Taking taylor expansion of (log z) in z 1.626 * [taylor]: Taking taylor expansion of z in z 1.626 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.627 * [taylor]: Taking taylor expansion of 1/3 in z 1.627 * [taylor]: Taking taylor expansion of (log z) in z 1.627 * [taylor]: Taking taylor expansion of z in z 1.680 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.680 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.680 * [taylor]: Taking taylor expansion of 1/3 in z 1.680 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.680 * [taylor]: Taking taylor expansion of z in z 1.681 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.681 * [taylor]: Taking taylor expansion of 1/3 in z 1.681 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.681 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.681 * [taylor]: Taking taylor expansion of z in z 1.739 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.739 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.739 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.739 * [taylor]: Taking taylor expansion of -1 in z 1.740 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.740 * [taylor]: Taking taylor expansion of 1/3 in z 1.740 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.740 * [taylor]: Taking taylor expansion of z in z 1.741 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.741 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.741 * [taylor]: Taking taylor expansion of -1 in z 1.742 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.742 * [taylor]: Taking taylor expansion of 1/3 in z 1.742 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.742 * [taylor]: Taking taylor expansion of z in z 1.810 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.810 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.810 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.810 * [taylor]: Taking taylor expansion of 1/3 in z 1.810 * [taylor]: Taking taylor expansion of (log z) in z 1.810 * [taylor]: Taking taylor expansion of z in z 1.810 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.810 * [taylor]: Taking taylor expansion of 1/3 in z 1.810 * [taylor]: Taking taylor expansion of (log z) in z 1.810 * [taylor]: Taking taylor expansion of z in z 1.859 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.859 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.859 * [taylor]: Taking taylor expansion of 1/3 in z 1.859 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.859 * [taylor]: Taking taylor expansion of z in z 1.860 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.860 * [taylor]: Taking taylor expansion of 1/3 in z 1.860 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.860 * [taylor]: Taking taylor expansion of z in z 1.918 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.918 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.918 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.918 * [taylor]: Taking taylor expansion of -1 in z 1.919 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.919 * [taylor]: Taking taylor expansion of 1/3 in z 1.919 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.919 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.919 * [taylor]: Taking taylor expansion of z in z 1.920 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.920 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.920 * [taylor]: Taking taylor expansion of -1 in z 1.921 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.921 * [taylor]: Taking taylor expansion of 1/3 in z 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.921 * [taylor]: Taking taylor expansion of z in z 1.990 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.990 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.991 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.991 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.991 * [taylor]: Taking taylor expansion of 1/3 in z 1.991 * [taylor]: Taking taylor expansion of (log z) in z 1.991 * [taylor]: Taking taylor expansion of z in z 1.991 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.991 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.991 * [taylor]: Taking taylor expansion of 1/3 in z 1.991 * [taylor]: Taking taylor expansion of (log z) in z 1.991 * [taylor]: Taking taylor expansion of z in z 2.046 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.046 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.046 * [taylor]: Taking taylor expansion of 1/3 in z 2.046 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.046 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.046 * [taylor]: Taking taylor expansion of z in z 2.047 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.047 * [taylor]: Taking taylor expansion of 1/3 in z 2.047 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.047 * [taylor]: Taking taylor expansion of z in z 2.105 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.105 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.105 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.105 * [taylor]: Taking taylor expansion of -1 in z 2.106 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.106 * [taylor]: Taking taylor expansion of 1/3 in z 2.106 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.106 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.106 * [taylor]: Taking taylor expansion of z in z 2.107 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.107 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.107 * [taylor]: Taking taylor expansion of -1 in z 2.108 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.108 * [taylor]: Taking taylor expansion of 1/3 in z 2.108 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.108 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.108 * [taylor]: Taking taylor expansion of z in z 2.170 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.170 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 2.170 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.170 * [taylor]: Taking taylor expansion of 1/3 in z 2.170 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.170 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.170 * [taylor]: Taking taylor expansion of z in z 2.171 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.171 * [taylor]: Taking taylor expansion of 1/3 in z 2.171 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.171 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.171 * [taylor]: Taking taylor expansion of z in z 2.228 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 2.228 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.229 * [taylor]: Taking taylor expansion of 1/3 in z 2.229 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.229 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.229 * [taylor]: Taking taylor expansion of z in z 2.230 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.230 * [taylor]: Taking taylor expansion of 1/3 in z 2.230 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.230 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.230 * [taylor]: Taking taylor expansion of z in z 2.290 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 2.290 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.290 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.290 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.290 * [taylor]: Taking taylor expansion of -1 in z 2.291 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.291 * [taylor]: Taking taylor expansion of 1/3 in z 2.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.291 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.291 * [taylor]: Taking taylor expansion of z in z 2.292 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.292 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.292 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.292 * [taylor]: Taking taylor expansion of -1 in z 2.293 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.293 * [taylor]: Taking taylor expansion of 1/3 in z 2.293 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.293 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.293 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.293 * [taylor]: Taking taylor expansion of z in z 2.371 * * * [progress]: simplifying candidates 2.372 * [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)) 2.374 * * [simplify]: iteration 0 : 61 enodes (cost 524 ) 2.386 * * [simplify]: iteration 1 : 118 enodes (cost 465 ) 2.426 * * [simplify]: iteration 2 : 446 enodes (cost 397 ) 2.657 * * [simplify]: iteration 3 : 1994 enodes (cost 379 ) 4.089 * * [simplify]: iteration done : 5000 enodes (cost 379 ) 4.090 * [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) (* (cbrt (cbrt z)) (pow (cbrt (cbrt z)) 4)) (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) (cbrt (* z z))) 4.090 * * * [progress]: adding candidates to table 4.317 * * [progress]: iteration 3 / 4 4.317 * * * [progress]: picking best candidate 4.332 * * * * [pick]: Picked # 4.332 * * * [progress]: localizing error 4.345 * * * [progress]: generating rewritten candidates 4.345 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.346 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 4.346 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 4.347 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 4.355 * * * [progress]: generating series expansions 4.355 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.355 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.355 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.356 * [taylor]: Taking taylor expansion of 1/3 in y 4.356 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.356 * [taylor]: Taking taylor expansion of (sin y) in y 4.356 * [taylor]: Taking taylor expansion of y in y 4.357 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.357 * [taylor]: Taking taylor expansion of 1/3 in y 4.357 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.357 * [taylor]: Taking taylor expansion of (sin y) in y 4.357 * [taylor]: Taking taylor expansion of y in y 4.381 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.381 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.381 * [taylor]: Taking taylor expansion of 1/3 in y 4.381 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.381 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.382 * [taylor]: Taking taylor expansion of y in y 4.382 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.382 * [taylor]: Taking taylor expansion of 1/3 in y 4.382 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.382 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.382 * [taylor]: Taking taylor expansion of y in y 4.418 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.418 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.419 * [taylor]: Taking taylor expansion of 1/3 in y 4.419 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.419 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.419 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.419 * [taylor]: Taking taylor expansion of -1 in y 4.419 * [taylor]: Taking taylor expansion of y in y 4.419 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.419 * [taylor]: Taking taylor expansion of 1/3 in y 4.419 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.419 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.419 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.419 * [taylor]: Taking taylor expansion of -1 in y 4.419 * [taylor]: Taking taylor expansion of y in y 4.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 4.452 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.452 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.452 * [taylor]: Taking taylor expansion of 1/3 in y 4.452 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.452 * [taylor]: Taking taylor expansion of (sin y) in y 4.452 * [taylor]: Taking taylor expansion of y in y 4.453 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.453 * [taylor]: Taking taylor expansion of 1/3 in y 4.453 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.453 * [taylor]: Taking taylor expansion of (sin y) in y 4.453 * [taylor]: Taking taylor expansion of y in y 4.478 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.478 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.478 * [taylor]: Taking taylor expansion of 1/3 in y 4.478 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.478 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.478 * [taylor]: Taking taylor expansion of y in y 4.478 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.478 * [taylor]: Taking taylor expansion of 1/3 in y 4.478 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.478 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.479 * [taylor]: Taking taylor expansion of y in y 4.513 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.514 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.514 * [taylor]: Taking taylor expansion of 1/3 in y 4.514 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.514 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.514 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.514 * [taylor]: Taking taylor expansion of -1 in y 4.514 * [taylor]: Taking taylor expansion of y in y 4.514 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.514 * [taylor]: Taking taylor expansion of 1/3 in y 4.514 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.514 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.514 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.514 * [taylor]: Taking taylor expansion of -1 in y 4.514 * [taylor]: Taking taylor expansion of y in y 4.546 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 4.546 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.546 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.546 * [taylor]: Taking taylor expansion of 1/3 in y 4.546 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.546 * [taylor]: Taking taylor expansion of (sin y) in y 4.546 * [taylor]: Taking taylor expansion of y in y 4.547 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.547 * [taylor]: Taking taylor expansion of 1/3 in y 4.547 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.547 * [taylor]: Taking taylor expansion of (sin y) in y 4.547 * [taylor]: Taking taylor expansion of y in y 4.574 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.575 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.575 * [taylor]: Taking taylor expansion of 1/3 in y 4.575 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.575 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.575 * [taylor]: Taking taylor expansion of y in y 4.575 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.575 * [taylor]: Taking taylor expansion of 1/3 in y 4.575 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.575 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.575 * [taylor]: Taking taylor expansion of y in y 4.607 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.607 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.607 * [taylor]: Taking taylor expansion of 1/3 in y 4.607 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.608 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.608 * [taylor]: Taking taylor expansion of -1 in y 4.608 * [taylor]: Taking taylor expansion of y in y 4.608 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.608 * [taylor]: Taking taylor expansion of 1/3 in y 4.608 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.608 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.608 * [taylor]: Taking taylor expansion of -1 in y 4.608 * [taylor]: Taking taylor expansion of y in y 4.641 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 4.641 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 4.641 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 4.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 4.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 4.641 * [taylor]: Taking taylor expansion of 1/3 in y 4.641 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 4.641 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 4.641 * [taylor]: Taking taylor expansion of (sin y) in y 4.641 * [taylor]: Taking taylor expansion of y in y 4.642 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 4.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 4.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 4.642 * [taylor]: Taking taylor expansion of 1/3 in y 4.642 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 4.642 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 4.642 * [taylor]: Taking taylor expansion of (sin y) in y 4.642 * [taylor]: Taking taylor expansion of y in y 4.672 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 4.672 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 4.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 4.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 4.672 * [taylor]: Taking taylor expansion of 1/3 in y 4.672 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 4.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 4.672 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.672 * [taylor]: Taking taylor expansion of y in y 4.673 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 4.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 4.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 4.673 * [taylor]: Taking taylor expansion of 1/3 in y 4.673 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 4.673 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 4.673 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.673 * [taylor]: Taking taylor expansion of y in y 4.711 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 4.711 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 4.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 4.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 4.711 * [taylor]: Taking taylor expansion of 1/3 in y 4.711 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 4.711 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 4.711 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.711 * [taylor]: Taking taylor expansion of -1 in y 4.711 * [taylor]: Taking taylor expansion of y in y 4.712 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 4.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 4.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 4.712 * [taylor]: Taking taylor expansion of 1/3 in y 4.712 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 4.712 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 4.712 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.712 * [taylor]: Taking taylor expansion of -1 in y 4.712 * [taylor]: Taking taylor expansion of y in y 4.755 * * * [progress]: simplifying candidates 4.756 * [simplify]: Simplifying using # : (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (+ 1/3 1/3) (+ 1 1) (* (sin y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (+ 1 1) (+ (log (cbrt (sin y))) (log (cbrt (sin y)))) (log (* (cbrt (sin y)) (cbrt (sin y)))) (exp (* (cbrt (sin y)) (cbrt (sin y)))) (* (sin y) (sin y)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 1 1) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 2 1/3) (* 2 1) (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (* (cbrt (sin y)) (cbrt 1)) (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (sin y)) (sqrt (cbrt (sin y)))) (* (cbrt (sin y)) 1) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (- (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) 4.759 * * [simplify]: iteration 0 : 75 enodes (cost 710 ) 4.774 * * [simplify]: iteration 1 : 159 enodes (cost 632 ) 4.819 * * [simplify]: iteration 2 : 538 enodes (cost 534 ) 5.087 * * [simplify]: iteration 3 : 2147 enodes (cost 512 ) 6.253 * * [simplify]: iteration done : 5001 enodes (cost 512 ) 6.254 * [simplify]: Simplified to: (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))) (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))) (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))) 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)))) (* (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 (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) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (+ (* 1/405 (cbrt (pow y 14))) (- (pow y 2/3) (* (cbrt (pow y 8)) 1/9))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) 6.255 * * * [progress]: adding candidates to table 6.481 * * [progress]: iteration 4 / 4 6.481 * * * [progress]: picking best candidate 6.499 * * * * [pick]: Picked # 6.500 * * * [progress]: localizing error 6.518 * * * [progress]: generating rewritten candidates 6.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 6.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2) 6.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1) 6.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 6.522 * * * [progress]: generating series expansions 6.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 6.522 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.522 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.522 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.522 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.522 * [taylor]: Taking taylor expansion of 1/9 in z 6.522 * [taylor]: Taking taylor expansion of (log z) in z 6.522 * [taylor]: Taking taylor expansion of z in z 6.523 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.523 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.523 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.523 * [taylor]: Taking taylor expansion of 1/9 in z 6.523 * [taylor]: Taking taylor expansion of (log z) in z 6.523 * [taylor]: Taking taylor expansion of z in z 6.579 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.579 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.579 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.579 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.579 * [taylor]: Taking taylor expansion of 1/9 in z 6.579 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.579 * [taylor]: Taking taylor expansion of z in z 6.580 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.580 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.580 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.580 * [taylor]: Taking taylor expansion of 1/9 in z 6.580 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.580 * [taylor]: Taking taylor expansion of z in z 6.641 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 6.641 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.641 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.641 * [taylor]: Taking taylor expansion of 1/3 in z 6.641 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.641 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.641 * [taylor]: Taking taylor expansion of -1 in z 6.645 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.645 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.645 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.645 * [taylor]: Taking taylor expansion of 1/9 in z 6.645 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.645 * [taylor]: Taking taylor expansion of z in z 6.646 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.646 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.646 * [taylor]: Taking taylor expansion of 1/3 in z 6.646 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.646 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.646 * [taylor]: Taking taylor expansion of -1 in z 6.650 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.650 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.650 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.650 * [taylor]: Taking taylor expansion of 1/9 in z 6.650 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.650 * [taylor]: Taking taylor expansion of z in z 6.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2) 6.779 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.779 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.779 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.779 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.779 * [taylor]: Taking taylor expansion of 1/9 in z 6.779 * [taylor]: Taking taylor expansion of (log z) in z 6.779 * [taylor]: Taking taylor expansion of z in z 6.780 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.780 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.780 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.780 * [taylor]: Taking taylor expansion of 1/9 in z 6.780 * [taylor]: Taking taylor expansion of (log z) in z 6.780 * [taylor]: Taking taylor expansion of z in z 6.829 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.829 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.829 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.829 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.829 * [taylor]: Taking taylor expansion of 1/9 in z 6.829 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.829 * [taylor]: Taking taylor expansion of z in z 6.830 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.830 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.830 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.830 * [taylor]: Taking taylor expansion of 1/9 in z 6.830 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.830 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.830 * [taylor]: Taking taylor expansion of z in z 6.887 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 6.887 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.887 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.888 * [taylor]: Taking taylor expansion of 1/3 in z 6.888 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.888 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.888 * [taylor]: Taking taylor expansion of -1 in z 6.891 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.891 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.891 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.891 * [taylor]: Taking taylor expansion of 1/9 in z 6.891 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.891 * [taylor]: Taking taylor expansion of z in z 6.892 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.892 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.892 * [taylor]: Taking taylor expansion of 1/3 in z 6.892 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.892 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.892 * [taylor]: Taking taylor expansion of -1 in z 6.896 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.896 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.896 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.896 * [taylor]: Taking taylor expansion of 1/9 in z 6.896 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.896 * [taylor]: Taking taylor expansion of z in z 7.027 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1) 7.027 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 7.027 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.028 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.028 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.028 * [taylor]: Taking taylor expansion of 1/9 in z 7.028 * [taylor]: Taking taylor expansion of (log z) in z 7.028 * [taylor]: Taking taylor expansion of z in z 7.028 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 7.028 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 7.029 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 7.029 * [taylor]: Taking taylor expansion of 1/9 in z 7.029 * [taylor]: Taking taylor expansion of (log z) in z 7.029 * [taylor]: Taking taylor expansion of z in z 7.085 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 7.085 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.085 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.085 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.085 * [taylor]: Taking taylor expansion of 1/9 in z 7.085 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.085 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.085 * [taylor]: Taking taylor expansion of z in z 7.086 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.086 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.086 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.086 * [taylor]: Taking taylor expansion of 1/9 in z 7.086 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.086 * [taylor]: Taking taylor expansion of z in z 7.139 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 7.139 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.139 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.139 * [taylor]: Taking taylor expansion of 1/3 in z 7.139 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.139 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.139 * [taylor]: Taking taylor expansion of -1 in z 7.143 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.143 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.143 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.143 * [taylor]: Taking taylor expansion of 1/9 in z 7.143 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.143 * [taylor]: Taking taylor expansion of z in z 7.144 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 7.144 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.144 * [taylor]: Taking taylor expansion of 1/3 in z 7.144 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.144 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.144 * [taylor]: Taking taylor expansion of -1 in z 7.148 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 7.148 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 7.148 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 7.148 * [taylor]: Taking taylor expansion of 1/9 in z 7.148 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.148 * [taylor]: Taking taylor expansion of z in z 7.285 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 7.285 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 7.285 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.285 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.285 * [taylor]: Taking taylor expansion of 1/3 in z 7.285 * [taylor]: Taking taylor expansion of (log z) in z 7.285 * [taylor]: Taking taylor expansion of z in z 7.285 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.285 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.285 * [taylor]: Taking taylor expansion of 1/3 in z 7.286 * [taylor]: Taking taylor expansion of (log z) in z 7.286 * [taylor]: Taking taylor expansion of z in z 7.340 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 7.340 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.340 * [taylor]: Taking taylor expansion of 1/3 in z 7.340 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.340 * [taylor]: Taking taylor expansion of z in z 7.341 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.341 * [taylor]: Taking taylor expansion of 1/3 in z 7.341 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.341 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.341 * [taylor]: Taking taylor expansion of z in z 7.394 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 7.394 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.394 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.394 * [taylor]: Taking taylor expansion of -1 in z 7.401 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.401 * [taylor]: Taking taylor expansion of 1/3 in z 7.401 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.401 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.401 * [taylor]: Taking taylor expansion of z in z 7.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.403 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.403 * [taylor]: Taking taylor expansion of -1 in z 7.404 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.404 * [taylor]: Taking taylor expansion of 1/3 in z 7.404 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.404 * [taylor]: Taking taylor expansion of z in z 7.468 * * * [progress]: simplifying candidates 7.469 * [simplify]: Simplifying using # : (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))) (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)) (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)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 7.471 * * [simplify]: iteration 0 : 42 enodes (cost 389 ) 7.483 * * [simplify]: iteration 1 : 75 enodes (cost 373 ) 7.496 * * [simplify]: iteration 2 : 150 enodes (cost 340 ) 7.532 * * [simplify]: iteration 3 : 372 enodes (cost 328 ) 7.652 * * [simplify]: iteration 4 : 1226 enodes (cost 328 ) 8.032 * * [simplify]: iteration done : 5000 enodes (cost 328 ) 8.032 * [simplify]: Simplified to: (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (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)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (- z) 1/9) (cbrt (cbrt -1))) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (- z) 1/9) (cbrt (cbrt -1))) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (- z) 1/9) (cbrt (cbrt -1))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 8.033 * * * [progress]: adding candidates to table 8.268 * [progress]: [Phase 3 of 3] Extracting. 8.268 * * [regime]: Finding splitpoints for: (# # # # # # # #) 8.270 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 8.270 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # # # #) 8.314 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 8.351 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 8.388 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 8.426 * * * [regime]: Found split indices: #