15.611 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.052 * * * [progress]: [2/2] Setting up program. 0.056 * [progress]: [Phase 2 of 3] Improving. 0.056 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.057 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.058 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.059 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.061 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 0.063 * * [simplify]: iteration done : 20 enodes (cost 9 ) 0.063 * [simplify]: Simplified to: (+ (+ x (sin y)) (* z (cos y))) 0.063 * * [progress]: iteration 1 / 4 0.063 * * * [progress]: picking best candidate 0.067 * * * * [pick]: Picked # 0.067 * * * [progress]: localizing error 0.076 * * * [progress]: generating rewritten candidates 0.076 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.081 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.089 * * * [progress]: generating series expansions 0.089 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.089 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.089 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.089 * [taylor]: Taking taylor expansion of (cos y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of z in y 0.090 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.090 * [taylor]: Taking taylor expansion of (cos y) in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.090 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.090 * [taylor]: Taking taylor expansion of (cos y) in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [taylor]: Taking taylor expansion of (cos y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.091 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.091 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.091 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of z in y 0.091 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.091 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.091 * [taylor]: Taking taylor expansion of y in z 0.091 * [taylor]: Taking taylor expansion of z in z 0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.092 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.092 * [taylor]: Taking taylor expansion of y in z 0.092 * [taylor]: Taking taylor expansion of z in z 0.092 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.094 * [taylor]: Taking taylor expansion of -1 in y 0.094 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.094 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.094 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.094 * [taylor]: Taking taylor expansion of -1 in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.094 * [taylor]: Taking taylor expansion of -1 in z 0.094 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.094 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.094 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.094 * [taylor]: Taking taylor expansion of -1 in z 0.094 * [taylor]: Taking taylor expansion of y in z 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.094 * [taylor]: Taking taylor expansion of -1 in z 0.094 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.094 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.094 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.094 * [taylor]: Taking taylor expansion of -1 in z 0.094 * [taylor]: Taking taylor expansion of y in z 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.094 * [taylor]: Taking taylor expansion of -1 in y 0.095 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.095 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.095 * [taylor]: Taking taylor expansion of -1 in y 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.097 * [approximate]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in (x y z) around 0 0.097 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in z 0.097 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.097 * [taylor]: Taking taylor expansion of (cos y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of (+ x (sin y)) in z 0.097 * [taylor]: Taking taylor expansion of x in z 0.097 * [taylor]: Taking taylor expansion of (sin y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in y 0.097 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.097 * [taylor]: Taking taylor expansion of (cos y) in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of z in y 0.097 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.097 * [taylor]: Taking taylor expansion of x in y 0.097 * [taylor]: Taking taylor expansion of (sin y) in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in x 0.097 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.097 * [taylor]: Taking taylor expansion of (cos y) in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of z in x 0.097 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of (sin y) in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in x 0.097 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.097 * [taylor]: Taking taylor expansion of (cos y) in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of z in x 0.097 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of (sin y) in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (sin y)) in y 0.098 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.098 * [taylor]: Taking taylor expansion of (cos y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (sin y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of 1 in y 0.099 * [taylor]: Taking taylor expansion of 1 in z 0.099 * [taylor]: Taking taylor expansion of 1 in z 0.099 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in (x y z) around 0 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in z 0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.099 * [taylor]: Taking taylor expansion of x in z 0.099 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.099 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in y 0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.100 * [taylor]: Taking taylor expansion of x in y 0.100 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.100 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of z in y 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in x 0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.100 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of z in x 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in x 0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.101 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of z in x 0.101 * [taylor]: Taking taylor expansion of 1 in y 0.101 * [taylor]: Taking taylor expansion of 1 in z 0.101 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (sin (/ 1 y))) in y 0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.101 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of z in y 0.101 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (sin (/ 1 y))) in z 0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in z 0.103 * [taylor]: Taking taylor expansion of 0 in z 0.103 * [taylor]: Taking taylor expansion of 0 in z 0.104 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.104 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in z 0.104 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.104 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.104 * [taylor]: Taking taylor expansion of -1 in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in z 0.104 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.104 * [taylor]: Taking taylor expansion of x in z 0.104 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.104 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.104 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.104 * [taylor]: Taking taylor expansion of -1 in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of z in z 0.104 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in y 0.104 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.104 * [taylor]: Taking taylor expansion of -1 in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in y 0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.105 * [taylor]: Taking taylor expansion of x in y 0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.105 * [taylor]: Taking taylor expansion of -1 in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of z in y 0.105 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in x 0.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.105 * [taylor]: Taking taylor expansion of -1 in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.105 * [taylor]: Taking taylor expansion of -1 in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of z in x 0.105 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in x 0.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.105 * [taylor]: Taking taylor expansion of -1 in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of z in x 0.106 * [taylor]: Taking taylor expansion of (neg 1) in y 0.106 * [taylor]: Taking taylor expansion of 1 in y 0.106 * [taylor]: Taking taylor expansion of (neg 1) in z 0.106 * [taylor]: Taking taylor expansion of 1 in z 0.106 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in y 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.107 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of z in y 0.107 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in z 0.107 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of 0 in z 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in z 0.108 * [taylor]: Taking taylor expansion of 0 in z 0.108 * [taylor]: Taking taylor expansion of 0 in z 0.109 * * * [progress]: simplifying candidates 0.109 * [simplify]: Simplifying using # : (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (* (* (exp x) (exp (sin y))) (exp (* z (cos y)))) (* (exp (+ x (sin y))) (exp (* z (cos y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (* (* (+ (+ x (sin y)) (* z (cos y))) (+ (+ x (sin y)) (* z (cos y)))) (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (+ x (sin y)) (+ x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (+ x (sin y)) (* z (cos y))))) (- (* (+ x (sin y)) (+ x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (+ (sin y) (* z (cos y))) z (* (cos y) z) (* (cos y) z) (+ x (+ z y)) (+ (* (cos y) z) (+ x (sin y))) (+ (* (cos y) z) (+ x (sin y))) 0.111 * * [simplify]: iteration 0 : 63 enodes (cost 349 ) 0.123 * * [simplify]: iteration 1 : 167 enodes (cost 332 ) 0.152 * * [simplify]: iteration 2 : 468 enodes (cost 304 ) 0.249 * * [simplify]: iteration 3 : 1452 enodes (cost 304 ) 0.613 * * [simplify]: iteration done : 5000 enodes (cost 304 ) 0.613 * [simplify]: Simplified to: (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (exp (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (pow (+ (+ x (sin y)) (* z (cos y))) 3) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* z (cos y)) (- (* z (cos y)) (+ x (sin y)))) (* (+ x (sin y)) (+ x (sin y)))) (- (* (+ x (sin y)) (+ x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (+ (sin y) (* z (cos y))) z (* z (cos y)) (* z (cos y)) (+ x (+ z y)) (+ (+ x (sin y)) (* z (cos y))) (+ (+ x (sin y)) (* z (cos y))) 0.613 * * * [progress]: adding candidates to table 0.652 * * [progress]: iteration 2 / 4 0.653 * * * [progress]: picking best candidate 0.670 * * * * [pick]: Picked # 0.670 * * * [progress]: localizing error 0.683 * * * [progress]: generating rewritten candidates 0.683 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.685 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 0.686 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 0.688 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.696 * * * [progress]: generating series expansions 0.696 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.696 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.696 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.696 * [taylor]: Taking taylor expansion of 1/3 in y 0.696 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.696 * [taylor]: Taking taylor expansion of (cos y) in y 0.696 * [taylor]: Taking taylor expansion of y in y 0.697 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.697 * [taylor]: Taking taylor expansion of 1/3 in y 0.697 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.697 * [taylor]: Taking taylor expansion of (cos y) in y 0.697 * [taylor]: Taking taylor expansion of y in y 0.700 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.700 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.700 * [taylor]: Taking taylor expansion of 1/3 in y 0.700 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.700 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.700 * [taylor]: Taking taylor expansion of y in y 0.700 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.700 * [taylor]: Taking taylor expansion of 1/3 in y 0.700 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.700 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.700 * [taylor]: Taking taylor expansion of y in y 0.708 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.708 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.708 * [taylor]: Taking taylor expansion of 1/3 in y 0.708 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.708 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.708 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.708 * [taylor]: Taking taylor expansion of -1 in y 0.708 * [taylor]: Taking taylor expansion of y in y 0.708 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.708 * [taylor]: Taking taylor expansion of 1/3 in y 0.708 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.708 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.708 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.708 * [taylor]: Taking taylor expansion of -1 in y 0.708 * [taylor]: Taking taylor expansion of y in y 0.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 0.716 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.716 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.716 * [taylor]: Taking taylor expansion of 1/3 in y 0.716 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.716 * [taylor]: Taking taylor expansion of (cos y) in y 0.716 * [taylor]: Taking taylor expansion of y in y 0.716 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.716 * [taylor]: Taking taylor expansion of 1/3 in y 0.716 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.716 * [taylor]: Taking taylor expansion of (cos y) in y 0.716 * [taylor]: Taking taylor expansion of y in y 0.719 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.719 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.719 * [taylor]: Taking taylor expansion of 1/3 in y 0.719 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.719 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.719 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.719 * [taylor]: Taking taylor expansion of 1/3 in y 0.719 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.719 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.730 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.730 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.730 * [taylor]: Taking taylor expansion of 1/3 in y 0.730 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.730 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.730 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.730 * [taylor]: Taking taylor expansion of -1 in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.730 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.730 * [taylor]: Taking taylor expansion of 1/3 in y 0.730 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.730 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.730 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.730 * [taylor]: Taking taylor expansion of -1 in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.737 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 0.737 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.738 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.738 * [taylor]: Taking taylor expansion of 1/3 in y 0.738 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.738 * [taylor]: Taking taylor expansion of (cos y) in y 0.738 * [taylor]: Taking taylor expansion of y in y 0.738 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.738 * [taylor]: Taking taylor expansion of 1/3 in y 0.738 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.738 * [taylor]: Taking taylor expansion of (cos y) in y 0.738 * [taylor]: Taking taylor expansion of y in y 0.741 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.741 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.741 * [taylor]: Taking taylor expansion of 1/3 in y 0.741 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.741 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.741 * [taylor]: Taking taylor expansion of y in y 0.741 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.741 * [taylor]: Taking taylor expansion of 1/3 in y 0.742 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.742 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.742 * [taylor]: Taking taylor expansion of y in y 0.749 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.749 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.749 * [taylor]: Taking taylor expansion of 1/3 in y 0.749 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.749 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.749 * [taylor]: Taking taylor expansion of -1 in y 0.749 * [taylor]: Taking taylor expansion of y in y 0.749 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.749 * [taylor]: Taking taylor expansion of 1/3 in y 0.749 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.749 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.749 * [taylor]: Taking taylor expansion of -1 in y 0.749 * [taylor]: Taking taylor expansion of y in y 0.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.757 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 0.757 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.757 * [taylor]: Taking taylor expansion of 1/3 in y 0.757 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.757 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.757 * [taylor]: Taking taylor expansion of (cos y) in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.757 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.757 * [taylor]: Taking taylor expansion of 1/3 in y 0.757 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.757 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.757 * [taylor]: Taking taylor expansion of (cos y) in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.765 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 0.765 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.765 * [taylor]: Taking taylor expansion of 1/3 in y 0.765 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.765 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.765 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.766 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.766 * [taylor]: Taking taylor expansion of 1/3 in y 0.766 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.766 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.766 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.766 * [taylor]: Taking taylor expansion of y in y 0.775 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 0.775 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.775 * [taylor]: Taking taylor expansion of 1/3 in y 0.775 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.776 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.776 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.776 * [taylor]: Taking taylor expansion of -1 in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.776 * [taylor]: Taking taylor expansion of 1/3 in y 0.776 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.776 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.776 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.776 * [taylor]: Taking taylor expansion of -1 in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.785 * * * [progress]: simplifying candidates 0.787 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 0.789 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 0.797 * * [simplify]: iteration 1 : 129 enodes (cost 621 ) 0.819 * * [simplify]: iteration 2 : 414 enodes (cost 521 ) 0.908 * * [simplify]: iteration 3 : 1623 enodes (cost 505 ) 1.948 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 1.948 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4)) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 1.949 * * * [progress]: adding candidates to table 2.030 * * [progress]: iteration 3 / 4 2.030 * * * [progress]: picking best candidate 2.045 * * * * [pick]: Picked # 2.045 * * * [progress]: localizing error 2.058 * * * [progress]: generating rewritten candidates 2.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.061 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 2.063 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.066 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.074 * * * [progress]: generating series expansions 2.074 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.074 * [approximate]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in (z y) around 0 2.074 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in y 2.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in y 2.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in y 2.074 * [taylor]: Taking taylor expansion of 1/3 in y 2.074 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in y 2.074 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 2.074 * [taylor]: Taking taylor expansion of (cos y) in y 2.074 * [taylor]: Taking taylor expansion of y in y 2.074 * [taylor]: Taking taylor expansion of z in y 2.074 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.074 * [taylor]: Taking taylor expansion of 1/3 in z 2.074 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.074 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.074 * [taylor]: Taking taylor expansion of (cos y) in z 2.074 * [taylor]: Taking taylor expansion of y in z 2.074 * [taylor]: Taking taylor expansion of z in z 2.075 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.075 * [taylor]: Taking taylor expansion of 1/3 in z 2.075 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.075 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.075 * [taylor]: Taking taylor expansion of (cos y) in z 2.075 * [taylor]: Taking taylor expansion of y in z 2.075 * [taylor]: Taking taylor expansion of z in z 2.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (log z)))) in y 2.076 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (log z))) in y 2.076 * [taylor]: Taking taylor expansion of 1/3 in y 2.076 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (log z)) in y 2.076 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.076 * [taylor]: Taking taylor expansion of (cos y) in y 2.076 * [taylor]: Taking taylor expansion of y in y 2.076 * [taylor]: Taking taylor expansion of (log z) in y 2.076 * [taylor]: Taking taylor expansion of z in y 2.077 * [taylor]: Taking taylor expansion of 0 in y 2.078 * [taylor]: Taking taylor expansion of 0 in y 2.080 * [taylor]: Taking taylor expansion of 0 in y 2.084 * [taylor]: Taking taylor expansion of 0 in y 2.084 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 2.084 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 2.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 2.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 2.084 * [taylor]: Taking taylor expansion of 1/3 in y 2.084 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 2.084 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 2.084 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.084 * [taylor]: Taking taylor expansion of y in y 2.084 * [taylor]: Taking taylor expansion of z in y 2.084 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.084 * [taylor]: Taking taylor expansion of 1/3 in z 2.085 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.085 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.085 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.085 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.085 * [taylor]: Taking taylor expansion of y in z 2.085 * [taylor]: Taking taylor expansion of z in z 2.085 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.085 * [taylor]: Taking taylor expansion of 1/3 in z 2.085 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.085 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.085 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.085 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.085 * [taylor]: Taking taylor expansion of y in z 2.085 * [taylor]: Taking taylor expansion of z in z 2.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 2.086 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 2.086 * [taylor]: Taking taylor expansion of 1/3 in y 2.086 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 2.086 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.086 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.086 * [taylor]: Taking taylor expansion of y in y 2.086 * [taylor]: Taking taylor expansion of (log z) in y 2.086 * [taylor]: Taking taylor expansion of z in y 2.087 * [taylor]: Taking taylor expansion of 0 in y 2.089 * [taylor]: Taking taylor expansion of 0 in y 2.091 * [taylor]: Taking taylor expansion of 0 in y 2.091 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 2.091 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in y 2.091 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 2.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 2.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 2.091 * [taylor]: Taking taylor expansion of 1/3 in y 2.091 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 2.091 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 2.091 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.091 * [taylor]: Taking taylor expansion of -1 in y 2.091 * [taylor]: Taking taylor expansion of y in y 2.091 * [taylor]: Taking taylor expansion of z in y 2.092 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.092 * [taylor]: Taking taylor expansion of -1 in y 2.092 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.092 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.092 * [taylor]: Taking taylor expansion of 1/3 in z 2.092 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.092 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.092 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.092 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.092 * [taylor]: Taking taylor expansion of -1 in z 2.092 * [taylor]: Taking taylor expansion of y in z 2.092 * [taylor]: Taking taylor expansion of z in z 2.092 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.092 * [taylor]: Taking taylor expansion of -1 in z 2.092 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.092 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.093 * [taylor]: Taking taylor expansion of 1/3 in z 2.093 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.093 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.093 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.093 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.093 * [taylor]: Taking taylor expansion of -1 in z 2.093 * [taylor]: Taking taylor expansion of y in z 2.093 * [taylor]: Taking taylor expansion of z in z 2.093 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.093 * [taylor]: Taking taylor expansion of -1 in z 2.093 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) (cbrt -1)) in y 2.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 2.093 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 2.093 * [taylor]: Taking taylor expansion of 1/3 in y 2.093 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 2.093 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.094 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.094 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.094 * [taylor]: Taking taylor expansion of -1 in y 2.094 * [taylor]: Taking taylor expansion of y in y 2.094 * [taylor]: Taking taylor expansion of (log z) in y 2.094 * [taylor]: Taking taylor expansion of z in y 2.094 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.094 * [taylor]: Taking taylor expansion of -1 in y 2.095 * [taylor]: Taking taylor expansion of 0 in y 2.097 * [taylor]: Taking taylor expansion of 0 in y 2.100 * [taylor]: Taking taylor expansion of 0 in y 2.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 2.100 * [approximate]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in (z y) around 0 2.100 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in y 2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in y 2.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in y 2.100 * [taylor]: Taking taylor expansion of 1/3 in y 2.100 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in y 2.100 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 2.100 * [taylor]: Taking taylor expansion of (cos y) in y 2.100 * [taylor]: Taking taylor expansion of y in y 2.100 * [taylor]: Taking taylor expansion of z in y 2.100 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.100 * [taylor]: Taking taylor expansion of 1/3 in z 2.100 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.100 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.100 * [taylor]: Taking taylor expansion of (cos y) in z 2.100 * [taylor]: Taking taylor expansion of y in z 2.101 * [taylor]: Taking taylor expansion of z in z 2.101 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.101 * [taylor]: Taking taylor expansion of 1/3 in z 2.101 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.101 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.101 * [taylor]: Taking taylor expansion of (cos y) in z 2.101 * [taylor]: Taking taylor expansion of y in z 2.101 * [taylor]: Taking taylor expansion of z in z 2.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (log z)))) in y 2.102 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (log z))) in y 2.102 * [taylor]: Taking taylor expansion of 1/3 in y 2.102 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (log z)) in y 2.102 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.102 * [taylor]: Taking taylor expansion of (cos y) in y 2.102 * [taylor]: Taking taylor expansion of y in y 2.102 * [taylor]: Taking taylor expansion of (log z) in y 2.102 * [taylor]: Taking taylor expansion of z in y 2.103 * [taylor]: Taking taylor expansion of 0 in y 2.104 * [taylor]: Taking taylor expansion of 0 in y 2.106 * [taylor]: Taking taylor expansion of 0 in y 2.109 * [taylor]: Taking taylor expansion of 0 in y 2.109 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 2.109 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 2.110 * [taylor]: Taking taylor expansion of 1/3 in y 2.110 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 2.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 2.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.110 * [taylor]: Taking taylor expansion of y in y 2.110 * [taylor]: Taking taylor expansion of z in y 2.110 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.110 * [taylor]: Taking taylor expansion of 1/3 in z 2.110 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.110 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.110 * [taylor]: Taking taylor expansion of y in z 2.110 * [taylor]: Taking taylor expansion of z in z 2.111 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.111 * [taylor]: Taking taylor expansion of 1/3 in z 2.111 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.111 * [taylor]: Taking taylor expansion of y in z 2.111 * [taylor]: Taking taylor expansion of z in z 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 2.111 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 2.111 * [taylor]: Taking taylor expansion of 1/3 in y 2.111 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 2.111 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.111 * [taylor]: Taking taylor expansion of y in y 2.111 * [taylor]: Taking taylor expansion of (log z) in y 2.111 * [taylor]: Taking taylor expansion of z in y 2.115 * [taylor]: Taking taylor expansion of 0 in y 2.117 * [taylor]: Taking taylor expansion of 0 in y 2.119 * [taylor]: Taking taylor expansion of 0 in y 2.119 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 2.119 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in y 2.119 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 2.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 2.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 2.119 * [taylor]: Taking taylor expansion of 1/3 in y 2.119 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 2.119 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 2.119 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.119 * [taylor]: Taking taylor expansion of -1 in y 2.119 * [taylor]: Taking taylor expansion of y in y 2.119 * [taylor]: Taking taylor expansion of z in y 2.119 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.119 * [taylor]: Taking taylor expansion of -1 in y 2.120 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.120 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.120 * [taylor]: Taking taylor expansion of 1/3 in z 2.120 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.120 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.120 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.120 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.120 * [taylor]: Taking taylor expansion of -1 in z 2.120 * [taylor]: Taking taylor expansion of y in z 2.120 * [taylor]: Taking taylor expansion of z in z 2.120 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.120 * [taylor]: Taking taylor expansion of -1 in z 2.120 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.120 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.120 * [taylor]: Taking taylor expansion of 1/3 in z 2.120 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.120 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.120 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.120 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.121 * [taylor]: Taking taylor expansion of -1 in z 2.121 * [taylor]: Taking taylor expansion of y in z 2.121 * [taylor]: Taking taylor expansion of z in z 2.121 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.121 * [taylor]: Taking taylor expansion of -1 in z 2.121 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) (cbrt -1)) in y 2.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 2.121 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 2.121 * [taylor]: Taking taylor expansion of 1/3 in y 2.121 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 2.121 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.121 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.121 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.121 * [taylor]: Taking taylor expansion of -1 in y 2.121 * [taylor]: Taking taylor expansion of y in y 2.122 * [taylor]: Taking taylor expansion of (log z) in y 2.122 * [taylor]: Taking taylor expansion of z in y 2.122 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.122 * [taylor]: Taking taylor expansion of -1 in y 2.123 * [taylor]: Taking taylor expansion of 0 in y 2.125 * [taylor]: Taking taylor expansion of 0 in y 2.128 * [taylor]: Taking taylor expansion of 0 in y 2.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.128 * [approximate]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in (z y) around 0 2.128 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in y 2.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in y 2.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in y 2.128 * [taylor]: Taking taylor expansion of 1/3 in y 2.128 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in y 2.128 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 2.128 * [taylor]: Taking taylor expansion of (cos y) in y 2.128 * [taylor]: Taking taylor expansion of y in y 2.128 * [taylor]: Taking taylor expansion of z in y 2.128 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.128 * [taylor]: Taking taylor expansion of 1/3 in z 2.128 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.128 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.128 * [taylor]: Taking taylor expansion of (cos y) in z 2.128 * [taylor]: Taking taylor expansion of y in z 2.128 * [taylor]: Taking taylor expansion of z in z 2.129 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 2.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 2.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 2.129 * [taylor]: Taking taylor expansion of 1/3 in z 2.129 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 2.129 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.129 * [taylor]: Taking taylor expansion of (cos y) in z 2.129 * [taylor]: Taking taylor expansion of y in z 2.129 * [taylor]: Taking taylor expansion of z in z 2.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (log z)))) in y 2.130 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (log z))) in y 2.130 * [taylor]: Taking taylor expansion of 1/3 in y 2.130 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (log z)) in y 2.130 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.130 * [taylor]: Taking taylor expansion of (cos y) in y 2.130 * [taylor]: Taking taylor expansion of y in y 2.130 * [taylor]: Taking taylor expansion of (log z) in y 2.130 * [taylor]: Taking taylor expansion of z in y 2.131 * [taylor]: Taking taylor expansion of 0 in y 2.132 * [taylor]: Taking taylor expansion of 0 in y 2.134 * [taylor]: Taking taylor expansion of 0 in y 2.137 * [taylor]: Taking taylor expansion of 0 in y 2.137 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 2.137 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 2.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 2.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 2.137 * [taylor]: Taking taylor expansion of 1/3 in y 2.137 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 2.137 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 2.137 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.138 * [taylor]: Taking taylor expansion of y in y 2.138 * [taylor]: Taking taylor expansion of z in y 2.138 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.138 * [taylor]: Taking taylor expansion of 1/3 in z 2.138 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.138 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.138 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.138 * [taylor]: Taking taylor expansion of y in z 2.138 * [taylor]: Taking taylor expansion of z in z 2.139 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.139 * [taylor]: Taking taylor expansion of 1/3 in z 2.139 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.139 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.139 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.139 * [taylor]: Taking taylor expansion of y in z 2.139 * [taylor]: Taking taylor expansion of z in z 2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 2.139 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 2.139 * [taylor]: Taking taylor expansion of 1/3 in y 2.139 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 2.139 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.139 * [taylor]: Taking taylor expansion of y in y 2.140 * [taylor]: Taking taylor expansion of (log z) in y 2.140 * [taylor]: Taking taylor expansion of z in y 2.141 * [taylor]: Taking taylor expansion of 0 in y 2.142 * [taylor]: Taking taylor expansion of 0 in y 2.144 * [taylor]: Taking taylor expansion of 0 in y 2.145 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 2.145 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in y 2.145 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 2.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 2.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 2.145 * [taylor]: Taking taylor expansion of 1/3 in y 2.145 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 2.145 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 2.145 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.145 * [taylor]: Taking taylor expansion of -1 in y 2.145 * [taylor]: Taking taylor expansion of y in y 2.145 * [taylor]: Taking taylor expansion of z in y 2.145 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.145 * [taylor]: Taking taylor expansion of -1 in y 2.145 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.145 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.145 * [taylor]: Taking taylor expansion of 1/3 in z 2.145 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.146 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.146 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.146 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.146 * [taylor]: Taking taylor expansion of -1 in z 2.146 * [taylor]: Taking taylor expansion of y in z 2.146 * [taylor]: Taking taylor expansion of z in z 2.146 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.146 * [taylor]: Taking taylor expansion of -1 in z 2.146 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 2.146 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.146 * [taylor]: Taking taylor expansion of 1/3 in z 2.146 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.146 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.146 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.146 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.146 * [taylor]: Taking taylor expansion of -1 in z 2.146 * [taylor]: Taking taylor expansion of y in z 2.147 * [taylor]: Taking taylor expansion of z in z 2.147 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.147 * [taylor]: Taking taylor expansion of -1 in z 2.147 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) (cbrt -1)) in y 2.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 2.147 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 2.147 * [taylor]: Taking taylor expansion of 1/3 in y 2.147 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 2.147 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.147 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.147 * [taylor]: Taking taylor expansion of -1 in y 2.147 * [taylor]: Taking taylor expansion of y in y 2.147 * [taylor]: Taking taylor expansion of (log z) in y 2.148 * [taylor]: Taking taylor expansion of z in y 2.148 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.148 * [taylor]: Taking taylor expansion of -1 in y 2.149 * [taylor]: Taking taylor expansion of 0 in y 2.151 * [taylor]: Taking taylor expansion of 0 in y 2.153 * [taylor]: Taking taylor expansion of 0 in y 2.157 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.157 * [approximate]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in (z y) around 0 2.157 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in y 2.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in y 2.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in y 2.157 * [taylor]: Taking taylor expansion of 1/3 in y 2.157 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in y 2.157 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in y 2.157 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.157 * [taylor]: Taking taylor expansion of (cos y) in y 2.157 * [taylor]: Taking taylor expansion of y in y 2.157 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.157 * [taylor]: Taking taylor expansion of z in y 2.157 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in z 2.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in z 2.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in z 2.158 * [taylor]: Taking taylor expansion of 1/3 in z 2.158 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in z 2.158 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z 2.158 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 2.158 * [taylor]: Taking taylor expansion of (cos y) in z 2.158 * [taylor]: Taking taylor expansion of y in z 2.158 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.158 * [taylor]: Taking taylor expansion of z in z 2.158 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in z 2.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in z 2.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in z 2.158 * [taylor]: Taking taylor expansion of 1/3 in z 2.158 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in z 2.158 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z 2.158 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 2.158 * [taylor]: Taking taylor expansion of (cos y) in z 2.158 * [taylor]: Taking taylor expansion of y in z 2.159 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.159 * [taylor]: Taking taylor expansion of z in z 2.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow (cos y) 2)) (* 2 (log z))))) in y 2.159 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow (cos y) 2)) (* 2 (log z)))) in y 2.159 * [taylor]: Taking taylor expansion of 1/3 in y 2.159 * [taylor]: Taking taylor expansion of (+ (log (pow (cos y) 2)) (* 2 (log z))) in y 2.159 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.159 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.159 * [taylor]: Taking taylor expansion of (cos y) in y 2.159 * [taylor]: Taking taylor expansion of y in y 2.159 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.159 * [taylor]: Taking taylor expansion of 2 in y 2.159 * [taylor]: Taking taylor expansion of (log z) in y 2.159 * [taylor]: Taking taylor expansion of z in y 2.160 * [taylor]: Taking taylor expansion of 0 in y 2.162 * [taylor]: Taking taylor expansion of 0 in y 2.164 * [taylor]: Taking taylor expansion of 0 in y 2.168 * [taylor]: Taking taylor expansion of 0 in y 2.168 * [approximate]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 2.168 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in y 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in y 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in y 2.169 * [taylor]: Taking taylor expansion of 1/3 in y 2.169 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in y 2.169 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in y 2.169 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.169 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.169 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.169 * [taylor]: Taking taylor expansion of z in y 2.169 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in z 2.169 * [taylor]: Taking taylor expansion of 1/3 in z 2.169 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in z 2.169 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 2.169 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 2.169 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.169 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.170 * [taylor]: Taking taylor expansion of y 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.170 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 2.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (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 (cos (/ 1 y)) 2) (pow z 2))) in z 2.170 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 2.170 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 2.170 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.170 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.170 * [taylor]: Taking taylor expansion of y 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.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))))) in y 2.171 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z)))) in y 2.171 * [taylor]: Taking taylor expansion of 1/3 in y 2.171 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))) in y 2.171 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.171 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.171 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.171 * [taylor]: Taking taylor expansion of y in y 2.172 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.172 * [taylor]: Taking taylor expansion of 2 in y 2.172 * [taylor]: Taking taylor expansion of (log z) in y 2.172 * [taylor]: Taking taylor expansion of z in y 2.173 * [taylor]: Taking taylor expansion of 0 in y 2.175 * [taylor]: Taking taylor expansion of 0 in y 2.178 * [taylor]: Taking taylor expansion of 0 in y 2.178 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z y) around 0 2.178 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in y 2.178 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in y 2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in y 2.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in y 2.178 * [taylor]: Taking taylor expansion of 1/3 in y 2.178 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in y 2.178 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in y 2.178 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.178 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.178 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.178 * [taylor]: Taking taylor expansion of -1 in y 2.178 * [taylor]: Taking taylor expansion of y in y 2.178 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.178 * [taylor]: Taking taylor expansion of z in y 2.179 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.179 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.179 * [taylor]: Taking taylor expansion of -1 in y 2.179 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.179 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 2.179 * [taylor]: Taking taylor expansion of 1/3 in z 2.179 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 2.179 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 2.179 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 2.179 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.179 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.179 * [taylor]: Taking taylor expansion of -1 in z 2.179 * [taylor]: Taking taylor expansion of y in z 2.180 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.180 * [taylor]: Taking taylor expansion of z in z 2.180 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.180 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.180 * [taylor]: Taking taylor expansion of -1 in z 2.180 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.180 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 2.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 2.180 * [taylor]: Taking taylor expansion of 1/3 in z 2.180 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 2.180 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 2.180 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 2.180 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.180 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.180 * [taylor]: Taking taylor expansion of -1 in z 2.180 * [taylor]: Taking taylor expansion of y in z 2.181 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.181 * [taylor]: Taking taylor expansion of z in z 2.181 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.181 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.181 * [taylor]: Taking taylor expansion of -1 in z 2.182 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))))) (pow (cbrt -1) 2)) in y 2.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))))) in y 2.182 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z)))) in y 2.182 * [taylor]: Taking taylor expansion of 1/3 in y 2.182 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))) in y 2.182 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.182 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.182 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.182 * [taylor]: Taking taylor expansion of -1 in y 2.182 * [taylor]: Taking taylor expansion of y in y 2.182 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.182 * [taylor]: Taking taylor expansion of 2 in y 2.182 * [taylor]: Taking taylor expansion of (log z) in y 2.182 * [taylor]: Taking taylor expansion of z in y 2.183 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.183 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.183 * [taylor]: Taking taylor expansion of -1 in y 2.185 * [taylor]: Taking taylor expansion of 0 in y 2.187 * [taylor]: Taking taylor expansion of 0 in y 2.192 * [taylor]: Taking taylor expansion of 0 in y 2.192 * * * [progress]: simplifying candidates 2.193 * [simplify]: Simplifying using # : (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (* z (cos y)) (* z (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (+ 1 1) (+ (log (cbrt (* z (cos y)))) (log (cbrt (* z (cos y))))) (log (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (exp (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (* (* z (cos y)) (* z (cos y))) (* (cbrt (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (cbrt (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))))) (cbrt (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (* (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (sqrt (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (sqrt (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (* (cbrt z) (cbrt z)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y)))))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y))))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y))))) (* 1 1) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y))))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y))))) (* 2 1/3) (* 2 1) (* (cbrt (* z (cos y))) (cbrt z)) (* (cbrt (* z (cos y))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y)))))) (* (cbrt (* z (cos y))) (sqrt (cbrt (* z (cos y))))) (* (cbrt (* z (cos y))) 1) (* (cbrt (cos y)) (cbrt (* z (cos y)))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (* (sqrt (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (- (exp (* 1/3 (+ (log z) (log 1)))) (* 1/6 (* (pow y 2) (exp (* 1/3 (+ (log z) (log 1))))))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log 1)))) (* 1/6 (* (pow y 2) (exp (* 1/3 (+ (log z) (log 1))))))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log 1)))) (* 1/6 (* (pow y 2) (exp (* 1/3 (+ (log z) (log 1))))))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (* 1/3 (* (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (pow y 2)))) (exp (* 1/3 (- (log (pow (cos y) 2)) (* 2 (log (/ 1 z)))))) (* (exp (* 1/3 (- (log (pow (cos y) 2)) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) 2.196 * * [simplify]: iteration 0 : 85 enodes (cost 786 ) 2.210 * * [simplify]: iteration 1 : 186 enodes (cost 709 ) 2.235 * * [simplify]: iteration 2 : 515 enodes (cost 609 ) 2.327 * * [simplify]: iteration 3 : 1524 enodes (cost 524 ) 2.683 * * [simplify]: iteration 4 : 4482 enodes (cost 490 ) 3.404 * * [simplify]: iteration done : 5000 enodes (cost 488 ) 3.404 * [simplify]: Simplified to: (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* z (cos y)) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* z (cos y)) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* z (cos y)) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) 2/3 2 (pow (* z (cos y)) 2) (pow (sqrt (cbrt (* z (cos y)))) 4) 2 (* (log (cbrt (* z (cos y)))) 2) (* (log (cbrt (* z (cos y)))) 2) (exp (pow (sqrt (cbrt (* z (cos y)))) 4)) (pow (* z (cos y)) 2) (* (cbrt (pow (sqrt (cbrt (* z (cos y)))) 4)) (cbrt (pow (sqrt (cbrt (* z (cos y)))) 4))) (cbrt (pow (sqrt (cbrt (* z (cos y)))) 4)) (pow (* z (cos y)) 2) (fabs (cbrt (* z (cos y)))) (fabs (cbrt (* z (cos y)))) (pow z 2/3) (* (cbrt (cos y)) (cbrt (cos y))) (pow (cbrt (cbrt (* z (cos y)))) 4) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (* z (cos y))) (cbrt (* z (cos y))) 1 (pow (sqrt (cbrt (* z (cos y)))) 4) (cbrt (* z (cos y))) (cbrt (* z (cos y))) 2/3 2 (* (cbrt (* z (cos y))) (cbrt z)) (* (pow (cbrt (cbrt (* z (cos y)))) 4) (cbrt (cbrt (* z (cos y))))) (pow (sqrt (cbrt (* z (cos y)))) 3) (cbrt (* z (cos y))) (* (cbrt (cos y)) (cbrt (* z (cos y)))) (pow (cbrt (cbrt (* z (cos y)))) 4) (pow (sqrt (cbrt (* z (cos y)))) 3) (pow (sqrt (cbrt (* z (cos y)))) 4) (* (+ (* -1/6 (pow y 2)) 1) (cbrt z)) (cbrt (* z (cos y))) (* (cbrt (/ (cos y) (/ -1 z))) (cbrt -1)) (* (+ (* -1/6 (pow y 2)) 1) (cbrt z)) (cbrt (* z (cos y))) (* (cbrt (/ (cos y) (/ -1 z))) (cbrt -1)) (* (+ (* -1/6 (pow y 2)) 1) (cbrt z)) (cbrt (* z (cos y))) (* (cbrt (/ (cos y) (/ -1 z))) (cbrt -1)) (* (pow z 2/3) (+ (* (pow y 2) -1/3) 1)) (cbrt (pow (* z (cos y)) 2)) (* (pow (cbrt -1) 2) (cbrt (pow (/ (cos y) (/ -1 z)) 2))) 3.405 * * * [progress]: adding candidates to table 3.480 * * [progress]: iteration 4 / 4 3.480 * * * [progress]: picking best candidate 3.502 * * * * [pick]: Picked # 3.502 * * * [progress]: localizing error 3.519 * * * [progress]: generating rewritten candidates 3.519 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.521 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 3.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2) 3.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 3.533 * * * [progress]: generating series expansions 3.533 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.533 * [approximate]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in (z y) around 0 3.533 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in y 3.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in y 3.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in y 3.533 * [taylor]: Taking taylor expansion of 1/3 in y 3.533 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in y 3.533 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 3.533 * [taylor]: Taking taylor expansion of (cos y) in y 3.533 * [taylor]: Taking taylor expansion of y in y 3.533 * [taylor]: Taking taylor expansion of z in y 3.533 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 3.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 3.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 3.533 * [taylor]: Taking taylor expansion of 1/3 in z 3.533 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 3.533 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 3.533 * [taylor]: Taking taylor expansion of (cos y) in z 3.533 * [taylor]: Taking taylor expansion of y in z 3.534 * [taylor]: Taking taylor expansion of z in z 3.534 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 3.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 3.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 3.534 * [taylor]: Taking taylor expansion of 1/3 in z 3.534 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 3.534 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 3.534 * [taylor]: Taking taylor expansion of (cos y) in z 3.534 * [taylor]: Taking taylor expansion of y in z 3.534 * [taylor]: Taking taylor expansion of z in z 3.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (log z)))) in y 3.535 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (log z))) in y 3.535 * [taylor]: Taking taylor expansion of 1/3 in y 3.535 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (log z)) in y 3.535 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.535 * [taylor]: Taking taylor expansion of (cos y) in y 3.535 * [taylor]: Taking taylor expansion of y in y 3.535 * [taylor]: Taking taylor expansion of (log z) in y 3.535 * [taylor]: Taking taylor expansion of z in y 3.536 * [taylor]: Taking taylor expansion of 0 in y 3.537 * [taylor]: Taking taylor expansion of 0 in y 3.539 * [taylor]: Taking taylor expansion of 0 in y 3.542 * [taylor]: Taking taylor expansion of 0 in y 3.543 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 3.543 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 3.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 3.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 3.543 * [taylor]: Taking taylor expansion of 1/3 in y 3.543 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 3.543 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 3.543 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.543 * [taylor]: Taking taylor expansion of y in y 3.543 * [taylor]: Taking taylor expansion of z in y 3.543 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 3.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 3.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 3.543 * [taylor]: Taking taylor expansion of 1/3 in z 3.543 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 3.543 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 3.543 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.543 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.543 * [taylor]: Taking taylor expansion of y in z 3.543 * [taylor]: Taking taylor expansion of z in z 3.544 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 3.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 3.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 3.544 * [taylor]: Taking taylor expansion of 1/3 in z 3.544 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 3.544 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 3.544 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.544 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.544 * [taylor]: Taking taylor expansion of y in z 3.544 * [taylor]: Taking taylor expansion of z in z 3.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 3.545 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 3.545 * [taylor]: Taking taylor expansion of 1/3 in y 3.545 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 3.545 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.545 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.545 * [taylor]: Taking taylor expansion of y in y 3.545 * [taylor]: Taking taylor expansion of (log z) in y 3.545 * [taylor]: Taking taylor expansion of z in y 3.546 * [taylor]: Taking taylor expansion of 0 in y 3.548 * [taylor]: Taking taylor expansion of 0 in y 3.550 * [taylor]: Taking taylor expansion of 0 in y 3.550 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 3.550 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in y 3.550 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 3.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 3.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 3.550 * [taylor]: Taking taylor expansion of 1/3 in y 3.550 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 3.550 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 3.550 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.550 * [taylor]: Taking taylor expansion of -1 in y 3.550 * [taylor]: Taking taylor expansion of y in y 3.550 * [taylor]: Taking taylor expansion of z in y 3.550 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.550 * [taylor]: Taking taylor expansion of -1 in y 3.550 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.550 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 3.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 3.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 3.551 * [taylor]: Taking taylor expansion of 1/3 in z 3.551 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 3.551 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 3.551 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.551 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.551 * [taylor]: Taking taylor expansion of -1 in z 3.551 * [taylor]: Taking taylor expansion of y in z 3.551 * [taylor]: Taking taylor expansion of z in z 3.551 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.551 * [taylor]: Taking taylor expansion of -1 in z 3.551 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.551 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 3.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 3.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 3.551 * [taylor]: Taking taylor expansion of 1/3 in z 3.551 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 3.551 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 3.551 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.551 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.551 * [taylor]: Taking taylor expansion of -1 in z 3.551 * [taylor]: Taking taylor expansion of y in z 3.552 * [taylor]: Taking taylor expansion of z in z 3.552 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.552 * [taylor]: Taking taylor expansion of -1 in z 3.552 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) (cbrt -1)) in y 3.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 3.552 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 3.552 * [taylor]: Taking taylor expansion of 1/3 in y 3.552 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 3.552 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.553 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.553 * [taylor]: Taking taylor expansion of -1 in y 3.553 * [taylor]: Taking taylor expansion of y in y 3.553 * [taylor]: Taking taylor expansion of (log z) in y 3.553 * [taylor]: Taking taylor expansion of z in y 3.553 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.553 * [taylor]: Taking taylor expansion of -1 in y 3.554 * [taylor]: Taking taylor expansion of 0 in y 3.556 * [taylor]: Taking taylor expansion of 0 in y 3.559 * [taylor]: Taking taylor expansion of 0 in y 3.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 3.559 * [approximate]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in (z y) around 0 3.559 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in y 3.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in y 3.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in y 3.559 * [taylor]: Taking taylor expansion of 1/3 in y 3.559 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in y 3.559 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 3.559 * [taylor]: Taking taylor expansion of (cos y) in y 3.559 * [taylor]: Taking taylor expansion of y in y 3.559 * [taylor]: Taking taylor expansion of z in y 3.559 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 3.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 3.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 3.559 * [taylor]: Taking taylor expansion of 1/3 in z 3.559 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 3.559 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 3.559 * [taylor]: Taking taylor expansion of (cos y) in z 3.559 * [taylor]: Taking taylor expansion of y in z 3.559 * [taylor]: Taking taylor expansion of z in z 3.560 * [taylor]: Taking taylor expansion of (pow (* (cos y) z) 1/3) in z 3.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) z)))) in z 3.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) z))) in z 3.560 * [taylor]: Taking taylor expansion of 1/3 in z 3.560 * [taylor]: Taking taylor expansion of (log (* (cos y) z)) in z 3.560 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 3.560 * [taylor]: Taking taylor expansion of (cos y) in z 3.560 * [taylor]: Taking taylor expansion of y in z 3.560 * [taylor]: Taking taylor expansion of z in z 3.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (log z)))) in y 3.560 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (log z))) in y 3.560 * [taylor]: Taking taylor expansion of 1/3 in y 3.560 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (log z)) in y 3.560 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.560 * [taylor]: Taking taylor expansion of (cos y) in y 3.560 * [taylor]: Taking taylor expansion of y in y 3.561 * [taylor]: Taking taylor expansion of (log z) in y 3.561 * [taylor]: Taking taylor expansion of z in y 3.561 * [taylor]: Taking taylor expansion of 0 in y 3.563 * [taylor]: Taking taylor expansion of 0 in y 3.565 * [taylor]: Taking taylor expansion of 0 in y 3.568 * [taylor]: Taking taylor expansion of 0 in y 3.568 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 3.568 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 3.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 3.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 3.568 * [taylor]: Taking taylor expansion of 1/3 in y 3.568 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 3.568 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 3.568 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.568 * [taylor]: Taking taylor expansion of y in y 3.568 * [taylor]: Taking taylor expansion of z in y 3.569 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 3.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 3.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 3.569 * [taylor]: Taking taylor expansion of 1/3 in z 3.569 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 3.569 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 3.569 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.569 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.569 * [taylor]: Taking taylor expansion of y in z 3.569 * [taylor]: Taking taylor expansion of z in z 3.569 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 3.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 3.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 3.569 * [taylor]: Taking taylor expansion of 1/3 in z 3.569 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 3.569 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 3.569 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.569 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.569 * [taylor]: Taking taylor expansion of y in z 3.569 * [taylor]: Taking taylor expansion of z in z 3.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 3.570 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 3.570 * [taylor]: Taking taylor expansion of 1/3 in y 3.570 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 3.570 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.570 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.570 * [taylor]: Taking taylor expansion of y in y 3.570 * [taylor]: Taking taylor expansion of (log z) in y 3.570 * [taylor]: Taking taylor expansion of z in y 3.571 * [taylor]: Taking taylor expansion of 0 in y 3.573 * [taylor]: Taking taylor expansion of 0 in y 3.575 * [taylor]: Taking taylor expansion of 0 in y 3.575 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 3.575 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in y 3.575 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 3.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 3.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 3.575 * [taylor]: Taking taylor expansion of 1/3 in y 3.575 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 3.575 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 3.575 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.575 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.575 * [taylor]: Taking taylor expansion of -1 in y 3.575 * [taylor]: Taking taylor expansion of y in y 3.575 * [taylor]: Taking taylor expansion of z in y 3.576 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.576 * [taylor]: Taking taylor expansion of -1 in y 3.576 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.576 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 3.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 3.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 3.576 * [taylor]: Taking taylor expansion of 1/3 in z 3.576 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 3.576 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 3.576 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.576 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.576 * [taylor]: Taking taylor expansion of -1 in z 3.576 * [taylor]: Taking taylor expansion of y in z 3.576 * [taylor]: Taking taylor expansion of z in z 3.576 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.576 * [taylor]: Taking taylor expansion of -1 in z 3.576 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.576 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 3.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 3.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 3.577 * [taylor]: Taking taylor expansion of 1/3 in z 3.577 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 3.577 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 3.577 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.577 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.577 * [taylor]: Taking taylor expansion of -1 in z 3.577 * [taylor]: Taking taylor expansion of y in z 3.577 * [taylor]: Taking taylor expansion of z in z 3.577 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.577 * [taylor]: Taking taylor expansion of -1 in z 3.577 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) (cbrt -1)) in y 3.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 3.577 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 3.577 * [taylor]: Taking taylor expansion of 1/3 in y 3.577 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 3.577 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.578 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.578 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.578 * [taylor]: Taking taylor expansion of -1 in y 3.578 * [taylor]: Taking taylor expansion of y in y 3.578 * [taylor]: Taking taylor expansion of (log z) in y 3.578 * [taylor]: Taking taylor expansion of z in y 3.578 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.578 * [taylor]: Taking taylor expansion of -1 in y 3.579 * [taylor]: Taking taylor expansion of 0 in y 3.583 * [taylor]: Taking taylor expansion of 0 in y 3.586 * [taylor]: Taking taylor expansion of 0 in y 3.586 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2) 3.586 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 3.586 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.586 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.586 * [taylor]: Taking taylor expansion of 1/3 in z 3.586 * [taylor]: Taking taylor expansion of (log z) in z 3.586 * [taylor]: Taking taylor expansion of z in z 3.587 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.587 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.587 * [taylor]: Taking taylor expansion of 1/3 in z 3.587 * [taylor]: Taking taylor expansion of (log z) in z 3.587 * [taylor]: Taking taylor expansion of z in z 3.593 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 3.593 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.593 * [taylor]: Taking taylor expansion of 1/3 in z 3.593 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.593 * [taylor]: Taking taylor expansion of z in z 3.593 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.594 * [taylor]: Taking taylor expansion of 1/3 in z 3.594 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.594 * [taylor]: Taking taylor expansion of z in z 3.601 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 3.601 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 3.601 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.601 * [taylor]: Taking taylor expansion of 1/3 in z 3.601 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.601 * [taylor]: Taking taylor expansion of z in z 3.601 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.601 * [taylor]: Taking taylor expansion of -1 in z 3.601 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 3.601 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.601 * [taylor]: Taking taylor expansion of 1/3 in z 3.601 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.601 * [taylor]: Taking taylor expansion of z in z 3.602 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.602 * [taylor]: Taking taylor expansion of -1 in z 3.610 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 3.610 * [approximate]: Taking taylor expansion of (pow (* (cos y) (pow z 2)) 1/3) in (z y) around 0 3.610 * [taylor]: Taking taylor expansion of (pow (* (cos y) (pow z 2)) 1/3) in y 3.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (pow z 2))))) in y 3.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (pow z 2)))) in y 3.610 * [taylor]: Taking taylor expansion of 1/3 in y 3.610 * [taylor]: Taking taylor expansion of (log (* (cos y) (pow z 2))) in y 3.610 * [taylor]: Taking taylor expansion of (* (cos y) (pow z 2)) in y 3.610 * [taylor]: Taking taylor expansion of (cos y) in y 3.610 * [taylor]: Taking taylor expansion of y in y 3.610 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.610 * [taylor]: Taking taylor expansion of z in y 3.611 * [taylor]: Taking taylor expansion of (pow (* (cos y) (pow z 2)) 1/3) in z 3.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (pow z 2))))) in z 3.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (pow z 2)))) in z 3.611 * [taylor]: Taking taylor expansion of 1/3 in z 3.611 * [taylor]: Taking taylor expansion of (log (* (cos y) (pow z 2))) in z 3.611 * [taylor]: Taking taylor expansion of (* (cos y) (pow z 2)) in z 3.611 * [taylor]: Taking taylor expansion of (cos y) in z 3.611 * [taylor]: Taking taylor expansion of y in z 3.611 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.611 * [taylor]: Taking taylor expansion of z in z 3.611 * [taylor]: Taking taylor expansion of (pow (* (cos y) (pow z 2)) 1/3) in z 3.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (pow z 2))))) in z 3.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (pow z 2)))) in z 3.611 * [taylor]: Taking taylor expansion of 1/3 in z 3.611 * [taylor]: Taking taylor expansion of (log (* (cos y) (pow z 2))) in z 3.611 * [taylor]: Taking taylor expansion of (* (cos y) (pow z 2)) in z 3.611 * [taylor]: Taking taylor expansion of (cos y) in z 3.611 * [taylor]: Taking taylor expansion of y in z 3.611 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.611 * [taylor]: Taking taylor expansion of z in z 3.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (cos y)) (* 2 (log z))))) in y 3.612 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (cos y)) (* 2 (log z)))) in y 3.612 * [taylor]: Taking taylor expansion of 1/3 in y 3.612 * [taylor]: Taking taylor expansion of (+ (log (cos y)) (* 2 (log z))) in y 3.612 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.612 * [taylor]: Taking taylor expansion of (cos y) in y 3.612 * [taylor]: Taking taylor expansion of y in y 3.612 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.612 * [taylor]: Taking taylor expansion of 2 in y 3.612 * [taylor]: Taking taylor expansion of (log z) in y 3.612 * [taylor]: Taking taylor expansion of z in y 3.613 * [taylor]: Taking taylor expansion of 0 in y 3.614 * [taylor]: Taking taylor expansion of 0 in y 3.616 * [taylor]: Taking taylor expansion of 0 in y 3.620 * [taylor]: Taking taylor expansion of 0 in y 3.620 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) (pow z 2)) 1/3) in (z y) around 0 3.620 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) (pow z 2)) 1/3) in y 3.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2))))) in y 3.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2)))) in y 3.620 * [taylor]: Taking taylor expansion of 1/3 in y 3.620 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) (pow z 2))) in y 3.620 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (pow z 2)) in y 3.620 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.620 * [taylor]: Taking taylor expansion of y in y 3.620 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.620 * [taylor]: Taking taylor expansion of z in y 3.621 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) (pow z 2)) 1/3) in z 3.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2))))) in z 3.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2)))) in z 3.621 * [taylor]: Taking taylor expansion of 1/3 in z 3.621 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) (pow z 2))) in z 3.621 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (pow z 2)) in z 3.621 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.621 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.621 * [taylor]: Taking taylor expansion of y in z 3.621 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.621 * [taylor]: Taking taylor expansion of z in z 3.621 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) (pow z 2)) 1/3) in z 3.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2))))) in z 3.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) (pow z 2)))) in z 3.621 * [taylor]: Taking taylor expansion of 1/3 in z 3.621 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) (pow z 2))) in z 3.622 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (pow z 2)) in z 3.622 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.622 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.622 * [taylor]: Taking taylor expansion of y in z 3.622 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.622 * [taylor]: Taking taylor expansion of z in z 3.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (* 2 (log z))))) in y 3.622 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (* 2 (log z)))) in y 3.622 * [taylor]: Taking taylor expansion of 1/3 in y 3.622 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (* 2 (log z))) in y 3.622 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.622 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.622 * [taylor]: Taking taylor expansion of y in y 3.622 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.623 * [taylor]: Taking taylor expansion of 2 in y 3.623 * [taylor]: Taking taylor expansion of (log z) in y 3.623 * [taylor]: Taking taylor expansion of z in y 3.624 * [taylor]: Taking taylor expansion of 0 in y 3.625 * [taylor]: Taking taylor expansion of 0 in y 3.627 * [taylor]: Taking taylor expansion of 0 in y 3.628 * [approximate]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z y) around 0 3.628 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in y 3.628 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) in y 3.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2))))) in y 3.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2)))) in y 3.628 * [taylor]: Taking taylor expansion of 1/3 in y 3.628 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) (pow z 2))) in y 3.628 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (pow z 2)) in y 3.628 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.628 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.628 * [taylor]: Taking taylor expansion of -1 in y 3.628 * [taylor]: Taking taylor expansion of y in y 3.628 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.628 * [taylor]: Taking taylor expansion of z in y 3.628 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.628 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.628 * [taylor]: Taking taylor expansion of -1 in y 3.629 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 3.629 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) in z 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2))))) in z 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2)))) in z 3.629 * [taylor]: Taking taylor expansion of 1/3 in z 3.629 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) (pow z 2))) in z 3.629 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (pow z 2)) in z 3.629 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.629 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.629 * [taylor]: Taking taylor expansion of -1 in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.629 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.629 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.629 * [taylor]: Taking taylor expansion of -1 in z 3.629 * [taylor]: Taking taylor expansion of (* (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 3.629 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) (pow z 2)) 1/3) in z 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2))))) in z 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) (pow z 2)))) in z 3.630 * [taylor]: Taking taylor expansion of 1/3 in z 3.630 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) (pow z 2))) in z 3.630 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (pow z 2)) in z 3.630 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.630 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.630 * [taylor]: Taking taylor expansion of -1 in z 3.630 * [taylor]: Taking taylor expansion of y in z 3.630 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.630 * [taylor]: Taking taylor expansion of z in z 3.630 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.630 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.630 * [taylor]: Taking taylor expansion of -1 in z 3.631 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (cos (/ -1 y))) (* 2 (log z))))) (pow (cbrt -1) 2)) in y 3.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (* 2 (log z))))) in y 3.631 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (* 2 (log z)))) in y 3.631 * [taylor]: Taking taylor expansion of 1/3 in y 3.631 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (* 2 (log z))) in y 3.631 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.631 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.631 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.631 * [taylor]: Taking taylor expansion of -1 in y 3.631 * [taylor]: Taking taylor expansion of y in y 3.631 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.631 * [taylor]: Taking taylor expansion of 2 in y 3.631 * [taylor]: Taking taylor expansion of (log z) in y 3.631 * [taylor]: Taking taylor expansion of z in y 3.631 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.631 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.631 * [taylor]: Taking taylor expansion of -1 in y 3.633 * [taylor]: Taking taylor expansion of 0 in y 3.635 * [taylor]: Taking taylor expansion of 0 in y 3.638 * [taylor]: Taking taylor expansion of 0 in y 3.639 * * * [progress]: simplifying candidates 3.639 * [simplify]: Simplifying using # : (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (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)) (* (* z (cos y)) z) (* (cbrt (* z (cos y))) (cbrt z)) (+ (log (cbrt (* z (cos y)))) (log (cbrt z))) (log (* (cbrt (* z (cos y))) (cbrt z))) (exp (* (cbrt (* z (cos y))) (cbrt z))) (* (* z (cos y)) z) (* (cbrt (* (cbrt (* z (cos y))) (cbrt z))) (cbrt (* (cbrt (* z (cos y))) (cbrt z)))) (cbrt (* (cbrt (* z (cos y))) (cbrt z))) (* (* (* (cbrt (* z (cos y))) (cbrt z)) (* (cbrt (* z (cos y))) (cbrt z))) (* (cbrt (* z (cos y))) (cbrt z))) (sqrt (* (cbrt (* z (cos y))) (cbrt z))) (sqrt (* (cbrt (* z (cos y))) (cbrt z))) (* (sqrt (cbrt (* z (cos y)))) (cbrt (sqrt z))) (* (sqrt (cbrt (* z (cos y)))) (cbrt (sqrt z))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt z))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt z))) (* (cbrt (* z (cos y))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (* z (cos y))) (cbrt (sqrt z))) (* (cbrt (* z (cos y))) (cbrt 1)) (* (cbrt (* z (cos y))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (* z (cos y))) (sqrt (cbrt z))) (* (cbrt (* z (cos y))) 1) (* (cbrt (cos y)) (cbrt z)) (* (cbrt (cbrt (* z (cos y)))) (cbrt z)) (* (sqrt (cbrt (* z (cos y)))) (cbrt z)) (* (cbrt (* z (cos y))) (cbrt z)) (- (exp (* 1/3 (+ (log z) (log 1)))) (* 1/6 (* (pow y 2) (exp (* 1/3 (+ (log z) (log 1))))))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log 1)))) (* 1/6 (* (pow y 2) (exp (* 1/3 (+ (log z) (log 1))))))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (- (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (* 1/6 (* (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (* 2 (log (/ 1 z)))))) (* (exp (* 1/3 (- (log (cos y)) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) 3.642 * * [simplify]: iteration 0 : 97 enodes (cost 614 ) 3.655 * * [simplify]: iteration 1 : 198 enodes (cost 597 ) 3.685 * * [simplify]: iteration 2 : 516 enodes (cost 534 ) 3.777 * * [simplify]: iteration 3 : 1365 enodes (cost 482 ) 4.053 * * [simplify]: iteration 4 : 3562 enodes (cost 464 ) 4.614 * * [simplify]: iteration done : 5000 enodes (cost 460 ) 4.614 * [simplify]: Simplified to: (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* z (cos y)) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (cbrt z) (cbrt (cos y)) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y))))) (cbrt (cbrt (* z (cos y)))) (* z (cos y)) (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt (* z (cos y)))) (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)) (/ (cos y) (pow z -2)) (* (cbrt (* z (cos y))) (cbrt z)) (log (* (cbrt (* z (cos y))) (cbrt z))) (log (* (cbrt (* z (cos y))) (cbrt z))) (exp (* (cbrt (* z (cos y))) (cbrt z))) (/ (cos y) (pow z -2)) (* (cbrt (* (cbrt (* z (cos y))) (cbrt z))) (cbrt (* (cbrt (* z (cos y))) (cbrt z)))) (cbrt (* (cbrt (* z (cos y))) (cbrt z))) (/ (cos y) (pow z -2)) (sqrt (* (cbrt (* z (cos y))) (cbrt z))) (sqrt (* (cbrt (* z (cos y))) (cbrt z))) (* (sqrt (cbrt (* z (cos y)))) (cbrt (sqrt z))) (* (sqrt (cbrt (* z (cos y)))) (cbrt (sqrt z))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt z))) (* (sqrt (cbrt (* z (cos y)))) (sqrt (cbrt z))) (* (cbrt (* z (cos y))) (cbrt (pow z 2/3))) (* (cbrt (* z (cos y))) (cbrt (sqrt z))) (cbrt (* z (cos y))) (* (cbrt (* z (cos y))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (* z (cos y))) (sqrt (cbrt z))) (cbrt (* z (cos y))) (* (cbrt (cos y)) (cbrt z)) (* (cbrt (cbrt (* z (cos y)))) (cbrt z)) (* (sqrt (cbrt (* z (cos y)))) (cbrt z)) (* (cbrt (* z (cos y))) (cbrt z)) (* (cbrt z) (+ (* (pow y 2) -1/6) 1)) (cbrt (* z (cos y))) (* (cbrt (/ (cos y) (/ -1 z))) (cbrt -1)) (* (cbrt z) (+ (* (pow y 2) -1/6) 1)) (cbrt (* z (cos y))) (* (cbrt (/ (cos y) (/ -1 z))) (cbrt -1)) (cbrt z) (cbrt z) (* (cbrt -1) (cbrt (/ 1 (/ -1 z)))) (* (pow z 2/3) (+ (* (pow y 2) -1/6) 1)) (cbrt (/ (cos y) (pow z -2))) (* (pow (cbrt -1) 2) (cbrt (* (cos y) (pow (/ -1 z) -2)))) 4.615 * * * [progress]: adding candidates to table 4.683 * [progress]: [Phase 3 of 3] Extracting. 4.684 * * [regime]: Finding splitpoints for: (# # # # # # # #) 4.686 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x) 4.686 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (# # # # # # # #) 4.766 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 4.833 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 4.902 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 4.970 * * * [regime]: Found split indices: #