25.109 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.178 * * * [progress]: [2/2] Setting up program. 0.189 * [progress]: [Phase 2 of 3] Improving. 0.189 * [simplify]: Simplifying using # : (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) 0.191 * * [simplify]: iteration 0 : 74 enodes (cost 30 ) 0.194 * * [simplify]: iteration 1 : 193 enodes (cost 27 ) 0.198 * * [simplify]: iteration 2 : 704 enodes (cost 27 ) 0.209 * * [simplify]: iteration 3 : 2994 enodes (cost 27 ) 0.243 * * [simplify]: iteration 4 : 5001 enodes (cost 27 ) 0.243 * [simplify]: Simplified to: (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0) 0.249 * * [progress]: iteration 1 / 4 0.249 * * * [progress]: picking best candidate 0.259 * * * * [pick]: Picked # 0.260 * * * [progress]: localizing error 0.294 * * * [progress]: generating rewritten candidates 0.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 0.297 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 0.299 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 0.303 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.312 * * * [progress]: generating series expansions 0.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 0.312 * [approximate]: Taking taylor expansion of (- (cos x) (cos y)) in (x y) around 0 0.312 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in y 0.312 * [taylor]: Taking taylor expansion of (cos x) in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (cos y) in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in x 0.312 * [taylor]: Taking taylor expansion of (cos x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (cos y) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in x 0.312 * [taylor]: Taking taylor expansion of (cos x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (cos y) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.313 * [taylor]: Taking taylor expansion of (- 1 (cos y)) in y 0.313 * [taylor]: Taking taylor expansion of 1 in y 0.313 * [taylor]: Taking taylor expansion of (cos y) in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [taylor]: Taking taylor expansion of -1/2 in y 0.327 * [taylor]: Taking taylor expansion of 0 in y 0.333 * [taylor]: Taking taylor expansion of 1/24 in y 0.334 * [approximate]: Taking taylor expansion of (- (cos (/ 1 x)) (cos (/ 1 y))) in (x y) around 0 0.334 * [taylor]: Taking taylor expansion of (- (cos (/ 1 x)) (cos (/ 1 y))) in y 0.334 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (- (cos (/ 1 x)) (cos (/ 1 y))) in x 0.334 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.334 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.335 * [taylor]: Taking taylor expansion of y in x 0.335 * [taylor]: Taking taylor expansion of (- (cos (/ 1 x)) (cos (/ 1 y))) in x 0.335 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.335 * [taylor]: Taking taylor expansion of y in x 0.336 * [taylor]: Taking taylor expansion of (- (cos (/ 1 x)) (cos (/ 1 y))) in y 0.336 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.336 * [taylor]: Taking taylor expansion of x in y 0.336 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.336 * [taylor]: Taking taylor expansion of y in y 0.339 * [taylor]: Taking taylor expansion of 0 in y 0.344 * [taylor]: Taking taylor expansion of 0 in y 0.349 * [taylor]: Taking taylor expansion of 0 in y 0.349 * [approximate]: Taking taylor expansion of (- (cos (/ -1 x)) (cos (/ -1 y))) in (x y) around 0 0.349 * [taylor]: Taking taylor expansion of (- (cos (/ -1 x)) (cos (/ -1 y))) in y 0.349 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 0.349 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.350 * [taylor]: Taking taylor expansion of -1 in y 0.350 * [taylor]: Taking taylor expansion of x in y 0.350 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.350 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.350 * [taylor]: Taking taylor expansion of -1 in y 0.350 * [taylor]: Taking taylor expansion of y in y 0.350 * [taylor]: Taking taylor expansion of (- (cos (/ -1 x)) (cos (/ -1 y))) in x 0.350 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.350 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.350 * [taylor]: Taking taylor expansion of -1 in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.350 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.350 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.350 * [taylor]: Taking taylor expansion of -1 in x 0.350 * [taylor]: Taking taylor expansion of y in x 0.351 * [taylor]: Taking taylor expansion of (- (cos (/ -1 x)) (cos (/ -1 y))) in x 0.351 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.351 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.351 * [taylor]: Taking taylor expansion of -1 in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.351 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.351 * [taylor]: Taking taylor expansion of -1 in x 0.351 * [taylor]: Taking taylor expansion of y in x 0.352 * [taylor]: Taking taylor expansion of (- (cos (/ -1 x)) (cos (/ -1 y))) in y 0.352 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 0.352 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.352 * [taylor]: Taking taylor expansion of -1 in y 0.352 * [taylor]: Taking taylor expansion of x in y 0.352 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.352 * [taylor]: Taking taylor expansion of -1 in y 0.352 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of 0 in y 0.359 * [taylor]: Taking taylor expansion of 0 in y 0.365 * [taylor]: Taking taylor expansion of 0 in y 0.365 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 0.365 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 0.366 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in (x y) around 0 0.366 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in y 0.366 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.366 * [taylor]: Taking taylor expansion of 2.0 in y 0.366 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in y 0.366 * [taylor]: Taking taylor expansion of (sin x) in y 0.366 * [taylor]: Taking taylor expansion of x in y 0.366 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in y 0.366 * [taylor]: Taking taylor expansion of 0.0625 in y 0.366 * [taylor]: Taking taylor expansion of (sin y) in y 0.367 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 0.367 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.367 * [taylor]: Taking taylor expansion of 2.0 in x 0.367 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 0.367 * [taylor]: Taking taylor expansion of (sin x) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 0.367 * [taylor]: Taking taylor expansion of 0.0625 in x 0.367 * [taylor]: Taking taylor expansion of (sin y) in x 0.367 * [taylor]: Taking taylor expansion of y in x 0.367 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 0.367 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.367 * [taylor]: Taking taylor expansion of 2.0 in x 0.368 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 0.368 * [taylor]: Taking taylor expansion of (sin x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 0.368 * [taylor]: Taking taylor expansion of 0.0625 in x 0.368 * [taylor]: Taking taylor expansion of (sin y) in x 0.368 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of (* -0.0625 (* (sqrt 2.0) (sin y))) in y 0.369 * [taylor]: Taking taylor expansion of -0.0625 in y 0.369 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sin y)) in y 0.369 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.369 * [taylor]: Taking taylor expansion of 2.0 in y 0.369 * [taylor]: Taking taylor expansion of (sin y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.373 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.373 * [taylor]: Taking taylor expansion of 2.0 in y 0.382 * [taylor]: Taking taylor expansion of 0 in y 0.390 * [taylor]: Taking taylor expansion of (- (* 1/6 (sqrt 2.0))) in y 0.390 * [taylor]: Taking taylor expansion of (* 1/6 (sqrt 2.0)) in y 0.390 * [taylor]: Taking taylor expansion of 1/6 in y 0.390 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.390 * [taylor]: Taking taylor expansion of 2.0 in y 0.396 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in (x y) around 0 0.396 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in y 0.396 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.396 * [taylor]: Taking taylor expansion of 2.0 in y 0.397 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 0.397 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.397 * [taylor]: Taking taylor expansion of x in y 0.397 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 0.397 * [taylor]: Taking taylor expansion of 0.0625 in y 0.397 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.397 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 0.397 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.397 * [taylor]: Taking taylor expansion of 2.0 in x 0.398 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 0.398 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 0.398 * [taylor]: Taking taylor expansion of 0.0625 in x 0.398 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 0.399 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.399 * [taylor]: Taking taylor expansion of 2.0 in x 0.399 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 0.399 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 0.400 * [taylor]: Taking taylor expansion of 0.0625 in x 0.400 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.400 * [taylor]: Taking taylor expansion of y in x 0.400 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in y 0.400 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.400 * [taylor]: Taking taylor expansion of 2.0 in y 0.404 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 0.404 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.404 * [taylor]: Taking taylor expansion of x in y 0.404 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 0.404 * [taylor]: Taking taylor expansion of 0.0625 in y 0.404 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.404 * [taylor]: Taking taylor expansion of y in y 0.408 * [taylor]: Taking taylor expansion of 0 in y 0.415 * [taylor]: Taking taylor expansion of 0 in y 0.424 * [taylor]: Taking taylor expansion of 0 in y 0.424 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in (x y) around 0 0.424 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in y 0.424 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.424 * [taylor]: Taking taylor expansion of 2.0 in y 0.425 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 0.425 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.425 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.425 * [taylor]: Taking taylor expansion of -1 in y 0.425 * [taylor]: Taking taylor expansion of x in y 0.425 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 0.425 * [taylor]: Taking taylor expansion of 0.0625 in y 0.425 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.425 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.425 * [taylor]: Taking taylor expansion of -1 in y 0.425 * [taylor]: Taking taylor expansion of y in y 0.426 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in x 0.426 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.426 * [taylor]: Taking taylor expansion of 2.0 in x 0.426 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 0.426 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.427 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 0.427 * [taylor]: Taking taylor expansion of 0.0625 in x 0.427 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.427 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.427 * [taylor]: Taking taylor expansion of -1 in x 0.427 * [taylor]: Taking taylor expansion of y in x 0.427 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in x 0.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.427 * [taylor]: Taking taylor expansion of 2.0 in x 0.428 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 0.428 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.428 * [taylor]: Taking taylor expansion of -1 in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 0.428 * [taylor]: Taking taylor expansion of 0.0625 in x 0.428 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.428 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.428 * [taylor]: Taking taylor expansion of -1 in x 0.428 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in y 0.429 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.429 * [taylor]: Taking taylor expansion of 2.0 in y 0.430 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 0.430 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.430 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.430 * [taylor]: Taking taylor expansion of -1 in y 0.430 * [taylor]: Taking taylor expansion of x in y 0.430 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 0.430 * [taylor]: Taking taylor expansion of 0.0625 in y 0.430 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.430 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.430 * [taylor]: Taking taylor expansion of -1 in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.434 * [taylor]: Taking taylor expansion of 0 in y 0.440 * [taylor]: Taking taylor expansion of 0 in y 0.450 * [taylor]: Taking taylor expansion of 0 in y 0.450 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.451 * [approximate]: Taking taylor expansion of (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) in (x y) around 0 0.451 * [taylor]: Taking taylor expansion of (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) in y 0.451 * [taylor]: Taking taylor expansion of (- (sin y) (* 0.0625 (sin x))) in y 0.451 * [taylor]: Taking taylor expansion of (sin y) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.451 * [taylor]: Taking taylor expansion of (* 0.0625 (sin x)) in y 0.451 * [taylor]: Taking taylor expansion of 0.0625 in y 0.451 * [taylor]: Taking taylor expansion of (sin x) in y 0.451 * [taylor]: Taking taylor expansion of x in y 0.451 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in y 0.451 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.451 * [taylor]: Taking taylor expansion of 2.0 in y 0.451 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in y 0.451 * [taylor]: Taking taylor expansion of (sin x) in y 0.451 * [taylor]: Taking taylor expansion of x in y 0.452 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in y 0.452 * [taylor]: Taking taylor expansion of 0.0625 in y 0.452 * [taylor]: Taking taylor expansion of (sin y) in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.452 * [taylor]: Taking taylor expansion of (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) in x 0.452 * [taylor]: Taking taylor expansion of (- (sin y) (* 0.0625 (sin x))) in x 0.452 * [taylor]: Taking taylor expansion of (sin y) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of (* 0.0625 (sin x)) in x 0.452 * [taylor]: Taking taylor expansion of 0.0625 in x 0.452 * [taylor]: Taking taylor expansion of (sin x) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 0.452 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.452 * [taylor]: Taking taylor expansion of 2.0 in x 0.452 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 0.452 * [taylor]: Taking taylor expansion of (sin x) in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.453 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 0.453 * [taylor]: Taking taylor expansion of 0.0625 in x 0.453 * [taylor]: Taking taylor expansion of (sin y) in x 0.453 * [taylor]: Taking taylor expansion of y in x 0.453 * [taylor]: Taking taylor expansion of (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) in x 0.453 * [taylor]: Taking taylor expansion of (- (sin y) (* 0.0625 (sin x))) in x 0.453 * [taylor]: Taking taylor expansion of (sin y) in x 0.453 * [taylor]: Taking taylor expansion of y in x 0.453 * [taylor]: Taking taylor expansion of (* 0.0625 (sin x)) in x 0.453 * [taylor]: Taking taylor expansion of 0.0625 in x 0.453 * [taylor]: Taking taylor expansion of (sin x) in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.453 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 0.453 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.453 * [taylor]: Taking taylor expansion of 2.0 in x 0.454 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 0.454 * [taylor]: Taking taylor expansion of (sin x) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 0.454 * [taylor]: Taking taylor expansion of 0.0625 in x 0.454 * [taylor]: Taking taylor expansion of (sin y) in x 0.454 * [taylor]: Taking taylor expansion of y in x 0.455 * [taylor]: Taking taylor expansion of (* -0.0625 (* (sqrt 2.0) (pow (sin y) 2))) in y 0.455 * [taylor]: Taking taylor expansion of -0.0625 in y 0.455 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (sin y) 2)) in y 0.455 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.455 * [taylor]: Taking taylor expansion of 2.0 in y 0.456 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 0.456 * [taylor]: Taking taylor expansion of (sin y) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.463 * [taylor]: Taking taylor expansion of (* 1.00390625 (* (sqrt 2.0) (sin y))) in y 0.463 * [taylor]: Taking taylor expansion of 1.00390625 in y 0.463 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sin y)) in y 0.463 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.463 * [taylor]: Taking taylor expansion of 2.0 in y 0.464 * [taylor]: Taking taylor expansion of (sin y) in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of (- (* 0.0625 (sqrt 2.0))) in y 0.473 * [taylor]: Taking taylor expansion of (* 0.0625 (sqrt 2.0)) in y 0.473 * [taylor]: Taking taylor expansion of 0.0625 in y 0.473 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.473 * [taylor]: Taking taylor expansion of 2.0 in y 0.487 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))))) in (x y) around 0 0.487 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))))) in y 0.487 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.487 * [taylor]: Taking taylor expansion of 2.0 in y 0.487 * [taylor]: Taking taylor expansion of (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in y 0.487 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) in y 0.487 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.487 * [taylor]: Taking taylor expansion of y in y 0.488 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 x))) in y 0.488 * [taylor]: Taking taylor expansion of 0.0625 in y 0.488 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.488 * [taylor]: Taking taylor expansion of x in y 0.488 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 0.488 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.488 * [taylor]: Taking taylor expansion of x in y 0.488 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 0.488 * [taylor]: Taking taylor expansion of 0.0625 in y 0.488 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.488 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.488 * [taylor]: Taking taylor expansion of y in y 0.488 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))))) in x 0.488 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.488 * [taylor]: Taking taylor expansion of 2.0 in x 0.489 * [taylor]: Taking taylor expansion of (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 0.489 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) in x 0.489 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.489 * [taylor]: Taking taylor expansion of y in x 0.489 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 x))) in x 0.489 * [taylor]: Taking taylor expansion of 0.0625 in x 0.489 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 0.490 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 0.490 * [taylor]: Taking taylor expansion of 0.0625 in x 0.490 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.490 * [taylor]: Taking taylor expansion of y in x 0.490 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))))) in x 0.490 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.490 * [taylor]: Taking taylor expansion of 2.0 in x 0.491 * [taylor]: Taking taylor expansion of (* (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 0.491 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) in x 0.491 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.491 * [taylor]: Taking taylor expansion of y in x 0.491 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 x))) in x 0.491 * [taylor]: Taking taylor expansion of 0.0625 in x 0.491 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 0.491 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 0.492 * [taylor]: Taking taylor expansion of 0.0625 in x 0.492 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.493 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))))) in y 0.493 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.493 * [taylor]: Taking taylor expansion of 2.0 in y 0.494 * [taylor]: Taking taylor expansion of (* (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x))))) in y 0.494 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.494 * [taylor]: Taking taylor expansion of x in y 0.494 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 0.494 * [taylor]: Taking taylor expansion of 0.0625 in y 0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.494 * [taylor]: Taking taylor expansion of y in y 0.494 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y)) (* 0.0625 (sin (/ 1 x)))) in y 0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.494 * [taylor]: Taking taylor expansion of y in y 0.495 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 x))) in y 0.495 * [taylor]: Taking taylor expansion of 0.0625 in y 0.495 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.495 * [taylor]: Taking taylor expansion of x in y 0.501 * [taylor]: Taking taylor expansion of 0 in y 0.514 * [taylor]: Taking taylor expansion of 0 in y 0.530 * [taylor]: Taking taylor expansion of 0 in y 0.531 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))))) in (x y) around 0 0.531 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))))) in y 0.531 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.531 * [taylor]: Taking taylor expansion of 2.0 in y 0.532 * [taylor]: Taking taylor expansion of (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x))))) in y 0.532 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 0.532 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.532 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.532 * [taylor]: Taking taylor expansion of -1 in y 0.532 * [taylor]: Taking taylor expansion of x in y 0.532 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 0.532 * [taylor]: Taking taylor expansion of 0.0625 in y 0.532 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.532 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.532 * [taylor]: Taking taylor expansion of -1 in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.533 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))) in y 0.533 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.533 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.533 * [taylor]: Taking taylor expansion of -1 in y 0.533 * [taylor]: Taking taylor expansion of y in y 0.533 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 x))) in y 0.533 * [taylor]: Taking taylor expansion of 0.0625 in y 0.533 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.533 * [taylor]: Taking taylor expansion of -1 in y 0.533 * [taylor]: Taking taylor expansion of x in y 0.533 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))))) in x 0.533 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.533 * [taylor]: Taking taylor expansion of 2.0 in x 0.534 * [taylor]: Taking taylor expansion of (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x))))) in x 0.534 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 0.534 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.534 * [taylor]: Taking taylor expansion of -1 in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 0.534 * [taylor]: Taking taylor expansion of 0.0625 in x 0.534 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of y in x 0.535 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))) in x 0.535 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.535 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of y in x 0.535 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 x))) in x 0.535 * [taylor]: Taking taylor expansion of 0.0625 in x 0.535 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))))) in x 0.535 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.535 * [taylor]: Taking taylor expansion of 2.0 in x 0.536 * [taylor]: Taking taylor expansion of (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x))))) in x 0.536 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 0.536 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.536 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.536 * [taylor]: Taking taylor expansion of -1 in x 0.536 * [taylor]: Taking taylor expansion of x in x 0.536 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 0.536 * [taylor]: Taking taylor expansion of 0.0625 in x 0.536 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.536 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.536 * [taylor]: Taking taylor expansion of -1 in x 0.536 * [taylor]: Taking taylor expansion of y in x 0.536 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))) in x 0.536 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.536 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.537 * [taylor]: Taking taylor expansion of -1 in x 0.537 * [taylor]: Taking taylor expansion of y in x 0.537 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 x))) in x 0.537 * [taylor]: Taking taylor expansion of 0.0625 in x 0.537 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.537 * [taylor]: Taking taylor expansion of -1 in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))))) in y 0.538 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.538 * [taylor]: Taking taylor expansion of 2.0 in y 0.539 * [taylor]: Taking taylor expansion of (* (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x))))) in y 0.539 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 0.539 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.539 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of x in y 0.539 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 0.539 * [taylor]: Taking taylor expansion of 0.0625 in y 0.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.539 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (* 0.0625 (sin (/ -1 x)))) in y 0.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.540 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 x))) in y 0.540 * [taylor]: Taking taylor expansion of 0.0625 in y 0.540 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.540 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.540 * [taylor]: Taking taylor expansion of -1 in y 0.540 * [taylor]: Taking taylor expansion of x in y 0.547 * [taylor]: Taking taylor expansion of 0 in y 0.559 * [taylor]: Taking taylor expansion of 0 in y 0.578 * [taylor]: Taking taylor expansion of 0 in y 0.579 * * * [progress]: simplifying candidates 0.580 * [simplify]: Simplifying using # : (* (sin (/ (- x y) 2)) (sin (/ (+ x y) 2))) (- (pow (cos x) 3) (pow (cos y) 3)) (+ (* (cos x) (cos x)) (+ (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (cos y)) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (+ (cos x) (cos y)) (- (cos y)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (+ (* 3.0 3.0) (+ (* (sqrt 5.0) (sqrt 5.0)) (* 3.0 (sqrt 5.0)))) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sin x) (sqrt 2.0)) (* (- (/ (sin y) 16.0)) (sqrt 2.0)) (* (sin x) (sqrt 2.0)) (* (- (/ (sin y) 16.0)) (sqrt 2.0)) (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))) (+ (* (sin y) (sin y)) (+ (* (/ (sin x) 16.0) (/ (sin x) 16.0)) (* (sin y) (/ (sin x) 16.0))))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))) (+ (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (+ (sin x) (/ (sin y) 16.0)) (+ (* (sin y) (sin y)) (+ (* (/ (sin x) 16.0) (/ (sin x) 16.0)) (* (sin y) (/ (sin x) 16.0))))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (+ (sin x) (/ (sin y) 16.0)) (+ (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (sin y) (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))) (* (- (/ (sin x) 16.0)) (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))) (* (sin y) (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))) (* (- (/ (sin x) 16.0)) (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))) (* (sqrt 2.0) (- (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (+ (* 1/2 (pow y 2)) (* 1/24 (pow x 4))) (* 1/2 (pow x 2))) (- (cos x) (cos y)) (- (cos x) (cos y)) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) (- (* (sqrt 2.0) x) (+ (* 1/6 (* (sqrt 2.0) (pow x 3))) (* 0.0625 (* (sqrt 2.0) y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (- (* 1.00390625 (* (sqrt 2.0) (* y x))) (+ (* 0.0625 (* (sqrt 2.0) (pow y 2))) (* 0.0625 (* (sqrt 2.0) (pow x 2))))) (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) 0.585 * * [simplify]: iteration 0 : 432 enodes (cost 488 ) 0.592 * * [simplify]: iteration 1 : 1429 enodes (cost 482 ) 0.615 * * [simplify]: iteration 2 : 5001 enodes (cost 479 ) 0.618 * [simplify]: Simplified to: (* (sin (/ (- x y) 2)) (sin (/ (+ x y) 2))) (- (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))) (- (cos y)) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (+ (cos x) (cos y)) (- (cos y)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (fma (sqrt 5.0) 3.0 (fma 3.0 3.0 5.0)) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (+ (* (/ (sin x) 16.0) (+ (/ (sin x) 16.0) (sin y))) (* (sin y) (sin y))) (+ (* (/ (sin y) 16.0) (+ (/ (sin y) 16.0) (sin x))) (* (sin x) (sin x)))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (+ (sin y) (/ (sin x) 16.0)) (+ (* (/ (sin y) 16.0) (+ (/ (sin y) 16.0) (sin x))) (* (sin x) (sin x)))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (+ (* (/ (sin x) 16.0) (+ (/ (sin x) 16.0) (sin y))) (* (sin y) (sin y))) (+ (sin x) (/ (sin y) 16.0))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (+ (sin x) (/ (sin y) 16.0)) (+ (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (sin y)) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (/ (sin x) 16.0))) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))) (* (sqrt 2.0) (- (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (pow (sin y) 3) (pow (/ (sin x) 16.0) 3))) (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (* (sin y) (sin y)) (* (/ (sin x) 16.0) (/ (sin x) 16.0)))) (* (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (- (sin y) (/ (sin x) 16.0))) (* (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (fma (pow y 2) 1/2 (- (* 1/24 (pow x 4)) (* 1/2 (pow x 2)))) (- (cos x) (cos y)) (- (cos x) (cos y)) (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0) (fma (sqrt 2.0) x (- (fma 1/6 (* (sqrt 2.0) (pow x 3)) (* 0.0625 (* (sqrt 2.0) y))))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (fma (- 0.0625) (* (sqrt 2.0) (+ (pow y 2) (pow x 2))) (* 1.00390625 (* (sqrt 2.0) (* y x)))) (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) (* (- (sin y) (* 0.0625 (sin x))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y))))) 0.618 * * * [progress]: adding candidates to table 0.819 * * [progress]: iteration 2 / 4 0.819 * * * [progress]: picking best candidate 0.870 * * * * [pick]: Picked # 0.870 * * * [progress]: localizing error 0.918 * * * [progress]: generating rewritten candidates 0.918 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1) 0.923 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 0.925 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2) 0.928 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 0.933 * * * [progress]: generating series expansions 0.933 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1) 0.933 * [approximate]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in (x y) around 0 0.933 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in y 0.933 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in y 0.933 * [taylor]: Taking taylor expansion of (cos x) in y 0.933 * [taylor]: Taking taylor expansion of x in y 0.934 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in y 0.934 * [taylor]: Taking taylor expansion of (cos y) in y 0.934 * [taylor]: Taking taylor expansion of y in y 0.934 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in x 0.934 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.934 * [taylor]: Taking taylor expansion of (cos x) in x 0.934 * [taylor]: Taking taylor expansion of x in x 0.934 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in x 0.934 * [taylor]: Taking taylor expansion of (cos y) in x 0.934 * [taylor]: Taking taylor expansion of y in x 0.935 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in x 0.935 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.935 * [taylor]: Taking taylor expansion of (cos x) in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in x 0.935 * [taylor]: Taking taylor expansion of (cos y) in x 0.935 * [taylor]: Taking taylor expansion of y in x 0.936 * [taylor]: Taking taylor expansion of (- 1 (pow (cos y) 3)) in y 0.936 * [taylor]: Taking taylor expansion of 1 in y 0.936 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in y 0.936 * [taylor]: Taking taylor expansion of (cos y) in y 0.936 * [taylor]: Taking taylor expansion of y in y 0.940 * [taylor]: Taking taylor expansion of 0 in y 0.946 * [taylor]: Taking taylor expansion of -3/2 in y 0.954 * [taylor]: Taking taylor expansion of 0 in y 0.964 * [taylor]: Taking taylor expansion of 7/8 in y 0.964 * [approximate]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in (x y) around 0 0.964 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in y 0.964 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in y 0.964 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.964 * [taylor]: Taking taylor expansion of x in y 0.965 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in y 0.965 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.965 * [taylor]: Taking taylor expansion of y in y 0.965 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in x 0.965 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.965 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.966 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in x 0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.966 * [taylor]: Taking taylor expansion of y in x 0.966 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in x 0.966 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.966 * [taylor]: Taking taylor expansion of x in x 0.966 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in x 0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.966 * [taylor]: Taking taylor expansion of y in x 0.968 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in y 0.968 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in y 0.968 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.968 * [taylor]: Taking taylor expansion of x in y 0.968 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in y 0.968 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.972 * [taylor]: Taking taylor expansion of 0 in y 0.978 * [taylor]: Taking taylor expansion of 0 in y 0.987 * [taylor]: Taking taylor expansion of 0 in y 0.988 * [approximate]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in (x y) around 0 0.988 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in y 0.988 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in y 0.988 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 0.988 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.988 * [taylor]: Taking taylor expansion of -1 in y 0.988 * [taylor]: Taking taylor expansion of x in y 0.988 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in y 0.988 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.988 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.988 * [taylor]: Taking taylor expansion of -1 in y 0.988 * [taylor]: Taking taylor expansion of y in y 0.989 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in x 0.989 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.989 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.989 * [taylor]: Taking taylor expansion of -1 in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.989 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.989 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.989 * [taylor]: Taking taylor expansion of -1 in x 0.989 * [taylor]: Taking taylor expansion of y in x 0.989 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in x 0.989 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.990 * [taylor]: Taking taylor expansion of -1 in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in x 0.990 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.990 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.990 * [taylor]: Taking taylor expansion of -1 in x 0.990 * [taylor]: Taking taylor expansion of y in x 0.991 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in y 0.991 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in y 0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.991 * [taylor]: Taking taylor expansion of -1 in y 0.991 * [taylor]: Taking taylor expansion of x in y 0.991 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in y 0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.991 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.991 * [taylor]: Taking taylor expansion of -1 in y 0.992 * [taylor]: Taking taylor expansion of y in y 0.995 * [taylor]: Taking taylor expansion of 0 in y 1.004 * [taylor]: Taking taylor expansion of 0 in y 1.013 * [taylor]: Taking taylor expansion of 0 in y 1.014 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 1.014 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2) 1.014 * [approximate]: Taking taylor expansion of (+ (cos y) (cos x)) in (x y) around 0 1.014 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in y 1.014 * [taylor]: Taking taylor expansion of (cos y) in y 1.014 * [taylor]: Taking taylor expansion of y in y 1.014 * [taylor]: Taking taylor expansion of (cos x) in y 1.014 * [taylor]: Taking taylor expansion of x in y 1.014 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 1.014 * [taylor]: Taking taylor expansion of (cos y) in x 1.014 * [taylor]: Taking taylor expansion of y in x 1.014 * [taylor]: Taking taylor expansion of (cos x) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.014 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 1.014 * [taylor]: Taking taylor expansion of (cos y) in x 1.014 * [taylor]: Taking taylor expansion of y in x 1.014 * [taylor]: Taking taylor expansion of (cos x) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of (+ (cos y) 1) in y 1.015 * [taylor]: Taking taylor expansion of (cos y) in y 1.015 * [taylor]: Taking taylor expansion of y in y 1.015 * [taylor]: Taking taylor expansion of 1 in y 1.017 * [taylor]: Taking taylor expansion of 0 in y 1.020 * [taylor]: Taking taylor expansion of -1/2 in y 1.021 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in (x y) around 0 1.021 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 1.021 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.021 * [taylor]: Taking taylor expansion of y in y 1.022 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.022 * [taylor]: Taking taylor expansion of x in y 1.022 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 1.022 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.022 * [taylor]: Taking taylor expansion of y in x 1.022 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.022 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 1.022 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.022 * [taylor]: Taking taylor expansion of y in x 1.022 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.023 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 1.023 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.023 * [taylor]: Taking taylor expansion of y in y 1.023 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.024 * [taylor]: Taking taylor expansion of x in y 1.026 * [taylor]: Taking taylor expansion of 0 in y 1.030 * [taylor]: Taking taylor expansion of 0 in y 1.035 * [taylor]: Taking taylor expansion of 0 in y 1.035 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in (x y) around 0 1.035 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 1.035 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.036 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.036 * [taylor]: Taking taylor expansion of -1 in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.036 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.036 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.036 * [taylor]: Taking taylor expansion of -1 in y 1.036 * [taylor]: Taking taylor expansion of x in y 1.036 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 1.036 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.036 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.036 * [taylor]: Taking taylor expansion of -1 in x 1.036 * [taylor]: Taking taylor expansion of y in x 1.036 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.036 * [taylor]: Taking taylor expansion of -1 in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.037 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.037 * [taylor]: Taking taylor expansion of -1 in x 1.037 * [taylor]: Taking taylor expansion of y in x 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.037 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.037 * [taylor]: Taking taylor expansion of -1 in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.038 * [taylor]: Taking taylor expansion of -1 in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.038 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.038 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.038 * [taylor]: Taking taylor expansion of -1 in y 1.038 * [taylor]: Taking taylor expansion of x in y 1.040 * [taylor]: Taking taylor expansion of 0 in y 1.045 * [taylor]: Taking taylor expansion of 0 in y 1.050 * [taylor]: Taking taylor expansion of 0 in y 1.050 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 1.050 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in (x y) around 0 1.050 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in y 1.050 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.050 * [taylor]: Taking taylor expansion of 2.0 in y 1.051 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in y 1.051 * [taylor]: Taking taylor expansion of (sin x) in y 1.051 * [taylor]: Taking taylor expansion of x in y 1.051 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in y 1.051 * [taylor]: Taking taylor expansion of 0.0625 in y 1.051 * [taylor]: Taking taylor expansion of (sin y) in y 1.051 * [taylor]: Taking taylor expansion of y in y 1.051 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 1.051 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.051 * [taylor]: Taking taylor expansion of 2.0 in x 1.052 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 1.052 * [taylor]: Taking taylor expansion of (sin x) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 1.052 * [taylor]: Taking taylor expansion of 0.0625 in x 1.052 * [taylor]: Taking taylor expansion of (sin y) in x 1.052 * [taylor]: Taking taylor expansion of y in x 1.052 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) in x 1.052 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.052 * [taylor]: Taking taylor expansion of 2.0 in x 1.053 * [taylor]: Taking taylor expansion of (- (sin x) (* 0.0625 (sin y))) in x 1.053 * [taylor]: Taking taylor expansion of (sin x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (* 0.0625 (sin y)) in x 1.053 * [taylor]: Taking taylor expansion of 0.0625 in x 1.053 * [taylor]: Taking taylor expansion of (sin y) in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of (* -0.0625 (* (sqrt 2.0) (sin y))) in y 1.053 * [taylor]: Taking taylor expansion of -0.0625 in y 1.053 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sin y)) in y 1.053 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.053 * [taylor]: Taking taylor expansion of 2.0 in y 1.054 * [taylor]: Taking taylor expansion of (sin y) in y 1.054 * [taylor]: Taking taylor expansion of y in y 1.058 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.058 * [taylor]: Taking taylor expansion of 2.0 in y 1.066 * [taylor]: Taking taylor expansion of 0 in y 1.075 * [taylor]: Taking taylor expansion of (- (* 1/6 (sqrt 2.0))) in y 1.075 * [taylor]: Taking taylor expansion of (* 1/6 (sqrt 2.0)) in y 1.075 * [taylor]: Taking taylor expansion of 1/6 in y 1.075 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.075 * [taylor]: Taking taylor expansion of 2.0 in y 1.083 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in (x y) around 0 1.083 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in y 1.083 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.083 * [taylor]: Taking taylor expansion of 2.0 in y 1.083 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 1.083 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.083 * [taylor]: Taking taylor expansion of x in y 1.084 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 1.084 * [taylor]: Taking taylor expansion of 0.0625 in y 1.084 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.084 * [taylor]: Taking taylor expansion of y in y 1.084 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 1.084 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.084 * [taylor]: Taking taylor expansion of 2.0 in x 1.085 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 1.085 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.085 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 1.085 * [taylor]: Taking taylor expansion of 0.0625 in x 1.085 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.085 * [taylor]: Taking taylor expansion of y in x 1.085 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in x 1.085 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.085 * [taylor]: Taking taylor expansion of 2.0 in x 1.086 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in x 1.086 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.086 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in x 1.086 * [taylor]: Taking taylor expansion of 0.0625 in x 1.086 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.086 * [taylor]: Taking taylor expansion of y in x 1.087 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y))))) in y 1.087 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.087 * [taylor]: Taking taylor expansion of 2.0 in y 1.088 * [taylor]: Taking taylor expansion of (- (sin (/ 1 x)) (* 0.0625 (sin (/ 1 y)))) in y 1.088 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.088 * [taylor]: Taking taylor expansion of x in y 1.088 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ 1 y))) in y 1.088 * [taylor]: Taking taylor expansion of 0.0625 in y 1.088 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.088 * [taylor]: Taking taylor expansion of y in y 1.092 * [taylor]: Taking taylor expansion of 0 in y 1.098 * [taylor]: Taking taylor expansion of 0 in y 1.107 * [taylor]: Taking taylor expansion of 0 in y 1.108 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in (x y) around 0 1.108 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in y 1.108 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.108 * [taylor]: Taking taylor expansion of 2.0 in y 1.108 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 1.108 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 1.109 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.109 * [taylor]: Taking taylor expansion of -1 in y 1.109 * [taylor]: Taking taylor expansion of x in y 1.109 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 1.109 * [taylor]: Taking taylor expansion of 0.0625 in y 1.109 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.109 * [taylor]: Taking taylor expansion of -1 in y 1.109 * [taylor]: Taking taylor expansion of y in y 1.109 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in x 1.109 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.109 * [taylor]: Taking taylor expansion of 2.0 in x 1.110 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 1.110 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.110 * [taylor]: Taking taylor expansion of -1 in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 1.110 * [taylor]: Taking taylor expansion of 0.0625 in x 1.110 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.110 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.110 * [taylor]: Taking taylor expansion of -1 in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in x 1.110 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.110 * [taylor]: Taking taylor expansion of 2.0 in x 1.111 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in x 1.111 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in x 1.111 * [taylor]: Taking taylor expansion of 0.0625 in x 1.111 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.111 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y))))) in y 1.112 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.112 * [taylor]: Taking taylor expansion of 2.0 in y 1.113 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (* 0.0625 (sin (/ -1 y)))) in y 1.113 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 1.113 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.113 * [taylor]: Taking taylor expansion of -1 in y 1.113 * [taylor]: Taking taylor expansion of x in y 1.113 * [taylor]: Taking taylor expansion of (* 0.0625 (sin (/ -1 y))) in y 1.113 * [taylor]: Taking taylor expansion of 0.0625 in y 1.113 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.113 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.113 * [taylor]: Taking taylor expansion of -1 in y 1.113 * [taylor]: Taking taylor expansion of y in y 1.117 * [taylor]: Taking taylor expansion of 0 in y 1.124 * [taylor]: Taking taylor expansion of 0 in y 1.133 * [taylor]: Taking taylor expansion of 0 in y 1.133 * * * [progress]: simplifying candidates 1.134 * [simplify]: Simplifying using # : (fma (* (cos x) (cos x)) (cos x) (- (* (cos y) (* (cos y) (cos y))))) (fma (- (cos y)) (* (cos y) (cos y)) (* (cos y) (* (cos y) (cos y)))) (fma (* (cos x) (cos x)) (cos x) (- (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2))))) (fma (- (pow (cos y) (/ 3 2))) (pow (cos y) (/ 3 2)) (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2)))) (fma (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (* (cos y) (* (cos y) (cos y))))) (fma (- (cos y)) (* (cos y) (cos y)) (* (cos y) (* (cos y) (cos y)))) (fma (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2))))) (fma (- (pow (cos y) (/ 3 2))) (pow (cos y) (/ 3 2)) (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2)))) (- (pow (cos y) 3)) (- (pow (cos y) 3)) (+ (* (cos x) (cos x)) (+ (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (cos x) (cos y)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (+ (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos x) 3) (pow (cos y) 3)))) (- (pow (cos y) 3)) (- (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow (cos y) 3) (pow (cos y) 3))) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (pow (cos x) (/ 3 2)) (pow (cos y) (/ 3 2))) (- (pow (cos x) (/ 3 2)) (pow (cos y) (/ 3 2))) (- (pow (cos y) 3)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (+ (* 3.0 3.0) (+ (* (sqrt 5.0) (sqrt 5.0)) (* 3.0 (sqrt 5.0)))) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (* (cos x) (cos x)) (- (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sin x) (sqrt 2.0)) (* (- (/ (sin y) 16.0)) (sqrt 2.0)) (* (sin x) (sqrt 2.0)) (* (- (/ (sin y) 16.0)) (sqrt 2.0)) (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (- (+ (* 3/2 (pow y 2)) (* 7/8 (pow x 4))) (* 3/2 (pow x 2))) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (/ (- (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x)))))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) (- 2 (+ (* 1/2 (pow x 2)) (* 1/2 (pow y 2)))) (+ (cos y) (cos x)) (+ (cos y) (cos x)) (- (* (sqrt 2.0) x) (+ (* 1/6 (* (sqrt 2.0) (pow x 3))) (* 0.0625 (* (sqrt 2.0) y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) 1.138 * * [simplify]: iteration 0 : 355 enodes (cost 324 ) 1.144 * * [simplify]: iteration 1 : 1052 enodes (cost 296 ) 1.161 * * [simplify]: iteration 2 : 3871 enodes (cost 289 ) 1.229 * * [simplify]: iteration 3 : 5001 enodes (cost 287 ) 1.231 * [simplify]: Simplified to: (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos y) 3)) (- (pow (cos y) 3)) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))) (- (cos x) (cos y)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6)) (- (pow (cos y) 3)) (fma (- (pow (cos y) 3)) (pow (cos y) 3) (pow (cos x) 6)) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (pow (cos x) 3/2) (pow (cos y) 3/2)) (- (pow (cos x) 3/2) (pow (cos y) 3/2)) (- (pow (cos y) 3)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (fma (sqrt 5.0) 3.0 (fma 3.0 3.0 5.0)) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (- (cos y) (cos x)) (* (cos x) (cos x))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0))) (* (sqrt 2.0) (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3))) (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (fma 3/2 (- (pow y 2) (pow x 2)) (* 7/8 (pow x 4))) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (/ (- (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0) (fma (- 1/2) (fma x x (pow y 2)) 2) (+ (cos x) (cos y)) (+ (cos x) (cos y)) (fma (sqrt 2.0) (- x (* 1/6 (pow x 3))) (- (* 0.0625 (* (sqrt 2.0) y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) 1.231 * * * [progress]: adding candidates to table 1.443 * * [progress]: iteration 3 / 4 1.443 * * * [progress]: picking best candidate 1.496 * * * * [pick]: Picked # 1.496 * * * [progress]: localizing error 1.551 * * * [progress]: generating rewritten candidates 1.551 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 1) 1.553 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1) 1.560 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2) 1.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2 3) 1.567 * * * [progress]: generating series expansions 1.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 1) 1.567 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1) 1.567 * [approximate]: Taking taylor expansion of (- (pow (cos x) 9) (pow (cos y) 9)) in (x y) around 0 1.567 * [taylor]: Taking taylor expansion of (- (pow (cos x) 9) (pow (cos y) 9)) in y 1.567 * [taylor]: Taking taylor expansion of (pow (cos x) 9) in y 1.568 * [taylor]: Taking taylor expansion of (cos x) in y 1.568 * [taylor]: Taking taylor expansion of x in y 1.568 * [taylor]: Taking taylor expansion of (pow (cos y) 9) in y 1.568 * [taylor]: Taking taylor expansion of (cos y) in y 1.568 * [taylor]: Taking taylor expansion of y in y 1.568 * [taylor]: Taking taylor expansion of (- (pow (cos x) 9) (pow (cos y) 9)) in x 1.568 * [taylor]: Taking taylor expansion of (pow (cos x) 9) in x 1.568 * [taylor]: Taking taylor expansion of (cos x) in x 1.568 * [taylor]: Taking taylor expansion of x in x 1.568 * [taylor]: Taking taylor expansion of (pow (cos y) 9) in x 1.568 * [taylor]: Taking taylor expansion of (cos y) in x 1.568 * [taylor]: Taking taylor expansion of y in x 1.569 * [taylor]: Taking taylor expansion of (- (pow (cos x) 9) (pow (cos y) 9)) in x 1.569 * [taylor]: Taking taylor expansion of (pow (cos x) 9) in x 1.569 * [taylor]: Taking taylor expansion of (cos x) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.569 * [taylor]: Taking taylor expansion of (pow (cos y) 9) in x 1.569 * [taylor]: Taking taylor expansion of (cos y) in x 1.569 * [taylor]: Taking taylor expansion of y in x 1.571 * [taylor]: Taking taylor expansion of (- 1 (pow (cos y) 9)) in y 1.571 * [taylor]: Taking taylor expansion of 1 in y 1.571 * [taylor]: Taking taylor expansion of (pow (cos y) 9) in y 1.571 * [taylor]: Taking taylor expansion of (cos y) in y 1.571 * [taylor]: Taking taylor expansion of y in y 1.579 * [taylor]: Taking taylor expansion of 0 in y 1.588 * [taylor]: Taking taylor expansion of -9/2 in y 1.600 * [taylor]: Taking taylor expansion of 0 in y 1.616 * [taylor]: Taking taylor expansion of 75/8 in y 1.616 * [approximate]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 9) (pow (cos (/ 1 y)) 9)) in (x y) around 0 1.616 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 9) (pow (cos (/ 1 y)) 9)) in y 1.616 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in y 1.616 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.616 * [taylor]: Taking taylor expansion of x in y 1.617 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 9) in y 1.617 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.617 * [taylor]: Taking taylor expansion of y in y 1.617 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 9) (pow (cos (/ 1 y)) 9)) in x 1.617 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in x 1.617 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.617 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 9) in x 1.618 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.618 * [taylor]: Taking taylor expansion of y in x 1.618 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 9) (pow (cos (/ 1 y)) 9)) in x 1.618 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in x 1.618 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 9) in x 1.619 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.619 * [taylor]: Taking taylor expansion of y in x 1.620 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 9) (pow (cos (/ 1 y)) 9)) in y 1.620 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in y 1.620 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.620 * [taylor]: Taking taylor expansion of x in y 1.621 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 9) in y 1.621 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.621 * [taylor]: Taking taylor expansion of y in y 1.626 * [taylor]: Taking taylor expansion of 0 in y 1.635 * [taylor]: Taking taylor expansion of 0 in y 1.649 * [taylor]: Taking taylor expansion of 0 in y 1.649 * [approximate]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 9) (pow (cos (/ -1 y)) 9)) in (x y) around 0 1.649 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 9) (pow (cos (/ -1 y)) 9)) in y 1.649 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in y 1.649 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.649 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.649 * [taylor]: Taking taylor expansion of -1 in y 1.649 * [taylor]: Taking taylor expansion of x in y 1.650 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 9) in y 1.650 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.650 * [taylor]: Taking taylor expansion of -1 in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.650 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 9) (pow (cos (/ -1 y)) 9)) in x 1.650 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in x 1.650 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.650 * [taylor]: Taking taylor expansion of -1 in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.651 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 9) in x 1.651 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.651 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.651 * [taylor]: Taking taylor expansion of -1 in x 1.651 * [taylor]: Taking taylor expansion of y in x 1.651 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 9) (pow (cos (/ -1 y)) 9)) in x 1.651 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in x 1.651 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.651 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.651 * [taylor]: Taking taylor expansion of -1 in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.652 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 9) in x 1.652 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.652 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.652 * [taylor]: Taking taylor expansion of -1 in x 1.652 * [taylor]: Taking taylor expansion of y in x 1.653 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 9) (pow (cos (/ -1 y)) 9)) in y 1.653 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in y 1.653 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.653 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.653 * [taylor]: Taking taylor expansion of -1 in y 1.653 * [taylor]: Taking taylor expansion of x in y 1.654 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 9) in y 1.654 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.654 * [taylor]: Taking taylor expansion of -1 in y 1.654 * [taylor]: Taking taylor expansion of y in y 1.659 * [taylor]: Taking taylor expansion of 0 in y 1.673 * [taylor]: Taking taylor expansion of 0 in y 1.687 * [taylor]: Taking taylor expansion of 0 in y 1.687 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2) 1.687 * [approximate]: Taking taylor expansion of (+ (cos y) (cos x)) in (x y) around 0 1.687 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in y 1.687 * [taylor]: Taking taylor expansion of (cos y) in y 1.687 * [taylor]: Taking taylor expansion of y in y 1.687 * [taylor]: Taking taylor expansion of (cos x) in y 1.687 * [taylor]: Taking taylor expansion of x in y 1.687 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 1.687 * [taylor]: Taking taylor expansion of (cos y) in x 1.687 * [taylor]: Taking taylor expansion of y in x 1.687 * [taylor]: Taking taylor expansion of (cos x) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 1.687 * [taylor]: Taking taylor expansion of (cos y) in x 1.687 * [taylor]: Taking taylor expansion of y in x 1.687 * [taylor]: Taking taylor expansion of (cos x) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (+ (cos y) 1) in y 1.688 * [taylor]: Taking taylor expansion of (cos y) in y 1.688 * [taylor]: Taking taylor expansion of y in y 1.688 * [taylor]: Taking taylor expansion of 1 in y 1.690 * [taylor]: Taking taylor expansion of 0 in y 1.693 * [taylor]: Taking taylor expansion of -1/2 in y 1.695 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in (x y) around 0 1.695 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 1.695 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.695 * [taylor]: Taking taylor expansion of y in y 1.695 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.695 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.695 * [taylor]: Taking taylor expansion of x in y 1.695 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 1.695 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.695 * [taylor]: Taking taylor expansion of y in x 1.695 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.695 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 1.696 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.696 * [taylor]: Taking taylor expansion of y in x 1.696 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.696 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 1.696 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.696 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.696 * [taylor]: Taking taylor expansion of y in y 1.697 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.697 * [taylor]: Taking taylor expansion of x in y 1.699 * [taylor]: Taking taylor expansion of 0 in y 1.704 * [taylor]: Taking taylor expansion of 0 in y 1.709 * [taylor]: Taking taylor expansion of 0 in y 1.709 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in (x y) around 0 1.709 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 1.709 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.709 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.709 * [taylor]: Taking taylor expansion of -1 in y 1.709 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.710 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.710 * [taylor]: Taking taylor expansion of -1 in y 1.710 * [taylor]: Taking taylor expansion of x in y 1.710 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 1.710 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.710 * [taylor]: Taking taylor expansion of -1 in x 1.710 * [taylor]: Taking taylor expansion of y in x 1.710 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.710 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.710 * [taylor]: Taking taylor expansion of -1 in x 1.710 * [taylor]: Taking taylor expansion of x in x 1.710 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 1.710 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.710 * [taylor]: Taking taylor expansion of -1 in x 1.710 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 1.711 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.711 * [taylor]: Taking taylor expansion of -1 in y 1.711 * [taylor]: Taking taylor expansion of y in y 1.712 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.712 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.712 * [taylor]: Taking taylor expansion of -1 in y 1.712 * [taylor]: Taking taylor expansion of x in y 1.714 * [taylor]: Taking taylor expansion of 0 in y 1.719 * [taylor]: Taking taylor expansion of 0 in y 1.724 * [taylor]: Taking taylor expansion of 0 in y 1.724 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2 3) 1.724 * [approximate]: Taking taylor expansion of (pow (cos x) 6) in (x) around 0 1.724 * [taylor]: Taking taylor expansion of (pow (cos x) 6) in x 1.724 * [taylor]: Taking taylor expansion of (cos x) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of (pow (cos x) 6) in x 1.724 * [taylor]: Taking taylor expansion of (cos x) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.735 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in (x) around 0 1.735 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in x 1.735 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.735 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in x 1.736 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.754 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in (x) around 0 1.754 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in x 1.754 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.754 * [taylor]: Taking taylor expansion of -1 in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in x 1.754 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.754 * [taylor]: Taking taylor expansion of -1 in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.768 * * * [progress]: simplifying candidates 1.769 * [simplify]: Simplifying using # : (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (+ (* 3.0 3.0) (+ (* (sqrt 5.0) (sqrt 5.0)) (* 3.0 (sqrt 5.0)))) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (fma (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (- (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3)))) (fma (- (pow (cos y) 3)) (pow (* (cos y) (cos y)) 3) (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3))) (fma (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (- (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)))) (fma (- (pow (pow (cos y) (/ 3 2)) 3)) (pow (pow (cos y) (/ 3 2)) 3) (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3))) (fma (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (- (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3))))) (fma (- (pow (cos y) 3)) (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3)))) (fma (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (- (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))))) (fma (- (pow (pow (cos y) 3) (/ 3 2))) (pow (pow (cos y) 3) (/ 3 2)) (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2)))) (fma (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (- (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3)))) (fma (- (pow (cos y) 3)) (pow (* (cos y) (cos y)) 3) (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3))) (fma (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (- (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)))) (fma (- (pow (pow (cos y) (/ 3 2)) 3)) (pow (pow (cos y) (/ 3 2)) 3) (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3))) (fma (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (- (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3))))) (fma (- (pow (cos y) 3)) (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3)))) (fma (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (- (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))))) (fma (- (pow (pow (cos y) 3) (/ 3 2))) (pow (pow (cos y) 3) (/ 3 2)) (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2)))) (fma (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3) (- (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3)))) (fma (- (pow (cos y) 3)) (pow (* (cos y) (cos y)) 3) (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3))) (fma (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3) (- (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)))) (fma (- (pow (pow (cos y) (/ 3 2)) 3)) (pow (pow (cos y) (/ 3 2)) 3) (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3))) (fma (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3) (- (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3))))) (fma (- (pow (cos y) 3)) (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3)))) (fma (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3) (- (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))))) (fma (- (pow (pow (cos y) 3) (/ 3 2))) (pow (pow (cos y) 3) (/ 3 2)) (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2)))) (fma (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos x) 3) (/ 3 2)) (- (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3)))) (fma (- (pow (cos y) 3)) (pow (* (cos y) (cos y)) 3) (* (pow (cos y) 3) (pow (* (cos y) (cos y)) 3))) (fma (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos x) 3) (/ 3 2)) (- (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)))) (fma (- (pow (pow (cos y) (/ 3 2)) 3)) (pow (pow (cos y) (/ 3 2)) 3) (* (pow (pow (cos y) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3))) (fma (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos x) 3) (/ 3 2)) (- (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3))))) (fma (- (pow (cos y) 3)) (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos y) 3) (* (pow (cos y) 3) (pow (cos y) 3)))) (fma (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos x) 3) (/ 3 2)) (- (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))))) (fma (- (pow (pow (cos y) 3) (/ 3 2))) (pow (pow (cos y) 3) (/ 3 2)) (* (pow (pow (cos y) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2)))) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (+ (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos x) 3) (pow (cos y) 3)))) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (pow (pow (cos x) 3) 3) 3) (pow (pow (pow (cos y) 3) 3) 3)) (+ (* (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3) 3)) (+ (* (pow (pow (cos y) 3) 3) (pow (pow (cos y) 3) 3)) (* (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)))) (- (pow (pow (cos y) 3) 3)) (- (* (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3) 3)) (* (pow (pow (cos y) 3) 3) (pow (pow (cos y) 3) 3))) (+ (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)) (- (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos y) (/ 3 2)) 3)) (+ (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos y) 3) (/ 3 2))) (- (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos y) 3) (/ 3 2))) (+ (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos y) (/ 3 2)) 3)) (- (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos y) (/ 3 2)) 3)) (+ (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))) (- (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos y) 3) (/ 3 2))) (- (pow (pow (cos y) 3) 3)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (* (cos x) (cos x)) (- (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (log (cos x)) 6) (pow (cos x) (/ 6 2)) (pow (cos x) (/ 6 2)) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (/ (/ (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6))) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x)))))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) (- (+ (* 9/2 (pow y 2)) (* 75/8 (pow x 4))) (* 9/2 (pow x 2))) (- (pow (cos x) 9) (pow (cos y) 9)) (- (pow (cos x) 9) (pow (cos y) 9)) (- 2 (+ (* 1/2 (pow x 2)) (* 1/2 (pow y 2)))) (+ (cos y) (cos x)) (+ (cos y) (cos x)) (- (+ (* 4 (pow x 4)) 1) (* 3 (pow x 2))) (pow (cos x) 6) (pow (cos x) 6) 1.775 * * [simplify]: iteration 0 : 421 enodes (cost 738 ) 1.782 * * [simplify]: iteration 1 : 1388 enodes (cost 521 ) 1.810 * * [simplify]: iteration 2 : 5002 enodes (cost 518 ) 1.813 * [simplify]: Simplified to: (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (fma (sqrt 5.0) 3.0 (fma 3.0 3.0 5.0)) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (- (pow (pow (cos y) 3) 3)) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (pow (pow (cos x) 3) 3) 3) (pow (pow (pow (cos y) 3) 3) 3)) (fma (pow (pow (cos y) 3) 3) (+ (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (pow (pow (cos x) 3) 6)) (- (pow (pow (cos y) 3) 3)) (fma (- (pow (pow (cos y) 3) 3)) (pow (pow (cos y) 3) 3) (pow (pow (cos x) 3) 6)) (+ (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (pow (pow (cos x) 3/2) 3) (pow (pow (cos y) 3/2) 3)) (- (pow (pow (cos x) 3/2) 3) (pow (pow (cos y) 3/2) 3)) (+ (pow (pow (cos x) 3/2) 3) (pow (pow (cos y) 3) 3/2)) (- (pow (pow (cos x) 3/2) 3) (pow (pow (cos y) 3) 3/2)) (+ (pow (pow (cos x) 3) 3/2) (pow (pow (cos y) 3/2) 3)) (- (pow (pow (cos x) 3) 3/2) (pow (pow (cos y) 3/2) 3)) (+ (pow (pow (cos x) 3) 3/2) (pow (pow (cos y) 3) 3/2)) (- (pow (pow (cos x) 3) 3/2) (pow (pow (cos y) 3) 3/2)) (- (pow (pow (cos y) 3) 3)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (- (cos y) (cos x)) (* (cos x) (cos x))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (log (cos x)) 6) (pow (cos x) 3) (pow (cos x) 3) (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (/ (/ (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6))) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0) (fma (pow y 2) 9/2 (- (* 75/8 (pow x 4)) (* 9/2 (pow x 2)))) (- (pow (cos x) 9) (pow (cos y) 9)) (- (pow (cos x) 9) (pow (cos y) 9)) (fma (- 1/2) (fma x x (pow y 2)) 2) (+ (cos x) (cos y)) (+ (cos x) (cos y)) (fma (pow x 4) 4 (- 1 (* 3 (pow x 2)))) (pow (cos x) 6) (pow (cos x) 6) 1.814 * * * [progress]: adding candidates to table 2.133 * * [progress]: iteration 4 / 4 2.133 * * * [progress]: picking best candidate 2.178 * * * * [pick]: Picked # 2.179 * * * [progress]: localizing error 2.236 * * * [progress]: generating rewritten candidates 2.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1 2) 2.241 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 2.243 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2) 2.246 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2 3) 2.248 * * * [progress]: generating series expansions 2.248 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1 2) 2.249 * [approximate]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in (x y) around 0 2.249 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in y 2.249 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in y 2.249 * [taylor]: Taking taylor expansion of (cos x) in y 2.249 * [taylor]: Taking taylor expansion of x in y 2.249 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in y 2.249 * [taylor]: Taking taylor expansion of (cos y) in y 2.249 * [taylor]: Taking taylor expansion of y in y 2.249 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in x 2.249 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.249 * [taylor]: Taking taylor expansion of (cos x) in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.249 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in x 2.249 * [taylor]: Taking taylor expansion of (cos y) in x 2.249 * [taylor]: Taking taylor expansion of y in x 2.250 * [taylor]: Taking taylor expansion of (- (pow (cos x) 3) (pow (cos y) 3)) in x 2.250 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.250 * [taylor]: Taking taylor expansion of (cos x) in x 2.250 * [taylor]: Taking taylor expansion of x in x 2.250 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in x 2.250 * [taylor]: Taking taylor expansion of (cos y) in x 2.250 * [taylor]: Taking taylor expansion of y in x 2.251 * [taylor]: Taking taylor expansion of (- 1 (pow (cos y) 3)) in y 2.251 * [taylor]: Taking taylor expansion of 1 in y 2.251 * [taylor]: Taking taylor expansion of (pow (cos y) 3) in y 2.251 * [taylor]: Taking taylor expansion of (cos y) in y 2.251 * [taylor]: Taking taylor expansion of y in y 2.255 * [taylor]: Taking taylor expansion of 0 in y 2.261 * [taylor]: Taking taylor expansion of -3/2 in y 2.269 * [taylor]: Taking taylor expansion of 0 in y 2.286 * [taylor]: Taking taylor expansion of 7/8 in y 2.287 * [approximate]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in (x y) around 0 2.287 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in y 2.287 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in y 2.287 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.287 * [taylor]: Taking taylor expansion of x in y 2.288 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in y 2.288 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.288 * [taylor]: Taking taylor expansion of y in y 2.288 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in x 2.288 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.288 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in x 2.288 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.288 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.288 * [taylor]: Taking taylor expansion of y in x 2.289 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in x 2.289 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.289 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.289 * [taylor]: Taking taylor expansion of x in x 2.289 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in x 2.289 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.289 * [taylor]: Taking taylor expansion of y in x 2.290 * [taylor]: Taking taylor expansion of (- (pow (cos (/ 1 x)) 3) (pow (cos (/ 1 y)) 3)) in y 2.290 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in y 2.290 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 2.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.290 * [taylor]: Taking taylor expansion of x in y 2.291 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 3) in y 2.291 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.291 * [taylor]: Taking taylor expansion of y in y 2.294 * [taylor]: Taking taylor expansion of 0 in y 2.301 * [taylor]: Taking taylor expansion of 0 in y 2.311 * [taylor]: Taking taylor expansion of 0 in y 2.311 * [approximate]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in (x y) around 0 2.311 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in y 2.311 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in y 2.311 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 2.311 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.311 * [taylor]: Taking taylor expansion of -1 in y 2.311 * [taylor]: Taking taylor expansion of x in y 2.312 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in y 2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.312 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.312 * [taylor]: Taking taylor expansion of -1 in y 2.312 * [taylor]: Taking taylor expansion of y in y 2.312 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in x 2.312 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.312 * [taylor]: Taking taylor expansion of -1 in x 2.312 * [taylor]: Taking taylor expansion of x in x 2.312 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in x 2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.312 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.312 * [taylor]: Taking taylor expansion of -1 in x 2.312 * [taylor]: Taking taylor expansion of y in x 2.313 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in x 2.313 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.313 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.313 * [taylor]: Taking taylor expansion of -1 in x 2.313 * [taylor]: Taking taylor expansion of x in x 2.314 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in x 2.314 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.314 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.314 * [taylor]: Taking taylor expansion of -1 in x 2.314 * [taylor]: Taking taylor expansion of y in x 2.315 * [taylor]: Taking taylor expansion of (- (pow (cos (/ -1 x)) 3) (pow (cos (/ -1 y)) 3)) in y 2.315 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in y 2.315 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 2.315 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.315 * [taylor]: Taking taylor expansion of -1 in y 2.315 * [taylor]: Taking taylor expansion of x in y 2.315 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in y 2.315 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.315 * [taylor]: Taking taylor expansion of -1 in y 2.315 * [taylor]: Taking taylor expansion of y in y 2.319 * [taylor]: Taking taylor expansion of 0 in y 2.325 * [taylor]: Taking taylor expansion of 0 in y 2.335 * [taylor]: Taking taylor expansion of 0 in y 2.335 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 2.335 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2) 2.335 * [approximate]: Taking taylor expansion of (+ (cos y) (cos x)) in (x y) around 0 2.335 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in y 2.335 * [taylor]: Taking taylor expansion of (cos y) in y 2.335 * [taylor]: Taking taylor expansion of y in y 2.336 * [taylor]: Taking taylor expansion of (cos x) in y 2.336 * [taylor]: Taking taylor expansion of x in y 2.336 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 2.336 * [taylor]: Taking taylor expansion of (cos y) in x 2.336 * [taylor]: Taking taylor expansion of y in x 2.336 * [taylor]: Taking taylor expansion of (cos x) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [taylor]: Taking taylor expansion of (+ (cos y) (cos x)) in x 2.336 * [taylor]: Taking taylor expansion of (cos y) in x 2.336 * [taylor]: Taking taylor expansion of y in x 2.336 * [taylor]: Taking taylor expansion of (cos x) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [taylor]: Taking taylor expansion of (+ (cos y) 1) in y 2.336 * [taylor]: Taking taylor expansion of (cos y) in y 2.336 * [taylor]: Taking taylor expansion of y in y 2.336 * [taylor]: Taking taylor expansion of 1 in y 2.339 * [taylor]: Taking taylor expansion of 0 in y 2.342 * [taylor]: Taking taylor expansion of -1/2 in y 2.343 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in (x y) around 0 2.343 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 2.343 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.343 * [taylor]: Taking taylor expansion of y in y 2.343 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.343 * [taylor]: Taking taylor expansion of x in y 2.344 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 2.344 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.344 * [taylor]: Taking taylor expansion of y in x 2.344 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in x 2.344 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.344 * [taylor]: Taking taylor expansion of y in x 2.344 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (cos (/ 1 x))) in y 2.345 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.345 * [taylor]: Taking taylor expansion of y in y 2.345 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 2.345 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.345 * [taylor]: Taking taylor expansion of x in y 2.348 * [taylor]: Taking taylor expansion of 0 in y 2.352 * [taylor]: Taking taylor expansion of 0 in y 2.357 * [taylor]: Taking taylor expansion of 0 in y 2.358 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in (x y) around 0 2.358 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 2.358 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.358 * [taylor]: Taking taylor expansion of -1 in y 2.358 * [taylor]: Taking taylor expansion of y in y 2.358 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 2.358 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.358 * [taylor]: Taking taylor expansion of -1 in y 2.358 * [taylor]: Taking taylor expansion of x in y 2.358 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 2.358 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.358 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.358 * [taylor]: Taking taylor expansion of -1 in x 2.358 * [taylor]: Taking taylor expansion of y in x 2.358 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.358 * [taylor]: Taking taylor expansion of -1 in x 2.358 * [taylor]: Taking taylor expansion of x in x 2.359 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in x 2.359 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.359 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.359 * [taylor]: Taking taylor expansion of -1 in x 2.359 * [taylor]: Taking taylor expansion of y in x 2.359 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.359 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.359 * [taylor]: Taking taylor expansion of -1 in x 2.359 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (cos (/ -1 x))) in y 2.360 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.360 * [taylor]: Taking taylor expansion of -1 in y 2.360 * [taylor]: Taking taylor expansion of y in y 2.360 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 2.360 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.360 * [taylor]: Taking taylor expansion of -1 in y 2.360 * [taylor]: Taking taylor expansion of x in y 2.363 * [taylor]: Taking taylor expansion of 0 in y 2.367 * [taylor]: Taking taylor expansion of 0 in y 2.377 * [taylor]: Taking taylor expansion of 0 in y 2.378 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2 3) 2.378 * [approximate]: Taking taylor expansion of (pow (cos x) 6) in (x) around 0 2.378 * [taylor]: Taking taylor expansion of (pow (cos x) 6) in x 2.378 * [taylor]: Taking taylor expansion of (cos x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of (pow (cos x) 6) in x 2.378 * [taylor]: Taking taylor expansion of (cos x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.389 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in (x) around 0 2.389 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in x 2.389 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 6) in x 2.389 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.402 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in (x) around 0 2.402 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in x 2.403 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.403 * [taylor]: Taking taylor expansion of -1 in x 2.403 * [taylor]: Taking taylor expansion of x in x 2.403 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 6) in x 2.403 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.403 * [taylor]: Taking taylor expansion of -1 in x 2.403 * [taylor]: Taking taylor expansion of x in x 2.416 * * * [progress]: simplifying candidates 2.417 * [simplify]: Simplifying using # : (fma (* (cos x) (cos x)) (cos x) (- (* (cos y) (* (cos y) (cos y))))) (fma (- (cos y)) (* (cos y) (cos y)) (* (cos y) (* (cos y) (cos y)))) (fma (* (cos x) (cos x)) (cos x) (- (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2))))) (fma (- (pow (cos y) (/ 3 2))) (pow (cos y) (/ 3 2)) (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2)))) (fma (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (* (cos y) (* (cos y) (cos y))))) (fma (- (cos y)) (* (cos y) (cos y)) (* (cos y) (* (cos y) (cos y)))) (fma (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2))))) (fma (- (pow (cos y) (/ 3 2))) (pow (cos y) (/ 3 2)) (* (pow (cos y) (/ 3 2)) (pow (cos y) (/ 3 2)))) (- (pow (cos y) 3)) (- (pow (cos y) 3)) (+ (* (cos x) (cos x)) (+ (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (cos x) (cos y)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (+ (* (pow (cos y) 3) (pow (cos y) 3)) (* (pow (cos x) 3) (pow (cos y) 3)))) (- (pow (cos y) 3)) (- (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow (cos y) 3) (pow (cos y) 3))) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (pow (cos x) (/ 3 2)) (pow (cos y) (/ 3 2))) (- (pow (cos x) (/ 3 2)) (pow (cos y) (/ 3 2))) (- (pow (cos y) 3)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (+ (* 3.0 3.0) (+ (* (sqrt 5.0) (sqrt 5.0)) (* 3.0 (sqrt 5.0)))) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (* (cos x) (cos x)) (- (* (cos y) (cos y)) (* (cos x) (cos y)))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (log (cos x)) 6) (pow (cos x) (/ 6 2)) (pow (cos x) (/ 6 2)) (- (+ (* 3/2 (pow y 2)) (* 7/8 (pow x 4))) (* 3/2 (pow x 2))) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (/ (/ (* (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6)) (- (pow (cos x) 3) (pow (cos y) 3))) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6))) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x)))))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) (- 2 (+ (* 1/2 (pow x 2)) (* 1/2 (pow y 2)))) (+ (cos y) (cos x)) (+ (cos y) (cos x)) (- (+ (* 4 (pow x 4)) 1) (* 3 (pow x 2))) (pow (cos x) 6) (pow (cos x) 6) 2.422 * * [simplify]: iteration 0 : 314 enodes (cost 289 ) 2.427 * * [simplify]: iteration 1 : 978 enodes (cost 257 ) 2.450 * * [simplify]: iteration 2 : 4269 enodes (cost 251 ) 2.558 * * [simplify]: iteration 3 : 5001 enodes (cost 250 ) 2.560 * [simplify]: Simplified to: (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos y) 3) (pow (cos y) 3)) (- (pow (cos y) 3)) (- (pow (cos y) 3)) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))) (- (cos x) (cos y)) (- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3)) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6)) (- (pow (cos y) 3)) (- (pow (cos x) 6) (pow (cos y) 6)) (+ (pow (cos x) 3) (pow (cos y) 3)) (+ (pow (cos x) 3/2) (pow (cos y) 3/2)) (- (pow (cos x) 3/2) (pow (cos y) 3/2)) (- (pow (cos y) 3)) (- (pow 3.0 3) (pow (sqrt 5.0) 3)) (fma (sqrt 5.0) 3.0 (fma 3.0 3.0 5.0)) (- (sqrt 5.0)) (- (* 3.0 3.0) (* (sqrt 5.0) (sqrt 5.0))) (+ 3.0 (sqrt 5.0)) (- (sqrt 5.0)) (* (cos (/ (+ x y) 2)) (cos (/ (- x y) 2))) (+ (pow (cos x) 3) (pow (cos y) 3)) (fma (cos y) (- (cos y) (cos x)) (* (cos x) (cos x))) (- (* (cos x) (cos x)) (* (cos y) (cos y))) (- (cos x) (cos y)) (* (log (cos x)) 6) (pow (cos x) 3) (pow (cos x) 3) (fma 3/2 (- (pow y 2) (pow x 2)) (* 7/8 (pow x 4))) (- (pow (cos x) 3) (pow (cos y) 3)) (- (pow (cos x) 3) (pow (cos y) 3)) (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (/ (/ (* (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6)) (- (pow (cos x) 3) (pow (cos y) 3))) (fma (pow (cos y) 3) (+ (pow (cos x) 3) (pow (cos y) 3)) (pow (cos x) 6))) (fma (cos y) (+ (cos x) (cos y)) (* (cos x) (cos x))))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0) (fma (- 1/2) (fma x x (pow y 2)) 2) (+ (cos x) (cos y)) (+ (cos x) (cos y)) (fma (pow x 4) 4 (- 1 (* 3 (pow x 2)))) (pow (cos x) 6) (pow (cos x) 6) 2.560 * * * [progress]: adding candidates to table 2.796 * [progress]: [Phase 3 of 3] Extracting. 2.796 * * [regime]: Finding splitpoints for: (# # # # # #) 2.809 * * * [regime-changes]: Trying 2 branch expressions: (y x) 2.809 * * * * [regimes]: Trying to branch on y from (# # # # # #) 2.870 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.930 * * * [regime]: Found split indices: #