7.981 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.157 * * * [progress]: [2/2] Setting up program. 0.161 * [progress]: [Phase 2 of 3] Improving. 0.161 * [simplify]: Simplifying using # : (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) 0.164 * * [simplify]: iteration 0 : 23 enodes (cost 10 ) 0.165 * * [simplify]: iteration 1 : 35 enodes (cost 10 ) 0.166 * * [simplify]: iteration 2 : 63 enodes (cost 10 ) 0.168 * * [simplify]: iteration 3 : 137 enodes (cost 10 ) 0.171 * * [simplify]: iteration 4 : 417 enodes (cost 10 ) 0.180 * * [simplify]: iteration 5 : 1785 enodes (cost 10 ) 0.213 * * [simplify]: iteration 6 : 5002 enodes (cost 10 ) 0.214 * [simplify]: Simplified to: (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) 0.214 * * [progress]: iteration 1 / 4 0.214 * * * [progress]: picking best candidate 0.217 * * * * [pick]: Picked # 0.217 * * * [progress]: localizing error 0.234 * * * [progress]: generating rewritten candidates 0.234 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 0.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 0.241 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.248 * * * [progress]: generating series expansions 0.248 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.248 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 0.248 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 0.248 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 0.248 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 0.248 * [taylor]: Taking taylor expansion of (sin kx) in ky 0.248 * [taylor]: Taking taylor expansion of kx in ky 0.248 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 0.248 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.248 * [taylor]: Taking taylor expansion of ky in ky 0.251 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 0.251 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 0.251 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 0.251 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.251 * [taylor]: Taking taylor expansion of kx in kx 0.252 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 0.252 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.252 * [taylor]: Taking taylor expansion of ky in kx 0.254 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 0.254 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 0.254 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 0.254 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.254 * [taylor]: Taking taylor expansion of kx in kx 0.254 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 0.254 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.254 * [taylor]: Taking taylor expansion of ky in kx 0.257 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.257 * [taylor]: Taking taylor expansion of ky in ky 0.257 * [taylor]: Taking taylor expansion of 0 in ky 0.261 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 0.261 * [taylor]: Taking taylor expansion of 1/2 in ky 0.261 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.261 * [taylor]: Taking taylor expansion of ky in ky 0.267 * [taylor]: Taking taylor expansion of 0 in ky 0.270 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 0.270 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.270 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.270 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.270 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.270 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.270 * [taylor]: Taking taylor expansion of kx in ky 0.270 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.270 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.270 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.270 * [taylor]: Taking taylor expansion of ky in ky 0.273 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.273 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.273 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.273 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.273 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.273 * [taylor]: Taking taylor expansion of kx in kx 0.274 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.274 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.274 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.274 * [taylor]: Taking taylor expansion of ky in kx 0.277 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.277 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.277 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.277 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.277 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.277 * [taylor]: Taking taylor expansion of kx in kx 0.277 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.277 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.277 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.277 * [taylor]: Taking taylor expansion of ky in kx 0.280 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.280 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.280 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.280 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.280 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.280 * [taylor]: Taking taylor expansion of kx in ky 0.280 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.280 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.280 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.280 * [taylor]: Taking taylor expansion of ky in ky 0.283 * [taylor]: Taking taylor expansion of 0 in ky 0.287 * [taylor]: Taking taylor expansion of 0 in ky 0.300 * [taylor]: Taking taylor expansion of 0 in ky 0.300 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 0.300 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.300 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.300 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.300 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.300 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.300 * [taylor]: Taking taylor expansion of -1 in ky 0.300 * [taylor]: Taking taylor expansion of kx in ky 0.301 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.301 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.301 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.301 * [taylor]: Taking taylor expansion of -1 in ky 0.301 * [taylor]: Taking taylor expansion of ky in ky 0.304 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.304 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.304 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.304 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.304 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.304 * [taylor]: Taking taylor expansion of -1 in kx 0.304 * [taylor]: Taking taylor expansion of kx in kx 0.304 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.304 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.304 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.304 * [taylor]: Taking taylor expansion of -1 in kx 0.304 * [taylor]: Taking taylor expansion of ky in kx 0.307 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.307 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.307 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.307 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.307 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.307 * [taylor]: Taking taylor expansion of -1 in kx 0.307 * [taylor]: Taking taylor expansion of kx in kx 0.308 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.308 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.308 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.308 * [taylor]: Taking taylor expansion of -1 in kx 0.308 * [taylor]: Taking taylor expansion of ky in kx 0.310 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.310 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.311 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.311 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.311 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.311 * [taylor]: Taking taylor expansion of -1 in ky 0.311 * [taylor]: Taking taylor expansion of kx in ky 0.311 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.311 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.311 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.311 * [taylor]: Taking taylor expansion of -1 in ky 0.311 * [taylor]: Taking taylor expansion of ky in ky 0.314 * [taylor]: Taking taylor expansion of 0 in ky 0.318 * [taylor]: Taking taylor expansion of 0 in ky 0.326 * [taylor]: Taking taylor expansion of 0 in ky 0.326 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 0.326 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 0.326 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 0.326 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 0.326 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 0.326 * [taylor]: Taking taylor expansion of 2.0 in ky 0.326 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 0.326 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.326 * [taylor]: Taking taylor expansion of ky in ky 0.328 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 0.328 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 0.328 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 0.328 * [taylor]: Taking taylor expansion of 2.0 in ky 0.328 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 0.328 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.328 * [taylor]: Taking taylor expansion of ky in ky 0.359 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 0.359 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 0.359 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 0.359 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 0.359 * [taylor]: Taking taylor expansion of 2.0 in ky 0.360 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 0.360 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.360 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.360 * [taylor]: Taking taylor expansion of ky in ky 0.360 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 0.360 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 0.360 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 0.360 * [taylor]: Taking taylor expansion of 2.0 in ky 0.360 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 0.360 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.360 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.360 * [taylor]: Taking taylor expansion of ky in ky 0.399 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 0.399 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 0.399 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 0.399 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 0.399 * [taylor]: Taking taylor expansion of 2.0 in ky 0.399 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 0.399 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.399 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.399 * [taylor]: Taking taylor expansion of -1 in ky 0.399 * [taylor]: Taking taylor expansion of ky in ky 0.400 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 0.400 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 0.400 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 0.400 * [taylor]: Taking taylor expansion of 2.0 in ky 0.400 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 0.400 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.400 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.400 * [taylor]: Taking taylor expansion of -1 in ky 0.400 * [taylor]: Taking taylor expansion of ky in ky 0.433 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 0.433 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 0.434 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 0.434 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 0.434 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 0.434 * [taylor]: Taking taylor expansion of 2.0 in kx 0.434 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 0.434 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.434 * [taylor]: Taking taylor expansion of kx in kx 0.435 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 0.435 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 0.435 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 0.435 * [taylor]: Taking taylor expansion of 2.0 in kx 0.435 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 0.435 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.435 * [taylor]: Taking taylor expansion of kx in kx 0.470 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 0.470 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 0.470 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 0.470 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 0.470 * [taylor]: Taking taylor expansion of 2.0 in kx 0.470 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 0.470 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.470 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.470 * [taylor]: Taking taylor expansion of kx in kx 0.471 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 0.471 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 0.471 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 0.471 * [taylor]: Taking taylor expansion of 2.0 in kx 0.471 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 0.471 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.471 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.471 * [taylor]: Taking taylor expansion of kx in kx 0.505 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 0.505 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 0.505 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 0.505 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 0.505 * [taylor]: Taking taylor expansion of 2.0 in kx 0.505 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 0.505 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.505 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.505 * [taylor]: Taking taylor expansion of -1 in kx 0.505 * [taylor]: Taking taylor expansion of kx in kx 0.505 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 0.505 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 0.506 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 0.506 * [taylor]: Taking taylor expansion of 2.0 in kx 0.506 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 0.506 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.506 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.506 * [taylor]: Taking taylor expansion of -1 in kx 0.506 * [taylor]: Taking taylor expansion of kx in kx 0.538 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.539 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in (ky kx th) around 0 0.539 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in th 0.539 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in th 0.539 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in th 0.539 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in th 0.539 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in th 0.539 * [taylor]: Taking taylor expansion of (sin kx) in th 0.539 * [taylor]: Taking taylor expansion of kx in th 0.539 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in th 0.539 * [taylor]: Taking taylor expansion of (sin ky) in th 0.539 * [taylor]: Taking taylor expansion of ky in th 0.544 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in th 0.544 * [taylor]: Taking taylor expansion of (sin ky) in th 0.544 * [taylor]: Taking taylor expansion of ky in th 0.544 * [taylor]: Taking taylor expansion of (sin th) in th 0.544 * [taylor]: Taking taylor expansion of th in th 0.544 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in kx 0.544 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 0.544 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 0.544 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 0.544 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 0.544 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.544 * [taylor]: Taking taylor expansion of kx in kx 0.544 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 0.544 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.544 * [taylor]: Taking taylor expansion of ky in kx 0.552 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in kx 0.552 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.552 * [taylor]: Taking taylor expansion of ky in kx 0.553 * [taylor]: Taking taylor expansion of (sin th) in kx 0.553 * [taylor]: Taking taylor expansion of th in kx 0.553 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 0.553 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 0.553 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 0.553 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 0.553 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 0.553 * [taylor]: Taking taylor expansion of (sin kx) in ky 0.553 * [taylor]: Taking taylor expansion of kx in ky 0.553 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 0.553 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.553 * [taylor]: Taking taylor expansion of ky in ky 0.556 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 0.556 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.556 * [taylor]: Taking taylor expansion of ky in ky 0.556 * [taylor]: Taking taylor expansion of (sin th) in ky 0.556 * [taylor]: Taking taylor expansion of th in ky 0.556 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 0.556 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 0.556 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 0.556 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 0.556 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 0.556 * [taylor]: Taking taylor expansion of (sin kx) in ky 0.556 * [taylor]: Taking taylor expansion of kx in ky 0.556 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 0.556 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.556 * [taylor]: Taking taylor expansion of ky in ky 0.559 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 0.559 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.559 * [taylor]: Taking taylor expansion of ky in ky 0.559 * [taylor]: Taking taylor expansion of (sin th) in ky 0.559 * [taylor]: Taking taylor expansion of th in ky 0.559 * [taylor]: Taking taylor expansion of 0 in kx 0.559 * [taylor]: Taking taylor expansion of 0 in th 0.562 * [taylor]: Taking taylor expansion of (/ (sin th) (sin kx)) in kx 0.562 * [taylor]: Taking taylor expansion of (sin th) in kx 0.562 * [taylor]: Taking taylor expansion of th in kx 0.562 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.562 * [taylor]: Taking taylor expansion of kx in kx 0.565 * [taylor]: Taking taylor expansion of 0 in th 0.565 * [taylor]: Taking taylor expansion of 0 in th 0.572 * [taylor]: Taking taylor expansion of 0 in kx 0.572 * [taylor]: Taking taylor expansion of 0 in th 0.576 * [taylor]: Taking taylor expansion of (* 1/6 (sin th)) in th 0.576 * [taylor]: Taking taylor expansion of 1/6 in th 0.576 * [taylor]: Taking taylor expansion of (sin th) in th 0.576 * [taylor]: Taking taylor expansion of th in th 0.576 * [approximate]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in (ky kx th) around 0 0.576 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 0.576 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 0.576 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 0.576 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 0.576 * [taylor]: Taking taylor expansion of ky in th 0.576 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 0.577 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.577 * [taylor]: Taking taylor expansion of th in th 0.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 0.577 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 0.577 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 0.577 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 0.577 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 0.577 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 0.577 * [taylor]: Taking taylor expansion of kx in th 0.577 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 0.577 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 0.577 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 0.577 * [taylor]: Taking taylor expansion of ky in th 0.582 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 0.582 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 0.582 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.582 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.582 * [taylor]: Taking taylor expansion of ky in kx 0.582 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 0.582 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 0.582 * [taylor]: Taking taylor expansion of th in kx 0.582 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 0.583 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.583 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.583 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.583 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.583 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.583 * [taylor]: Taking taylor expansion of kx in kx 0.583 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.583 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.583 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.583 * [taylor]: Taking taylor expansion of ky in kx 0.586 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 0.586 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 0.586 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.586 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.586 * [taylor]: Taking taylor expansion of ky in ky 0.587 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 0.587 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 0.587 * [taylor]: Taking taylor expansion of th in ky 0.587 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 0.587 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.587 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.587 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.587 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.587 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.587 * [taylor]: Taking taylor expansion of kx in ky 0.587 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.587 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.587 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.587 * [taylor]: Taking taylor expansion of ky in ky 0.591 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 0.591 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.591 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.591 * [taylor]: Taking taylor expansion of ky in ky 0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 0.591 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 0.591 * [taylor]: Taking taylor expansion of th in ky 0.591 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 0.591 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.591 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.591 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.591 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.591 * [taylor]: Taking taylor expansion of kx in ky 0.592 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.592 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.592 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.592 * [taylor]: Taking taylor expansion of ky in ky 0.596 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 0.596 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.596 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.596 * [taylor]: Taking taylor expansion of ky in kx 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 0.596 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 0.596 * [taylor]: Taking taylor expansion of th in kx 0.596 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 0.596 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.596 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.596 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.596 * [taylor]: Taking taylor expansion of kx in kx 0.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.596 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.597 * [taylor]: Taking taylor expansion of ky in kx 0.600 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 0.601 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 0.601 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 0.601 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 0.601 * [taylor]: Taking taylor expansion of ky in th 0.601 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 0.601 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.601 * [taylor]: Taking taylor expansion of th in th 0.601 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 0.601 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 0.601 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 0.601 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 0.601 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 0.601 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 0.601 * [taylor]: Taking taylor expansion of kx in th 0.601 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 0.601 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 0.601 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 0.601 * [taylor]: Taking taylor expansion of ky in th 0.609 * [taylor]: Taking taylor expansion of 0 in kx 0.609 * [taylor]: Taking taylor expansion of 0 in th 0.613 * [taylor]: Taking taylor expansion of 0 in th 0.622 * [taylor]: Taking taylor expansion of 0 in kx 0.622 * [taylor]: Taking taylor expansion of 0 in th 0.622 * [taylor]: Taking taylor expansion of 0 in th 0.631 * [taylor]: Taking taylor expansion of 0 in th 0.632 * [approximate]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in (ky kx th) around 0 0.632 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 0.632 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 0.632 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 0.632 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 0.632 * [taylor]: Taking taylor expansion of -1 in th 0.632 * [taylor]: Taking taylor expansion of ky in th 0.632 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 0.632 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.632 * [taylor]: Taking taylor expansion of -1 in th 0.632 * [taylor]: Taking taylor expansion of th in th 0.632 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 0.633 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 0.633 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 0.633 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 0.633 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 0.633 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 0.633 * [taylor]: Taking taylor expansion of -1 in th 0.633 * [taylor]: Taking taylor expansion of kx in th 0.633 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 0.633 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 0.633 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 0.633 * [taylor]: Taking taylor expansion of -1 in th 0.633 * [taylor]: Taking taylor expansion of ky in th 0.638 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 0.638 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 0.638 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.638 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.638 * [taylor]: Taking taylor expansion of -1 in kx 0.638 * [taylor]: Taking taylor expansion of ky in kx 0.638 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 0.638 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 0.638 * [taylor]: Taking taylor expansion of -1 in kx 0.638 * [taylor]: Taking taylor expansion of th in kx 0.638 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 0.638 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.638 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.638 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.638 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.638 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.638 * [taylor]: Taking taylor expansion of -1 in kx 0.638 * [taylor]: Taking taylor expansion of kx in kx 0.639 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.639 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.639 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.639 * [taylor]: Taking taylor expansion of -1 in kx 0.639 * [taylor]: Taking taylor expansion of ky in kx 0.646 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 0.647 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 0.647 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.647 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.647 * [taylor]: Taking taylor expansion of -1 in ky 0.647 * [taylor]: Taking taylor expansion of ky in ky 0.647 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 0.647 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 0.647 * [taylor]: Taking taylor expansion of -1 in ky 0.647 * [taylor]: Taking taylor expansion of th in ky 0.647 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 0.647 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.647 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.647 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.647 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.647 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.647 * [taylor]: Taking taylor expansion of -1 in ky 0.647 * [taylor]: Taking taylor expansion of kx in ky 0.648 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.648 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.648 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.648 * [taylor]: Taking taylor expansion of -1 in ky 0.648 * [taylor]: Taking taylor expansion of ky in ky 0.651 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 0.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 0.651 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.651 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.651 * [taylor]: Taking taylor expansion of -1 in ky 0.651 * [taylor]: Taking taylor expansion of ky in ky 0.652 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 0.652 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 0.652 * [taylor]: Taking taylor expansion of -1 in ky 0.652 * [taylor]: Taking taylor expansion of th in ky 0.652 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 0.652 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.652 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.652 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.652 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.652 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.652 * [taylor]: Taking taylor expansion of -1 in ky 0.652 * [taylor]: Taking taylor expansion of kx in ky 0.652 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.652 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.652 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.652 * [taylor]: Taking taylor expansion of -1 in ky 0.652 * [taylor]: Taking taylor expansion of ky in ky 0.656 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 0.656 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 0.656 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.656 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.656 * [taylor]: Taking taylor expansion of -1 in kx 0.656 * [taylor]: Taking taylor expansion of ky in kx 0.657 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 0.657 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 0.657 * [taylor]: Taking taylor expansion of -1 in kx 0.657 * [taylor]: Taking taylor expansion of th in kx 0.657 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 0.657 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.657 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.657 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.657 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.657 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.657 * [taylor]: Taking taylor expansion of -1 in kx 0.657 * [taylor]: Taking taylor expansion of kx in kx 0.657 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.657 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.657 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.657 * [taylor]: Taking taylor expansion of -1 in kx 0.657 * [taylor]: Taking taylor expansion of ky in kx 0.661 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 0.661 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 0.661 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 0.661 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 0.661 * [taylor]: Taking taylor expansion of -1 in th 0.661 * [taylor]: Taking taylor expansion of ky in th 0.661 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 0.661 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.661 * [taylor]: Taking taylor expansion of -1 in th 0.661 * [taylor]: Taking taylor expansion of th in th 0.662 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 0.662 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 0.662 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 0.662 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 0.662 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 0.662 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 0.662 * [taylor]: Taking taylor expansion of -1 in th 0.662 * [taylor]: Taking taylor expansion of kx in th 0.662 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 0.662 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 0.662 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 0.662 * [taylor]: Taking taylor expansion of -1 in th 0.662 * [taylor]: Taking taylor expansion of ky in th 0.670 * [taylor]: Taking taylor expansion of 0 in kx 0.670 * [taylor]: Taking taylor expansion of 0 in th 0.674 * [taylor]: Taking taylor expansion of 0 in th 0.683 * [taylor]: Taking taylor expansion of 0 in kx 0.683 * [taylor]: Taking taylor expansion of 0 in th 0.683 * [taylor]: Taking taylor expansion of 0 in th 0.692 * [taylor]: Taking taylor expansion of 0 in th 0.693 * * * [progress]: simplifying candidates 0.693 * [simplify]: Simplifying using # : (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (* (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) (* (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sin th)) (* (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin th)) (* (sin ky) (sin th)) (* (- (sin ky)) (sin th)) (* 1 (sin th)) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 0 (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) 0.697 * * [simplify]: iteration 0 : 174 enodes (cost 169 ) 0.700 * * [simplify]: iteration 1 : 553 enodes (cost 169 ) 0.711 * * [simplify]: iteration 2 : 2238 enodes (cost 169 ) 0.761 * * [simplify]: iteration 3 : 5002 enodes (cost 169 ) 0.763 * [simplify]: Simplified to: (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (* (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sin th)) (* (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin th)) (* (sin ky) (sin th)) (* (- (sin ky)) (sin th)) (sin th) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 0 (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) 0.763 * * * [progress]: adding candidates to table 0.854 * * [progress]: iteration 2 / 4 0.854 * * * [progress]: picking best candidate 0.878 * * * * [pick]: Picked # 0.878 * * * [progress]: localizing error 0.895 * * * [progress]: generating rewritten candidates 0.895 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.898 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 0.899 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.908 * * * [progress]: generating series expansions 0.908 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.908 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 0.908 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 0.908 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 0.908 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 0.908 * [taylor]: Taking taylor expansion of (sin kx) in ky 0.908 * [taylor]: Taking taylor expansion of kx in ky 0.908 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 0.908 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.908 * [taylor]: Taking taylor expansion of ky in ky 0.911 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 0.911 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 0.911 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 0.911 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.911 * [taylor]: Taking taylor expansion of kx in kx 0.912 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 0.912 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.912 * [taylor]: Taking taylor expansion of ky in kx 0.914 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 0.914 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 0.914 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 0.914 * [taylor]: Taking taylor expansion of (sin kx) in kx 0.914 * [taylor]: Taking taylor expansion of kx in kx 0.915 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 0.915 * [taylor]: Taking taylor expansion of (sin ky) in kx 0.915 * [taylor]: Taking taylor expansion of ky in kx 0.917 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.917 * [taylor]: Taking taylor expansion of ky in ky 0.917 * [taylor]: Taking taylor expansion of 0 in ky 0.921 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 0.921 * [taylor]: Taking taylor expansion of 1/2 in ky 0.921 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.921 * [taylor]: Taking taylor expansion of ky in ky 0.927 * [taylor]: Taking taylor expansion of 0 in ky 0.930 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 0.930 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.930 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.930 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.930 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.930 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.930 * [taylor]: Taking taylor expansion of kx in ky 0.930 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.930 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.930 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.930 * [taylor]: Taking taylor expansion of ky in ky 0.933 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.933 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.933 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.933 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.933 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.933 * [taylor]: Taking taylor expansion of kx in kx 0.934 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.934 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.934 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.934 * [taylor]: Taking taylor expansion of ky in kx 0.940 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 0.940 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 0.940 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 0.940 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 0.940 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 0.941 * [taylor]: Taking taylor expansion of kx in kx 0.941 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 0.941 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 0.941 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 0.941 * [taylor]: Taking taylor expansion of ky in kx 0.944 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 0.944 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 0.944 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 0.944 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 0.944 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 0.944 * [taylor]: Taking taylor expansion of kx in ky 0.944 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 0.944 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 0.944 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 0.944 * [taylor]: Taking taylor expansion of ky in ky 0.947 * [taylor]: Taking taylor expansion of 0 in ky 0.951 * [taylor]: Taking taylor expansion of 0 in ky 0.959 * [taylor]: Taking taylor expansion of 0 in ky 0.960 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 0.960 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.960 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.960 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.960 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.960 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.960 * [taylor]: Taking taylor expansion of -1 in ky 0.960 * [taylor]: Taking taylor expansion of kx in ky 0.960 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.960 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.960 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.960 * [taylor]: Taking taylor expansion of -1 in ky 0.960 * [taylor]: Taking taylor expansion of ky in ky 0.964 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.964 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.964 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.964 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.964 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.964 * [taylor]: Taking taylor expansion of -1 in kx 0.964 * [taylor]: Taking taylor expansion of kx in kx 0.964 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.964 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.964 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.964 * [taylor]: Taking taylor expansion of -1 in kx 0.964 * [taylor]: Taking taylor expansion of ky in kx 0.967 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 0.967 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 0.967 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 0.967 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 0.967 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 0.967 * [taylor]: Taking taylor expansion of -1 in kx 0.967 * [taylor]: Taking taylor expansion of kx in kx 0.968 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 0.968 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 0.968 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 0.968 * [taylor]: Taking taylor expansion of -1 in kx 0.968 * [taylor]: Taking taylor expansion of ky in kx 0.971 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 0.971 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 0.971 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 0.971 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 0.971 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 0.971 * [taylor]: Taking taylor expansion of -1 in ky 0.971 * [taylor]: Taking taylor expansion of kx in ky 0.971 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 0.971 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 0.971 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 0.971 * [taylor]: Taking taylor expansion of -1 in ky 0.971 * [taylor]: Taking taylor expansion of ky in ky 0.974 * [taylor]: Taking taylor expansion of 0 in ky 0.978 * [taylor]: Taking taylor expansion of 0 in ky 0.986 * [taylor]: Taking taylor expansion of 0 in ky 0.987 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 0.987 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 0.987 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 0.987 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 0.987 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 0.987 * [taylor]: Taking taylor expansion of 2.0 in ky 0.987 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 0.987 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.987 * [taylor]: Taking taylor expansion of ky in ky 0.988 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 0.988 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 0.988 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 0.988 * [taylor]: Taking taylor expansion of 2.0 in ky 0.988 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 0.988 * [taylor]: Taking taylor expansion of (sin ky) in ky 0.988 * [taylor]: Taking taylor expansion of ky in ky 1.019 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 1.019 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.019 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.019 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.019 * [taylor]: Taking taylor expansion of 2.0 in ky 1.019 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.019 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.019 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.019 * [taylor]: Taking taylor expansion of ky in ky 1.019 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.019 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.019 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.019 * [taylor]: Taking taylor expansion of 2.0 in ky 1.019 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.019 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.019 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.019 * [taylor]: Taking taylor expansion of ky in ky 1.057 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 1.057 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.057 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.057 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.057 * [taylor]: Taking taylor expansion of 2.0 in ky 1.057 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.057 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.057 * [taylor]: Taking taylor expansion of -1 in ky 1.057 * [taylor]: Taking taylor expansion of ky in ky 1.058 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.058 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.058 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.058 * [taylor]: Taking taylor expansion of 2.0 in ky 1.058 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.058 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.058 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.058 * [taylor]: Taking taylor expansion of -1 in ky 1.058 * [taylor]: Taking taylor expansion of ky in ky 1.091 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 1.091 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 1.091 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.091 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.091 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.091 * [taylor]: Taking taylor expansion of 2.0 in kx 1.091 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.091 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.091 * [taylor]: Taking taylor expansion of kx in kx 1.092 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.092 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.092 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.092 * [taylor]: Taking taylor expansion of 2.0 in kx 1.092 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.092 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.092 * [taylor]: Taking taylor expansion of kx in kx 1.128 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 1.128 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.128 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.128 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.128 * [taylor]: Taking taylor expansion of 2.0 in kx 1.128 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.128 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.128 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.128 * [taylor]: Taking taylor expansion of kx in kx 1.128 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.128 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.128 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.128 * [taylor]: Taking taylor expansion of 2.0 in kx 1.128 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.128 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.128 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.128 * [taylor]: Taking taylor expansion of kx in kx 1.161 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 1.161 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 1.161 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 1.161 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 1.161 * [taylor]: Taking taylor expansion of 2.0 in kx 1.161 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 1.161 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.161 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.161 * [taylor]: Taking taylor expansion of -1 in kx 1.161 * [taylor]: Taking taylor expansion of kx in kx 1.161 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 1.161 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 1.161 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 1.161 * [taylor]: Taking taylor expansion of 2.0 in kx 1.161 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 1.161 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.161 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.162 * [taylor]: Taking taylor expansion of -1 in kx 1.162 * [taylor]: Taking taylor expansion of kx in kx 1.199 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.200 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in (th kx ky) around 0 1.200 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 1.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.200 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.200 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.200 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.200 * [taylor]: Taking taylor expansion of kx in ky 1.200 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.200 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.200 * [taylor]: Taking taylor expansion of ky in ky 1.203 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 1.203 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.203 * [taylor]: Taking taylor expansion of ky in ky 1.203 * [taylor]: Taking taylor expansion of (sin th) in ky 1.203 * [taylor]: Taking taylor expansion of th in ky 1.203 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in kx 1.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.203 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.203 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.203 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.203 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.203 * [taylor]: Taking taylor expansion of kx in kx 1.203 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.203 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.203 * [taylor]: Taking taylor expansion of ky in kx 1.206 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in kx 1.206 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.206 * [taylor]: Taking taylor expansion of ky in kx 1.206 * [taylor]: Taking taylor expansion of (sin th) in kx 1.206 * [taylor]: Taking taylor expansion of th in kx 1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in th 1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in th 1.206 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in th 1.206 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in th 1.206 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in th 1.206 * [taylor]: Taking taylor expansion of (sin kx) in th 1.206 * [taylor]: Taking taylor expansion of kx in th 1.206 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in th 1.206 * [taylor]: Taking taylor expansion of (sin ky) in th 1.206 * [taylor]: Taking taylor expansion of ky in th 1.211 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in th 1.211 * [taylor]: Taking taylor expansion of (sin ky) in th 1.211 * [taylor]: Taking taylor expansion of ky in th 1.211 * [taylor]: Taking taylor expansion of (sin th) in th 1.211 * [taylor]: Taking taylor expansion of th in th 1.211 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in th 1.211 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in th 1.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in th 1.211 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in th 1.211 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in th 1.211 * [taylor]: Taking taylor expansion of (sin kx) in th 1.211 * [taylor]: Taking taylor expansion of kx in th 1.211 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in th 1.211 * [taylor]: Taking taylor expansion of (sin ky) in th 1.211 * [taylor]: Taking taylor expansion of ky in th 1.216 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in th 1.216 * [taylor]: Taking taylor expansion of (sin ky) in th 1.216 * [taylor]: Taking taylor expansion of ky in th 1.216 * [taylor]: Taking taylor expansion of (sin th) in th 1.216 * [taylor]: Taking taylor expansion of th in th 1.217 * [taylor]: Taking taylor expansion of 0 in kx 1.217 * [taylor]: Taking taylor expansion of 0 in ky 1.220 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 1.220 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.220 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.220 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.220 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.220 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.220 * [taylor]: Taking taylor expansion of kx in kx 1.220 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.220 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.220 * [taylor]: Taking taylor expansion of ky in kx 1.223 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.223 * [taylor]: Taking taylor expansion of ky in kx 1.223 * [taylor]: Taking taylor expansion of 1 in ky 1.223 * [taylor]: Taking taylor expansion of 0 in ky 1.232 * [taylor]: Taking taylor expansion of 0 in kx 1.232 * [taylor]: Taking taylor expansion of 0 in ky 1.234 * [taylor]: Taking taylor expansion of 0 in ky 1.234 * [taylor]: Taking taylor expansion of 0 in ky 1.234 * [approximate]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in (th kx ky) around 0 1.234 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.234 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 1.234 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.234 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.234 * [taylor]: Taking taylor expansion of ky in ky 1.235 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 1.235 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 1.235 * [taylor]: Taking taylor expansion of th in ky 1.235 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.235 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.235 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.235 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.235 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.235 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.235 * [taylor]: Taking taylor expansion of kx in ky 1.235 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.235 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.235 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.235 * [taylor]: Taking taylor expansion of ky in ky 1.239 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.239 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 1.239 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.239 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.239 * [taylor]: Taking taylor expansion of ky in kx 1.239 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 1.239 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 1.239 * [taylor]: Taking taylor expansion of th in kx 1.239 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.239 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.239 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.239 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.239 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.239 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.239 * [taylor]: Taking taylor expansion of kx in kx 1.240 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.240 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.240 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.240 * [taylor]: Taking taylor expansion of ky in kx 1.243 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 1.243 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 1.243 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.243 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.243 * [taylor]: Taking taylor expansion of ky in th 1.243 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 1.243 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.243 * [taylor]: Taking taylor expansion of th in th 1.244 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 1.244 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 1.244 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 1.244 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 1.244 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 1.244 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 1.244 * [taylor]: Taking taylor expansion of kx in th 1.244 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 1.244 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.244 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.244 * [taylor]: Taking taylor expansion of ky in th 1.249 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 1.249 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 1.249 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.249 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.249 * [taylor]: Taking taylor expansion of ky in th 1.249 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 1.249 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.249 * [taylor]: Taking taylor expansion of th in th 1.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 1.250 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 1.250 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 1.250 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 1.250 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 1.250 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 1.250 * [taylor]: Taking taylor expansion of kx in th 1.250 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 1.250 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.250 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.250 * [taylor]: Taking taylor expansion of ky in th 1.256 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.256 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 1.256 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.256 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.256 * [taylor]: Taking taylor expansion of ky in kx 1.256 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 1.256 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 1.256 * [taylor]: Taking taylor expansion of th in kx 1.256 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.256 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.256 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.256 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.256 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.256 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.256 * [taylor]: Taking taylor expansion of kx in kx 1.256 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.256 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.256 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.256 * [taylor]: Taking taylor expansion of ky in kx 1.260 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.260 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 1.260 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.260 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.260 * [taylor]: Taking taylor expansion of ky in ky 1.261 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 1.261 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 1.261 * [taylor]: Taking taylor expansion of th in ky 1.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.261 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.261 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.261 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.261 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.261 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.261 * [taylor]: Taking taylor expansion of kx in ky 1.261 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.261 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.261 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.261 * [taylor]: Taking taylor expansion of ky in ky 1.268 * [taylor]: Taking taylor expansion of 0 in kx 1.268 * [taylor]: Taking taylor expansion of 0 in ky 1.271 * [taylor]: Taking taylor expansion of 0 in ky 1.282 * [taylor]: Taking taylor expansion of 0 in kx 1.283 * [taylor]: Taking taylor expansion of 0 in ky 1.283 * [taylor]: Taking taylor expansion of 0 in ky 1.298 * [taylor]: Taking taylor expansion of 0 in ky 1.298 * [approximate]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in (th kx ky) around 0 1.298 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.298 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 1.298 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.298 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.298 * [taylor]: Taking taylor expansion of -1 in ky 1.298 * [taylor]: Taking taylor expansion of ky in ky 1.299 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 1.299 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 1.299 * [taylor]: Taking taylor expansion of -1 in ky 1.299 * [taylor]: Taking taylor expansion of th in ky 1.299 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.299 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.299 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.299 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.299 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.299 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.299 * [taylor]: Taking taylor expansion of -1 in ky 1.299 * [taylor]: Taking taylor expansion of kx in ky 1.299 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.299 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.299 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.299 * [taylor]: Taking taylor expansion of -1 in ky 1.299 * [taylor]: Taking taylor expansion of ky in ky 1.303 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.303 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 1.303 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.303 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.303 * [taylor]: Taking taylor expansion of -1 in kx 1.303 * [taylor]: Taking taylor expansion of ky in kx 1.303 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 1.303 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 1.303 * [taylor]: Taking taylor expansion of -1 in kx 1.303 * [taylor]: Taking taylor expansion of th in kx 1.303 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.303 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.303 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.303 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.303 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.303 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.304 * [taylor]: Taking taylor expansion of -1 in kx 1.304 * [taylor]: Taking taylor expansion of kx in kx 1.304 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.304 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.304 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.304 * [taylor]: Taking taylor expansion of -1 in kx 1.304 * [taylor]: Taking taylor expansion of ky in kx 1.307 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 1.307 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 1.307 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.307 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.307 * [taylor]: Taking taylor expansion of -1 in th 1.308 * [taylor]: Taking taylor expansion of ky in th 1.308 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 1.308 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.308 * [taylor]: Taking taylor expansion of -1 in th 1.308 * [taylor]: Taking taylor expansion of th in th 1.308 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 1.308 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 1.308 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 1.308 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 1.308 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 1.308 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 1.308 * [taylor]: Taking taylor expansion of -1 in th 1.308 * [taylor]: Taking taylor expansion of kx in th 1.308 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 1.308 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.308 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.308 * [taylor]: Taking taylor expansion of -1 in th 1.308 * [taylor]: Taking taylor expansion of ky in th 1.313 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 1.313 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 1.314 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.314 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.314 * [taylor]: Taking taylor expansion of -1 in th 1.314 * [taylor]: Taking taylor expansion of ky in th 1.314 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 1.314 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.314 * [taylor]: Taking taylor expansion of -1 in th 1.314 * [taylor]: Taking taylor expansion of th in th 1.314 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 1.314 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 1.314 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 1.314 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 1.314 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 1.314 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 1.314 * [taylor]: Taking taylor expansion of -1 in th 1.314 * [taylor]: Taking taylor expansion of kx in th 1.314 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 1.314 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.314 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.314 * [taylor]: Taking taylor expansion of -1 in th 1.314 * [taylor]: Taking taylor expansion of ky in th 1.320 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.320 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 1.320 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.320 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.320 * [taylor]: Taking taylor expansion of -1 in kx 1.320 * [taylor]: Taking taylor expansion of ky in kx 1.320 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 1.320 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 1.320 * [taylor]: Taking taylor expansion of -1 in kx 1.320 * [taylor]: Taking taylor expansion of th in kx 1.321 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.321 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.321 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.321 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.321 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.321 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.321 * [taylor]: Taking taylor expansion of -1 in kx 1.321 * [taylor]: Taking taylor expansion of kx in kx 1.321 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.321 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.321 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.321 * [taylor]: Taking taylor expansion of -1 in kx 1.321 * [taylor]: Taking taylor expansion of ky in kx 1.325 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.325 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 1.325 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.325 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.325 * [taylor]: Taking taylor expansion of -1 in ky 1.325 * [taylor]: Taking taylor expansion of ky in ky 1.326 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 1.326 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 1.326 * [taylor]: Taking taylor expansion of -1 in ky 1.326 * [taylor]: Taking taylor expansion of th in ky 1.326 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.326 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.326 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.326 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.326 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.326 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.326 * [taylor]: Taking taylor expansion of -1 in ky 1.326 * [taylor]: Taking taylor expansion of kx in ky 1.326 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.326 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.326 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.326 * [taylor]: Taking taylor expansion of -1 in ky 1.326 * [taylor]: Taking taylor expansion of ky in ky 1.332 * [taylor]: Taking taylor expansion of 0 in kx 1.333 * [taylor]: Taking taylor expansion of 0 in ky 1.336 * [taylor]: Taking taylor expansion of 0 in ky 1.347 * [taylor]: Taking taylor expansion of 0 in kx 1.347 * [taylor]: Taking taylor expansion of 0 in ky 1.347 * [taylor]: Taking taylor expansion of 0 in ky 1.357 * [taylor]: Taking taylor expansion of 0 in ky 1.357 * * * [progress]: simplifying candidates 1.358 * [simplify]: Simplifying using # : (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (sin th)) (- (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ 1 (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin th) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin th) 1) (/ (sin th) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (/ (sin th) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) th (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) 1.361 * * [simplify]: iteration 0 : 175 enodes (cost 205 ) 1.365 * * [simplify]: iteration 1 : 518 enodes (cost 205 ) 1.375 * * [simplify]: iteration 2 : 2028 enodes (cost 205 ) 1.424 * * [simplify]: iteration 3 : 5001 enodes (cost 204 ) 1.426 * [simplify]: Simplified to: (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (sin th)) (- (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin th) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sin th) (/ (sin th) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (/ (sin th) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) th (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) 1.426 * * * [progress]: adding candidates to table 1.520 * * [progress]: iteration 3 / 4 1.520 * * * [progress]: picking best candidate 1.550 * * * * [pick]: Picked # 1.550 * * * [progress]: localizing error 1.568 * * * [progress]: generating rewritten candidates 1.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.578 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2) 1.580 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1) 1.586 * * * [progress]: generating series expansions 1.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.586 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 1.586 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.586 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.586 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.586 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.586 * [taylor]: Taking taylor expansion of kx in ky 1.586 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.586 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.586 * [taylor]: Taking taylor expansion of ky in ky 1.589 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.589 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.589 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.589 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.589 * [taylor]: Taking taylor expansion of kx in kx 1.590 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.590 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.590 * [taylor]: Taking taylor expansion of ky in kx 1.592 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.592 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.592 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.592 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.592 * [taylor]: Taking taylor expansion of kx in kx 1.592 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.592 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.592 * [taylor]: Taking taylor expansion of ky in kx 1.595 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.595 * [taylor]: Taking taylor expansion of ky in ky 1.595 * [taylor]: Taking taylor expansion of 0 in ky 1.598 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 1.598 * [taylor]: Taking taylor expansion of 1/2 in ky 1.598 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.598 * [taylor]: Taking taylor expansion of ky in ky 1.604 * [taylor]: Taking taylor expansion of 0 in ky 1.607 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 1.607 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.607 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.607 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.607 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.607 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.607 * [taylor]: Taking taylor expansion of kx in ky 1.608 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.608 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.608 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.608 * [taylor]: Taking taylor expansion of ky in ky 1.611 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.611 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.611 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.611 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.611 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.611 * [taylor]: Taking taylor expansion of kx in kx 1.611 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.611 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.611 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.611 * [taylor]: Taking taylor expansion of ky in kx 1.614 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.614 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.614 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.614 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.614 * [taylor]: Taking taylor expansion of kx in kx 1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.614 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.614 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.614 * [taylor]: Taking taylor expansion of ky in kx 1.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.617 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.617 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.617 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.617 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.617 * [taylor]: Taking taylor expansion of kx in ky 1.618 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.618 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.618 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.618 * [taylor]: Taking taylor expansion of ky in ky 1.621 * [taylor]: Taking taylor expansion of 0 in ky 1.624 * [taylor]: Taking taylor expansion of 0 in ky 1.632 * [taylor]: Taking taylor expansion of 0 in ky 1.633 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 1.633 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.633 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.633 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.633 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.633 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.633 * [taylor]: Taking taylor expansion of -1 in ky 1.633 * [taylor]: Taking taylor expansion of kx in ky 1.633 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.633 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.633 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.633 * [taylor]: Taking taylor expansion of -1 in ky 1.633 * [taylor]: Taking taylor expansion of ky in ky 1.636 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.636 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.636 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.637 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.637 * [taylor]: Taking taylor expansion of -1 in kx 1.637 * [taylor]: Taking taylor expansion of kx in kx 1.637 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.637 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.637 * [taylor]: Taking taylor expansion of -1 in kx 1.637 * [taylor]: Taking taylor expansion of ky in kx 1.640 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.640 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.640 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.640 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.640 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.640 * [taylor]: Taking taylor expansion of -1 in kx 1.640 * [taylor]: Taking taylor expansion of kx in kx 1.640 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.640 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.640 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.640 * [taylor]: Taking taylor expansion of -1 in kx 1.640 * [taylor]: Taking taylor expansion of ky in kx 1.643 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.643 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.643 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.643 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.643 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.643 * [taylor]: Taking taylor expansion of -1 in ky 1.643 * [taylor]: Taking taylor expansion of kx in ky 1.644 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.644 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.644 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.644 * [taylor]: Taking taylor expansion of -1 in ky 1.644 * [taylor]: Taking taylor expansion of ky in ky 1.647 * [taylor]: Taking taylor expansion of 0 in ky 1.650 * [taylor]: Taking taylor expansion of 0 in ky 1.658 * [taylor]: Taking taylor expansion of 0 in ky 1.659 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.659 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in (kx ky th) around 0 1.659 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in th 1.659 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in th 1.659 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in th 1.659 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in th 1.659 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in th 1.659 * [taylor]: Taking taylor expansion of (sin kx) in th 1.659 * [taylor]: Taking taylor expansion of kx in th 1.659 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in th 1.659 * [taylor]: Taking taylor expansion of (sin ky) in th 1.659 * [taylor]: Taking taylor expansion of ky in th 1.664 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in th 1.664 * [taylor]: Taking taylor expansion of (sin ky) in th 1.664 * [taylor]: Taking taylor expansion of ky in th 1.664 * [taylor]: Taking taylor expansion of (sin th) in th 1.664 * [taylor]: Taking taylor expansion of th in th 1.664 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 1.664 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.664 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.664 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.664 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.664 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.664 * [taylor]: Taking taylor expansion of kx in ky 1.664 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.664 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.664 * [taylor]: Taking taylor expansion of ky in ky 1.667 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 1.667 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.667 * [taylor]: Taking taylor expansion of ky in ky 1.667 * [taylor]: Taking taylor expansion of (sin th) in ky 1.667 * [taylor]: Taking taylor expansion of th in ky 1.667 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in kx 1.667 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.667 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.667 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.667 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.667 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.667 * [taylor]: Taking taylor expansion of kx in kx 1.667 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.668 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.668 * [taylor]: Taking taylor expansion of ky in kx 1.670 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in kx 1.670 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.670 * [taylor]: Taking taylor expansion of ky in kx 1.670 * [taylor]: Taking taylor expansion of (sin th) in kx 1.670 * [taylor]: Taking taylor expansion of th in kx 1.670 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in kx 1.670 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.670 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.670 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.670 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.670 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.670 * [taylor]: Taking taylor expansion of kx in kx 1.671 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.671 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.671 * [taylor]: Taking taylor expansion of ky in kx 1.678 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in kx 1.678 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.678 * [taylor]: Taking taylor expansion of ky in kx 1.678 * [taylor]: Taking taylor expansion of (sin th) in kx 1.678 * [taylor]: Taking taylor expansion of th in kx 1.678 * [taylor]: Taking taylor expansion of (sin th) in ky 1.678 * [taylor]: Taking taylor expansion of th in ky 1.679 * [taylor]: Taking taylor expansion of (sin th) in th 1.679 * [taylor]: Taking taylor expansion of th in th 1.682 * [taylor]: Taking taylor expansion of 0 in ky 1.682 * [taylor]: Taking taylor expansion of 0 in th 1.684 * [taylor]: Taking taylor expansion of 0 in th 1.693 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (sin th) (pow (sin ky) 2)))) in ky 1.693 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin th) (pow (sin ky) 2))) in ky 1.693 * [taylor]: Taking taylor expansion of 1/2 in ky 1.693 * [taylor]: Taking taylor expansion of (/ (sin th) (pow (sin ky) 2)) in ky 1.693 * [taylor]: Taking taylor expansion of (sin th) in ky 1.693 * [taylor]: Taking taylor expansion of th in ky 1.693 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.693 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.693 * [taylor]: Taking taylor expansion of ky in ky 1.701 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin th))) in th 1.701 * [taylor]: Taking taylor expansion of (* 1/6 (sin th)) in th 1.701 * [taylor]: Taking taylor expansion of 1/6 in th 1.701 * [taylor]: Taking taylor expansion of (sin th) in th 1.701 * [taylor]: Taking taylor expansion of th in th 1.702 * [taylor]: Taking taylor expansion of 0 in th 1.704 * [taylor]: Taking taylor expansion of 0 in th 1.705 * [approximate]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in (kx ky th) around 0 1.705 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 1.705 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 1.705 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.705 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.705 * [taylor]: Taking taylor expansion of ky in th 1.705 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 1.705 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.705 * [taylor]: Taking taylor expansion of th in th 1.705 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 1.705 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 1.705 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 1.705 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 1.705 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 1.705 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 1.705 * [taylor]: Taking taylor expansion of kx in th 1.706 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 1.706 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.706 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.706 * [taylor]: Taking taylor expansion of ky in th 1.711 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.711 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 1.711 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.711 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.711 * [taylor]: Taking taylor expansion of ky in ky 1.711 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 1.711 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 1.711 * [taylor]: Taking taylor expansion of th in ky 1.711 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.711 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.711 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.711 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.711 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.711 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.711 * [taylor]: Taking taylor expansion of kx in ky 1.712 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.712 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.712 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.712 * [taylor]: Taking taylor expansion of ky in ky 1.715 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.715 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 1.715 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.715 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.715 * [taylor]: Taking taylor expansion of ky in kx 1.715 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 1.715 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 1.715 * [taylor]: Taking taylor expansion of th in kx 1.715 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.715 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.715 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.715 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.716 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.716 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.716 * [taylor]: Taking taylor expansion of kx in kx 1.716 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.716 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.716 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.716 * [taylor]: Taking taylor expansion of ky in kx 1.719 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.719 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 1.719 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.719 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.719 * [taylor]: Taking taylor expansion of ky in kx 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 1.720 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 1.720 * [taylor]: Taking taylor expansion of th in kx 1.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.720 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.720 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.720 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.720 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.720 * [taylor]: Taking taylor expansion of kx in kx 1.720 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.720 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.720 * [taylor]: Taking taylor expansion of ky in kx 1.724 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.724 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 1.724 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.724 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.724 * [taylor]: Taking taylor expansion of ky in ky 1.725 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 1.725 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 1.725 * [taylor]: Taking taylor expansion of th in ky 1.725 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.725 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.725 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.725 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.725 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.725 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.725 * [taylor]: Taking taylor expansion of kx in ky 1.725 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.725 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.725 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.725 * [taylor]: Taking taylor expansion of ky in ky 1.729 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 1.729 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 1.729 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.729 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.729 * [taylor]: Taking taylor expansion of ky in th 1.729 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 1.729 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.729 * [taylor]: Taking taylor expansion of th in th 1.730 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 1.730 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 1.730 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 1.730 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 1.730 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 1.730 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 1.730 * [taylor]: Taking taylor expansion of kx in th 1.730 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 1.730 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 1.730 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 1.730 * [taylor]: Taking taylor expansion of ky in th 1.739 * [taylor]: Taking taylor expansion of 0 in ky 1.739 * [taylor]: Taking taylor expansion of 0 in th 1.742 * [taylor]: Taking taylor expansion of 0 in th 1.753 * [taylor]: Taking taylor expansion of 0 in ky 1.753 * [taylor]: Taking taylor expansion of 0 in th 1.753 * [taylor]: Taking taylor expansion of 0 in th 1.760 * [taylor]: Taking taylor expansion of 0 in th 1.761 * [approximate]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in (kx ky th) around 0 1.761 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 1.761 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 1.761 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.761 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.761 * [taylor]: Taking taylor expansion of -1 in th 1.761 * [taylor]: Taking taylor expansion of ky in th 1.761 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 1.761 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.761 * [taylor]: Taking taylor expansion of -1 in th 1.761 * [taylor]: Taking taylor expansion of th in th 1.762 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 1.762 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 1.762 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 1.762 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 1.762 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 1.762 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 1.762 * [taylor]: Taking taylor expansion of -1 in th 1.762 * [taylor]: Taking taylor expansion of kx in th 1.762 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 1.762 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.762 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.762 * [taylor]: Taking taylor expansion of -1 in th 1.762 * [taylor]: Taking taylor expansion of ky in th 1.767 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.767 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 1.767 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.767 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.767 * [taylor]: Taking taylor expansion of -1 in ky 1.767 * [taylor]: Taking taylor expansion of ky in ky 1.767 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 1.767 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 1.767 * [taylor]: Taking taylor expansion of -1 in ky 1.768 * [taylor]: Taking taylor expansion of th in ky 1.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.768 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.768 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.768 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.768 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.768 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.768 * [taylor]: Taking taylor expansion of -1 in ky 1.768 * [taylor]: Taking taylor expansion of kx in ky 1.768 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.768 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.768 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.768 * [taylor]: Taking taylor expansion of -1 in ky 1.768 * [taylor]: Taking taylor expansion of ky in ky 1.776 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.776 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 1.776 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.776 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.776 * [taylor]: Taking taylor expansion of -1 in kx 1.776 * [taylor]: Taking taylor expansion of ky in kx 1.776 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 1.776 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 1.776 * [taylor]: Taking taylor expansion of -1 in kx 1.776 * [taylor]: Taking taylor expansion of th in kx 1.776 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.777 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.777 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.777 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.777 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.777 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.777 * [taylor]: Taking taylor expansion of -1 in kx 1.777 * [taylor]: Taking taylor expansion of kx in kx 1.777 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.777 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.777 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.777 * [taylor]: Taking taylor expansion of -1 in kx 1.777 * [taylor]: Taking taylor expansion of ky in kx 1.780 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.781 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 1.781 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.781 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.781 * [taylor]: Taking taylor expansion of -1 in kx 1.781 * [taylor]: Taking taylor expansion of ky in kx 1.781 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 1.781 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 1.781 * [taylor]: Taking taylor expansion of -1 in kx 1.781 * [taylor]: Taking taylor expansion of th in kx 1.781 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.781 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.781 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.781 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.781 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.781 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.781 * [taylor]: Taking taylor expansion of -1 in kx 1.781 * [taylor]: Taking taylor expansion of kx in kx 1.781 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.781 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.781 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.781 * [taylor]: Taking taylor expansion of -1 in kx 1.781 * [taylor]: Taking taylor expansion of ky in kx 1.785 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.785 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 1.785 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.785 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.785 * [taylor]: Taking taylor expansion of -1 in ky 1.786 * [taylor]: Taking taylor expansion of ky in ky 1.786 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 1.786 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 1.786 * [taylor]: Taking taylor expansion of -1 in ky 1.786 * [taylor]: Taking taylor expansion of th in ky 1.786 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.786 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.786 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.786 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.786 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.786 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.786 * [taylor]: Taking taylor expansion of -1 in ky 1.786 * [taylor]: Taking taylor expansion of kx in ky 1.786 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.786 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.786 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.786 * [taylor]: Taking taylor expansion of -1 in ky 1.786 * [taylor]: Taking taylor expansion of ky in ky 1.790 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 1.790 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 1.790 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.790 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.790 * [taylor]: Taking taylor expansion of -1 in th 1.790 * [taylor]: Taking taylor expansion of ky in th 1.791 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 1.791 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.791 * [taylor]: Taking taylor expansion of -1 in th 1.791 * [taylor]: Taking taylor expansion of th in th 1.791 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 1.791 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 1.791 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 1.791 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 1.791 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 1.791 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 1.791 * [taylor]: Taking taylor expansion of -1 in th 1.791 * [taylor]: Taking taylor expansion of kx in th 1.791 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 1.791 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 1.791 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 1.791 * [taylor]: Taking taylor expansion of -1 in th 1.791 * [taylor]: Taking taylor expansion of ky in th 1.801 * [taylor]: Taking taylor expansion of 0 in ky 1.801 * [taylor]: Taking taylor expansion of 0 in th 1.803 * [taylor]: Taking taylor expansion of 0 in th 1.814 * [taylor]: Taking taylor expansion of 0 in ky 1.814 * [taylor]: Taking taylor expansion of 0 in th 1.814 * [taylor]: Taking taylor expansion of 0 in th 1.822 * [taylor]: Taking taylor expansion of 0 in th 1.822 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2) 1.822 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 1.822 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 1.822 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 1.822 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 1.822 * [taylor]: Taking taylor expansion of 2.0 in ky 1.822 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 1.822 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.822 * [taylor]: Taking taylor expansion of ky in ky 1.823 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 1.823 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 1.823 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 1.824 * [taylor]: Taking taylor expansion of 2.0 in ky 1.824 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 1.824 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.824 * [taylor]: Taking taylor expansion of ky in ky 1.855 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 1.855 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.855 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.855 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.855 * [taylor]: Taking taylor expansion of 2.0 in ky 1.855 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.855 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.855 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.855 * [taylor]: Taking taylor expansion of ky in ky 1.855 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.856 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.856 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.856 * [taylor]: Taking taylor expansion of 2.0 in ky 1.856 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.856 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.856 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.856 * [taylor]: Taking taylor expansion of ky in ky 1.894 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 1.894 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.894 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.894 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.894 * [taylor]: Taking taylor expansion of 2.0 in ky 1.894 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.894 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.894 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.894 * [taylor]: Taking taylor expansion of -1 in ky 1.894 * [taylor]: Taking taylor expansion of ky in ky 1.895 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.895 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.895 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.895 * [taylor]: Taking taylor expansion of 2.0 in ky 1.895 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.895 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.895 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.895 * [taylor]: Taking taylor expansion of -1 in ky 1.895 * [taylor]: Taking taylor expansion of ky in ky 1.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1) 1.928 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 1.928 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.928 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.928 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.928 * [taylor]: Taking taylor expansion of 2.0 in kx 1.928 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.928 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.928 * [taylor]: Taking taylor expansion of kx in kx 1.929 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.929 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.929 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.929 * [taylor]: Taking taylor expansion of 2.0 in kx 1.929 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.929 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.929 * [taylor]: Taking taylor expansion of kx in kx 1.966 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 1.966 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.966 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.966 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.966 * [taylor]: Taking taylor expansion of 2.0 in kx 1.966 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.966 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.966 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.966 * [taylor]: Taking taylor expansion of kx in kx 1.966 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.966 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.966 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.966 * [taylor]: Taking taylor expansion of 2.0 in kx 1.966 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.966 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.966 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.966 * [taylor]: Taking taylor expansion of kx in kx 1.999 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 1.999 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 1.999 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 1.999 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 1.999 * [taylor]: Taking taylor expansion of 2.0 in kx 1.999 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 1.999 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.999 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.999 * [taylor]: Taking taylor expansion of -1 in kx 1.999 * [taylor]: Taking taylor expansion of kx in kx 2.000 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 2.000 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 2.000 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 2.000 * [taylor]: Taking taylor expansion of 2.0 in kx 2.000 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.000 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.000 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.000 * [taylor]: Taking taylor expansion of -1 in kx 2.000 * [taylor]: Taking taylor expansion of kx in kx 2.038 * * * [progress]: simplifying candidates 2.039 * [simplify]: Simplifying using # : (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (- 1) (- (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th))) (/ 1 (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th))) (/ (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) 1) (/ 1 (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ 1 (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ 1 (- (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)))) (/ 1 1) (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 1) (/ 1 (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (/ 1 (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) th (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 2.043 * * [simplify]: iteration 0 : 182 enodes (cost 230 ) 2.046 * * [simplify]: iteration 1 : 566 enodes (cost 229 ) 2.058 * * [simplify]: iteration 2 : 2337 enodes (cost 229 ) 2.111 * * [simplify]: iteration 3 : 5001 enodes (cost 226 ) 2.113 * [simplify]: Simplified to: (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (- 1) (- (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th))) (/ (sin th) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) 1 (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) 1 (/ 1 (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (/ 1 (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) th (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 2.113 * * * [progress]: adding candidates to table 2.218 * * [progress]: iteration 4 / 4 2.218 * * * [progress]: picking best candidate 2.251 * * * * [pick]: Picked # 2.251 * * * [progress]: localizing error 2.269 * * * [progress]: generating rewritten candidates 2.269 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.280 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 2.281 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 2.284 * * * [progress]: generating series expansions 2.284 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.284 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.284 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.284 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.284 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.284 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.284 * [taylor]: Taking taylor expansion of kx in ky 2.284 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.284 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.284 * [taylor]: Taking taylor expansion of ky in ky 2.287 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.287 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.287 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.287 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.287 * [taylor]: Taking taylor expansion of kx in kx 2.288 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.288 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.288 * [taylor]: Taking taylor expansion of ky in kx 2.290 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.290 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.290 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.290 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.290 * [taylor]: Taking taylor expansion of kx in kx 2.290 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.290 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.290 * [taylor]: Taking taylor expansion of ky in kx 2.293 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.293 * [taylor]: Taking taylor expansion of ky in ky 2.293 * [taylor]: Taking taylor expansion of 0 in ky 2.296 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.296 * [taylor]: Taking taylor expansion of 1/2 in ky 2.296 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.296 * [taylor]: Taking taylor expansion of ky in ky 2.303 * [taylor]: Taking taylor expansion of 0 in ky 2.306 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.306 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.306 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.306 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.306 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.306 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.306 * [taylor]: Taking taylor expansion of kx in ky 2.306 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.306 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.306 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.306 * [taylor]: Taking taylor expansion of ky in ky 2.309 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.309 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.309 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.309 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.309 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.309 * [taylor]: Taking taylor expansion of kx in kx 2.309 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.309 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.309 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.309 * [taylor]: Taking taylor expansion of ky in kx 2.312 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.312 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.312 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.312 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.312 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.312 * [taylor]: Taking taylor expansion of kx in kx 2.316 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.316 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.316 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.316 * [taylor]: Taking taylor expansion of ky in kx 2.319 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.319 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.319 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.319 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.319 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.319 * [taylor]: Taking taylor expansion of kx in ky 2.320 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.320 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.320 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.320 * [taylor]: Taking taylor expansion of ky in ky 2.323 * [taylor]: Taking taylor expansion of 0 in ky 2.326 * [taylor]: Taking taylor expansion of 0 in ky 2.335 * [taylor]: Taking taylor expansion of 0 in ky 2.335 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.335 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.335 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.335 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.335 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.335 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.335 * [taylor]: Taking taylor expansion of -1 in ky 2.335 * [taylor]: Taking taylor expansion of kx in ky 2.336 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.336 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.336 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.336 * [taylor]: Taking taylor expansion of -1 in ky 2.336 * [taylor]: Taking taylor expansion of ky in ky 2.339 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.339 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.339 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.339 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.339 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.339 * [taylor]: Taking taylor expansion of -1 in kx 2.339 * [taylor]: Taking taylor expansion of kx in kx 2.339 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.339 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.339 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.339 * [taylor]: Taking taylor expansion of -1 in kx 2.339 * [taylor]: Taking taylor expansion of ky in kx 2.342 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.342 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.342 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.342 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.342 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.342 * [taylor]: Taking taylor expansion of -1 in kx 2.342 * [taylor]: Taking taylor expansion of kx in kx 2.343 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.343 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.343 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.343 * [taylor]: Taking taylor expansion of -1 in kx 2.343 * [taylor]: Taking taylor expansion of ky in kx 2.346 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.346 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.346 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.346 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.346 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.346 * [taylor]: Taking taylor expansion of -1 in ky 2.346 * [taylor]: Taking taylor expansion of kx in ky 2.346 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.346 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.346 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.346 * [taylor]: Taking taylor expansion of -1 in ky 2.346 * [taylor]: Taking taylor expansion of ky in ky 2.349 * [taylor]: Taking taylor expansion of 0 in ky 2.353 * [taylor]: Taking taylor expansion of 0 in ky 2.361 * [taylor]: Taking taylor expansion of 0 in ky 2.361 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.362 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in (ky kx th) around 0 2.362 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in th 2.362 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in th 2.362 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in th 2.362 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in th 2.362 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in th 2.362 * [taylor]: Taking taylor expansion of (sin kx) in th 2.362 * [taylor]: Taking taylor expansion of kx in th 2.362 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in th 2.362 * [taylor]: Taking taylor expansion of (sin ky) in th 2.362 * [taylor]: Taking taylor expansion of ky in th 2.366 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in th 2.366 * [taylor]: Taking taylor expansion of (sin ky) in th 2.366 * [taylor]: Taking taylor expansion of ky in th 2.366 * [taylor]: Taking taylor expansion of (sin th) in th 2.366 * [taylor]: Taking taylor expansion of th in th 2.367 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in kx 2.367 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.367 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.367 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.367 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.367 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.367 * [taylor]: Taking taylor expansion of kx in kx 2.367 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.367 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.367 * [taylor]: Taking taylor expansion of ky in kx 2.370 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in kx 2.370 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.370 * [taylor]: Taking taylor expansion of ky in kx 2.370 * [taylor]: Taking taylor expansion of (sin th) in kx 2.370 * [taylor]: Taking taylor expansion of th in kx 2.370 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 2.370 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.370 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.370 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.370 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.370 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.370 * [taylor]: Taking taylor expansion of kx in ky 2.370 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.370 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.370 * [taylor]: Taking taylor expansion of ky in ky 2.373 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 2.373 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.373 * [taylor]: Taking taylor expansion of ky in ky 2.373 * [taylor]: Taking taylor expansion of (sin th) in ky 2.373 * [taylor]: Taking taylor expansion of th in ky 2.373 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) in ky 2.373 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.373 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.373 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.373 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.373 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.373 * [taylor]: Taking taylor expansion of kx in ky 2.373 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.373 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.373 * [taylor]: Taking taylor expansion of ky in ky 2.376 * [taylor]: Taking taylor expansion of (* (sin ky) (sin th)) in ky 2.376 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.376 * [taylor]: Taking taylor expansion of ky in ky 2.376 * [taylor]: Taking taylor expansion of (sin th) in ky 2.376 * [taylor]: Taking taylor expansion of th in ky 2.376 * [taylor]: Taking taylor expansion of 0 in kx 2.376 * [taylor]: Taking taylor expansion of 0 in th 2.379 * [taylor]: Taking taylor expansion of (/ (sin th) (sin kx)) in kx 2.379 * [taylor]: Taking taylor expansion of (sin th) in kx 2.379 * [taylor]: Taking taylor expansion of th in kx 2.379 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.379 * [taylor]: Taking taylor expansion of kx in kx 2.382 * [taylor]: Taking taylor expansion of 0 in th 2.382 * [taylor]: Taking taylor expansion of 0 in th 2.389 * [taylor]: Taking taylor expansion of 0 in kx 2.389 * [taylor]: Taking taylor expansion of 0 in th 2.393 * [taylor]: Taking taylor expansion of (* 1/6 (sin th)) in th 2.393 * [taylor]: Taking taylor expansion of 1/6 in th 2.393 * [taylor]: Taking taylor expansion of (sin th) in th 2.393 * [taylor]: Taking taylor expansion of th in th 2.393 * [approximate]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in (ky kx th) around 0 2.393 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 2.394 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 2.394 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 2.394 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 2.394 * [taylor]: Taking taylor expansion of ky in th 2.394 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 2.394 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.394 * [taylor]: Taking taylor expansion of th in th 2.394 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 2.394 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 2.394 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 2.394 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 2.394 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 2.394 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 2.394 * [taylor]: Taking taylor expansion of kx in th 2.394 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 2.394 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 2.394 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 2.394 * [taylor]: Taking taylor expansion of ky in th 2.399 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 2.399 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 2.399 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.399 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.399 * [taylor]: Taking taylor expansion of ky in kx 2.400 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 2.400 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 2.400 * [taylor]: Taking taylor expansion of th in kx 2.400 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 2.400 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.400 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.400 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.400 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.400 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.400 * [taylor]: Taking taylor expansion of kx in kx 2.400 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.400 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.400 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.400 * [taylor]: Taking taylor expansion of ky in kx 2.404 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 2.404 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 2.404 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.404 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.404 * [taylor]: Taking taylor expansion of ky in ky 2.404 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 2.404 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 2.404 * [taylor]: Taking taylor expansion of th in ky 2.404 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 2.404 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.404 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.404 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.404 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.404 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.404 * [taylor]: Taking taylor expansion of kx in ky 2.404 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.404 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.404 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.404 * [taylor]: Taking taylor expansion of ky in ky 2.413 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 2.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in ky 2.413 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.413 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.413 * [taylor]: Taking taylor expansion of ky in ky 2.413 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in ky 2.413 * [taylor]: Taking taylor expansion of (/ 1 th) in ky 2.413 * [taylor]: Taking taylor expansion of th in ky 2.413 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 2.413 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.413 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.413 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.413 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.413 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.413 * [taylor]: Taking taylor expansion of kx in ky 2.414 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.414 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.414 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.414 * [taylor]: Taking taylor expansion of ky in ky 2.418 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 2.418 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in kx 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.418 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.418 * [taylor]: Taking taylor expansion of ky in kx 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in kx 2.418 * [taylor]: Taking taylor expansion of (/ 1 th) in kx 2.418 * [taylor]: Taking taylor expansion of th in kx 2.418 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 2.418 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.418 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.418 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.418 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.418 * [taylor]: Taking taylor expansion of kx in kx 2.418 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.418 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.418 * [taylor]: Taking taylor expansion of ky in kx 2.422 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 ky)) (sin (/ 1 th))) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in th 2.422 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sin (/ 1 th))) in th 2.422 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 2.422 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 2.423 * [taylor]: Taking taylor expansion of ky in th 2.423 * [taylor]: Taking taylor expansion of (sin (/ 1 th)) in th 2.423 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.423 * [taylor]: Taking taylor expansion of th in th 2.423 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in th 2.423 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in th 2.423 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in th 2.423 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in th 2.423 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in th 2.423 * [taylor]: Taking taylor expansion of (/ 1 kx) in th 2.423 * [taylor]: Taking taylor expansion of kx in th 2.423 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in th 2.423 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in th 2.423 * [taylor]: Taking taylor expansion of (/ 1 ky) in th 2.423 * [taylor]: Taking taylor expansion of ky in th 2.431 * [taylor]: Taking taylor expansion of 0 in kx 2.431 * [taylor]: Taking taylor expansion of 0 in th 2.435 * [taylor]: Taking taylor expansion of 0 in th 2.444 * [taylor]: Taking taylor expansion of 0 in kx 2.444 * [taylor]: Taking taylor expansion of 0 in th 2.444 * [taylor]: Taking taylor expansion of 0 in th 2.453 * [taylor]: Taking taylor expansion of 0 in th 2.454 * [approximate]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in (ky kx th) around 0 2.454 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 2.454 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 2.454 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 2.454 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 2.454 * [taylor]: Taking taylor expansion of -1 in th 2.454 * [taylor]: Taking taylor expansion of ky in th 2.454 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 2.454 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.454 * [taylor]: Taking taylor expansion of -1 in th 2.454 * [taylor]: Taking taylor expansion of th in th 2.455 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 2.455 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 2.455 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 2.455 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 2.455 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 2.455 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 2.455 * [taylor]: Taking taylor expansion of -1 in th 2.455 * [taylor]: Taking taylor expansion of kx in th 2.455 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 2.455 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 2.455 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 2.455 * [taylor]: Taking taylor expansion of -1 in th 2.455 * [taylor]: Taking taylor expansion of ky in th 2.460 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.460 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.460 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.460 * [taylor]: Taking taylor expansion of -1 in kx 2.460 * [taylor]: Taking taylor expansion of ky in kx 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 2.460 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 2.460 * [taylor]: Taking taylor expansion of -1 in kx 2.460 * [taylor]: Taking taylor expansion of th in kx 2.460 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.460 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.460 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.460 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.460 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.460 * [taylor]: Taking taylor expansion of -1 in kx 2.460 * [taylor]: Taking taylor expansion of kx in kx 2.461 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.461 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.461 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.461 * [taylor]: Taking taylor expansion of -1 in kx 2.461 * [taylor]: Taking taylor expansion of ky in kx 2.464 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.464 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 2.464 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.464 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.464 * [taylor]: Taking taylor expansion of -1 in ky 2.464 * [taylor]: Taking taylor expansion of ky in ky 2.465 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 2.465 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 2.465 * [taylor]: Taking taylor expansion of -1 in ky 2.465 * [taylor]: Taking taylor expansion of th in ky 2.465 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.465 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.465 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.465 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.465 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.465 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.465 * [taylor]: Taking taylor expansion of -1 in ky 2.465 * [taylor]: Taking taylor expansion of kx in ky 2.465 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.465 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.465 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.465 * [taylor]: Taking taylor expansion of -1 in ky 2.465 * [taylor]: Taking taylor expansion of ky in ky 2.469 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.469 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in ky 2.469 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.469 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.469 * [taylor]: Taking taylor expansion of -1 in ky 2.469 * [taylor]: Taking taylor expansion of ky in ky 2.469 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in ky 2.469 * [taylor]: Taking taylor expansion of (/ -1 th) in ky 2.469 * [taylor]: Taking taylor expansion of -1 in ky 2.469 * [taylor]: Taking taylor expansion of th in ky 2.470 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.470 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.470 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.470 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.470 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.470 * [taylor]: Taking taylor expansion of -1 in ky 2.470 * [taylor]: Taking taylor expansion of kx in ky 2.470 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.470 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.470 * [taylor]: Taking taylor expansion of -1 in ky 2.470 * [taylor]: Taking taylor expansion of ky in ky 2.476 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.476 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.476 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.476 * [taylor]: Taking taylor expansion of -1 in kx 2.476 * [taylor]: Taking taylor expansion of ky in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in kx 2.476 * [taylor]: Taking taylor expansion of (/ -1 th) in kx 2.476 * [taylor]: Taking taylor expansion of -1 in kx 2.476 * [taylor]: Taking taylor expansion of th in kx 2.476 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.476 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.476 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.476 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.476 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.476 * [taylor]: Taking taylor expansion of -1 in kx 2.476 * [taylor]: Taking taylor expansion of kx in kx 2.476 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.477 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.477 * [taylor]: Taking taylor expansion of -1 in kx 2.477 * [taylor]: Taking taylor expansion of ky in kx 2.480 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 ky)) (sin (/ -1 th))) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in th 2.481 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sin (/ -1 th))) in th 2.481 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 2.481 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 2.481 * [taylor]: Taking taylor expansion of -1 in th 2.481 * [taylor]: Taking taylor expansion of ky in th 2.481 * [taylor]: Taking taylor expansion of (sin (/ -1 th)) in th 2.481 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.481 * [taylor]: Taking taylor expansion of -1 in th 2.481 * [taylor]: Taking taylor expansion of th in th 2.481 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in th 2.481 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in th 2.481 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in th 2.481 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in th 2.481 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in th 2.481 * [taylor]: Taking taylor expansion of (/ -1 kx) in th 2.481 * [taylor]: Taking taylor expansion of -1 in th 2.481 * [taylor]: Taking taylor expansion of kx in th 2.481 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in th 2.481 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in th 2.481 * [taylor]: Taking taylor expansion of (/ -1 ky) in th 2.481 * [taylor]: Taking taylor expansion of -1 in th 2.481 * [taylor]: Taking taylor expansion of ky in th 2.489 * [taylor]: Taking taylor expansion of 0 in kx 2.489 * [taylor]: Taking taylor expansion of 0 in th 2.493 * [taylor]: Taking taylor expansion of 0 in th 2.502 * [taylor]: Taking taylor expansion of 0 in kx 2.502 * [taylor]: Taking taylor expansion of 0 in th 2.502 * [taylor]: Taking taylor expansion of 0 in th 2.517 * [taylor]: Taking taylor expansion of 0 in th 2.517 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 2.517 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 2.517 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 2.517 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 2.517 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 2.517 * [taylor]: Taking taylor expansion of 2.0 in ky 2.518 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 2.518 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.518 * [taylor]: Taking taylor expansion of ky in ky 2.519 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 2.519 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 2.519 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 2.519 * [taylor]: Taking taylor expansion of 2.0 in ky 2.519 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 2.519 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.519 * [taylor]: Taking taylor expansion of ky in ky 2.550 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 2.550 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 2.550 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 2.550 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 2.550 * [taylor]: Taking taylor expansion of 2.0 in ky 2.550 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 2.550 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.550 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.550 * [taylor]: Taking taylor expansion of ky in ky 2.550 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 2.550 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 2.550 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 2.550 * [taylor]: Taking taylor expansion of 2.0 in ky 2.550 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 2.550 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.550 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.550 * [taylor]: Taking taylor expansion of ky in ky 2.583 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 2.583 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 2.583 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 2.583 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 2.583 * [taylor]: Taking taylor expansion of 2.0 in ky 2.583 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 2.583 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.583 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.584 * [taylor]: Taking taylor expansion of -1 in ky 2.584 * [taylor]: Taking taylor expansion of ky in ky 2.584 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 2.584 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 2.584 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 2.584 * [taylor]: Taking taylor expansion of 2.0 in ky 2.584 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 2.584 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.584 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.584 * [taylor]: Taking taylor expansion of -1 in ky 2.584 * [taylor]: Taking taylor expansion of ky in ky 2.623 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 2.623 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 2.623 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 2.623 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 2.623 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 2.623 * [taylor]: Taking taylor expansion of 2.0 in kx 2.623 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.623 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.623 * [taylor]: Taking taylor expansion of kx in kx 2.624 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 2.624 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 2.624 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 2.624 * [taylor]: Taking taylor expansion of 2.0 in kx 2.624 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.624 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.624 * [taylor]: Taking taylor expansion of kx in kx 2.655 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 2.655 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 2.655 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 2.655 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 2.655 * [taylor]: Taking taylor expansion of 2.0 in kx 2.655 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.655 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.655 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.655 * [taylor]: Taking taylor expansion of kx in kx 2.656 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 2.656 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 2.656 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 2.656 * [taylor]: Taking taylor expansion of 2.0 in kx 2.656 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.656 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.656 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.656 * [taylor]: Taking taylor expansion of kx in kx 2.695 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 2.695 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 2.695 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 2.695 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 2.695 * [taylor]: Taking taylor expansion of 2.0 in kx 2.695 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.695 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.695 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.695 * [taylor]: Taking taylor expansion of -1 in kx 2.695 * [taylor]: Taking taylor expansion of kx in kx 2.695 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 2.695 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 2.696 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 2.696 * [taylor]: Taking taylor expansion of 2.0 in kx 2.696 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.696 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.696 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.696 * [taylor]: Taking taylor expansion of -1 in kx 2.696 * [taylor]: Taking taylor expansion of kx in kx 2.729 * * * [progress]: simplifying candidates 2.730 * [simplify]: Simplifying using # : (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (- (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (- (/ 1 (sin th))) (/ (sin ky) 1) (/ (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sin th))) (/ (/ (sin ky) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) 1) (/ (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 (sin th))) (/ (/ (sin ky) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) 1) (/ (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (/ 1 (sin th))) (/ 1 (/ 1 (sin th))) (/ (/ 1 (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) 1) (/ (/ 1 (sin th)) (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (/ 1 (sin th)) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (/ 1 (sin th)) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) 1) (/ (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (- 1)) (/ (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) 1) (* (/ 1 (sin th)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (* (/ 1 (sin th)) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (* (/ 1 (sin th)) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky))) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) 0 (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 2.734 * * [simplify]: iteration 0 : 228 enodes (cost 318 ) 2.739 * * [simplify]: iteration 1 : 800 enodes (cost 307 ) 2.755 * * [simplify]: iteration 2 : 3681 enodes (cost 307 ) 2.865 * * [simplify]: iteration 3 : 5001 enodes (cost 307 ) 2.867 * [simplify]: Simplified to: (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (- (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (- (/ 1 (sin th))) (sin ky) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (* (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sin th)) (/ (sin ky) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (* (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin th)) (sin th) (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin th)) (/ (/ 1 (sin th)) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (/ 1 (sin th)) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin th)) (/ (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) (/ (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (sin th)) (* (log (sin ky)) 2.0) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (* (log (sin kx)) 2.0) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) 0 (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (sin ky) (sin th))) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) 2.867 * * * [progress]: adding candidates to table 2.968 * [progress]: [Phase 3 of 3] Extracting. 2.968 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 2.972 * * * [regime-changes]: Trying 9 branch expressions: ((sin th) (sin kx) (pow (sin kx) 2.0) (sin ky) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) th ky kx) 2.972 * * * * [regimes]: Trying to branch on (sin th) from (# # # # # # # # # # #) 3.030 * * * * [regimes]: Trying to branch on (sin kx) from (# # # # # # # # # # #) 3.086 * * * * [regimes]: Trying to branch on (pow (sin kx) 2.0) from (# # # # # # # # # # #) 3.144 * * * * [regimes]: Trying to branch on (sin ky) from (# # # # # # # # # # #) 3.201 * * * * [regimes]: Trying to branch on (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) from (# # # # # # # # # # #) 3.273 * * * * [regimes]: Trying to branch on (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) from (# # # # # # # # # # #) 3.347 * * * * [regimes]: Trying to branch on th from (# # # # # # # # # # #) 3.397 * * * * [regimes]: Trying to branch on ky from (# # # # # # # # # # #) 3.449 * * * * [regimes]: Trying to branch on kx from (# # # # # # # # # # #) 3.500 * * * [regime]: Found split indices: #