42.947 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.048 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.049 * * [simplify]: iteration 1 : 22 enodes (cost 4 ) 0.050 * * [simplify]: iteration 2 : 28 enodes (cost 4 ) 0.051 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 0.051 * [simplify]: Simplified to: (fma (cos y) z (+ x (sin y))) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.065 * * * [progress]: generating rewritten candidates 0.065 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.069 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.076 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.080 * * * [progress]: generating series expansions 0.080 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.081 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.081 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.081 * [taylor]: Taking taylor expansion of (cos y) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.081 * [taylor]: Taking taylor expansion of (cos y) in z 0.081 * [taylor]: Taking taylor expansion of y in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.081 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.081 * [taylor]: Taking taylor expansion of (cos y) in z 0.081 * [taylor]: Taking taylor expansion of y in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of (cos y) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.089 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.089 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 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 (/ 1 y)) z) in z 0.090 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.090 * [taylor]: Taking taylor expansion of (/ 1 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 (/ 1 y)) z) in z 0.090 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.091 * [taylor]: Taking taylor expansion of z in z 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.094 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.100 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.100 * [taylor]: Taking taylor expansion of -1 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.101 * [taylor]: Taking taylor expansion of -1 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 (* -1 (/ (cos (/ -1 y)) z)) in z 0.101 * [taylor]: Taking taylor expansion of -1 in z 0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.101 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.101 * [taylor]: Taking taylor expansion of -1 in z 0.101 * [taylor]: Taking taylor expansion of y in z 0.101 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.102 * [taylor]: Taking taylor expansion of -1 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 -1 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 (* -1 (cos (/ -1 y))) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.119 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.119 * [approximate]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in (x y z) around 0 0.119 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in z 0.119 * [taylor]: Taking taylor expansion of x in z 0.119 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in z 0.119 * [taylor]: Taking taylor expansion of (sin y) in z 0.119 * [taylor]: Taking taylor expansion of y in z 0.119 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.119 * [taylor]: Taking taylor expansion of z in z 0.119 * [taylor]: Taking taylor expansion of (cos y) in z 0.119 * [taylor]: Taking taylor expansion of y in z 0.119 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in y 0.120 * [taylor]: Taking taylor expansion of x in y 0.120 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in y 0.120 * [taylor]: Taking taylor expansion of (sin y) in y 0.120 * [taylor]: Taking taylor expansion of y in y 0.120 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.120 * [taylor]: Taking taylor expansion of z in y 0.120 * [taylor]: Taking taylor expansion of (cos y) in y 0.120 * [taylor]: Taking taylor expansion of y in y 0.120 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in x 0.120 * [taylor]: Taking taylor expansion of (sin y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.120 * [taylor]: Taking taylor expansion of z in x 0.120 * [taylor]: Taking taylor expansion of (cos y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in x 0.120 * [taylor]: Taking taylor expansion of (sin y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.120 * [taylor]: Taking taylor expansion of z in x 0.120 * [taylor]: Taking taylor expansion of (cos y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of (+ (* z (cos y)) (sin y)) in y 0.121 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.121 * [taylor]: Taking taylor expansion of z in y 0.121 * [taylor]: Taking taylor expansion of (cos y) in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of (sin y) in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of z in z 0.124 * [taylor]: Taking taylor expansion of 1 in y 0.124 * [taylor]: Taking taylor expansion of 1 in z 0.126 * [taylor]: Taking taylor expansion of 1 in z 0.126 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in (x y z) around 0 0.126 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in z 0.126 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.126 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.126 * [taylor]: Taking taylor expansion of y in z 0.127 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in z 0.127 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.127 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.127 * [taylor]: Taking taylor expansion of y in z 0.127 * [taylor]: Taking taylor expansion of z in z 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.127 * [taylor]: Taking taylor expansion of x in z 0.127 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in y 0.127 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in y 0.128 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.128 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of z in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in x 0.128 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in x 0.128 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.128 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [taylor]: Taking taylor expansion of z in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in x 0.129 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.129 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [taylor]: Taking taylor expansion of z in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of 1 in y 0.131 * [taylor]: Taking taylor expansion of 1 in z 0.131 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.132 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of z in y 0.132 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.132 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [taylor]: Taking taylor expansion of z in z 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in (x y z) around 0 0.140 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in z 0.140 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.140 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.141 * [taylor]: Taking taylor expansion of -1 in z 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in z 0.141 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.141 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.141 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.141 * [taylor]: Taking taylor expansion of -1 in z 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [taylor]: Taking taylor expansion of z in z 0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.141 * [taylor]: Taking taylor expansion of x in z 0.141 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in y 0.141 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.141 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.141 * [taylor]: Taking taylor expansion of -1 in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in y 0.142 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.142 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.142 * [taylor]: Taking taylor expansion of -1 in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.142 * [taylor]: Taking taylor expansion of x in y 0.142 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in x 0.142 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.142 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.142 * [taylor]: Taking taylor expansion of -1 in x 0.142 * [taylor]: Taking taylor expansion of y in x 0.142 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in x 0.142 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.142 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.142 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.142 * [taylor]: Taking taylor expansion of -1 in x 0.142 * [taylor]: Taking taylor expansion of y in x 0.142 * [taylor]: Taking taylor expansion of z in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in x 0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in x 0.143 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.143 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of z in x 0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of -1 in y 0.145 * [taylor]: Taking taylor expansion of -1 in z 0.146 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in y 0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.146 * [taylor]: Taking taylor expansion of -1 in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.146 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.146 * [taylor]: Taking taylor expansion of -1 in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of z in y 0.147 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in z 0.147 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.147 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.147 * [taylor]: Taking taylor expansion of -1 in z 0.147 * [taylor]: Taking taylor expansion of y in z 0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.147 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.147 * [taylor]: Taking taylor expansion of -1 in z 0.147 * [taylor]: Taking taylor expansion of y in z 0.147 * [taylor]: Taking taylor expansion of z in z 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.156 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.156 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0 0.156 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of (sin y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (sin y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (sin y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (sin y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of 1 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0 0.163 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 0.163 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.164 * [taylor]: Taking taylor expansion of x in y 0.164 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.165 * [taylor]: Taking taylor expansion of 1 in y 0.165 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0 0.171 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 0.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.171 * [taylor]: Taking taylor expansion of -1 in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.172 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.172 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.172 * [taylor]: Taking taylor expansion of -1 in x 0.172 * [taylor]: Taking taylor expansion of y in x 0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of -1 in y 0.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.173 * [taylor]: Taking taylor expansion of -1 in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.179 * [taylor]: Taking taylor expansion of 0 in y 0.179 * * * [progress]: simplifying candidates 0.180 * [simplify]: Simplifying using # : (expm1 (* z (cos y))) (log1p (* z (cos y))) (* 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)) (expm1 (+ (+ x (sin y)) (* z (cos y)))) (log1p (+ (+ x (sin 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))) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (* (exp x) (exp (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (* (* (+ x (sin y)) (+ x (sin y))) (+ x (sin y))) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x (+ z y)) (+ x (+ (sin y) (* z (cos y)))) (+ x (+ (sin y) (* z (cos y)))) (+ x y) (+ x (sin y)) (+ x (sin y)) 0.184 * * [simplify]: iteration 0 : 208 enodes (cost 268 ) 0.188 * * [simplify]: iteration 1 : 743 enodes (cost 242 ) 0.202 * * [simplify]: iteration 2 : 2955 enodes (cost 242 ) 0.250 * * [simplify]: iteration 3 : 5001 enodes (cost 242 ) 0.252 * [simplify]: Simplified to: (expm1 (* z (cos y))) (log1p (* z (cos y))) (* 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)) (expm1 (+ (+ x (sin y)) (* z (cos y)))) (log1p (+ (+ x (sin y)) (* z (cos y)))) (exp (fma (cos y) z (+ x (sin y)))) (exp (fma (cos y) z (+ x (sin y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (fma (cos y) z (+ x (sin y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (pow (fma (cos y) z (+ x (sin 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)) (fma (* z (cos y)) (- (* z (cos y)) (+ x (sin y))) (* (+ x (sin y)) (+ x (sin y)))) (* (fma (cos y) z (+ x (sin y))) (- (+ x (sin y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (fma (cos y) z (sin y)) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (exp (+ x (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (pow (+ x (sin y)) 3) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (fma (sin y) (- (sin y) x) (* x x)) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x (+ z y)) (fma (cos y) z (+ x (sin y))) (fma (cos y) z (+ x (sin y))) (+ x y) (+ x (sin y)) (+ x (sin y)) 0.252 * * * [progress]: adding candidates to table 0.440 * * [progress]: iteration 2 / 4 0.440 * * * [progress]: picking best candidate 0.464 * * * * [pick]: Picked # 0.464 * * * [progress]: localizing error 0.486 * * * [progress]: generating rewritten candidates 0.486 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.510 * * * [progress]: generating series expansions 0.510 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.510 * [approximate]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in (z y) around 0 0.510 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in y 0.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in y 0.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in y 0.510 * [taylor]: Taking taylor expansion of 1/3 in y 0.510 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in y 0.510 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.510 * [taylor]: Taking taylor expansion of z in y 0.510 * [taylor]: Taking taylor expansion of (cos y) in y 0.510 * [taylor]: Taking taylor expansion of y in y 0.511 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.511 * [taylor]: Taking taylor expansion of 1/3 in z 0.511 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.511 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.511 * [taylor]: Taking taylor expansion of z in z 0.511 * [taylor]: Taking taylor expansion of (cos y) in z 0.511 * [taylor]: Taking taylor expansion of y in z 0.515 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.516 * [taylor]: Taking taylor expansion of 1/3 in z 0.516 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.516 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.516 * [taylor]: Taking taylor expansion of z in z 0.516 * [taylor]: Taking taylor expansion of (cos y) in z 0.516 * [taylor]: Taking taylor expansion of y in z 0.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (cos y))))) in y 0.520 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (cos y)))) in y 0.520 * [taylor]: Taking taylor expansion of 1/3 in y 0.520 * [taylor]: Taking taylor expansion of (+ (log z) (log (cos y))) in y 0.520 * [taylor]: Taking taylor expansion of (log z) in y 0.520 * [taylor]: Taking taylor expansion of z in y 0.520 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.520 * [taylor]: Taking taylor expansion of (cos y) in y 0.520 * [taylor]: Taking taylor expansion of y in y 0.528 * [taylor]: Taking taylor expansion of 0 in y 0.541 * [taylor]: Taking taylor expansion of 0 in y 0.561 * [taylor]: Taking taylor expansion of 0 in y 0.587 * [taylor]: Taking taylor expansion of 0 in y 0.587 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 0.587 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 0.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 0.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 0.587 * [taylor]: Taking taylor expansion of 1/3 in y 0.587 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 0.587 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.587 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.587 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of z in y 0.588 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.588 * [taylor]: Taking taylor expansion of 1/3 in z 0.588 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.588 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.588 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.588 * [taylor]: Taking taylor expansion of y in z 0.588 * [taylor]: Taking taylor expansion of z in z 0.589 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.589 * [taylor]: Taking taylor expansion of 1/3 in z 0.589 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.589 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.589 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.589 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.589 * [taylor]: Taking taylor expansion of y in z 0.589 * [taylor]: Taking taylor expansion of z in z 0.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 0.590 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 0.590 * [taylor]: Taking taylor expansion of 1/3 in y 0.590 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 0.590 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.590 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.590 * [taylor]: Taking taylor expansion of y in y 0.590 * [taylor]: Taking taylor expansion of (log z) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.599 * [taylor]: Taking taylor expansion of 0 in y 0.607 * [taylor]: Taking taylor expansion of 0 in y 0.618 * [taylor]: Taking taylor expansion of 0 in y 0.619 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in (z y) around 0 0.619 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in y 0.619 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.619 * [taylor]: Taking taylor expansion of -1 in y 0.619 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 0.619 * [taylor]: Taking taylor expansion of 1/3 in y 0.619 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 0.619 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.619 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.620 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.620 * [taylor]: Taking taylor expansion of -1 in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.620 * [taylor]: Taking taylor expansion of z in y 0.620 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.620 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.620 * [taylor]: Taking taylor expansion of -1 in z 0.621 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.621 * [taylor]: Taking taylor expansion of 1/3 in z 0.621 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.621 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.621 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.621 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.621 * [taylor]: Taking taylor expansion of -1 in z 0.621 * [taylor]: Taking taylor expansion of y in z 0.621 * [taylor]: Taking taylor expansion of z in z 0.622 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.622 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.622 * [taylor]: Taking taylor expansion of -1 in z 0.623 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.623 * [taylor]: Taking taylor expansion of 1/3 in z 0.623 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.623 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.623 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.623 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.623 * [taylor]: Taking taylor expansion of -1 in z 0.623 * [taylor]: Taking taylor expansion of y in z 0.623 * [taylor]: Taking taylor expansion of z in z 0.624 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (cos (/ -1 y))) (log z))))) in y 0.624 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.624 * [taylor]: Taking taylor expansion of -1 in y 0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 0.625 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 0.625 * [taylor]: Taking taylor expansion of 1/3 in y 0.625 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 0.625 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.625 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.625 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.625 * [taylor]: Taking taylor expansion of -1 in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of (log z) in y 0.626 * [taylor]: Taking taylor expansion of z in y 0.631 * [taylor]: Taking taylor expansion of 0 in y 0.646 * [taylor]: Taking taylor expansion of 0 in y 0.668 * [taylor]: Taking taylor expansion of 0 in y 0.669 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.669 * [approximate]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in (z y) around 0 0.669 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in y 0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in y 0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in y 0.669 * [taylor]: Taking taylor expansion of 1/3 in y 0.669 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in y 0.669 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.669 * [taylor]: Taking taylor expansion of z in y 0.670 * [taylor]: Taking taylor expansion of (cos y) in y 0.670 * [taylor]: Taking taylor expansion of y in y 0.670 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.670 * [taylor]: Taking taylor expansion of 1/3 in z 0.670 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.670 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.670 * [taylor]: Taking taylor expansion of z in z 0.670 * [taylor]: Taking taylor expansion of (cos y) in z 0.670 * [taylor]: Taking taylor expansion of y in z 0.674 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.674 * [taylor]: Taking taylor expansion of 1/3 in z 0.674 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.674 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.674 * [taylor]: Taking taylor expansion of z in z 0.674 * [taylor]: Taking taylor expansion of (cos y) in z 0.674 * [taylor]: Taking taylor expansion of y in z 0.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (cos y))))) in y 0.679 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (cos y)))) in y 0.679 * [taylor]: Taking taylor expansion of 1/3 in y 0.679 * [taylor]: Taking taylor expansion of (+ (log z) (log (cos y))) in y 0.679 * [taylor]: Taking taylor expansion of (log z) in y 0.679 * [taylor]: Taking taylor expansion of z in y 0.679 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.679 * [taylor]: Taking taylor expansion of (cos y) in y 0.679 * [taylor]: Taking taylor expansion of y in y 0.686 * [taylor]: Taking taylor expansion of 0 in y 0.699 * [taylor]: Taking taylor expansion of 0 in y 0.716 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 0.733 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 0.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 0.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 0.733 * [taylor]: Taking taylor expansion of 1/3 in y 0.733 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 0.733 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.733 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.733 * [taylor]: Taking taylor expansion of y in y 0.734 * [taylor]: Taking taylor expansion of z in y 0.734 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.734 * [taylor]: Taking taylor expansion of 1/3 in z 0.734 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.734 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.734 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.734 * [taylor]: Taking taylor expansion of y in z 0.734 * [taylor]: Taking taylor expansion of z in z 0.735 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.735 * [taylor]: Taking taylor expansion of 1/3 in z 0.735 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.735 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.735 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.735 * [taylor]: Taking taylor expansion of y in z 0.735 * [taylor]: Taking taylor expansion of z in z 0.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 0.736 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 0.736 * [taylor]: Taking taylor expansion of 1/3 in y 0.736 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 0.736 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.736 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.736 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of (log z) in y 0.737 * [taylor]: Taking taylor expansion of z in y 0.741 * [taylor]: Taking taylor expansion of 0 in y 0.749 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in (z y) around 0 0.760 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in y 0.760 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.760 * [taylor]: Taking taylor expansion of -1 in y 0.761 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 0.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 0.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 0.761 * [taylor]: Taking taylor expansion of 1/3 in y 0.761 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 0.761 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.761 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.761 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.761 * [taylor]: Taking taylor expansion of -1 in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of z in y 0.762 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.762 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.762 * [taylor]: Taking taylor expansion of -1 in z 0.762 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.763 * [taylor]: Taking taylor expansion of 1/3 in z 0.763 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.763 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.763 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.763 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.763 * [taylor]: Taking taylor expansion of -1 in z 0.763 * [taylor]: Taking taylor expansion of y in z 0.763 * [taylor]: Taking taylor expansion of z in z 0.764 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.764 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.764 * [taylor]: Taking taylor expansion of -1 in z 0.765 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.765 * [taylor]: Taking taylor expansion of 1/3 in z 0.765 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.765 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.765 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.765 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.765 * [taylor]: Taking taylor expansion of -1 in z 0.765 * [taylor]: Taking taylor expansion of y in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (cos (/ -1 y))) (log z))))) in y 0.766 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.766 * [taylor]: Taking taylor expansion of -1 in y 0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 0.767 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 0.767 * [taylor]: Taking taylor expansion of 1/3 in y 0.767 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 0.767 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.767 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.767 * [taylor]: Taking taylor expansion of -1 in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.767 * [taylor]: Taking taylor expansion of (log z) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.773 * [taylor]: Taking taylor expansion of 0 in y 0.783 * [taylor]: Taking taylor expansion of 0 in y 0.804 * [taylor]: Taking taylor expansion of 0 in y 0.804 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.805 * [approximate]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in (z y) around 0 0.805 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in y 0.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in y 0.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in y 0.805 * [taylor]: Taking taylor expansion of 1/3 in y 0.805 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in y 0.805 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.805 * [taylor]: Taking taylor expansion of z in y 0.805 * [taylor]: Taking taylor expansion of (cos y) in y 0.805 * [taylor]: Taking taylor expansion of y in y 0.805 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.805 * [taylor]: Taking taylor expansion of 1/3 in z 0.805 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.805 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.805 * [taylor]: Taking taylor expansion of z in z 0.805 * [taylor]: Taking taylor expansion of (cos y) in z 0.805 * [taylor]: Taking taylor expansion of y in z 0.808 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 0.808 * [taylor]: Taking taylor expansion of 1/3 in z 0.808 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 0.808 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.808 * [taylor]: Taking taylor expansion of z in z 0.808 * [taylor]: Taking taylor expansion of (cos y) in z 0.808 * [taylor]: Taking taylor expansion of y in z 0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (cos y))))) in y 0.811 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (cos y)))) in y 0.811 * [taylor]: Taking taylor expansion of 1/3 in y 0.811 * [taylor]: Taking taylor expansion of (+ (log z) (log (cos y))) in y 0.811 * [taylor]: Taking taylor expansion of (log z) in y 0.811 * [taylor]: Taking taylor expansion of z in y 0.811 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.811 * [taylor]: Taking taylor expansion of (cos y) in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of 0 in y 0.824 * [taylor]: Taking taylor expansion of 0 in y 0.837 * [taylor]: Taking taylor expansion of 0 in y 0.854 * [taylor]: Taking taylor expansion of 0 in y 0.855 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 0.855 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 0.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 0.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 0.855 * [taylor]: Taking taylor expansion of 1/3 in y 0.855 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 0.855 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.855 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.855 * [taylor]: Taking taylor expansion of y in y 0.855 * [taylor]: Taking taylor expansion of z in y 0.856 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.856 * [taylor]: Taking taylor expansion of 1/3 in z 0.856 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.856 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.856 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.856 * [taylor]: Taking taylor expansion of y in z 0.856 * [taylor]: Taking taylor expansion of z in z 0.857 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 0.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 0.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 0.857 * [taylor]: Taking taylor expansion of 1/3 in z 0.857 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 0.857 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.857 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.857 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.857 * [taylor]: Taking taylor expansion of y in z 0.857 * [taylor]: Taking taylor expansion of z in z 0.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 0.858 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 0.858 * [taylor]: Taking taylor expansion of 1/3 in y 0.858 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 0.858 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.858 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of (log z) in y 0.858 * [taylor]: Taking taylor expansion of z in y 0.863 * [taylor]: Taking taylor expansion of 0 in y 0.871 * [taylor]: Taking taylor expansion of 0 in y 0.888 * [taylor]: Taking taylor expansion of 0 in y 0.888 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in (z y) around 0 0.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in y 0.889 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.889 * [taylor]: Taking taylor expansion of -1 in y 0.889 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 0.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 0.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 0.889 * [taylor]: Taking taylor expansion of 1/3 in y 0.889 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 0.889 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.889 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.889 * [taylor]: Taking taylor expansion of -1 in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of z in y 0.890 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.890 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.890 * [taylor]: Taking taylor expansion of -1 in z 0.891 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.891 * [taylor]: Taking taylor expansion of 1/3 in z 0.891 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.891 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.891 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.891 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.891 * [taylor]: Taking taylor expansion of -1 in z 0.891 * [taylor]: Taking taylor expansion of y in z 0.891 * [taylor]: Taking taylor expansion of z in z 0.892 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 0.892 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.892 * [taylor]: Taking taylor expansion of -1 in z 0.893 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 0.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 0.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 0.893 * [taylor]: Taking taylor expansion of 1/3 in z 0.893 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 0.893 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.893 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.893 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.893 * [taylor]: Taking taylor expansion of -1 in z 0.893 * [taylor]: Taking taylor expansion of y in z 0.893 * [taylor]: Taking taylor expansion of z in z 0.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (cos (/ -1 y))) (log z))))) in y 0.895 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.895 * [taylor]: Taking taylor expansion of -1 in y 0.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 0.895 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 0.895 * [taylor]: Taking taylor expansion of 1/3 in y 0.895 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 0.895 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.895 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.895 * [taylor]: Taking taylor expansion of -1 in y 0.896 * [taylor]: Taking taylor expansion of y in y 0.896 * [taylor]: Taking taylor expansion of (log z) in y 0.896 * [taylor]: Taking taylor expansion of z in y 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.912 * [taylor]: Taking taylor expansion of 0 in y 0.926 * [taylor]: Taking taylor expansion of 0 in y 0.927 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.927 * [approximate]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in (z y) around 0 0.927 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in y 0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in y 0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in y 0.927 * [taylor]: Taking taylor expansion of 1/3 in y 0.927 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in y 0.927 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in y 0.927 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.927 * [taylor]: Taking taylor expansion of (cos y) in y 0.927 * [taylor]: Taking taylor expansion of y in y 0.927 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.927 * [taylor]: Taking taylor expansion of z in y 0.928 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in z 0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in z 0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in z 0.928 * [taylor]: Taking taylor expansion of 1/3 in z 0.928 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in z 0.928 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z 0.928 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 0.928 * [taylor]: Taking taylor expansion of (cos y) in z 0.928 * [taylor]: Taking taylor expansion of y in z 0.928 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.928 * [taylor]: Taking taylor expansion of z in z 0.929 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) (pow z 2)) 1/3) in z 0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) (pow z 2))))) in z 0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) (pow z 2)))) in z 0.929 * [taylor]: Taking taylor expansion of 1/3 in z 0.929 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) (pow z 2))) in z 0.929 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z 0.929 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 0.929 * [taylor]: Taking taylor expansion of (cos y) in z 0.930 * [taylor]: Taking taylor expansion of y in z 0.930 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.930 * [taylor]: Taking taylor expansion of z in z 0.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (cos y) 2))))) in y 0.931 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (cos y) 2)))) in y 0.931 * [taylor]: Taking taylor expansion of 1/3 in y 0.931 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (cos y) 2))) in y 0.931 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 0.931 * [taylor]: Taking taylor expansion of 2 in y 0.931 * [taylor]: Taking taylor expansion of (log z) in y 0.931 * [taylor]: Taking taylor expansion of z in y 0.931 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.931 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.931 * [taylor]: Taking taylor expansion of (cos y) in y 0.931 * [taylor]: Taking taylor expansion of y in y 0.936 * [taylor]: Taking taylor expansion of 0 in y 0.945 * [taylor]: Taking taylor expansion of 0 in y 0.959 * [taylor]: Taking taylor expansion of 0 in y 0.985 * [taylor]: Taking taylor expansion of 0 in y 0.986 * [approximate]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 0.986 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in y 0.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in y 0.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in y 0.986 * [taylor]: Taking taylor expansion of 1/3 in y 0.986 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in y 0.986 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in y 0.986 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.986 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.986 * [taylor]: Taking taylor expansion of y in y 0.986 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.986 * [taylor]: Taking taylor expansion of z in y 0.987 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 0.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 0.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in z 0.987 * [taylor]: Taking taylor expansion of 1/3 in z 0.987 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in z 0.987 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 0.987 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 0.987 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.987 * [taylor]: Taking taylor expansion of y in z 0.988 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.988 * [taylor]: Taking taylor expansion of z in z 0.989 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 0.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 0.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in z 0.989 * [taylor]: Taking taylor expansion of 1/3 in z 0.989 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in z 0.989 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 0.989 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 0.989 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.989 * [taylor]: Taking taylor expansion of y in z 0.989 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.989 * [taylor]: Taking taylor expansion of z in z 0.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))))) in y 0.991 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z)))) in y 0.991 * [taylor]: Taking taylor expansion of 1/3 in y 0.991 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))) in y 0.991 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.991 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.991 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.991 * [taylor]: Taking taylor expansion of y in y 0.991 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 0.991 * [taylor]: Taking taylor expansion of 2 in y 0.991 * [taylor]: Taking taylor expansion of (log z) in y 0.991 * [taylor]: Taking taylor expansion of z in y 0.997 * [taylor]: Taking taylor expansion of 0 in y 1.006 * [taylor]: Taking taylor expansion of 0 in y 1.021 * [taylor]: Taking taylor expansion of 0 in y 1.021 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3)) in (z y) around 0 1.021 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3)) in y 1.021 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.021 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.021 * [taylor]: Taking taylor expansion of -1 in y 1.022 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in y 1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in y 1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in y 1.022 * [taylor]: Taking taylor expansion of 1/3 in y 1.022 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in y 1.022 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in y 1.022 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.022 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.022 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.022 * [taylor]: Taking taylor expansion of -1 in y 1.022 * [taylor]: Taking taylor expansion of y in y 1.022 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.022 * [taylor]: Taking taylor expansion of z in y 1.023 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3)) in z 1.023 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.023 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.023 * [taylor]: Taking taylor expansion of -1 in z 1.024 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 1.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 1.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 1.024 * [taylor]: Taking taylor expansion of 1/3 in z 1.024 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 1.024 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 1.024 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 1.024 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 1.024 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.024 * [taylor]: Taking taylor expansion of -1 in z 1.024 * [taylor]: Taking taylor expansion of y in z 1.025 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.025 * [taylor]: Taking taylor expansion of z in z 1.026 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3)) in z 1.026 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.026 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.026 * [taylor]: Taking taylor expansion of -1 in z 1.026 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 1.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 1.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 1.027 * [taylor]: Taking taylor expansion of 1/3 in z 1.027 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 1.027 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 1.027 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 1.027 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 1.027 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.027 * [taylor]: Taking taylor expansion of -1 in z 1.027 * [taylor]: Taking taylor expansion of y in z 1.027 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.027 * [taylor]: Taking taylor expansion of z in z 1.030 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z)))))) in y 1.030 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.030 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.030 * [taylor]: Taking taylor expansion of -1 in y 1.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))))) in y 1.031 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z)))) in y 1.031 * [taylor]: Taking taylor expansion of 1/3 in y 1.031 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))) in y 1.031 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.031 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.031 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.031 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.031 * [taylor]: Taking taylor expansion of -1 in y 1.031 * [taylor]: Taking taylor expansion of y in y 1.031 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 1.031 * [taylor]: Taking taylor expansion of 2 in y 1.031 * [taylor]: Taking taylor expansion of (log z) in y 1.031 * [taylor]: Taking taylor expansion of z in y 1.040 * [taylor]: Taking taylor expansion of 0 in y 1.053 * [taylor]: Taking taylor expansion of 0 in y 1.076 * [taylor]: Taking taylor expansion of 0 in y 1.077 * * * [progress]: simplifying candidates 1.078 * [simplify]: Simplifying using # : (expm1 (cbrt (* z (cos y)))) (log1p (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)))) (expm1 (cbrt (* z (cos y)))) (log1p (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)))) (expm1 (cbrt (* z (cos y)))) (log1p (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)))) (expm1 (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (log1p (* (cbrt (* z (cos y))) (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)))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 2/3) (* 1/3 (* (pow (pow z 2) 1/3) (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)) 1.083 * * [simplify]: iteration 0 : 179 enodes (cost 463 ) 1.087 * * [simplify]: iteration 1 : 700 enodes (cost 412 ) 1.104 * * [simplify]: iteration 2 : 3661 enodes (cost 382 ) 1.199 * * [simplify]: iteration 3 : 5001 enodes (cost 357 ) 1.202 * [simplify]: Simplified to: (expm1 (cbrt (* z (cos y)))) (log1p (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (pow z 1/3) (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)))) (expm1 (cbrt (* z (cos y)))) (log1p (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (pow z 1/3) (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)))) (expm1 (cbrt (* z (cos y)))) (log1p (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (pow z 1/3) (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)))) (expm1 (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) (log1p (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))) 2/3 2 (* (pow z 2) (pow (cos y) 2)) (* (pow (cos y) 2/3) (pow z 2/3)) 2 (* 2 (log (cbrt (* z (cos y))))) (* 2 (log (cbrt (* z (cos y))))) (pow (exp 1) (pow (sqrt (cbrt (* z (cos y)))) 4)) (* (pow z 2) (pow (cos y) 2)) (* (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))))) (* (pow z 2) (pow (cos y) 2)) (cbrt (* z (cos y))) (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 (cos y) 2/3) (pow z 2/3)) (cbrt (* z (cos y))) (cbrt (* z (cos y))) 2/3 2 (* (cbrt (* z (cos y))) (cbrt z)) (pow (cbrt (cbrt (* z (cos y)))) 5) (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 (cos y) 2/3) (pow z 2/3)) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (cbrt (* z (cos y))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (cbrt (* z (cos y))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (cbrt (* z (cos y))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) (- (pow z 2/3) (* 1/3 (* (pow (pow z 2) 1/3) (pow y 2)))) (* (pow (cos y) 2/3) (pow z 2/3)) (* (exp (* 1/3 (- (log (pow (cos y) 2)) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) 1.202 * * * [progress]: adding candidates to table 1.440 * * [progress]: iteration 3 / 4 1.441 * * * [progress]: picking best candidate 1.468 * * * * [pick]: Picked # 1.468 * * * [progress]: localizing error 1.482 * * * [progress]: generating rewritten candidates 1.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.488 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.506 * * * [progress]: generating series expansions 1.506 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.506 * [approximate]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in (x y) around 0 1.506 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in y 1.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in y 1.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in y 1.506 * [taylor]: Taking taylor expansion of 1/3 in y 1.506 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in y 1.506 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 1.506 * [taylor]: Taking taylor expansion of x in y 1.506 * [taylor]: Taking taylor expansion of (sin y) in y 1.506 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.506 * [taylor]: Taking taylor expansion of 1/3 in x 1.506 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.506 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (sin y) in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.507 * [taylor]: Taking taylor expansion of 1/3 in x 1.507 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.507 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (sin y) in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.507 * [taylor]: Taking taylor expansion of 1/3 in y 1.507 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.507 * [taylor]: Taking taylor expansion of (sin y) in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.511 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (sin y) 2)) 1/3)) in y 1.511 * [taylor]: Taking taylor expansion of 1/3 in y 1.511 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 2)) 1/3) in y 1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 2))))) in y 1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 2)))) in y 1.511 * [taylor]: Taking taylor expansion of 1/3 in y 1.511 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 2))) in y 1.511 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 2)) in y 1.511 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.511 * [taylor]: Taking taylor expansion of (sin y) in y 1.511 * [taylor]: Taking taylor expansion of y in y 1.523 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (sin y) 5)) 1/3)) in y 1.523 * [taylor]: Taking taylor expansion of -1/9 in y 1.523 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 5)) 1/3) in y 1.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 5))))) in y 1.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 5)))) in y 1.523 * [taylor]: Taking taylor expansion of 1/3 in y 1.523 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 5))) in y 1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 5)) in y 1.523 * [taylor]: Taking taylor expansion of (pow (sin y) 5) in y 1.523 * [taylor]: Taking taylor expansion of (sin y) in y 1.523 * [taylor]: Taking taylor expansion of y in y 1.526 * [approximate]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.526 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in y 1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in y 1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in y 1.526 * [taylor]: Taking taylor expansion of 1/3 in y 1.526 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in y 1.526 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 1.526 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.526 * [taylor]: Taking taylor expansion of y in y 1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.526 * [taylor]: Taking taylor expansion of x in y 1.526 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.527 * [taylor]: Taking taylor expansion of 1/3 in x 1.527 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.527 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.527 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.527 * [taylor]: Taking taylor expansion of y in x 1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.527 * [taylor]: Taking taylor expansion of x in x 1.528 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.528 * [taylor]: Taking taylor expansion of 1/3 in x 1.528 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.528 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.528 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.528 * [taylor]: Taking taylor expansion of y in x 1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.528 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of (pow x -1/3) in y 1.529 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in y 1.529 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in y 1.529 * [taylor]: Taking taylor expansion of -1/3 in y 1.529 * [taylor]: Taking taylor expansion of (log x) in y 1.529 * [taylor]: Taking taylor expansion of x in y 1.531 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 x) 1/3) (sin (/ 1 y)))) in y 1.531 * [taylor]: Taking taylor expansion of 1/3 in y 1.531 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (sin (/ 1 y))) in y 1.531 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.531 * [taylor]: Taking taylor expansion of 1/3 in y 1.531 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.531 * [taylor]: Taking taylor expansion of x in y 1.531 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.531 * [taylor]: Taking taylor expansion of y in y 1.537 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2))) in y 1.537 * [taylor]: Taking taylor expansion of -1/9 in y 1.537 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2)) in y 1.537 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.537 * [taylor]: Taking taylor expansion of 1/3 in y 1.537 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.537 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.537 * [taylor]: Taking taylor expansion of x in y 1.537 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.537 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.537 * [taylor]: Taking taylor expansion of y in y 1.539 * [approximate]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.539 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in y 1.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in y 1.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in y 1.539 * [taylor]: Taking taylor expansion of 1/3 in y 1.539 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in y 1.539 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 1.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.539 * [taylor]: Taking taylor expansion of -1 in y 1.539 * [taylor]: Taking taylor expansion of y in y 1.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.539 * [taylor]: Taking taylor expansion of x in y 1.540 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.540 * [taylor]: Taking taylor expansion of 1/3 in x 1.540 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.540 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.540 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.540 * [taylor]: Taking taylor expansion of -1 in x 1.540 * [taylor]: Taking taylor expansion of y in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.542 * [taylor]: Taking taylor expansion of 1/3 in x 1.542 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.542 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.542 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.542 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.542 * [taylor]: Taking taylor expansion of -1 in x 1.542 * [taylor]: Taking taylor expansion of y in x 1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.544 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.544 * [taylor]: Taking taylor expansion of 1/3 in y 1.544 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.544 * [taylor]: Taking taylor expansion of (log -1) in y 1.545 * [taylor]: Taking taylor expansion of -1 in y 1.545 * [taylor]: Taking taylor expansion of (log x) in y 1.545 * [taylor]: Taking taylor expansion of x in y 1.548 * [taylor]: Taking taylor expansion of (* -1/3 (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.548 * [taylor]: Taking taylor expansion of -1/3 in y 1.549 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x))))) in y 1.549 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.549 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.549 * [taylor]: Taking taylor expansion of -1 in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.549 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.549 * [taylor]: Taking taylor expansion of 1/3 in y 1.549 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.549 * [taylor]: Taking taylor expansion of (log -1) in y 1.549 * [taylor]: Taking taylor expansion of -1 in y 1.549 * [taylor]: Taking taylor expansion of (log x) in y 1.549 * [taylor]: Taking taylor expansion of x in y 1.559 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.559 * [taylor]: Taking taylor expansion of -1/9 in y 1.559 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x))))) in y 1.559 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.560 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.560 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.560 * [taylor]: Taking taylor expansion of -1 in y 1.560 * [taylor]: Taking taylor expansion of y in y 1.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.560 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.560 * [taylor]: Taking taylor expansion of 1/3 in y 1.560 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.560 * [taylor]: Taking taylor expansion of (log -1) in y 1.560 * [taylor]: Taking taylor expansion of -1 in y 1.560 * [taylor]: Taking taylor expansion of (log x) in y 1.560 * [taylor]: Taking taylor expansion of x in y 1.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.564 * [approximate]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in (x y) around 0 1.564 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in y 1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in y 1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in y 1.564 * [taylor]: Taking taylor expansion of 1/3 in y 1.564 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in y 1.564 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 1.564 * [taylor]: Taking taylor expansion of x in y 1.564 * [taylor]: Taking taylor expansion of (sin y) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.564 * [taylor]: Taking taylor expansion of 1/3 in x 1.564 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.564 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (sin y) in x 1.564 * [taylor]: Taking taylor expansion of y in x 1.565 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.565 * [taylor]: Taking taylor expansion of 1/3 in x 1.565 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.565 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.565 * [taylor]: Taking taylor expansion of (sin y) in x 1.565 * [taylor]: Taking taylor expansion of y in x 1.565 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.565 * [taylor]: Taking taylor expansion of 1/3 in y 1.565 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.565 * [taylor]: Taking taylor expansion of (sin y) in y 1.565 * [taylor]: Taking taylor expansion of y in y 1.569 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (sin y) 2)) 1/3)) in y 1.569 * [taylor]: Taking taylor expansion of 1/3 in y 1.569 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 2)) 1/3) in y 1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 2))))) in y 1.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 2)))) in y 1.569 * [taylor]: Taking taylor expansion of 1/3 in y 1.569 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 2))) in y 1.569 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 2)) in y 1.569 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.569 * [taylor]: Taking taylor expansion of (sin y) in y 1.569 * [taylor]: Taking taylor expansion of y in y 1.576 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (sin y) 5)) 1/3)) in y 1.576 * [taylor]: Taking taylor expansion of -1/9 in y 1.576 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 5)) 1/3) in y 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 5))))) in y 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 5)))) in y 1.576 * [taylor]: Taking taylor expansion of 1/3 in y 1.576 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 5))) in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 5)) in y 1.576 * [taylor]: Taking taylor expansion of (pow (sin y) 5) in y 1.576 * [taylor]: Taking taylor expansion of (sin y) in y 1.576 * [taylor]: Taking taylor expansion of y in y 1.579 * [approximate]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.579 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in y 1.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in y 1.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in y 1.579 * [taylor]: Taking taylor expansion of 1/3 in y 1.579 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in y 1.579 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 1.579 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.579 * [taylor]: Taking taylor expansion of y in y 1.579 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.579 * [taylor]: Taking taylor expansion of x in y 1.580 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.580 * [taylor]: Taking taylor expansion of 1/3 in x 1.580 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.580 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.580 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.580 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.580 * [taylor]: Taking taylor expansion of y in x 1.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.580 * [taylor]: Taking taylor expansion of x in x 1.581 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.581 * [taylor]: Taking taylor expansion of 1/3 in x 1.581 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.581 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.581 * [taylor]: Taking taylor expansion of y in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (pow x -1/3) in y 1.583 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in y 1.583 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in y 1.583 * [taylor]: Taking taylor expansion of -1/3 in y 1.583 * [taylor]: Taking taylor expansion of (log x) in y 1.583 * [taylor]: Taking taylor expansion of x in y 1.584 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 x) 1/3) (sin (/ 1 y)))) in y 1.584 * [taylor]: Taking taylor expansion of 1/3 in y 1.584 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (sin (/ 1 y))) in y 1.584 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.584 * [taylor]: Taking taylor expansion of 1/3 in y 1.584 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.584 * [taylor]: Taking taylor expansion of x in y 1.585 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.591 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2))) in y 1.591 * [taylor]: Taking taylor expansion of -1/9 in y 1.591 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2)) in y 1.591 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.591 * [taylor]: Taking taylor expansion of 1/3 in y 1.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.591 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.591 * [taylor]: Taking taylor expansion of x in y 1.591 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.591 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.591 * [taylor]: Taking taylor expansion of y in y 1.592 * [approximate]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.593 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in y 1.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in y 1.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in y 1.593 * [taylor]: Taking taylor expansion of 1/3 in y 1.593 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in y 1.593 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 1.593 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.593 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.593 * [taylor]: Taking taylor expansion of -1 in y 1.593 * [taylor]: Taking taylor expansion of y in y 1.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.593 * [taylor]: Taking taylor expansion of x in y 1.593 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.593 * [taylor]: Taking taylor expansion of 1/3 in x 1.593 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.593 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.593 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.593 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.593 * [taylor]: Taking taylor expansion of -1 in x 1.594 * [taylor]: Taking taylor expansion of y in x 1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.594 * [taylor]: Taking taylor expansion of x in x 1.596 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.596 * [taylor]: Taking taylor expansion of 1/3 in x 1.596 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.596 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.596 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.596 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.596 * [taylor]: Taking taylor expansion of -1 in x 1.596 * [taylor]: Taking taylor expansion of y in x 1.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.596 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.598 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.598 * [taylor]: Taking taylor expansion of 1/3 in y 1.598 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.598 * [taylor]: Taking taylor expansion of (log -1) in y 1.598 * [taylor]: Taking taylor expansion of -1 in y 1.598 * [taylor]: Taking taylor expansion of (log x) in y 1.598 * [taylor]: Taking taylor expansion of x in y 1.602 * [taylor]: Taking taylor expansion of (* -1/3 (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.602 * [taylor]: Taking taylor expansion of -1/3 in y 1.602 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x))))) in y 1.602 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.602 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.602 * [taylor]: Taking taylor expansion of -1 in y 1.602 * [taylor]: Taking taylor expansion of y in y 1.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.603 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.603 * [taylor]: Taking taylor expansion of 1/3 in y 1.603 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.603 * [taylor]: Taking taylor expansion of (log -1) in y 1.603 * [taylor]: Taking taylor expansion of -1 in y 1.603 * [taylor]: Taking taylor expansion of (log x) in y 1.603 * [taylor]: Taking taylor expansion of x in y 1.618 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.618 * [taylor]: Taking taylor expansion of -1/9 in y 1.618 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x))))) in y 1.618 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.618 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.618 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.618 * [taylor]: Taking taylor expansion of -1 in y 1.618 * [taylor]: Taking taylor expansion of y in y 1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.618 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.618 * [taylor]: Taking taylor expansion of 1/3 in y 1.618 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.618 * [taylor]: Taking taylor expansion of (log -1) in y 1.618 * [taylor]: Taking taylor expansion of -1 in y 1.619 * [taylor]: Taking taylor expansion of (log x) in y 1.619 * [taylor]: Taking taylor expansion of x in y 1.622 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.623 * [approximate]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in (x y) around 0 1.623 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in y 1.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in y 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in y 1.623 * [taylor]: Taking taylor expansion of 1/3 in y 1.623 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in y 1.623 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 1.623 * [taylor]: Taking taylor expansion of x in y 1.623 * [taylor]: Taking taylor expansion of (sin y) in y 1.623 * [taylor]: Taking taylor expansion of y in y 1.623 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.623 * [taylor]: Taking taylor expansion of 1/3 in x 1.623 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.623 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (sin y) in x 1.623 * [taylor]: Taking taylor expansion of y in x 1.623 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 1/3) in x 1.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (sin y))))) in x 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (sin y)))) in x 1.623 * [taylor]: Taking taylor expansion of 1/3 in x 1.623 * [taylor]: Taking taylor expansion of (log (+ x (sin y))) in x 1.623 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (sin y) in x 1.623 * [taylor]: Taking taylor expansion of y in x 1.624 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.624 * [taylor]: Taking taylor expansion of 1/3 in y 1.624 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.624 * [taylor]: Taking taylor expansion of (sin y) in y 1.624 * [taylor]: Taking taylor expansion of y in y 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (sin y) 2)) 1/3)) in y 1.627 * [taylor]: Taking taylor expansion of 1/3 in y 1.627 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 2)) 1/3) in y 1.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 2))))) in y 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 2)))) in y 1.627 * [taylor]: Taking taylor expansion of 1/3 in y 1.627 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 2))) in y 1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 2)) in y 1.627 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.627 * [taylor]: Taking taylor expansion of (sin y) in y 1.627 * [taylor]: Taking taylor expansion of y in y 1.635 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (sin y) 5)) 1/3)) in y 1.635 * [taylor]: Taking taylor expansion of -1/9 in y 1.635 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 5)) 1/3) in y 1.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 5))))) in y 1.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 5)))) in y 1.635 * [taylor]: Taking taylor expansion of 1/3 in y 1.635 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 5))) in y 1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 5)) in y 1.635 * [taylor]: Taking taylor expansion of (pow (sin y) 5) in y 1.635 * [taylor]: Taking taylor expansion of (sin y) in y 1.635 * [taylor]: Taking taylor expansion of y in y 1.637 * [approximate]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.637 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in y 1.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in y 1.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in y 1.637 * [taylor]: Taking taylor expansion of 1/3 in y 1.637 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in y 1.637 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 1.637 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.638 * [taylor]: Taking taylor expansion of y in y 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.638 * [taylor]: Taking taylor expansion of x in y 1.638 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.638 * [taylor]: Taking taylor expansion of 1/3 in x 1.638 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.638 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.638 * [taylor]: Taking taylor expansion of y in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 1/3) in x 1.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x))))) in x 1.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (sin (/ 1 y)) (/ 1 x)))) in x 1.639 * [taylor]: Taking taylor expansion of 1/3 in x 1.640 * [taylor]: Taking taylor expansion of (log (+ (sin (/ 1 y)) (/ 1 x))) in x 1.640 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.640 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.640 * [taylor]: Taking taylor expansion of y in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.641 * [taylor]: Taking taylor expansion of (pow x -1/3) in y 1.641 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in y 1.641 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in y 1.641 * [taylor]: Taking taylor expansion of -1/3 in y 1.641 * [taylor]: Taking taylor expansion of (log x) in y 1.641 * [taylor]: Taking taylor expansion of x in y 1.642 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 x) 1/3) (sin (/ 1 y)))) in y 1.643 * [taylor]: Taking taylor expansion of 1/3 in y 1.643 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (sin (/ 1 y))) in y 1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.643 * [taylor]: Taking taylor expansion of 1/3 in y 1.643 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.643 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.643 * [taylor]: Taking taylor expansion of x in y 1.643 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.643 * [taylor]: Taking taylor expansion of y in y 1.649 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2))) in y 1.649 * [taylor]: Taking taylor expansion of -1/9 in y 1.649 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (pow (sin (/ 1 y)) 2)) in y 1.649 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 1.649 * [taylor]: Taking taylor expansion of 1/3 in y 1.649 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.649 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.649 * [taylor]: Taking taylor expansion of x in y 1.649 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.649 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.649 * [taylor]: Taking taylor expansion of y in y 1.651 * [approximate]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in (x y) around 0 1.651 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in y 1.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in y 1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in y 1.651 * [taylor]: Taking taylor expansion of 1/3 in y 1.651 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in y 1.651 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 1.651 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.651 * [taylor]: Taking taylor expansion of -1 in y 1.651 * [taylor]: Taking taylor expansion of y in y 1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.651 * [taylor]: Taking taylor expansion of x in y 1.652 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.652 * [taylor]: Taking taylor expansion of 1/3 in x 1.652 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.652 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.652 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.652 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.652 * [taylor]: Taking taylor expansion of -1 in x 1.652 * [taylor]: Taking taylor expansion of y in x 1.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.652 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 1/3) in x 1.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x))))) in x 1.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (sin (/ -1 y)) (/ 1 x)))) in x 1.654 * [taylor]: Taking taylor expansion of 1/3 in x 1.654 * [taylor]: Taking taylor expansion of (log (- (sin (/ -1 y)) (/ 1 x))) in x 1.654 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.654 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.654 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.654 * [taylor]: Taking taylor expansion of -1 in x 1.654 * [taylor]: Taking taylor expansion of y in x 1.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.656 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.656 * [taylor]: Taking taylor expansion of 1/3 in y 1.656 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.656 * [taylor]: Taking taylor expansion of (log -1) in y 1.656 * [taylor]: Taking taylor expansion of -1 in y 1.657 * [taylor]: Taking taylor expansion of (log x) in y 1.657 * [taylor]: Taking taylor expansion of x in y 1.660 * [taylor]: Taking taylor expansion of (* -1/3 (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.660 * [taylor]: Taking taylor expansion of -1/3 in y 1.660 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (exp (* 1/3 (- (log -1) (log x))))) in y 1.660 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.660 * [taylor]: Taking taylor expansion of -1 in y 1.660 * [taylor]: Taking taylor expansion of y in y 1.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.661 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.661 * [taylor]: Taking taylor expansion of 1/3 in y 1.661 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.661 * [taylor]: Taking taylor expansion of (log -1) in y 1.661 * [taylor]: Taking taylor expansion of -1 in y 1.661 * [taylor]: Taking taylor expansion of (log x) in y 1.661 * [taylor]: Taking taylor expansion of x in y 1.671 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x)))))) in y 1.671 * [taylor]: Taking taylor expansion of -1/9 in y 1.671 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x))))) in y 1.671 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.672 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.672 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.672 * [taylor]: Taking taylor expansion of -1 in y 1.672 * [taylor]: Taking taylor expansion of y in y 1.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 1.672 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 1.672 * [taylor]: Taking taylor expansion of 1/3 in y 1.672 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.672 * [taylor]: Taking taylor expansion of (log -1) in y 1.672 * [taylor]: Taking taylor expansion of -1 in y 1.672 * [taylor]: Taking taylor expansion of (log x) in y 1.672 * [taylor]: Taking taylor expansion of x in y 1.676 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.676 * [approximate]: Taking taylor expansion of (pow (pow (+ x (sin y)) 2) 1/3) in (x y) around 0 1.676 * [taylor]: Taking taylor expansion of (pow (pow (+ x (sin y)) 2) 1/3) in y 1.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (sin y)) 2)))) in y 1.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (sin y)) 2))) in y 1.676 * [taylor]: Taking taylor expansion of 1/3 in y 1.676 * [taylor]: Taking taylor expansion of (log (pow (+ x (sin y)) 2)) in y 1.676 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 2) in y 1.676 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 1.676 * [taylor]: Taking taylor expansion of x in y 1.676 * [taylor]: Taking taylor expansion of (sin y) in y 1.676 * [taylor]: Taking taylor expansion of y in y 1.677 * [taylor]: Taking taylor expansion of (pow (pow (+ x (sin y)) 2) 1/3) in x 1.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (sin y)) 2)))) in x 1.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (sin y)) 2))) in x 1.677 * [taylor]: Taking taylor expansion of 1/3 in x 1.677 * [taylor]: Taking taylor expansion of (log (pow (+ x (sin y)) 2)) in x 1.677 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 2) in x 1.677 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.677 * [taylor]: Taking taylor expansion of (sin y) in x 1.677 * [taylor]: Taking taylor expansion of y in x 1.677 * [taylor]: Taking taylor expansion of (pow (pow (+ x (sin y)) 2) 1/3) in x 1.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (sin y)) 2)))) in x 1.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (sin y)) 2))) in x 1.677 * [taylor]: Taking taylor expansion of 1/3 in x 1.677 * [taylor]: Taking taylor expansion of (log (pow (+ x (sin y)) 2)) in x 1.677 * [taylor]: Taking taylor expansion of (pow (+ x (sin y)) 2) in x 1.677 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.677 * [taylor]: Taking taylor expansion of (sin y) in x 1.677 * [taylor]: Taking taylor expansion of y in x 1.678 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.678 * [taylor]: Taking taylor expansion of 1/3 in y 1.678 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.678 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.678 * [taylor]: Taking taylor expansion of (sin y) in y 1.678 * [taylor]: Taking taylor expansion of y in y 1.681 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (sin y)) 1/3)) in y 1.681 * [taylor]: Taking taylor expansion of 2/3 in y 1.681 * [taylor]: Taking taylor expansion of (pow (/ 1 (sin y)) 1/3) in y 1.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (sin y))))) in y 1.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (sin y)))) in y 1.682 * [taylor]: Taking taylor expansion of 1/3 in y 1.682 * [taylor]: Taking taylor expansion of (log (/ 1 (sin y))) in y 1.682 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 1.682 * [taylor]: Taking taylor expansion of (sin y) in y 1.682 * [taylor]: Taking taylor expansion of y in y 1.689 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (sin y) 4)) 1/3)) in y 1.689 * [taylor]: Taking taylor expansion of -1/9 in y 1.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin y) 4)) 1/3) in y 1.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin y) 4))))) in y 1.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin y) 4)))) in y 1.689 * [taylor]: Taking taylor expansion of 1/3 in y 1.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin y) 4))) in y 1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin y) 4)) in y 1.689 * [taylor]: Taking taylor expansion of (pow (sin y) 4) in y 1.689 * [taylor]: Taking taylor expansion of (sin y) in y 1.689 * [taylor]: Taking taylor expansion of y in y 1.692 * [approximate]: Taking taylor expansion of (pow (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) 1/3) in (x y) around 0 1.692 * [taylor]: Taking taylor expansion of (pow (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) 1/3) in y 1.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)))) in y 1.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2))) in y 1.692 * [taylor]: Taking taylor expansion of 1/3 in y 1.692 * [taylor]: Taking taylor expansion of (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)) in y 1.692 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) in y 1.692 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 1.692 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.692 * [taylor]: Taking taylor expansion of y in y 1.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.692 * [taylor]: Taking taylor expansion of x in y 1.693 * [taylor]: Taking taylor expansion of (pow (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) 1/3) in x 1.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)))) in x 1.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2))) in x 1.693 * [taylor]: Taking taylor expansion of 1/3 in x 1.693 * [taylor]: Taking taylor expansion of (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)) in x 1.693 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) in x 1.693 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.693 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.693 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.693 * [taylor]: Taking taylor expansion of y in x 1.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.693 * [taylor]: Taking taylor expansion of x in x 1.694 * [taylor]: Taking taylor expansion of (pow (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) 1/3) in x 1.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)))) in x 1.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2))) in x 1.694 * [taylor]: Taking taylor expansion of 1/3 in x 1.694 * [taylor]: Taking taylor expansion of (log (pow (+ (sin (/ 1 y)) (/ 1 x)) 2)) in x 1.694 * [taylor]: Taking taylor expansion of (pow (+ (sin (/ 1 y)) (/ 1 x)) 2) in x 1.694 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 1.694 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.695 * [taylor]: Taking taylor expansion of y in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of (pow x -2/3) in y 1.696 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y 1.696 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y 1.696 * [taylor]: Taking taylor expansion of -2/3 in y 1.696 * [taylor]: Taking taylor expansion of (log x) in y 1.696 * [taylor]: Taking taylor expansion of x in y 1.698 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow x 2)) 1/3) (sin (/ 1 y)))) in y 1.698 * [taylor]: Taking taylor expansion of 2/3 in y 1.698 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (sin (/ 1 y))) in y 1.698 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.698 * [taylor]: Taking taylor expansion of 1/3 in y 1.698 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.698 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.698 * [taylor]: Taking taylor expansion of x in y 1.698 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.698 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (pow (sin (/ 1 y)) 2))) in y 1.710 * [taylor]: Taking taylor expansion of -1/9 in y 1.710 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (sin (/ 1 y)) 2)) in y 1.710 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.710 * [taylor]: Taking taylor expansion of 1/3 in y 1.710 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.710 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.710 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.710 * [taylor]: Taking taylor expansion of x in y 1.710 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.710 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.711 * [taylor]: Taking taylor expansion of y in y 1.712 * [approximate]: Taking taylor expansion of (pow (pow (- (sin (/ -1 y)) (/ 1 x)) 2) 1/3) in (x y) around 0 1.712 * [taylor]: Taking taylor expansion of (pow (pow (- (sin (/ -1 y)) (/ 1 x)) 2) 1/3) in y 1.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)))) in y 1.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2))) in y 1.713 * [taylor]: Taking taylor expansion of 1/3 in y 1.713 * [taylor]: Taking taylor expansion of (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)) in y 1.713 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 2) in y 1.713 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 1.713 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.713 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.713 * [taylor]: Taking taylor expansion of -1 in y 1.713 * [taylor]: Taking taylor expansion of y in y 1.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.713 * [taylor]: Taking taylor expansion of x in y 1.714 * [taylor]: Taking taylor expansion of (pow (pow (- (sin (/ -1 y)) (/ 1 x)) 2) 1/3) in x 1.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)))) in x 1.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2))) in x 1.714 * [taylor]: Taking taylor expansion of 1/3 in x 1.714 * [taylor]: Taking taylor expansion of (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)) in x 1.714 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 2) in x 1.714 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.714 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.714 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.714 * [taylor]: Taking taylor expansion of -1 in x 1.714 * [taylor]: Taking taylor expansion of y in x 1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.714 * [taylor]: Taking taylor expansion of x in x 1.715 * [taylor]: Taking taylor expansion of (pow (pow (- (sin (/ -1 y)) (/ 1 x)) 2) 1/3) in x 1.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)))) in x 1.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2))) in x 1.715 * [taylor]: Taking taylor expansion of 1/3 in x 1.715 * [taylor]: Taking taylor expansion of (log (pow (- (sin (/ -1 y)) (/ 1 x)) 2)) in x 1.715 * [taylor]: Taking taylor expansion of (pow (- (sin (/ -1 y)) (/ 1 x)) 2) in x 1.715 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 1.715 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.715 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.716 * [taylor]: Taking taylor expansion of -1 in x 1.716 * [taylor]: Taking taylor expansion of y in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of (pow x -2/3) in y 1.717 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y 1.717 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y 1.717 * [taylor]: Taking taylor expansion of -2/3 in y 1.717 * [taylor]: Taking taylor expansion of (log x) in y 1.717 * [taylor]: Taking taylor expansion of x in y 1.719 * [taylor]: Taking taylor expansion of (* -2/3 (* (pow (/ 1 (pow x 2)) 1/3) (sin (/ -1 y)))) in y 1.719 * [taylor]: Taking taylor expansion of -2/3 in y 1.719 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (sin (/ -1 y))) in y 1.719 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.719 * [taylor]: Taking taylor expansion of 1/3 in y 1.719 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.719 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.719 * [taylor]: Taking taylor expansion of x in y 1.720 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.720 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.720 * [taylor]: Taking taylor expansion of -1 in y 1.720 * [taylor]: Taking taylor expansion of y in y 1.727 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (pow (sin (/ -1 y)) 2))) in y 1.727 * [taylor]: Taking taylor expansion of -1/9 in y 1.727 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (sin (/ -1 y)) 2)) in y 1.727 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.727 * [taylor]: Taking taylor expansion of 1/3 in y 1.727 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.727 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.727 * [taylor]: Taking taylor expansion of x in y 1.727 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.727 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.727 * [taylor]: Taking taylor expansion of -1 in y 1.727 * [taylor]: Taking taylor expansion of y in y 1.729 * * * [progress]: simplifying candidates 1.731 * [simplify]: Simplifying using # : (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (* (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (* (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt 1) (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (* (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (log1p (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (+ 1/3 1/3) (+ 1 1) (* (+ x (sin y)) (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (+ 1 1) (+ (log (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y))))) (log (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (exp (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (* (+ x (sin y)) (+ x (sin y))) (* (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (* (* (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (sqrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (sqrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- x (sin y)))) (* (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (- x (sin y))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))))) (* (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (- x (sin y))) (cbrt (- x (sin y)))) (* (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y)))))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* 1 1) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* 2 1/3) (* 2 1) (* (cbrt (+ x (sin y))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (* (cbrt (+ x (sin y))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (+ x (sin y))) (cbrt 1)) (* (cbrt (+ x (sin y))) (cbrt 1)) (* (cbrt (+ x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y)))))) (* (cbrt (+ x (sin y))) (sqrt (cbrt (+ x (sin y))))) (* (cbrt (+ x (sin y))) 1) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (* (sqrt (cbrt (+ x (sin y)))) (cbrt (+ x (sin y)))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (* (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (+ x (sin y))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ x (sin y)))) (* (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (+ x (sin y)))) (- (+ (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3))) (pow y 1/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3)))) (- (+ (* 1/3 (* (pow (/ 1 (pow x 2)) 1/3) (sin y))) (pow (/ 1 x) -1/3)) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2)))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2)))) (- (+ (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3))) (pow y 1/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3)))) (- (+ (* 1/3 (* (pow (/ 1 (pow x 2)) 1/3) (sin y))) (pow (/ 1 x) -1/3)) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2)))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2)))) (- (+ (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3))) (pow y 1/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3)))) (- (+ (* 1/3 (* (pow (/ 1 (pow x 2)) 1/3) (sin y))) (pow (/ 1 x) -1/3)) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2)))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2)))) (- (+ (* 2/3 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3)))) (- (+ (* 2/3 (* (pow (/ 1 x) 1/3) (sin y))) (pow (/ 1 x) -2/3)) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow (sin y) 2)))) (- (+ (* 2/3 (* (pow (/ 1 x) 1/3) (sin y))) (pow (/ -1 x) -2/3)) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow (sin y) 2)))) 1.737 * * [simplify]: iteration 0 : 353 enodes (cost 1062 ) 1.744 * * [simplify]: iteration 1 : 1350 enodes (cost 1002 ) 1.772 * * [simplify]: iteration 2 : 5001 enodes (cost 932 ) 1.777 * [simplify]: Simplified to: (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) 1 (cbrt (+ x (sin y))) 1 (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (+ x (sin y)) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) 1 (cbrt (+ x (sin y))) 1 (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (+ x (sin y)) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (cbrt (+ x (sin y)))) (log1p (cbrt (+ x (sin y)))) (log (cbrt (+ x (sin y)))) (exp (cbrt (+ x (sin y)))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y)))) 1 (cbrt (+ x (sin y))) 1 (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- x (sin y))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (cbrt (+ x (sin y)))) (+ x (sin y)) (sqrt (cbrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y)))) (expm1 (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (log1p (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) 2/3 2 (pow (cbrt (+ x (sin y))) 6) (pow (sqrt (cbrt (+ x (sin y)))) 4) 2 (* 2 (log (cbrt (+ x (sin y))))) (* 2 (log (cbrt (+ x (sin y))))) (pow (exp 1) (pow (sqrt (cbrt (+ x (sin y)))) 4)) (pow (cbrt (+ x (sin y))) 6) (* (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (pow (cbrt (+ x (sin y))) 6) (fabs (cbrt (+ x (sin y)))) (fabs (cbrt (+ x (sin y)))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- x (sin y)))) (* (cbrt (+ (pow x 3) (pow (sin y) 3))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y))))) (cbrt (- x (sin y)))) (* (cbrt (- (* x x) (* (sin y) (sin y)))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (- x (sin y))) (cbrt (- x (sin y)))) (* (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y))))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) 1 (pow (sqrt (cbrt (+ x (sin y)))) 4) 1 (pow (sqrt (cbrt (+ x (sin y)))) 4) 1 (pow (sqrt (cbrt (+ x (sin y)))) 4) 1 (pow (sqrt (cbrt (+ x (sin y)))) 4) (pow (cbrt (cbrt (+ x (sin y)))) 4) (* (cbrt (cbrt (+ x (sin y)))) (cbrt (cbrt (+ x (sin y))))) (cbrt (+ x (sin y))) (cbrt (+ x (sin y))) 1 (pow (sqrt (cbrt (+ x (sin y)))) 4) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (cbrt (sqrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (* (cbrt (sqrt (+ x (sin y)))) (sqrt (cbrt (+ x (sin y))))) (cbrt (+ x (sin y))) (cbrt (+ x (sin y))) 2/3 2 (* (cbrt (+ x (sin y))) (cbrt (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))))) (* (cbrt (+ x (sin y))) (cbrt (sqrt (+ x (sin y))))) (cbrt (+ x (sin y))) (cbrt (+ x (sin y))) (* (pow (cbrt (cbrt (+ x (sin y)))) 4) (cbrt (cbrt (+ x (sin y))))) (pow (sqrt (cbrt (+ x (sin y)))) 3) (cbrt (+ x (sin y))) (pow (cbrt (cbrt (+ x (sin y)))) 4) (* (cbrt (+ x (sin y))) (cbrt (sqrt (+ x (sin y))))) (pow (sqrt (cbrt (+ x (sin y)))) 4) (pow (sqrt (cbrt (+ x (sin y)))) 4) (pow (cbrt (cbrt (+ x (sin y)))) 4) (pow (sqrt (cbrt (+ x (sin y)))) 3) (pow (sqrt (cbrt (+ x (sin y)))) 4) (* (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (+ x (sin y))) (cbrt (- (* x x) (* (sin y) (sin y))))) (* (cbrt (+ x (sin y))) (cbrt (+ (pow x 3) (pow (sin y) 3)))) (* (cbrt (+ x (sin y))) (cbrt (- (* x x) (* (sin y) (sin y))))) (fma (* 1/3 x) (pow (/ 1 (pow y 2)) 1/3) (- (pow y 1/3) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))) (fma (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (sin y) (- (pow (/ 1 x) -1/3) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2))))) (fma 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2))))) (fma (* 1/3 x) (pow (/ 1 (pow y 2)) 1/3) (- (pow y 1/3) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))) (fma (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (sin y) (- (pow (/ 1 x) -1/3) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2))))) (fma 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2))))) (fma (* 1/3 x) (pow (/ 1 (pow y 2)) 1/3) (- (pow y 1/3) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))) (fma (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (sin y) (- (pow (/ 1 x) -1/3) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (sin y) 2))))) (fma 1/3 (/ (* (sin y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/9 (/ (* (pow (sin y) 2) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (pow x 2))))) (fma (* 2/3 x) (pow (/ 1 y) 1/3) (- (pow y 2/3) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))) (fma (* 2/3 (pow (/ 1 x) 1/3)) (sin y) (- (pow (/ 1 x) -2/3) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow (sin y) 2))))) (fma (* 2/3 (pow (/ 1 x) 1/3)) (sin y) (- (pow (/ -1 x) -2/3) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow (sin y) 2))))) 1.777 * * * [progress]: adding candidates to table 2.144 * * [progress]: iteration 4 / 4 2.145 * * * [progress]: picking best candidate 2.156 * * * * [pick]: Picked # 2.156 * * * [progress]: localizing error 2.173 * * * [progress]: generating rewritten candidates 2.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.186 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 2.189 * * * [progress]: generating series expansions 2.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.189 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) (pow (cos y) 2)) 1/3) in (z y) around 0 2.189 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (cos y) 2)) 1/3) in y 2.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (cos y) 2))))) in y 2.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (cos y) 2)))) in y 2.190 * [taylor]: Taking taylor expansion of 1/3 in y 2.190 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (cos y) 2))) in y 2.190 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (cos y) 2)) in y 2.190 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.190 * [taylor]: Taking taylor expansion of z in y 2.190 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.190 * [taylor]: Taking taylor expansion of (cos y) in y 2.190 * [taylor]: Taking taylor expansion of y in y 2.190 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (cos y) 2)) 1/3) in z 2.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (cos y) 2))))) in z 2.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (cos y) 2)))) in z 2.190 * [taylor]: Taking taylor expansion of 1/3 in z 2.190 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (cos y) 2))) in z 2.190 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (cos y) 2)) in z 2.191 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.191 * [taylor]: Taking taylor expansion of z in z 2.191 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 2.191 * [taylor]: Taking taylor expansion of (cos y) in z 2.191 * [taylor]: Taking taylor expansion of y in z 2.192 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (cos y) 2)) 1/3) in z 2.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (cos y) 2))))) in z 2.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (cos y) 2)))) in z 2.192 * [taylor]: Taking taylor expansion of 1/3 in z 2.192 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (cos y) 2))) in z 2.192 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (cos y) 2)) in z 2.192 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.192 * [taylor]: Taking taylor expansion of z in z 2.192 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 2.192 * [taylor]: Taking taylor expansion of (cos y) in z 2.192 * [taylor]: Taking taylor expansion of y in z 2.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (cos y) 2))))) in y 2.194 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (cos y) 2)))) in y 2.194 * [taylor]: Taking taylor expansion of 1/3 in y 2.194 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (cos y) 2))) in y 2.194 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.194 * [taylor]: Taking taylor expansion of 2 in y 2.194 * [taylor]: Taking taylor expansion of (log z) in y 2.194 * [taylor]: Taking taylor expansion of z in y 2.194 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.194 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.194 * [taylor]: Taking taylor expansion of (cos y) in y 2.194 * [taylor]: Taking taylor expansion of y in y 2.199 * [taylor]: Taking taylor expansion of 0 in y 2.212 * [taylor]: Taking taylor expansion of 0 in y 2.227 * [taylor]: Taking taylor expansion of 0 in y 2.246 * [taylor]: Taking taylor expansion of 0 in y 2.247 * [approximate]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 2.247 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in y 2.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in y 2.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in y 2.247 * [taylor]: Taking taylor expansion of 1/3 in y 2.247 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in y 2.247 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in y 2.247 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.247 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.247 * [taylor]: Taking taylor expansion of y in y 2.247 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.247 * [taylor]: Taking taylor expansion of z in y 2.248 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 2.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in z 2.248 * [taylor]: Taking taylor expansion of 1/3 in z 2.248 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in z 2.248 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 2.248 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 2.248 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.248 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.248 * [taylor]: Taking taylor expansion of y in z 2.249 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.249 * [taylor]: Taking taylor expansion of z in z 2.250 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))))) in z 2.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ 1 y)) 2) (pow z 2)))) in z 2.250 * [taylor]: Taking taylor expansion of 1/3 in z 2.250 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ 1 y)) 2) (pow z 2))) in z 2.250 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z 2.250 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 2.250 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.250 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.250 * [taylor]: Taking taylor expansion of y in z 2.250 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.250 * [taylor]: Taking taylor expansion of z in z 2.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))))) in y 2.252 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z)))) in y 2.252 * [taylor]: Taking taylor expansion of 1/3 in y 2.252 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ 1 y)) 2)) (* 2 (log z))) in y 2.252 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.252 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.252 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.252 * [taylor]: Taking taylor expansion of y in y 2.252 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.252 * [taylor]: Taking taylor expansion of 2 in y 2.252 * [taylor]: Taking taylor expansion of (log z) in y 2.252 * [taylor]: Taking taylor expansion of z in y 2.258 * [taylor]: Taking taylor expansion of 0 in y 2.267 * [taylor]: Taking taylor expansion of 0 in y 2.281 * [taylor]: Taking taylor expansion of 0 in y 2.281 * [approximate]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 2.281 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in y 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in y 2.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in y 2.282 * [taylor]: Taking taylor expansion of 1/3 in y 2.282 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in y 2.282 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in y 2.282 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.282 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.282 * [taylor]: Taking taylor expansion of -1 in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.282 * [taylor]: Taking taylor expansion of z in y 2.283 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 2.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 2.283 * [taylor]: Taking taylor expansion of 1/3 in z 2.283 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 2.283 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 2.283 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 2.283 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.283 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.283 * [taylor]: Taking taylor expansion of -1 in z 2.283 * [taylor]: Taking taylor expansion of y in z 2.283 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.283 * [taylor]: Taking taylor expansion of z in z 2.284 * [taylor]: Taking taylor expansion of (pow (/ (pow (cos (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))))) in z 2.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (cos (/ -1 y)) 2) (pow z 2)))) in z 2.285 * [taylor]: Taking taylor expansion of 1/3 in z 2.285 * [taylor]: Taking taylor expansion of (log (/ (pow (cos (/ -1 y)) 2) (pow z 2))) in z 2.285 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z 2.285 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 2.285 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.285 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.285 * [taylor]: Taking taylor expansion of -1 in z 2.285 * [taylor]: Taking taylor expansion of y in z 2.285 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.285 * [taylor]: Taking taylor expansion of z in z 2.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))))) in y 2.286 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z)))) in y 2.286 * [taylor]: Taking taylor expansion of 1/3 in y 2.286 * [taylor]: Taking taylor expansion of (- (log (pow (cos (/ -1 y)) 2)) (* 2 (log z))) in y 2.286 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.286 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.286 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.286 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.286 * [taylor]: Taking taylor expansion of -1 in y 2.287 * [taylor]: Taking taylor expansion of y in y 2.292 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.293 * [taylor]: Taking taylor expansion of 2 in y 2.293 * [taylor]: Taking taylor expansion of (log z) in y 2.293 * [taylor]: Taking taylor expansion of z in y 2.298 * [taylor]: Taking taylor expansion of 0 in y 2.308 * [taylor]: Taking taylor expansion of 0 in y 2.322 * [taylor]: Taking taylor expansion of 0 in y 2.322 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.322 * [approximate]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in (z y) around 0 2.322 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in y 2.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in y 2.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in y 2.322 * [taylor]: Taking taylor expansion of 1/3 in y 2.322 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in y 2.322 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 2.322 * [taylor]: Taking taylor expansion of z in y 2.322 * [taylor]: Taking taylor expansion of (cos y) in y 2.322 * [taylor]: Taking taylor expansion of y in y 2.322 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 2.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 2.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 2.323 * [taylor]: Taking taylor expansion of 1/3 in z 2.323 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 2.323 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 2.323 * [taylor]: Taking taylor expansion of z in z 2.323 * [taylor]: Taking taylor expansion of (cos y) in z 2.323 * [taylor]: Taking taylor expansion of y in z 2.326 * [taylor]: Taking taylor expansion of (pow (* z (cos y)) 1/3) in z 2.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (cos y))))) in z 2.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (cos y)))) in z 2.326 * [taylor]: Taking taylor expansion of 1/3 in z 2.326 * [taylor]: Taking taylor expansion of (log (* z (cos y))) in z 2.326 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 2.326 * [taylor]: Taking taylor expansion of z in z 2.326 * [taylor]: Taking taylor expansion of (cos y) in z 2.326 * [taylor]: Taking taylor expansion of y in z 2.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (cos y))))) in y 2.328 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (cos y)))) in y 2.328 * [taylor]: Taking taylor expansion of 1/3 in y 2.328 * [taylor]: Taking taylor expansion of (+ (log z) (log (cos y))) in y 2.328 * [taylor]: Taking taylor expansion of (log z) in y 2.329 * [taylor]: Taking taylor expansion of z in y 2.329 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.329 * [taylor]: Taking taylor expansion of (cos y) in y 2.329 * [taylor]: Taking taylor expansion of y in y 2.333 * [taylor]: Taking taylor expansion of 0 in y 2.341 * [taylor]: Taking taylor expansion of 0 in y 2.354 * [taylor]: Taking taylor expansion of 0 in y 2.370 * [taylor]: Taking taylor expansion of 0 in y 2.371 * [approximate]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in (z y) around 0 2.371 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in y 2.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in y 2.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in y 2.371 * [taylor]: Taking taylor expansion of 1/3 in y 2.371 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in y 2.371 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 2.371 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.371 * [taylor]: Taking taylor expansion of y in y 2.371 * [taylor]: Taking taylor expansion of z in y 2.372 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.372 * [taylor]: Taking taylor expansion of 1/3 in z 2.372 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.372 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.372 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.372 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.372 * [taylor]: Taking taylor expansion of y in z 2.372 * [taylor]: Taking taylor expansion of z in z 2.373 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ 1 y)) z) 1/3) in z 2.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ 1 y)) z)))) in z 2.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ 1 y)) z))) in z 2.373 * [taylor]: Taking taylor expansion of 1/3 in z 2.373 * [taylor]: Taking taylor expansion of (log (/ (cos (/ 1 y)) z)) in z 2.373 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.373 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.373 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.373 * [taylor]: Taking taylor expansion of y in z 2.373 * [taylor]: Taking taylor expansion of z in z 2.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ 1 y))) (log z)))) in y 2.380 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ 1 y))) (log z))) in y 2.380 * [taylor]: Taking taylor expansion of 1/3 in y 2.380 * [taylor]: Taking taylor expansion of (- (log (cos (/ 1 y))) (log z)) in y 2.380 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.380 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.380 * [taylor]: Taking taylor expansion of y in y 2.381 * [taylor]: Taking taylor expansion of (log z) in y 2.381 * [taylor]: Taking taylor expansion of z in y 2.385 * [taylor]: Taking taylor expansion of 0 in y 2.393 * [taylor]: Taking taylor expansion of 0 in y 2.404 * [taylor]: Taking taylor expansion of 0 in y 2.405 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in (z y) around 0 2.405 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in y 2.405 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.405 * [taylor]: Taking taylor expansion of -1 in y 2.405 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in y 2.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in y 2.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in y 2.406 * [taylor]: Taking taylor expansion of 1/3 in y 2.406 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in y 2.406 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 2.406 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.406 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.406 * [taylor]: Taking taylor expansion of -1 in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.406 * [taylor]: Taking taylor expansion of z in y 2.406 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 2.406 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.406 * [taylor]: Taking taylor expansion of -1 in z 2.407 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.407 * [taylor]: Taking taylor expansion of 1/3 in z 2.407 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.407 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.407 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.407 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.407 * [taylor]: Taking taylor expansion of -1 in z 2.407 * [taylor]: Taking taylor expansion of y in z 2.407 * [taylor]: Taking taylor expansion of z in z 2.408 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (cos (/ -1 y)) z) 1/3)) in z 2.408 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.408 * [taylor]: Taking taylor expansion of -1 in z 2.409 * [taylor]: Taking taylor expansion of (pow (/ (cos (/ -1 y)) z) 1/3) in z 2.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (cos (/ -1 y)) z)))) in z 2.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (cos (/ -1 y)) z))) in z 2.409 * [taylor]: Taking taylor expansion of 1/3 in z 2.409 * [taylor]: Taking taylor expansion of (log (/ (cos (/ -1 y)) z)) in z 2.409 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 2.409 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.409 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.409 * [taylor]: Taking taylor expansion of -1 in z 2.409 * [taylor]: Taking taylor expansion of y in z 2.409 * [taylor]: Taking taylor expansion of z in z 2.410 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (cos (/ -1 y))) (log z))))) in y 2.410 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.410 * [taylor]: Taking taylor expansion of -1 in y 2.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (cos (/ -1 y))) (log z)))) in y 2.411 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (cos (/ -1 y))) (log z))) in y 2.411 * [taylor]: Taking taylor expansion of 1/3 in y 2.411 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 y))) (log z)) in y 2.411 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.411 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.411 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.411 * [taylor]: Taking taylor expansion of -1 in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.412 * [taylor]: Taking taylor expansion of (log z) in y 2.412 * [taylor]: Taking taylor expansion of z in y 2.417 * [taylor]: Taking taylor expansion of 0 in y 2.427 * [taylor]: Taking taylor expansion of 0 in y 2.441 * [taylor]: Taking taylor expansion of 0 in y 2.442 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.442 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 2.442 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 2.442 * [taylor]: Taking taylor expansion of (cos y) in y 2.442 * [taylor]: Taking taylor expansion of y in y 2.442 * [taylor]: Taking taylor expansion of z in y 2.442 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.442 * [taylor]: Taking taylor expansion of (cos y) in z 2.442 * [taylor]: Taking taylor expansion of y in z 2.442 * [taylor]: Taking taylor expansion of z in z 2.442 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 2.442 * [taylor]: Taking taylor expansion of (cos y) in z 2.442 * [taylor]: Taking taylor expansion of y in z 2.442 * [taylor]: Taking taylor expansion of z in z 2.443 * [taylor]: Taking taylor expansion of 0 in y 2.444 * [taylor]: Taking taylor expansion of (cos y) in y 2.444 * [taylor]: Taking taylor expansion of y in y 2.447 * [taylor]: Taking taylor expansion of 0 in y 2.450 * [taylor]: Taking taylor expansion of 0 in y 2.450 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 2.450 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 2.451 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.451 * [taylor]: Taking taylor expansion of y in y 2.451 * [taylor]: Taking taylor expansion of z in y 2.451 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.451 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.451 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.451 * [taylor]: Taking taylor expansion of y in z 2.451 * [taylor]: Taking taylor expansion of z in z 2.451 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 2.451 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.451 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.452 * [taylor]: Taking taylor expansion of y in z 2.452 * [taylor]: Taking taylor expansion of z in z 2.452 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.452 * [taylor]: Taking taylor expansion of y in y 2.455 * [taylor]: Taking taylor expansion of 0 in y 2.458 * [taylor]: Taking taylor expansion of 0 in y 2.461 * [taylor]: Taking taylor expansion of 0 in y 2.462 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (cos (/ -1 y))) z) in (z y) around 0 2.462 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (cos (/ -1 y))) z) in y 2.462 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cos (/ -1 y))) in y 2.462 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.462 * [taylor]: Taking taylor expansion of -1 in y 2.468 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.468 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.468 * [taylor]: Taking taylor expansion of -1 in y 2.468 * [taylor]: Taking taylor expansion of y in y 2.469 * [taylor]: Taking taylor expansion of z in y 2.470 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (cos (/ -1 y))) z) in z 2.470 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cos (/ -1 y))) in z 2.470 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.470 * [taylor]: Taking taylor expansion of -1 in z 2.470 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.470 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.470 * [taylor]: Taking taylor expansion of -1 in z 2.470 * [taylor]: Taking taylor expansion of y in z 2.471 * [taylor]: Taking taylor expansion of z in z 2.472 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (cos (/ -1 y))) z) in z 2.472 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cos (/ -1 y))) in z 2.472 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.472 * [taylor]: Taking taylor expansion of -1 in z 2.472 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.472 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.472 * [taylor]: Taking taylor expansion of -1 in z 2.472 * [taylor]: Taking taylor expansion of y in z 2.472 * [taylor]: Taking taylor expansion of z in z 2.474 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cos (/ -1 y))) in y 2.474 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.474 * [taylor]: Taking taylor expansion of -1 in y 2.474 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.474 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.474 * [taylor]: Taking taylor expansion of -1 in y 2.474 * [taylor]: Taking taylor expansion of y in y 2.478 * [taylor]: Taking taylor expansion of 0 in y 2.483 * [taylor]: Taking taylor expansion of 0 in y 2.490 * [taylor]: Taking taylor expansion of 0 in y 2.491 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2) 2.491 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 2.491 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.491 * [taylor]: Taking taylor expansion of (cos y) in y 2.491 * [taylor]: Taking taylor expansion of y in y 2.491 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.491 * [taylor]: Taking taylor expansion of (cos y) in y 2.491 * [taylor]: Taking taylor expansion of y in y 2.496 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 2.496 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.496 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.497 * [taylor]: Taking taylor expansion of y in y 2.497 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.497 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.497 * [taylor]: Taking taylor expansion of y in y 2.501 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 2.502 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.502 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.502 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.502 * [taylor]: Taking taylor expansion of -1 in y 2.502 * [taylor]: Taking taylor expansion of y in y 2.502 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.502 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.502 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.502 * [taylor]: Taking taylor expansion of -1 in y 2.502 * [taylor]: Taking taylor expansion of y in y 2.506 * * * [progress]: simplifying candidates 2.507 * [simplify]: Simplifying using # : (expm1 (cbrt (* (pow z 2) (pow (cos y) 2)))) (log1p (cbrt (* (pow z 2) (pow (cos y) 2)))) (log (cbrt (* (pow z 2) (pow (cos y) 2)))) (exp (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (pow z 2)) (cbrt (pow (cos y) 2)) (* (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (cbrt (* (pow z 2) (pow (cos y) 2))))) (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (* (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (expm1 (cbrt (* z (cos y)))) (log1p (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)))) (expm1 (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (log1p (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (* (pow z 2) (pow (cos y) 2)) (* z (cos y))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))) (+ (log (cbrt (* (pow z 2) (pow (cos y) 2)))) (log (cbrt (* z (cos y))))) (log (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (exp (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (* (pow z 2) (pow (cos y) 2)) (* z (cos y))) (* (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))))) (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (* (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (sqrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (sqrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* z (cos y))))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* z (cos y))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt z)) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y)))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (sqrt (cbrt (* z (cos y))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) 1) (* (cbrt (pow (cos y) 2)) (cbrt (* z (cos y)))) (* (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (* z (cos y)))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (* z (cos y)))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (- (pow z 2/3) (* 1/3 (* (pow (pow z 2) 1/3) (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 z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) z (* z (cos y)) (* -1 (* (cbrt -1) (* (cos y) z))) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) 2.512 * * [simplify]: iteration 0 : 252 enodes (cost 506 ) 2.517 * * [simplify]: iteration 1 : 978 enodes (cost 457 ) 2.539 * * [simplify]: iteration 2 : 4654 enodes (cost 434 ) 2.649 * * [simplify]: iteration 3 : 5001 enodes (cost 434 ) 2.651 * [simplify]: Simplified to: (expm1 (cbrt (* (pow z 2) (pow (cos y) 2)))) (log1p (cbrt (* (pow z 2) (pow (cos y) 2)))) (log (cbrt (* (pow z 2) (pow (cos y) 2)))) (exp (cbrt (* (pow z 2) (pow (cos y) 2)))) (pow (pow z 2) 1/3) (cbrt (pow (cos y) 2)) (* (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (cbrt (* (pow z 2) (pow (cos y) 2))))) (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (* (pow z 2) (pow (cos y) 2)) (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (expm1 (cbrt (* z (cos y)))) (log1p (cbrt (* z (cos y)))) (log (cbrt (* z (cos y)))) (exp (cbrt (* z (cos y)))) (pow z 1/3) (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)))) (expm1 (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (log1p (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (pow (* z (cos y)) 3) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))) (log (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (log (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (exp (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (pow (* z (cos y)) 3) (* (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))))) (cbrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (pow (* z (cos y)) 3) (sqrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (sqrt (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y))))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* z (cos y))))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (cbrt (* z (cos y))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt z)) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (* (cbrt (cbrt (* z (cos y)))) (cbrt (cbrt (* z (cos y)))))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (sqrt (cbrt (* z (cos y))))) (cbrt (* (pow z 2) (pow (cos y) 2))) (* (cbrt (pow (cos y) 2)) (cbrt (* z (cos y)))) (* (cbrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (* z (cos y)))) (* (sqrt (cbrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (* z (cos y)))) (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* z (cos y)))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cbrt (cos y)) 4) (pow (cbrt (cos y)) 2) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (pow (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (- (pow z 2/3) (* 1/3 (* (pow (pow z 2) 1/3) (pow y 2)))) (exp (* 2/3 (- (log (cos y)) (log (/ 1 z))))) (exp (* 2/3 (- (log (cos y)) (log (/ -1 z))))) (- (pow z 1/3) (* 1/6 (* (pow z 1/3) (pow y 2)))) (exp (* 1/3 (- (log (cos y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (cos y)) (log (/ -1 z)))))) z (* z (cos y)) (* -1 (* (cbrt -1) (* (cos y) z))) (fma (pow y 4) 1/3 (- 1 (pow y 2))) (pow (cos y) 2) (pow (cos y) 2) 2.652 * * * [progress]: adding candidates to table 2.926 * [progress]: [Phase 3 of 3] Extracting. 2.926 * * [regime]: Finding splitpoints for: (# # # # # #) 2.928 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 2.928 * * * * [regimes]: Trying to branch on z from (# # # # # #) 2.957 * * * * [regimes]: Trying to branch on y from (# # # # # #) 2.983 * * * * [regimes]: Trying to branch on x from (# # # # # #) 3.012 * * * [regime]: Found split indices: #