29.546 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.046 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.047 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.048 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.052 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.056 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.061 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.069 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.078 * * [simplify]: iteration 7 : 74 enodes (cost 9 ) 0.087 * * [simplify]: iteration 8 : 87 enodes (cost 9 ) 0.100 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 0.114 * * [simplify]: iteration 10 : 122 enodes (cost 9 ) 0.131 * * [simplify]: iteration 11 : 136 enodes (cost 9 ) 0.147 * * [simplify]: iteration done : 136 enodes (cost 9 ) 0.147 * [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.159 * * * [progress]: generating rewritten candidates 0.159 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.163 * * * [progress]: generating series expansions 0.163 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.163 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.163 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.163 * [taylor]: Taking taylor expansion of (sin y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of z in y 0.163 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.163 * [taylor]: Taking taylor expansion of (sin y) in z 0.163 * [taylor]: Taking taylor expansion of y in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.163 * [taylor]: Taking taylor expansion of (sin y) in z 0.163 * [taylor]: Taking taylor expansion of y in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.165 * [taylor]: Taking taylor expansion of (sin y) in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of z in y 0.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.176 * [taylor]: Taking taylor expansion of z in z 0.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.176 * [taylor]: Taking taylor expansion of z in z 0.177 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.179 * [taylor]: Taking taylor expansion of 0 in y 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.186 * [taylor]: Taking taylor expansion of 0 in y 0.186 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.186 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.186 * [taylor]: Taking taylor expansion of -1 in y 0.186 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.186 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.186 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.187 * [taylor]: Taking taylor expansion of -1 in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of z in y 0.187 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.187 * [taylor]: Taking taylor expansion of -1 in z 0.187 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.187 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.187 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.187 * [taylor]: Taking taylor expansion of -1 in z 0.187 * [taylor]: Taking taylor expansion of y in z 0.187 * [taylor]: Taking taylor expansion of z in z 0.187 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.187 * [taylor]: Taking taylor expansion of -1 in z 0.187 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.187 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.187 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.187 * [taylor]: Taking taylor expansion of -1 in z 0.187 * [taylor]: Taking taylor expansion of y in z 0.187 * [taylor]: Taking taylor expansion of z in z 0.188 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.188 * [taylor]: Taking taylor expansion of -1 in y 0.188 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.188 * [taylor]: Taking taylor expansion of -1 in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.191 * [taylor]: Taking taylor expansion of 0 in y 0.195 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * * * [progress]: simplifying candidates 0.200 * [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.201 * * [simplify]: iteration 0 : 33 enodes (cost 128 ) 0.207 * * [simplify]: iteration 1 : 62 enodes (cost 125 ) 0.219 * * [simplify]: iteration 2 : 119 enodes (cost 109 ) 0.243 * * [simplify]: iteration 3 : 154 enodes (cost 109 ) 0.276 * * [simplify]: iteration 4 : 221 enodes (cost 109 ) 0.335 * * [simplify]: iteration 5 : 405 enodes (cost 109 ) 0.508 * * [simplify]: iteration 6 : 969 enodes (cost 109 ) 1.502 * * [simplify]: iteration 7 : 3254 enodes (cost 109 ) 2.734 * * [simplify]: iteration done : 5000 enodes (cost 109 ) 2.734 * [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)) 2.735 * * * [progress]: adding candidates to table 2.781 * * [progress]: iteration 2 / 4 2.781 * * * [progress]: picking best candidate 2.788 * * * * [pick]: Picked # 2.788 * * * [progress]: localizing error 2.801 * * * [progress]: generating rewritten candidates 2.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 2.802 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.802 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.809 * * * [progress]: generating series expansions 2.809 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.810 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.810 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.810 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.810 * [taylor]: Taking taylor expansion of 1/3 in z 2.810 * [taylor]: Taking taylor expansion of (log z) in z 2.810 * [taylor]: Taking taylor expansion of z in z 2.811 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.811 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.811 * [taylor]: Taking taylor expansion of 1/3 in z 2.811 * [taylor]: Taking taylor expansion of (log z) in z 2.811 * [taylor]: Taking taylor expansion of z in z 2.861 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.861 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.861 * [taylor]: Taking taylor expansion of 1/3 in z 2.861 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.861 * [taylor]: Taking taylor expansion of z in z 2.862 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.862 * [taylor]: Taking taylor expansion of 1/3 in z 2.862 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.862 * [taylor]: Taking taylor expansion of z in z 2.916 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.916 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.916 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.916 * [taylor]: Taking taylor expansion of -1 in z 2.917 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.917 * [taylor]: Taking taylor expansion of 1/3 in z 2.917 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.917 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.917 * [taylor]: Taking taylor expansion of z in z 2.918 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.918 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.918 * [taylor]: Taking taylor expansion of -1 in z 2.918 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.918 * [taylor]: Taking taylor expansion of 1/3 in z 2.918 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.918 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.918 * [taylor]: Taking taylor expansion of z in z 2.985 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 2.986 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.986 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.986 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.986 * [taylor]: Taking taylor expansion of 1/3 in z 2.986 * [taylor]: Taking taylor expansion of (log z) in z 2.986 * [taylor]: Taking taylor expansion of z in z 2.986 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.986 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.986 * [taylor]: Taking taylor expansion of 1/3 in z 2.986 * [taylor]: Taking taylor expansion of (log z) in z 2.986 * [taylor]: Taking taylor expansion of z in z 3.039 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 3.039 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.040 * [taylor]: Taking taylor expansion of 1/3 in z 3.040 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.040 * [taylor]: Taking taylor expansion of z in z 3.040 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.041 * [taylor]: Taking taylor expansion of 1/3 in z 3.041 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.041 * [taylor]: Taking taylor expansion of z in z 3.092 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 3.092 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.092 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.092 * [taylor]: Taking taylor expansion of -1 in z 3.093 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.093 * [taylor]: Taking taylor expansion of 1/3 in z 3.093 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.093 * [taylor]: Taking taylor expansion of z in z 3.094 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.094 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.094 * [taylor]: Taking taylor expansion of -1 in z 3.095 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.095 * [taylor]: Taking taylor expansion of 1/3 in z 3.095 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.095 * [taylor]: Taking taylor expansion of z in z 3.162 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 3.162 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 3.162 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.162 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.162 * [taylor]: Taking taylor expansion of 1/3 in z 3.162 * [taylor]: Taking taylor expansion of (log z) in z 3.162 * [taylor]: Taking taylor expansion of z in z 3.163 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.163 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.163 * [taylor]: Taking taylor expansion of 1/3 in z 3.163 * [taylor]: Taking taylor expansion of (log z) in z 3.163 * [taylor]: Taking taylor expansion of z in z 3.217 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 3.217 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.217 * [taylor]: Taking taylor expansion of 1/3 in z 3.217 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.217 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.217 * [taylor]: Taking taylor expansion of z in z 3.218 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.218 * [taylor]: Taking taylor expansion of 1/3 in z 3.218 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.218 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.218 * [taylor]: Taking taylor expansion of z in z 3.275 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 3.275 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.275 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.275 * [taylor]: Taking taylor expansion of -1 in z 3.276 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.276 * [taylor]: Taking taylor expansion of 1/3 in z 3.276 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.276 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.276 * [taylor]: Taking taylor expansion of z in z 3.277 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.277 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.277 * [taylor]: Taking taylor expansion of -1 in z 3.278 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.278 * [taylor]: Taking taylor expansion of 1/3 in z 3.278 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.278 * [taylor]: Taking taylor expansion of z in z 3.346 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.346 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 3.346 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 3.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 3.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 3.346 * [taylor]: Taking taylor expansion of 1/3 in z 3.346 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 3.346 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.346 * [taylor]: Taking taylor expansion of z in z 3.347 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 3.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 3.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 3.347 * [taylor]: Taking taylor expansion of 1/3 in z 3.347 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 3.347 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.347 * [taylor]: Taking taylor expansion of z in z 3.399 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 3.399 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.399 * [taylor]: Taking taylor expansion of 1/3 in z 3.399 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.399 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.399 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.399 * [taylor]: Taking taylor expansion of z in z 3.401 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.401 * [taylor]: Taking taylor expansion of 1/3 in z 3.401 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.401 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.401 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.401 * [taylor]: Taking taylor expansion of z in z 3.464 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 3.464 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 3.464 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.464 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.464 * [taylor]: Taking taylor expansion of -1 in z 3.465 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.466 * [taylor]: Taking taylor expansion of 1/3 in z 3.466 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.466 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.466 * [taylor]: Taking taylor expansion of z in z 3.467 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 3.467 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.467 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.467 * [taylor]: Taking taylor expansion of -1 in z 3.468 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 3.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 3.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 3.468 * [taylor]: Taking taylor expansion of 1/3 in z 3.468 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 3.468 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.468 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.468 * [taylor]: Taking taylor expansion of z in z 3.549 * * * [progress]: simplifying candidates 3.550 * [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.552 * * [simplify]: iteration 0 : 61 enodes (cost 524 ) 3.576 * * [simplify]: iteration 1 : 115 enodes (cost 417 ) 3.598 * * [simplify]: iteration 2 : 327 enodes (cost 397 ) 3.834 * * [simplify]: iteration 3 : 1169 enodes (cost 379 ) 5.100 * * [simplify]: iteration 4 : 3727 enodes (cost 374 ) 6.644 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 6.645 * [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.645 * * * [progress]: adding candidates to table 6.876 * * [progress]: iteration 3 / 4 6.876 * * * [progress]: picking best candidate 6.893 * * * * [pick]: Picked # 6.893 * * * [progress]: localizing error 6.905 * * * [progress]: generating rewritten candidates 6.905 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 6.907 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 6.907 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 6.915 * * * [progress]: generating series expansions 6.915 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.915 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.916 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.916 * [taylor]: Taking taylor expansion of 1/3 in y 6.916 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.916 * [taylor]: Taking taylor expansion of (sin y) in y 6.916 * [taylor]: Taking taylor expansion of y in y 6.917 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.917 * [taylor]: Taking taylor expansion of 1/3 in y 6.917 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.917 * [taylor]: Taking taylor expansion of (sin y) in y 6.917 * [taylor]: Taking taylor expansion of y in y 6.942 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.942 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.942 * [taylor]: Taking taylor expansion of 1/3 in y 6.942 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.942 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.942 * [taylor]: Taking taylor expansion of y in y 6.943 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.943 * [taylor]: Taking taylor expansion of 1/3 in y 6.943 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.943 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.943 * [taylor]: Taking taylor expansion of y in y 6.981 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.981 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.981 * [taylor]: Taking taylor expansion of 1/3 in y 6.981 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.981 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.981 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.981 * [taylor]: Taking taylor expansion of -1 in y 6.981 * [taylor]: Taking taylor expansion of y in y 6.982 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.982 * [taylor]: Taking taylor expansion of 1/3 in y 6.982 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.982 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.982 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.982 * [taylor]: Taking taylor expansion of -1 in y 6.982 * [taylor]: Taking taylor expansion of y in y 7.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 7.014 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 7.014 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 7.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 7.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 7.014 * [taylor]: Taking taylor expansion of 1/3 in y 7.014 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.014 * [taylor]: Taking taylor expansion of (sin y) in y 7.014 * [taylor]: Taking taylor expansion of y in y 7.015 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 7.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 7.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 7.015 * [taylor]: Taking taylor expansion of 1/3 in y 7.015 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.015 * [taylor]: Taking taylor expansion of (sin y) in y 7.015 * [taylor]: Taking taylor expansion of y in y 7.039 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 7.039 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 7.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 7.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 7.039 * [taylor]: Taking taylor expansion of 1/3 in y 7.039 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.039 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.039 * [taylor]: Taking taylor expansion of y in y 7.039 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 7.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 7.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 7.039 * [taylor]: Taking taylor expansion of 1/3 in y 7.040 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.040 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.040 * [taylor]: Taking taylor expansion of y in y 7.077 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 7.077 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.077 * [taylor]: Taking taylor expansion of 1/3 in y 7.077 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.077 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.077 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.077 * [taylor]: Taking taylor expansion of -1 in y 7.077 * [taylor]: Taking taylor expansion of y in y 7.078 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.078 * [taylor]: Taking taylor expansion of 1/3 in y 7.078 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.078 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.078 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.078 * [taylor]: Taking taylor expansion of -1 in y 7.078 * [taylor]: Taking taylor expansion of y in y 7.110 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 7.110 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 7.110 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 7.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 7.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 7.110 * [taylor]: Taking taylor expansion of 1/3 in y 7.110 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.110 * [taylor]: Taking taylor expansion of (sin y) in y 7.110 * [taylor]: Taking taylor expansion of y in y 7.111 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 7.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 7.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 7.111 * [taylor]: Taking taylor expansion of 1/3 in y 7.111 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.111 * [taylor]: Taking taylor expansion of (sin y) in y 7.111 * [taylor]: Taking taylor expansion of y in y 7.140 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 7.140 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 7.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 7.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 7.141 * [taylor]: Taking taylor expansion of 1/3 in y 7.141 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.141 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.141 * [taylor]: Taking taylor expansion of y in y 7.141 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 7.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 7.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 7.141 * [taylor]: Taking taylor expansion of 1/3 in y 7.141 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.141 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.141 * [taylor]: Taking taylor expansion of y in y 7.173 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 7.173 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.173 * [taylor]: Taking taylor expansion of 1/3 in y 7.173 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.173 * [taylor]: Taking taylor expansion of -1 in y 7.173 * [taylor]: Taking taylor expansion of y in y 7.174 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.174 * [taylor]: Taking taylor expansion of 1/3 in y 7.174 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.174 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.174 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.174 * [taylor]: Taking taylor expansion of -1 in y 7.174 * [taylor]: Taking taylor expansion of y in y 7.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 7.207 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 7.207 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 7.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 7.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 7.207 * [taylor]: Taking taylor expansion of 1/3 in y 7.207 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 7.207 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 7.207 * [taylor]: Taking taylor expansion of (sin y) in y 7.207 * [taylor]: Taking taylor expansion of y in y 7.209 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 7.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 7.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 7.209 * [taylor]: Taking taylor expansion of 1/3 in y 7.209 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 7.209 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 7.209 * [taylor]: Taking taylor expansion of (sin y) in y 7.209 * [taylor]: Taking taylor expansion of y in y 7.242 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 7.242 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 7.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 7.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 7.242 * [taylor]: Taking taylor expansion of 1/3 in y 7.242 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 7.242 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 7.242 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.242 * [taylor]: Taking taylor expansion of y in y 7.243 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 7.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 7.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 7.243 * [taylor]: Taking taylor expansion of 1/3 in y 7.243 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 7.243 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 7.243 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.243 * [taylor]: Taking taylor expansion of y in y 7.281 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 7.281 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 7.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 7.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 7.281 * [taylor]: Taking taylor expansion of 1/3 in y 7.281 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 7.281 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 7.281 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.281 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.281 * [taylor]: Taking taylor expansion of -1 in y 7.281 * [taylor]: Taking taylor expansion of y in y 7.282 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 7.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 7.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 7.282 * [taylor]: Taking taylor expansion of 1/3 in y 7.282 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 7.282 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 7.282 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.282 * [taylor]: Taking taylor expansion of -1 in y 7.282 * [taylor]: Taking taylor expansion of y in y 7.325 * * * [progress]: simplifying candidates 7.327 * [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) 7.329 * * [simplify]: iteration 0 : 75 enodes (cost 710 ) 7.349 * * [simplify]: iteration 1 : 156 enodes (cost 628 ) 7.383 * * [simplify]: iteration 2 : 408 enodes (cost 534 ) 7.625 * * [simplify]: iteration 3 : 1332 enodes (cost 512 ) 9.039 * * [simplify]: iteration 4 : 4365 enodes (cost 505 ) 10.686 * * [simplify]: iteration done : 5000 enodes (cost 505 ) 10.686 * [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)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 2/3 2 (* (cbrt (sin y)) (cbrt (pow (sin y) 2/3))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (cbrt (sin y)) (pow (cbrt (cbrt (sin y))) 5) (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))) (pow (sin y) 2/3) (pow (sin y) 2/3) 10.687 * * * [progress]: adding candidates to table 10.917 * * [progress]: iteration 4 / 4 10.917 * * * [progress]: picking best candidate 10.935 * * * * [pick]: Picked # 10.935 * * * [progress]: localizing error 10.952 * * * [progress]: generating rewritten candidates 10.952 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 10.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2) 10.954 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1) 10.955 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 10.956 * * * [progress]: generating series expansions 10.956 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 10.956 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 10.956 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.956 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.956 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.956 * [taylor]: Taking taylor expansion of 1/9 in z 10.956 * [taylor]: Taking taylor expansion of (log z) in z 10.956 * [taylor]: Taking taylor expansion of z in z 10.957 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 10.957 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 10.957 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 10.957 * [taylor]: Taking taylor expansion of 1/9 in z 10.957 * [taylor]: Taking taylor expansion of (log z) in z 10.957 * [taylor]: Taking taylor expansion of z in z 11.010 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 11.010 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.010 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.010 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.010 * [taylor]: Taking taylor expansion of 1/9 in z 11.010 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.011 * [taylor]: Taking taylor expansion of z in z 11.011 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.011 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.011 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.011 * [taylor]: Taking taylor expansion of 1/9 in z 11.011 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.012 * [taylor]: Taking taylor expansion of z in z 11.068 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 11.068 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.068 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.068 * [taylor]: Taking taylor expansion of 1/3 in z 11.068 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.068 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.068 * [taylor]: Taking taylor expansion of -1 in z 11.072 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.072 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.072 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.072 * [taylor]: Taking taylor expansion of 1/9 in z 11.072 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.072 * [taylor]: Taking taylor expansion of z in z 11.073 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.073 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.073 * [taylor]: Taking taylor expansion of 1/3 in z 11.073 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.073 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.073 * [taylor]: Taking taylor expansion of -1 in z 11.076 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.076 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.076 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.076 * [taylor]: Taking taylor expansion of 1/9 in z 11.076 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.076 * [taylor]: Taking taylor expansion of z in z 11.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2) 11.196 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 11.196 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 11.196 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 11.196 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 11.196 * [taylor]: Taking taylor expansion of 1/9 in z 11.196 * [taylor]: Taking taylor expansion of (log z) in z 11.196 * [taylor]: Taking taylor expansion of z in z 11.197 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 11.197 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 11.197 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 11.197 * [taylor]: Taking taylor expansion of 1/9 in z 11.197 * [taylor]: Taking taylor expansion of (log z) in z 11.197 * [taylor]: Taking taylor expansion of z in z 11.250 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 11.251 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.251 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.251 * [taylor]: Taking taylor expansion of 1/9 in z 11.251 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.251 * [taylor]: Taking taylor expansion of z in z 11.251 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.252 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.252 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.252 * [taylor]: Taking taylor expansion of 1/9 in z 11.252 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.252 * [taylor]: Taking taylor expansion of z in z 11.309 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 11.309 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.309 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.309 * [taylor]: Taking taylor expansion of 1/3 in z 11.309 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.309 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.309 * [taylor]: Taking taylor expansion of -1 in z 11.314 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.314 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.314 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.314 * [taylor]: Taking taylor expansion of 1/9 in z 11.314 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.314 * [taylor]: Taking taylor expansion of z in z 11.315 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.315 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.315 * [taylor]: Taking taylor expansion of 1/3 in z 11.315 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.315 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.315 * [taylor]: Taking taylor expansion of -1 in z 11.318 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.318 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.318 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.318 * [taylor]: Taking taylor expansion of 1/9 in z 11.318 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.318 * [taylor]: Taking taylor expansion of z in z 11.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1) 11.445 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 11.445 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 11.445 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 11.445 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 11.445 * [taylor]: Taking taylor expansion of 1/9 in z 11.445 * [taylor]: Taking taylor expansion of (log z) in z 11.445 * [taylor]: Taking taylor expansion of z in z 11.445 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 11.445 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 11.445 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 11.445 * [taylor]: Taking taylor expansion of 1/9 in z 11.445 * [taylor]: Taking taylor expansion of (log z) in z 11.445 * [taylor]: Taking taylor expansion of z in z 11.493 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 11.493 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.493 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.493 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.493 * [taylor]: Taking taylor expansion of 1/9 in z 11.493 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.493 * [taylor]: Taking taylor expansion of z in z 11.494 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.494 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.494 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.494 * [taylor]: Taking taylor expansion of 1/9 in z 11.494 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.494 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.494 * [taylor]: Taking taylor expansion of z in z 11.552 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 11.552 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.552 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.552 * [taylor]: Taking taylor expansion of 1/3 in z 11.552 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.552 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.552 * [taylor]: Taking taylor expansion of -1 in z 11.555 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.555 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.555 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.555 * [taylor]: Taking taylor expansion of 1/9 in z 11.555 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.555 * [taylor]: Taking taylor expansion of z in z 11.556 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 11.556 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 11.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 11.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 11.556 * [taylor]: Taking taylor expansion of 1/3 in z 11.556 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 11.556 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.556 * [taylor]: Taking taylor expansion of -1 in z 11.560 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 11.560 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 11.560 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 11.560 * [taylor]: Taking taylor expansion of 1/9 in z 11.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.560 * [taylor]: Taking taylor expansion of z in z 11.878 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 11.878 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 11.878 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.878 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.878 * [taylor]: Taking taylor expansion of 1/3 in z 11.878 * [taylor]: Taking taylor expansion of (log z) in z 11.878 * [taylor]: Taking taylor expansion of z in z 11.878 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.878 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.878 * [taylor]: Taking taylor expansion of 1/3 in z 11.878 * [taylor]: Taking taylor expansion of (log z) in z 11.878 * [taylor]: Taking taylor expansion of z in z 11.927 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 11.927 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.927 * [taylor]: Taking taylor expansion of 1/3 in z 11.927 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.927 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.927 * [taylor]: Taking taylor expansion of z in z 11.928 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.928 * [taylor]: Taking taylor expansion of 1/3 in z 11.928 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.928 * [taylor]: Taking taylor expansion of z in z 11.986 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 11.986 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 11.986 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.986 * [taylor]: Taking taylor expansion of -1 in z 11.987 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.987 * [taylor]: Taking taylor expansion of 1/3 in z 11.987 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.987 * [taylor]: Taking taylor expansion of z in z 11.988 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 11.988 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.988 * [taylor]: Taking taylor expansion of -1 in z 11.988 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.988 * [taylor]: Taking taylor expansion of 1/3 in z 11.988 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.988 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.988 * [taylor]: Taking taylor expansion of z in z 12.056 * * * [progress]: simplifying candidates 12.057 * [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)) 12.059 * * [simplify]: iteration 0 : 42 enodes (cost 389 ) 12.066 * * [simplify]: iteration 1 : 75 enodes (cost 370 ) 12.078 * * [simplify]: iteration 2 : 147 enodes (cost 340 ) 12.107 * * [simplify]: iteration 3 : 306 enodes (cost 328 ) 12.177 * * [simplify]: iteration 4 : 845 enodes (cost 328 ) 12.791 * * [simplify]: iteration 5 : 3485 enodes (cost 328 ) 14.230 * * [simplify]: iteration done : 5000 enodes (cost 328 ) 14.230 * [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)) 14.231 * * * [progress]: adding candidates to table 14.467 * [progress]: [Phase 3 of 3] Extracting. 14.467 * * [regime]: Finding splitpoints for: (# # # # # # # #) 14.469 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 14.469 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # # # #) 14.511 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 14.548 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 14.585 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 14.621 * * * [regime]: Found split indices: #