0.873 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.309 * * * [progress]: [2/2] Setting up program. 0.313 * [progress]: [Phase 2 of 3] Improving. 0.315 * [simplify]: Simplifying using # : (+ (- (* x (/ 1.0 (tan B)))) (/ 1.0 (sin B))) 0.321 * * [simplify]: iteration 0 : 18 enodes (cost 7 ) 0.322 * * [simplify]: iteration 1 : 31 enodes (cost 6 ) 0.324 * * [simplify]: iteration 2 : 39 enodes (cost 6 ) 0.325 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 0.327 * * [simplify]: iteration 4 : 53 enodes (cost 6 ) 0.328 * * [simplify]: iteration 5 : 53 enodes (cost 6 ) 0.329 * [simplify]: Simplified to: (- (/ 1.0 (sin B)) (* x (/ 1.0 (tan B)))) 0.335 * * [progress]: iteration 1 / 4 0.335 * * * [progress]: picking best candidate 0.338 * * * * [pick]: Picked # 0.338 * * * [progress]: localizing error 0.352 * * * [progress]: generating rewritten candidates 0.352 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.357 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.362 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.385 * * * [progress]: generating series expansions 0.385 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.389 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (x B) around 0 0.390 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 0.390 * [taylor]: Taking taylor expansion of 1.0 in B 0.390 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 0.390 * [taylor]: Taking taylor expansion of x in B 0.390 * [taylor]: Taking taylor expansion of (tan B) in B 0.392 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.392 * [taylor]: Taking taylor expansion of (sin B) in B 0.392 * [taylor]: Taking taylor expansion of B in B 0.392 * [taylor]: Taking taylor expansion of (cos B) in B 0.392 * [taylor]: Taking taylor expansion of B in B 0.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (tan B) in x 0.394 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.394 * [taylor]: Taking taylor expansion of (sin B) in x 0.394 * [taylor]: Taking taylor expansion of B in x 0.394 * [taylor]: Taking taylor expansion of (cos B) in x 0.394 * [taylor]: Taking taylor expansion of B in x 0.396 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 0.396 * [taylor]: Taking taylor expansion of 1.0 in x 0.396 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.396 * [taylor]: Taking taylor expansion of (tan B) in x 0.396 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.396 * [taylor]: Taking taylor expansion of (sin B) in x 0.396 * [taylor]: Taking taylor expansion of B in x 0.396 * [taylor]: Taking taylor expansion of (cos B) in x 0.396 * [taylor]: Taking taylor expansion of B in x 0.397 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 0.397 * [taylor]: Taking taylor expansion of 1.0 in B 0.397 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.397 * [taylor]: Taking taylor expansion of (cos B) in B 0.397 * [taylor]: Taking taylor expansion of B in B 0.397 * [taylor]: Taking taylor expansion of (sin B) in B 0.397 * [taylor]: Taking taylor expansion of B in B 0.404 * [taylor]: Taking taylor expansion of 0 in B 0.410 * [taylor]: Taking taylor expansion of 0 in B 0.421 * [taylor]: Taking taylor expansion of 0 in B 0.433 * [taylor]: Taking taylor expansion of 0 in B 0.434 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (x B) around 0 0.434 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 0.434 * [taylor]: Taking taylor expansion of 1.0 in B 0.434 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 0.434 * [taylor]: Taking taylor expansion of x in B 0.434 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.434 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.434 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.434 * [taylor]: Taking taylor expansion of B in B 0.434 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.434 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.434 * [taylor]: Taking taylor expansion of B in B 0.435 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 0.435 * [taylor]: Taking taylor expansion of 1.0 in x 0.435 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 0.435 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.435 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.435 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.435 * [taylor]: Taking taylor expansion of B in x 0.436 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.436 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.436 * [taylor]: Taking taylor expansion of B in x 0.440 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 0.440 * [taylor]: Taking taylor expansion of 1.0 in x 0.441 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 0.441 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.441 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.441 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.441 * [taylor]: Taking taylor expansion of B in x 0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.441 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.441 * [taylor]: Taking taylor expansion of B in x 0.446 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 0.446 * [taylor]: Taking taylor expansion of 1.0 in B 0.446 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.446 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.446 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.446 * [taylor]: Taking taylor expansion of B in B 0.446 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.446 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.446 * [taylor]: Taking taylor expansion of B in B 0.452 * [taylor]: Taking taylor expansion of 0 in B 0.460 * [taylor]: Taking taylor expansion of 0 in B 0.471 * [taylor]: Taking taylor expansion of 0 in B 0.471 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (x B) around 0 0.472 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 0.472 * [taylor]: Taking taylor expansion of -1.0 in B 0.472 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 0.472 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.472 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.472 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.472 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.472 * [taylor]: Taking taylor expansion of -1 in B 0.472 * [taylor]: Taking taylor expansion of B in B 0.472 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.472 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.472 * [taylor]: Taking taylor expansion of -1 in B 0.472 * [taylor]: Taking taylor expansion of B in B 0.473 * [taylor]: Taking taylor expansion of x in B 0.473 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 0.473 * [taylor]: Taking taylor expansion of -1.0 in x 0.473 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 0.473 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 0.473 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.473 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.473 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.473 * [taylor]: Taking taylor expansion of -1 in x 0.473 * [taylor]: Taking taylor expansion of B in x 0.473 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.473 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.473 * [taylor]: Taking taylor expansion of -1 in x 0.473 * [taylor]: Taking taylor expansion of B in x 0.474 * [taylor]: Taking taylor expansion of x in x 0.479 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 0.479 * [taylor]: Taking taylor expansion of -1.0 in x 0.479 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 0.479 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 0.479 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.479 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.479 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.479 * [taylor]: Taking taylor expansion of -1 in x 0.479 * [taylor]: Taking taylor expansion of B in x 0.479 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.479 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.479 * [taylor]: Taking taylor expansion of -1 in x 0.479 * [taylor]: Taking taylor expansion of B in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 0.489 * [taylor]: Taking taylor expansion of -1.0 in B 0.489 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.489 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.489 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.489 * [taylor]: Taking taylor expansion of -1 in B 0.489 * [taylor]: Taking taylor expansion of B in B 0.489 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.489 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.489 * [taylor]: Taking taylor expansion of -1 in B 0.489 * [taylor]: Taking taylor expansion of B in B 0.495 * [taylor]: Taking taylor expansion of 0 in B 0.502 * [taylor]: Taking taylor expansion of 0 in B 0.511 * [taylor]: Taking taylor expansion of 0 in B 0.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.512 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 0.512 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.512 * [taylor]: Taking taylor expansion of 1.0 in B 0.512 * [taylor]: Taking taylor expansion of (sin B) in B 0.512 * [taylor]: Taking taylor expansion of B in B 0.512 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.512 * [taylor]: Taking taylor expansion of 1.0 in B 0.512 * [taylor]: Taking taylor expansion of (sin B) in B 0.512 * [taylor]: Taking taylor expansion of B in B 0.525 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 0.525 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.525 * [taylor]: Taking taylor expansion of 1.0 in B 0.525 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.526 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.526 * [taylor]: Taking taylor expansion of B in B 0.526 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.526 * [taylor]: Taking taylor expansion of 1.0 in B 0.526 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.526 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.526 * [taylor]: Taking taylor expansion of B in B 0.528 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 0.528 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.528 * [taylor]: Taking taylor expansion of 1.0 in B 0.528 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.528 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.528 * [taylor]: Taking taylor expansion of -1 in B 0.528 * [taylor]: Taking taylor expansion of B in B 0.529 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.529 * [taylor]: Taking taylor expansion of 1.0 in B 0.529 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.529 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.529 * [taylor]: Taking taylor expansion of -1 in B 0.529 * [taylor]: Taking taylor expansion of B in B 0.531 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.531 * [approximate]: Taking taylor expansion of (/ 1.0 (tan B)) in (B) around 0 0.531 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 0.531 * [taylor]: Taking taylor expansion of 1.0 in B 0.531 * [taylor]: Taking taylor expansion of (tan B) in B 0.531 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.531 * [taylor]: Taking taylor expansion of (sin B) in B 0.531 * [taylor]: Taking taylor expansion of B in B 0.531 * [taylor]: Taking taylor expansion of (cos B) in B 0.531 * [taylor]: Taking taylor expansion of B in B 0.532 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 0.532 * [taylor]: Taking taylor expansion of 1.0 in B 0.532 * [taylor]: Taking taylor expansion of (tan B) in B 0.532 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.532 * [taylor]: Taking taylor expansion of (sin B) in B 0.532 * [taylor]: Taking taylor expansion of B in B 0.532 * [taylor]: Taking taylor expansion of (cos B) in B 0.532 * [taylor]: Taking taylor expansion of B in B 0.552 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in (B) around 0 0.552 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 0.552 * [taylor]: Taking taylor expansion of 1.0 in B 0.552 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.552 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.552 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.552 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.552 * [taylor]: Taking taylor expansion of B in B 0.553 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.553 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.553 * [taylor]: Taking taylor expansion of B in B 0.553 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 0.553 * [taylor]: Taking taylor expansion of 1.0 in B 0.553 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.553 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.553 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.553 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.553 * [taylor]: Taking taylor expansion of B in B 0.554 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.554 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.554 * [taylor]: Taking taylor expansion of B in B 0.559 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in (B) around 0 0.559 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 0.559 * [taylor]: Taking taylor expansion of 1.0 in B 0.559 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.560 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.560 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.560 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.560 * [taylor]: Taking taylor expansion of -1 in B 0.560 * [taylor]: Taking taylor expansion of B in B 0.560 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.560 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.560 * [taylor]: Taking taylor expansion of -1 in B 0.560 * [taylor]: Taking taylor expansion of B in B 0.561 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 0.561 * [taylor]: Taking taylor expansion of 1.0 in B 0.561 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.561 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.561 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.561 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.561 * [taylor]: Taking taylor expansion of -1 in B 0.561 * [taylor]: Taking taylor expansion of B in B 0.561 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.561 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.561 * [taylor]: Taking taylor expansion of -1 in B 0.561 * [taylor]: Taking taylor expansion of B in B 0.567 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.567 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 0.567 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 0.567 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 0.567 * [taylor]: Taking taylor expansion of 1.0 in x 0.567 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 0.567 * [taylor]: Taking taylor expansion of (sin B) in x 0.567 * [taylor]: Taking taylor expansion of B in x 0.567 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 0.567 * [taylor]: Taking taylor expansion of 1.0 in x 0.567 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (tan B) in x 0.567 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.567 * [taylor]: Taking taylor expansion of (sin B) in x 0.567 * [taylor]: Taking taylor expansion of B in x 0.567 * [taylor]: Taking taylor expansion of (cos B) in x 0.567 * [taylor]: Taking taylor expansion of B in x 0.568 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 0.568 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 0.568 * [taylor]: Taking taylor expansion of 1.0 in B 0.568 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 0.568 * [taylor]: Taking taylor expansion of (sin B) in B 0.568 * [taylor]: Taking taylor expansion of B in B 0.569 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 0.569 * [taylor]: Taking taylor expansion of 1.0 in B 0.569 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 0.569 * [taylor]: Taking taylor expansion of x in B 0.569 * [taylor]: Taking taylor expansion of (tan B) in B 0.569 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.569 * [taylor]: Taking taylor expansion of (sin B) in B 0.571 * [taylor]: Taking taylor expansion of B in B 0.572 * [taylor]: Taking taylor expansion of (cos B) in B 0.572 * [taylor]: Taking taylor expansion of B in B 0.572 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 0.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 0.573 * [taylor]: Taking taylor expansion of 1.0 in B 0.573 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 0.573 * [taylor]: Taking taylor expansion of (sin B) in B 0.573 * [taylor]: Taking taylor expansion of B in B 0.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 0.574 * [taylor]: Taking taylor expansion of 1.0 in B 0.574 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 0.574 * [taylor]: Taking taylor expansion of x in B 0.574 * [taylor]: Taking taylor expansion of (tan B) in B 0.574 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.574 * [taylor]: Taking taylor expansion of (sin B) in B 0.574 * [taylor]: Taking taylor expansion of B in B 0.574 * [taylor]: Taking taylor expansion of (cos B) in B 0.574 * [taylor]: Taking taylor expansion of B in B 0.575 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 0.575 * [taylor]: Taking taylor expansion of 1.0 in x 0.575 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.575 * [taylor]: Taking taylor expansion of 1.0 in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.579 * [taylor]: Taking taylor expansion of 0 in x 0.587 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 0.587 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.587 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.588 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 0.588 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 0.588 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 0.589 * [taylor]: Taking taylor expansion of 1.0 in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 0.589 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.589 * [taylor]: Taking taylor expansion of B in x 0.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 0.589 * [taylor]: Taking taylor expansion of 1.0 in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 0.589 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 0.589 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.589 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.589 * [taylor]: Taking taylor expansion of B in x 0.589 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.589 * [taylor]: Taking taylor expansion of B in x 0.594 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 0.594 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 0.594 * [taylor]: Taking taylor expansion of 1.0 in B 0.594 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.594 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.594 * [taylor]: Taking taylor expansion of B in B 0.595 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 0.595 * [taylor]: Taking taylor expansion of 1.0 in B 0.595 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 0.595 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 0.595 * [taylor]: Taking taylor expansion of x in B 0.595 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.595 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.595 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.595 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.595 * [taylor]: Taking taylor expansion of B in B 0.595 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.595 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.595 * [taylor]: Taking taylor expansion of B in B 0.596 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 0.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 0.596 * [taylor]: Taking taylor expansion of 1.0 in B 0.596 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.596 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.596 * [taylor]: Taking taylor expansion of B in B 0.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 0.596 * [taylor]: Taking taylor expansion of 1.0 in B 0.596 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 0.596 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 0.596 * [taylor]: Taking taylor expansion of x in B 0.596 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.596 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.596 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.596 * [taylor]: Taking taylor expansion of B in B 0.597 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.597 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.597 * [taylor]: Taking taylor expansion of B in B 0.598 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 0.598 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 0.598 * [taylor]: Taking taylor expansion of 1.0 in x 0.598 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 0.598 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.598 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.598 * [taylor]: Taking taylor expansion of B in x 0.598 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 0.598 * [taylor]: Taking taylor expansion of 1.0 in x 0.599 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 0.599 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.599 * [taylor]: Taking taylor expansion of B in x 0.599 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 0.599 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.599 * [taylor]: Taking taylor expansion of B in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of 0 in x 0.612 * [taylor]: Taking taylor expansion of 0 in x 0.624 * [taylor]: Taking taylor expansion of 0 in x 0.639 * [taylor]: Taking taylor expansion of 0 in x 0.640 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 0.640 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 0.640 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 0.640 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.640 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.640 * [taylor]: Taking taylor expansion of -1 in x 0.640 * [taylor]: Taking taylor expansion of B in x 0.640 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 0.640 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 0.640 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 0.641 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.641 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.641 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.641 * [taylor]: Taking taylor expansion of -1 in x 0.641 * [taylor]: Taking taylor expansion of B in x 0.641 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.641 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.641 * [taylor]: Taking taylor expansion of -1 in x 0.641 * [taylor]: Taking taylor expansion of B in x 0.641 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 0.646 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 0.646 * [taylor]: Taking taylor expansion of 1.0 in B 0.646 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 0.646 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.646 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.646 * [taylor]: Taking taylor expansion of -1 in B 0.646 * [taylor]: Taking taylor expansion of B in B 0.646 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 0.647 * [taylor]: Taking taylor expansion of 1.0 in B 0.647 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 0.647 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 0.647 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.647 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.647 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.647 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.647 * [taylor]: Taking taylor expansion of -1 in B 0.647 * [taylor]: Taking taylor expansion of B in B 0.647 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.647 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.647 * [taylor]: Taking taylor expansion of -1 in B 0.647 * [taylor]: Taking taylor expansion of B in B 0.648 * [taylor]: Taking taylor expansion of x in B 0.648 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 0.648 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 0.648 * [taylor]: Taking taylor expansion of 1.0 in B 0.648 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 0.648 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.648 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.648 * [taylor]: Taking taylor expansion of -1 in B 0.648 * [taylor]: Taking taylor expansion of B in B 0.648 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 0.648 * [taylor]: Taking taylor expansion of 1.0 in B 0.648 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 0.648 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 0.648 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.648 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.648 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.648 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.648 * [taylor]: Taking taylor expansion of -1 in B 0.648 * [taylor]: Taking taylor expansion of B in B 0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.649 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.649 * [taylor]: Taking taylor expansion of -1 in B 0.649 * [taylor]: Taking taylor expansion of B in B 0.649 * [taylor]: Taking taylor expansion of x in B 0.650 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 0.650 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.650 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.650 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.650 * [taylor]: Taking taylor expansion of -1 in x 0.650 * [taylor]: Taking taylor expansion of B in x 0.650 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.650 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 0.650 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.650 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.650 * [taylor]: Taking taylor expansion of -1 in x 0.650 * [taylor]: Taking taylor expansion of B in x 0.650 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.650 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.650 * [taylor]: Taking taylor expansion of -1 in x 0.650 * [taylor]: Taking taylor expansion of B in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of 0 in x 0.665 * [taylor]: Taking taylor expansion of 0 in x 0.677 * [taylor]: Taking taylor expansion of 0 in x 0.692 * [taylor]: Taking taylor expansion of 0 in x 0.693 * * * [progress]: simplifying candidates 0.694 * [simplify]: Simplifying using # : (* x 1.0) (* x (/ 1.0 (sin B))) (* x 1.0) (* x (- 1.0)) (* x 1) (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- 1.0) (- (tan B)) (/ 1 (tan B)) (/ (tan B) 1.0) (/ 1.0 (sin B)) (- (* 1.0 (/ (tan B) 1.0)) (* (sin B) x)) (* (sin B) (/ (tan B) 1.0)) (- (* 1.0 (tan B)) (* (sin B) (* x 1.0))) (* (sin B) (tan B)) (- (* 1.0 (- (tan B))) (* (sin B) (* x (- 1.0)))) (* (sin B) (- (tan B))) (- (* 1.0 (/ (tan B) 1.0)) (* (sin B) (* x 1))) (* (sin B) (/ (tan B) 1.0)) (- (* (- 1.0) (/ (tan B) 1.0)) (* (- (sin B)) x)) (* (- (sin B)) (/ (tan B) 1.0)) (- (* (- 1.0) (tan B)) (* (- (sin B)) (* x 1.0))) (* (- (sin B)) (tan B)) (- (* (- 1.0) (- (tan B))) (* (- (sin B)) (* x (- 1.0)))) (* (- (sin B)) (- (tan B))) (- (* (- 1.0) (/ (tan B) 1.0)) (* (- (sin B)) (* x 1))) (* (- (sin B)) (/ (tan B) 1.0)) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) x)) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (* 1 (tan B)) (* (/ (sin B) 1.0) (* x 1.0))) (* (/ (sin B) 1.0) (tan B)) (- (* 1 (- (tan B))) (* (/ (sin B) 1.0) (* x (- 1.0)))) (* (/ (sin B) 1.0) (- (tan B))) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) (* x 1))) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (pow (/ 1.0 (sin B)) 3) (pow (* x (/ 1.0 (tan B))) 3)) (+ (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (+ (* (* x (/ 1.0 (tan B))) (* x (/ 1.0 (tan B)))) (* (/ 1.0 (sin B)) (* x (/ 1.0 (tan B)))))) (- (* x (/ 1.0 (tan B)))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (* x (/ 1.0 (tan B))) (* x (/ 1.0 (tan B))))) (+ (/ 1.0 (sin B)) (* x (/ 1.0 (tan B)))) (- (* x (/ 1.0 (tan B)))) (- (* 1.0 (/ x B)) (* 0.3333333333333333 (* x B))) (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (- (* 1.0 (/ 1 B)) (+ (* 0.022222222222222227 (pow B 3)) (* 0.3333333333333333 B))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) 0.698 * * [simplify]: iteration 0 : 283 enodes (cost 281 ) 0.704 * * [simplify]: iteration 1 : 980 enodes (cost 265 ) 0.728 * * [simplify]: iteration 2 : 4521 enodes (cost 246 ) 0.819 * * [simplify]: iteration 3 : 5001 enodes (cost 246 ) 0.821 * [simplify]: Simplified to: (* x 1.0) (* x (/ 1.0 (sin B))) (* x 1.0) (* x (- 1.0)) x (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- 1.0) (- (tan B)) (/ 1 (tan B)) (/ (tan B) 1.0) (/ 1.0 (sin B)) (- (tan B) (* x (sin B))) (* (sin B) (/ (tan B) 1.0)) (* 1.0 (- (tan B) (* x (sin B)))) (* (sin B) (tan B)) (* (- (* x (sin B)) (tan B)) 1.0) (* (- (sin B)) (tan B)) (- (tan B) (* x (sin B))) (* (sin B) (/ (tan B) 1.0)) (- (* x (sin B)) (tan B)) (* (- (sin B)) (/ (tan B) 1.0)) (* (- (* x (sin B)) (tan B)) 1.0) (* (- (sin B)) (tan B)) (* 1.0 (- (tan B) (* x (sin B)))) (* (sin B) (tan B)) (- (* x (sin B)) (tan B)) (* (- (sin B)) (/ (tan B) 1.0)) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) x)) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (tan B) (* x (sin B))) (* (sin B) (/ (tan B) 1.0)) (- (* x (sin B)) (tan B)) (* (- (sin B)) (/ (tan B) 1.0)) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) x)) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (pow (/ 1.0 (sin B)) 3) (pow (* x (/ 1.0 (tan B))) 3)) (+ (* (* x (/ 1.0 (tan B))) (+ (* x (/ 1.0 (tan B))) (/ 1.0 (sin B)))) (* (/ 1.0 (sin B)) (/ 1.0 (sin B)))) (- (* x (/ 1.0 (tan B)))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (* x (/ 1.0 (tan B))) (* x (/ 1.0 (tan B))))) (+ (/ 1.0 (sin B)) (* x (/ 1.0 (tan B)))) (- (* x (/ 1.0 (tan B)))) (- (* 1.0 (/ x B)) (* 0.3333333333333333 (* x B))) (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (- (* 1.0 (/ 1 B)) (+ (* 0.022222222222222227 (pow B 3)) (* 0.3333333333333333 B))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (+ (* 1.0 (- (/ 1 B) (/ x B))) (* 0.16666666666666666 B)) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) 0.821 * * * [progress]: adding candidates to table 0.906 * * [progress]: iteration 2 / 4 0.906 * * * [progress]: picking best candidate 0.916 * * * * [pick]: Picked # 0.916 * * * [progress]: localizing error 0.928 * * * [progress]: generating rewritten candidates 0.928 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.930 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.934 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.942 * * * [progress]: generating series expansions 0.942 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.942 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 0.942 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.942 * [taylor]: Taking taylor expansion of 1.0 in B 0.942 * [taylor]: Taking taylor expansion of (sin B) in B 0.942 * [taylor]: Taking taylor expansion of B in B 0.943 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.943 * [taylor]: Taking taylor expansion of 1.0 in B 0.943 * [taylor]: Taking taylor expansion of (sin B) in B 0.943 * [taylor]: Taking taylor expansion of B in B 0.955 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 0.955 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.955 * [taylor]: Taking taylor expansion of 1.0 in B 0.955 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.955 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.955 * [taylor]: Taking taylor expansion of B in B 0.956 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.956 * [taylor]: Taking taylor expansion of 1.0 in B 0.956 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.956 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.956 * [taylor]: Taking taylor expansion of B in B 0.958 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 0.958 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.958 * [taylor]: Taking taylor expansion of 1.0 in B 0.958 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.958 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.958 * [taylor]: Taking taylor expansion of -1 in B 0.958 * [taylor]: Taking taylor expansion of B in B 0.958 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.959 * [taylor]: Taking taylor expansion of 1.0 in B 0.959 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.959 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.959 * [taylor]: Taking taylor expansion of -1 in B 0.959 * [taylor]: Taking taylor expansion of B in B 0.961 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.961 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (x B) around 0 0.961 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 0.961 * [taylor]: Taking taylor expansion of 1.0 in B 0.961 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 0.961 * [taylor]: Taking taylor expansion of x in B 0.961 * [taylor]: Taking taylor expansion of (tan B) in B 0.961 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.961 * [taylor]: Taking taylor expansion of (sin B) in B 0.961 * [taylor]: Taking taylor expansion of B in B 0.961 * [taylor]: Taking taylor expansion of (cos B) in B 0.961 * [taylor]: Taking taylor expansion of B in B 0.962 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 0.962 * [taylor]: Taking taylor expansion of 1.0 in x 0.962 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (tan B) in x 0.962 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.962 * [taylor]: Taking taylor expansion of (sin B) in x 0.962 * [taylor]: Taking taylor expansion of B in x 0.962 * [taylor]: Taking taylor expansion of (cos B) in x 0.962 * [taylor]: Taking taylor expansion of B in x 0.963 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 0.963 * [taylor]: Taking taylor expansion of 1.0 in x 0.963 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 0.963 * [taylor]: Taking taylor expansion of x in x 0.963 * [taylor]: Taking taylor expansion of (tan B) in x 0.963 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.963 * [taylor]: Taking taylor expansion of (sin B) in x 0.963 * [taylor]: Taking taylor expansion of B in x 0.963 * [taylor]: Taking taylor expansion of (cos B) in x 0.963 * [taylor]: Taking taylor expansion of B in x 0.964 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 0.964 * [taylor]: Taking taylor expansion of 1.0 in B 0.964 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.964 * [taylor]: Taking taylor expansion of (cos B) in B 0.964 * [taylor]: Taking taylor expansion of B in B 0.964 * [taylor]: Taking taylor expansion of (sin B) in B 0.964 * [taylor]: Taking taylor expansion of B in B 0.969 * [taylor]: Taking taylor expansion of 0 in B 0.975 * [taylor]: Taking taylor expansion of 0 in B 0.985 * [taylor]: Taking taylor expansion of 0 in B 0.999 * [taylor]: Taking taylor expansion of 0 in B 1.000 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (x B) around 0 1.000 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 1.000 * [taylor]: Taking taylor expansion of 1.0 in B 1.000 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.000 * [taylor]: Taking taylor expansion of x in B 1.000 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.000 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.000 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.000 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.000 * [taylor]: Taking taylor expansion of B in B 1.000 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.000 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.000 * [taylor]: Taking taylor expansion of B in B 1.001 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.001 * [taylor]: Taking taylor expansion of 1.0 in x 1.001 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.001 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.001 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.001 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.001 * [taylor]: Taking taylor expansion of B in x 1.001 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.001 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.001 * [taylor]: Taking taylor expansion of B in x 1.006 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.006 * [taylor]: Taking taylor expansion of 1.0 in x 1.006 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.006 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.006 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.006 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.006 * [taylor]: Taking taylor expansion of B in x 1.006 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.006 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.006 * [taylor]: Taking taylor expansion of B in x 1.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.011 * [taylor]: Taking taylor expansion of 1.0 in B 1.011 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.011 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.011 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.011 * [taylor]: Taking taylor expansion of B in B 1.011 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.012 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.012 * [taylor]: Taking taylor expansion of B in B 1.018 * [taylor]: Taking taylor expansion of 0 in B 1.025 * [taylor]: Taking taylor expansion of 0 in B 1.035 * [taylor]: Taking taylor expansion of 0 in B 1.035 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (x B) around 0 1.035 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 1.035 * [taylor]: Taking taylor expansion of -1.0 in B 1.035 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.035 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.035 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.036 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.036 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.036 * [taylor]: Taking taylor expansion of -1 in B 1.036 * [taylor]: Taking taylor expansion of B in B 1.036 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.036 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.036 * [taylor]: Taking taylor expansion of -1 in B 1.036 * [taylor]: Taking taylor expansion of B in B 1.036 * [taylor]: Taking taylor expansion of x in B 1.037 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.037 * [taylor]: Taking taylor expansion of -1.0 in x 1.037 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.037 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.037 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.037 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.037 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.037 * [taylor]: Taking taylor expansion of -1 in x 1.037 * [taylor]: Taking taylor expansion of B in x 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.037 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.037 * [taylor]: Taking taylor expansion of -1 in x 1.037 * [taylor]: Taking taylor expansion of B in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.042 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.042 * [taylor]: Taking taylor expansion of -1.0 in x 1.042 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.042 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.042 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.042 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.042 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.042 * [taylor]: Taking taylor expansion of -1 in x 1.042 * [taylor]: Taking taylor expansion of B in x 1.042 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.042 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.042 * [taylor]: Taking taylor expansion of -1 in x 1.042 * [taylor]: Taking taylor expansion of B in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.047 * [taylor]: Taking taylor expansion of -1.0 in B 1.047 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.047 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.047 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.047 * [taylor]: Taking taylor expansion of -1 in B 1.047 * [taylor]: Taking taylor expansion of B in B 1.047 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.047 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.047 * [taylor]: Taking taylor expansion of -1 in B 1.047 * [taylor]: Taking taylor expansion of B in B 1.053 * [taylor]: Taking taylor expansion of 0 in B 1.060 * [taylor]: Taking taylor expansion of 0 in B 1.069 * [taylor]: Taking taylor expansion of 0 in B 1.070 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.070 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 1.070 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 1.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 1.070 * [taylor]: Taking taylor expansion of 1.0 in x 1.070 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 1.070 * [taylor]: Taking taylor expansion of (sin B) in x 1.070 * [taylor]: Taking taylor expansion of B in x 1.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.070 * [taylor]: Taking taylor expansion of 1.0 in x 1.070 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.070 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (tan B) in x 1.071 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.071 * [taylor]: Taking taylor expansion of (sin B) in x 1.071 * [taylor]: Taking taylor expansion of B in x 1.071 * [taylor]: Taking taylor expansion of (cos B) in x 1.071 * [taylor]: Taking taylor expansion of B in x 1.071 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.071 * [taylor]: Taking taylor expansion of 1.0 in B 1.071 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.071 * [taylor]: Taking taylor expansion of (sin B) in B 1.071 * [taylor]: Taking taylor expansion of B in B 1.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.072 * [taylor]: Taking taylor expansion of 1.0 in B 1.072 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.072 * [taylor]: Taking taylor expansion of x in B 1.072 * [taylor]: Taking taylor expansion of (tan B) in B 1.072 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.072 * [taylor]: Taking taylor expansion of (sin B) in B 1.072 * [taylor]: Taking taylor expansion of B in B 1.072 * [taylor]: Taking taylor expansion of (cos B) in B 1.072 * [taylor]: Taking taylor expansion of B in B 1.073 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.073 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.073 * [taylor]: Taking taylor expansion of 1.0 in B 1.073 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.073 * [taylor]: Taking taylor expansion of (sin B) in B 1.073 * [taylor]: Taking taylor expansion of B in B 1.074 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.074 * [taylor]: Taking taylor expansion of 1.0 in B 1.074 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.074 * [taylor]: Taking taylor expansion of x in B 1.074 * [taylor]: Taking taylor expansion of (tan B) in B 1.074 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.074 * [taylor]: Taking taylor expansion of (sin B) in B 1.074 * [taylor]: Taking taylor expansion of B in B 1.074 * [taylor]: Taking taylor expansion of (cos B) in B 1.074 * [taylor]: Taking taylor expansion of B in B 1.075 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 1.075 * [taylor]: Taking taylor expansion of 1.0 in x 1.075 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.075 * [taylor]: Taking taylor expansion of 1.0 in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.079 * [taylor]: Taking taylor expansion of 0 in x 1.091 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.091 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.091 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.093 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 1.093 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 1.093 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.093 * [taylor]: Taking taylor expansion of 1.0 in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.093 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.093 * [taylor]: Taking taylor expansion of B in x 1.093 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 1.093 * [taylor]: Taking taylor expansion of 1.0 in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 1.093 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.093 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.093 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.093 * [taylor]: Taking taylor expansion of B in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.093 * [taylor]: Taking taylor expansion of B in x 1.098 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.098 * [taylor]: Taking taylor expansion of 1.0 in B 1.098 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.098 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.098 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.098 * [taylor]: Taking taylor expansion of B in B 1.099 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.099 * [taylor]: Taking taylor expansion of 1.0 in B 1.099 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.099 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.099 * [taylor]: Taking taylor expansion of x in B 1.099 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.099 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.099 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.099 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.099 * [taylor]: Taking taylor expansion of B in B 1.099 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.099 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.099 * [taylor]: Taking taylor expansion of B in B 1.100 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.100 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.100 * [taylor]: Taking taylor expansion of 1.0 in B 1.100 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.100 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.100 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.100 * [taylor]: Taking taylor expansion of B in B 1.100 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.100 * [taylor]: Taking taylor expansion of 1.0 in B 1.100 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.100 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.100 * [taylor]: Taking taylor expansion of x in B 1.100 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.100 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.100 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.100 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.100 * [taylor]: Taking taylor expansion of B in B 1.101 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.101 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.101 * [taylor]: Taking taylor expansion of B in B 1.102 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.102 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.102 * [taylor]: Taking taylor expansion of 1.0 in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.102 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.102 * [taylor]: Taking taylor expansion of B in x 1.102 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.102 * [taylor]: Taking taylor expansion of 1.0 in x 1.102 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.102 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.102 * [taylor]: Taking taylor expansion of B in x 1.102 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.102 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.102 * [taylor]: Taking taylor expansion of B in x 1.103 * [taylor]: Taking taylor expansion of x in x 1.107 * [taylor]: Taking taylor expansion of 0 in x 1.115 * [taylor]: Taking taylor expansion of 0 in x 1.127 * [taylor]: Taking taylor expansion of 0 in x 1.143 * [taylor]: Taking taylor expansion of 0 in x 1.144 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 1.144 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 1.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.144 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.144 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of B in x 1.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 1.144 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.144 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.144 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.144 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.144 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of B in x 1.144 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.144 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of B in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.149 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.149 * [taylor]: Taking taylor expansion of 1.0 in B 1.149 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.149 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.149 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.149 * [taylor]: Taking taylor expansion of -1 in B 1.149 * [taylor]: Taking taylor expansion of B in B 1.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.150 * [taylor]: Taking taylor expansion of 1.0 in B 1.150 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.150 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.150 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.150 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.150 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.150 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.150 * [taylor]: Taking taylor expansion of -1 in B 1.150 * [taylor]: Taking taylor expansion of B in B 1.150 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.150 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.150 * [taylor]: Taking taylor expansion of -1 in B 1.150 * [taylor]: Taking taylor expansion of B in B 1.151 * [taylor]: Taking taylor expansion of x in B 1.151 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.151 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.151 * [taylor]: Taking taylor expansion of 1.0 in B 1.151 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.151 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.151 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.151 * [taylor]: Taking taylor expansion of -1 in B 1.151 * [taylor]: Taking taylor expansion of B in B 1.151 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.151 * [taylor]: Taking taylor expansion of 1.0 in B 1.151 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.151 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.151 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.151 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.151 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.151 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.151 * [taylor]: Taking taylor expansion of -1 in B 1.151 * [taylor]: Taking taylor expansion of B in B 1.152 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.152 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.152 * [taylor]: Taking taylor expansion of -1 in B 1.152 * [taylor]: Taking taylor expansion of B in B 1.152 * [taylor]: Taking taylor expansion of x in B 1.153 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 1.153 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.153 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.153 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.153 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.153 * [taylor]: Taking taylor expansion of -1 in x 1.153 * [taylor]: Taking taylor expansion of B in x 1.153 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 1.153 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 1.153 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.153 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.153 * [taylor]: Taking taylor expansion of -1 in x 1.153 * [taylor]: Taking taylor expansion of B in x 1.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.153 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.153 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.153 * [taylor]: Taking taylor expansion of -1 in x 1.153 * [taylor]: Taking taylor expansion of B in x 1.154 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of 0 in x 1.165 * [taylor]: Taking taylor expansion of 0 in x 1.181 * [taylor]: Taking taylor expansion of 0 in x 1.196 * [taylor]: Taking taylor expansion of 0 in x 1.196 * * * [progress]: simplifying candidates 1.197 * [simplify]: Simplifying using # : (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- (* x 1.0)) (- (tan B)) (/ 1 (tan B)) (/ (tan B) (* x 1.0)) (/ (tan B) 1.0) (/ (tan B) x) (/ (* x 1.0) (sin B)) (- (* 1.0 (tan B)) (* (sin B) (* x 1.0))) (* (sin B) (tan B)) (- (* 1.0 (- (tan B))) (* (sin B) (- (* x 1.0)))) (* (sin B) (- (tan B))) (- (* 1.0 (/ (tan B) (* x 1.0))) (* (sin B) 1)) (* (sin B) (/ (tan B) (* x 1.0))) (- (* 1.0 (/ (tan B) 1.0)) (* (sin B) x)) (* (sin B) (/ (tan B) 1.0)) (- (* 1.0 (/ (tan B) x)) (* (sin B) 1.0)) (* (sin B) (/ (tan B) x)) (- (* (- 1.0) (tan B)) (* (- (sin B)) (* x 1.0))) (* (- (sin B)) (tan B)) (- (* (- 1.0) (- (tan B))) (* (- (sin B)) (- (* x 1.0)))) (* (- (sin B)) (- (tan B))) (- (* (- 1.0) (/ (tan B) (* x 1.0))) (* (- (sin B)) 1)) (* (- (sin B)) (/ (tan B) (* x 1.0))) (- (* (- 1.0) (/ (tan B) 1.0)) (* (- (sin B)) x)) (* (- (sin B)) (/ (tan B) 1.0)) (- (* (- 1.0) (/ (tan B) x)) (* (- (sin B)) 1.0)) (* (- (sin B)) (/ (tan B) x)) (- (* 1 (tan B)) (* (/ (sin B) 1.0) (* x 1.0))) (* (/ (sin B) 1.0) (tan B)) (- (* 1 (- (tan B))) (* (/ (sin B) 1.0) (- (* x 1.0)))) (* (/ (sin B) 1.0) (- (tan B))) (- (* 1 (/ (tan B) (* x 1.0))) (* (/ (sin B) 1.0) 1)) (* (/ (sin B) 1.0) (/ (tan B) (* x 1.0))) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) x)) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (* 1 (/ (tan B) x)) (* (/ (sin B) 1.0) 1.0)) (* (/ (sin B) 1.0) (/ (tan B) x)) (- (pow (/ 1.0 (sin B)) 3) (pow (/ (* x 1.0) (tan B)) 3)) (+ (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (+ (* (/ (* x 1.0) (tan B)) (/ (* x 1.0) (tan B))) (* (/ 1.0 (sin B)) (/ (* x 1.0) (tan B))))) (- (/ (* x 1.0) (tan B))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (/ (* x 1.0) (tan B)) (/ (* x 1.0) (tan B)))) (+ (/ 1.0 (sin B)) (/ (* x 1.0) (tan B))) (- (/ (* x 1.0) (tan B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (- (* 1.0 (/ x B)) (* 0.3333333333333333 (* x B))) (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) 1.201 * * [simplify]: iteration 0 : 312 enodes (cost 306 ) 1.207 * * [simplify]: iteration 1 : 1204 enodes (cost 289 ) 1.236 * * [simplify]: iteration 2 : 5001 enodes (cost 265 ) 1.237 * [simplify]: Simplified to: (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- (* x 1.0)) (- (tan B)) (/ 1 (tan B)) (/ (tan B) (* x 1.0)) (/ (tan B) 1.0) (/ (tan B) x) (/ (* x 1.0) (sin B)) (* 1.0 (- (tan B) (* (sin B) x))) (* (sin B) (tan B)) (* (- 1.0) (- (tan B) (* (sin B) x))) (* (- (sin B)) (tan B)) (- (/ (tan B) x) (sin B)) (* (sin B) (/ (tan B) (* x 1.0))) (- (tan B) (* (sin B) x)) (* (sin B) (/ (tan B) 1.0)) (* 1.0 (- (/ (tan B) x) (sin B))) (* (sin B) (/ (tan B) x)) (* (- 1.0) (- (tan B) (* (sin B) x))) (* (- (sin B)) (tan B)) (* 1.0 (- (tan B) (* (sin B) x))) (* (sin B) (tan B)) (+ (- (/ (tan B) x)) (sin B)) (* (- (sin B)) (/ (tan B) (* x 1.0))) (+ (- (tan B)) (* (sin B) x)) (* (- (sin B)) (/ (tan B) 1.0)) (* (- 1.0) (- (/ (tan B) x) (sin B))) (* (- (sin B)) (/ (tan B) x)) (- (tan B) (* (sin B) x)) (* (sin B) (/ (tan B) 1.0)) (+ (- (tan B)) (* (sin B) x)) (* (- (sin B)) (/ (tan B) 1.0)) (+ (/ (tan B) (* x 1.0)) (- (/ (sin B) 1.0))) (* (/ (sin B) 1.0) (/ (tan B) (* x 1.0))) (- (* 1 (/ (tan B) 1.0)) (* (/ (sin B) 1.0) x)) (* (/ (sin B) 1.0) (/ (tan B) 1.0)) (- (/ (tan B) x) (sin B)) (* (sin B) (/ (tan B) (* x 1.0))) (- (pow (/ 1.0 (sin B)) 3) (pow (/ (* x 1.0) (tan B)) 3)) (+ (* (/ (* x 1.0) (tan B)) (+ (/ (* x 1.0) (tan B)) (/ 1.0 (sin B)))) (* (/ 1.0 (sin B)) (/ 1.0 (sin B)))) (- (/ (* x 1.0) (tan B))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (/ (* x 1.0) (tan B)) (/ (* x 1.0) (tan B)))) (+ (/ 1.0 (sin B)) (/ (* x 1.0) (tan B))) (- (/ (* x 1.0) (tan B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (- (* 1.0 (/ x B)) (* 0.3333333333333333 (* x B))) (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) 1.238 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 3 / 4 1.319 * * * [progress]: picking best candidate 1.329 * * * * [pick]: Picked # 1.329 * * * [progress]: localizing error 1.344 * * * [progress]: generating rewritten candidates 1.344 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.348 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.350 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.353 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.362 * * * [progress]: generating series expansions 1.363 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.363 * [approximate]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in (x B) around 0 1.363 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in B 1.363 * [taylor]: Taking taylor expansion of (* x (cos B)) in B 1.363 * [taylor]: Taking taylor expansion of x in B 1.363 * [taylor]: Taking taylor expansion of (cos B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.363 * [taylor]: Taking taylor expansion of (sin B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.364 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in x 1.364 * [taylor]: Taking taylor expansion of (* x (cos B)) in x 1.364 * [taylor]: Taking taylor expansion of x in x 1.364 * [taylor]: Taking taylor expansion of (cos B) in x 1.364 * [taylor]: Taking taylor expansion of B in x 1.364 * [taylor]: Taking taylor expansion of (sin B) in x 1.364 * [taylor]: Taking taylor expansion of B in x 1.366 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in x 1.366 * [taylor]: Taking taylor expansion of (* x (cos B)) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (cos B) in x 1.366 * [taylor]: Taking taylor expansion of B in x 1.366 * [taylor]: Taking taylor expansion of (sin B) in x 1.366 * [taylor]: Taking taylor expansion of B in x 1.369 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.369 * [taylor]: Taking taylor expansion of (cos B) in B 1.369 * [taylor]: Taking taylor expansion of B in B 1.369 * [taylor]: Taking taylor expansion of (sin B) in B 1.369 * [taylor]: Taking taylor expansion of B in B 1.374 * [taylor]: Taking taylor expansion of 0 in B 1.381 * [taylor]: Taking taylor expansion of 0 in B 1.390 * [taylor]: Taking taylor expansion of 0 in B 1.401 * [taylor]: Taking taylor expansion of 0 in B 1.401 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in (x B) around 0 1.401 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in B 1.401 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.401 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.401 * [taylor]: Taking taylor expansion of B in B 1.402 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 1.402 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.402 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.402 * [taylor]: Taking taylor expansion of B in B 1.402 * [taylor]: Taking taylor expansion of x in B 1.402 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.402 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.402 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.402 * [taylor]: Taking taylor expansion of B in x 1.402 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.402 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.402 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.403 * [taylor]: Taking taylor expansion of B in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.405 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.405 * [taylor]: Taking taylor expansion of B in x 1.405 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.405 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.405 * [taylor]: Taking taylor expansion of B in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.408 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.408 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.408 * [taylor]: Taking taylor expansion of B in B 1.408 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.408 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.408 * [taylor]: Taking taylor expansion of B in B 1.413 * [taylor]: Taking taylor expansion of 0 in B 1.419 * [taylor]: Taking taylor expansion of 0 in B 1.426 * [taylor]: Taking taylor expansion of 0 in B 1.431 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in (x B) around 0 1.431 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in B 1.431 * [taylor]: Taking taylor expansion of -1 in B 1.431 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in B 1.431 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.431 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.431 * [taylor]: Taking taylor expansion of -1 in B 1.431 * [taylor]: Taking taylor expansion of B in B 1.432 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in B 1.432 * [taylor]: Taking taylor expansion of x in B 1.432 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.432 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.432 * [taylor]: Taking taylor expansion of -1 in B 1.432 * [taylor]: Taking taylor expansion of B in B 1.432 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in x 1.432 * [taylor]: Taking taylor expansion of -1 in x 1.432 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in x 1.432 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.432 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.432 * [taylor]: Taking taylor expansion of -1 in x 1.432 * [taylor]: Taking taylor expansion of B in x 1.432 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.432 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.432 * [taylor]: Taking taylor expansion of -1 in x 1.432 * [taylor]: Taking taylor expansion of B in x 1.435 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in x 1.435 * [taylor]: Taking taylor expansion of -1 in x 1.435 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in x 1.435 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.435 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.435 * [taylor]: Taking taylor expansion of -1 in x 1.435 * [taylor]: Taking taylor expansion of B in x 1.435 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.435 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.435 * [taylor]: Taking taylor expansion of -1 in x 1.435 * [taylor]: Taking taylor expansion of B in x 1.438 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.438 * [taylor]: Taking taylor expansion of -1 in B 1.438 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.438 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.438 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.438 * [taylor]: Taking taylor expansion of -1 in B 1.438 * [taylor]: Taking taylor expansion of B in B 1.439 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.439 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.439 * [taylor]: Taking taylor expansion of -1 in B 1.439 * [taylor]: Taking taylor expansion of B in B 1.444 * [taylor]: Taking taylor expansion of 0 in B 1.451 * [taylor]: Taking taylor expansion of 0 in B 1.460 * [taylor]: Taking taylor expansion of 0 in B 1.461 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.461 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.461 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.461 * [taylor]: Taking taylor expansion of 1.0 in B 1.461 * [taylor]: Taking taylor expansion of (sin B) in B 1.461 * [taylor]: Taking taylor expansion of B in B 1.461 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.462 * [taylor]: Taking taylor expansion of 1.0 in B 1.462 * [taylor]: Taking taylor expansion of (sin B) in B 1.462 * [taylor]: Taking taylor expansion of B in B 1.474 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.474 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.474 * [taylor]: Taking taylor expansion of 1.0 in B 1.474 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.474 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.474 * [taylor]: Taking taylor expansion of B in B 1.474 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.474 * [taylor]: Taking taylor expansion of 1.0 in B 1.474 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.474 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.474 * [taylor]: Taking taylor expansion of B in B 1.476 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.477 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.477 * [taylor]: Taking taylor expansion of 1.0 in B 1.477 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.477 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.477 * [taylor]: Taking taylor expansion of -1 in B 1.477 * [taylor]: Taking taylor expansion of B in B 1.477 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.477 * [taylor]: Taking taylor expansion of 1.0 in B 1.477 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.477 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.477 * [taylor]: Taking taylor expansion of -1 in B 1.477 * [taylor]: Taking taylor expansion of B in B 1.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 1.479 * [approximate]: Taking taylor expansion of (* x (cos B)) in (x B) around 0 1.479 * [taylor]: Taking taylor expansion of (* x (cos B)) in B 1.479 * [taylor]: Taking taylor expansion of x in B 1.479 * [taylor]: Taking taylor expansion of (cos B) in B 1.479 * [taylor]: Taking taylor expansion of B in B 1.480 * [taylor]: Taking taylor expansion of (* x (cos B)) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of (cos B) in x 1.480 * [taylor]: Taking taylor expansion of B in x 1.480 * [taylor]: Taking taylor expansion of (* x (cos B)) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of (cos B) in x 1.480 * [taylor]: Taking taylor expansion of B in x 1.480 * [taylor]: Taking taylor expansion of 0 in B 1.482 * [taylor]: Taking taylor expansion of (cos B) in B 1.482 * [taylor]: Taking taylor expansion of B in B 1.485 * [taylor]: Taking taylor expansion of 0 in B 1.489 * [taylor]: Taking taylor expansion of 0 in B 1.489 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 B)) x) in (x B) around 0 1.489 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) x) in B 1.489 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.489 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.489 * [taylor]: Taking taylor expansion of B in B 1.490 * [taylor]: Taking taylor expansion of x in B 1.490 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) x) in x 1.490 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.490 * [taylor]: Taking taylor expansion of B in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) x) in x 1.490 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.490 * [taylor]: Taking taylor expansion of B in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.491 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.491 * [taylor]: Taking taylor expansion of B in B 1.494 * [taylor]: Taking taylor expansion of 0 in B 1.497 * [taylor]: Taking taylor expansion of 0 in B 1.501 * [taylor]: Taking taylor expansion of 0 in B 1.501 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) x)) in (x B) around 0 1.501 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) x)) in B 1.501 * [taylor]: Taking taylor expansion of -1 in B 1.502 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) x) in B 1.502 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.502 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.502 * [taylor]: Taking taylor expansion of -1 in B 1.502 * [taylor]: Taking taylor expansion of B in B 1.502 * [taylor]: Taking taylor expansion of x in B 1.502 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) x)) in x 1.502 * [taylor]: Taking taylor expansion of -1 in x 1.502 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) x) in x 1.502 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.502 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.502 * [taylor]: Taking taylor expansion of -1 in x 1.502 * [taylor]: Taking taylor expansion of B in x 1.502 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 B)) x)) in x 1.503 * [taylor]: Taking taylor expansion of -1 in x 1.503 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) x) in x 1.503 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.503 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.503 * [taylor]: Taking taylor expansion of -1 in x 1.503 * [taylor]: Taking taylor expansion of B in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 B))) in B 1.503 * [taylor]: Taking taylor expansion of -1 in B 1.503 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.503 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.503 * [taylor]: Taking taylor expansion of -1 in B 1.503 * [taylor]: Taking taylor expansion of B in B 1.507 * [taylor]: Taking taylor expansion of 0 in B 1.511 * [taylor]: Taking taylor expansion of 0 in B 1.516 * [taylor]: Taking taylor expansion of 0 in B 1.516 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.517 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) in (B x) around 0 1.517 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) in x 1.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 1.517 * [taylor]: Taking taylor expansion of 1.0 in x 1.517 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 1.517 * [taylor]: Taking taylor expansion of (sin B) in x 1.517 * [taylor]: Taking taylor expansion of B in x 1.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x (cos B)) (sin B))) in x 1.517 * [taylor]: Taking taylor expansion of 1.0 in x 1.517 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in x 1.517 * [taylor]: Taking taylor expansion of (* x (cos B)) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.517 * [taylor]: Taking taylor expansion of (cos B) in x 1.517 * [taylor]: Taking taylor expansion of B in x 1.517 * [taylor]: Taking taylor expansion of (sin B) in x 1.517 * [taylor]: Taking taylor expansion of B in x 1.524 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) in B 1.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.524 * [taylor]: Taking taylor expansion of 1.0 in B 1.524 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.524 * [taylor]: Taking taylor expansion of (sin B) in B 1.524 * [taylor]: Taking taylor expansion of B in B 1.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x (cos B)) (sin B))) in B 1.525 * [taylor]: Taking taylor expansion of 1.0 in B 1.525 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in B 1.525 * [taylor]: Taking taylor expansion of (* x (cos B)) in B 1.525 * [taylor]: Taking taylor expansion of x in B 1.525 * [taylor]: Taking taylor expansion of (cos B) in B 1.525 * [taylor]: Taking taylor expansion of B in B 1.525 * [taylor]: Taking taylor expansion of (sin B) in B 1.525 * [taylor]: Taking taylor expansion of B in B 1.525 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) in B 1.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.525 * [taylor]: Taking taylor expansion of 1.0 in B 1.525 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.525 * [taylor]: Taking taylor expansion of (sin B) in B 1.525 * [taylor]: Taking taylor expansion of B in B 1.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x (cos B)) (sin B))) in B 1.526 * [taylor]: Taking taylor expansion of 1.0 in B 1.526 * [taylor]: Taking taylor expansion of (/ (* x (cos B)) (sin B)) in B 1.526 * [taylor]: Taking taylor expansion of (* x (cos B)) in B 1.526 * [taylor]: Taking taylor expansion of x in B 1.526 * [taylor]: Taking taylor expansion of (cos B) in B 1.526 * [taylor]: Taking taylor expansion of B in B 1.526 * [taylor]: Taking taylor expansion of (sin B) in B 1.526 * [taylor]: Taking taylor expansion of B in B 1.527 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 1.527 * [taylor]: Taking taylor expansion of 1.0 in x 1.527 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.527 * [taylor]: Taking taylor expansion of 1.0 in x 1.527 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of 0 in x 1.539 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.539 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.539 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.539 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.540 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in (B x) around 0 1.540 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.540 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.540 * [taylor]: Taking taylor expansion of 1.0 in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.540 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.540 * [taylor]: Taking taylor expansion of B in x 1.541 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.541 * [taylor]: Taking taylor expansion of 1.0 in x 1.541 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.541 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.541 * [taylor]: Taking taylor expansion of B in x 1.541 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.541 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.541 * [taylor]: Taking taylor expansion of B in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in B 1.543 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.543 * [taylor]: Taking taylor expansion of 1.0 in B 1.543 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.543 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.543 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.543 * [taylor]: Taking taylor expansion of B in B 1.544 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in B 1.544 * [taylor]: Taking taylor expansion of 1.0 in B 1.544 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in B 1.544 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.544 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.544 * [taylor]: Taking taylor expansion of B in B 1.544 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 1.544 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.544 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.544 * [taylor]: Taking taylor expansion of B in B 1.544 * [taylor]: Taking taylor expansion of x in B 1.545 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in B 1.545 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.545 * [taylor]: Taking taylor expansion of 1.0 in B 1.545 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.545 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.545 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.545 * [taylor]: Taking taylor expansion of B in B 1.545 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in B 1.545 * [taylor]: Taking taylor expansion of 1.0 in B 1.545 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in B 1.545 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.545 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.545 * [taylor]: Taking taylor expansion of B in B 1.545 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 1.545 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.546 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.546 * [taylor]: Taking taylor expansion of B in B 1.546 * [taylor]: Taking taylor expansion of x in B 1.546 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.547 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.547 * [taylor]: Taking taylor expansion of 1.0 in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.547 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.547 * [taylor]: Taking taylor expansion of B in x 1.547 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.547 * [taylor]: Taking taylor expansion of 1.0 in x 1.547 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.547 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.547 * [taylor]: Taking taylor expansion of B in x 1.547 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.547 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.547 * [taylor]: Taking taylor expansion of B in x 1.547 * [taylor]: Taking taylor expansion of x in x 1.552 * [taylor]: Taking taylor expansion of 0 in x 1.559 * [taylor]: Taking taylor expansion of 0 in x 1.571 * [taylor]: Taking taylor expansion of 0 in x 1.586 * [taylor]: Taking taylor expansion of 0 in x 1.587 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))))) in (B x) around 0 1.587 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))))) in x 1.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.587 * [taylor]: Taking taylor expansion of 1.0 in x 1.587 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.587 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.587 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.587 * [taylor]: Taking taylor expansion of -1 in x 1.587 * [taylor]: Taking taylor expansion of B in x 1.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in x 1.587 * [taylor]: Taking taylor expansion of 1.0 in x 1.587 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in x 1.587 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.587 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.587 * [taylor]: Taking taylor expansion of -1 in x 1.587 * [taylor]: Taking taylor expansion of B in x 1.587 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in x 1.587 * [taylor]: Taking taylor expansion of x in x 1.588 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.588 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.588 * [taylor]: Taking taylor expansion of -1 in x 1.588 * [taylor]: Taking taylor expansion of B in x 1.590 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))))) in B 1.590 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.590 * [taylor]: Taking taylor expansion of 1.0 in B 1.590 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.590 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.590 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.590 * [taylor]: Taking taylor expansion of -1 in B 1.590 * [taylor]: Taking taylor expansion of B in B 1.591 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in B 1.591 * [taylor]: Taking taylor expansion of 1.0 in B 1.591 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in B 1.591 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.591 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.591 * [taylor]: Taking taylor expansion of -1 in B 1.591 * [taylor]: Taking taylor expansion of B in B 1.591 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in B 1.591 * [taylor]: Taking taylor expansion of x in B 1.591 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.591 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.591 * [taylor]: Taking taylor expansion of -1 in B 1.591 * [taylor]: Taking taylor expansion of B in B 1.592 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))))) in B 1.592 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.592 * [taylor]: Taking taylor expansion of 1.0 in B 1.592 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.592 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.592 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.592 * [taylor]: Taking taylor expansion of -1 in B 1.592 * [taylor]: Taking taylor expansion of B in B 1.592 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in B 1.592 * [taylor]: Taking taylor expansion of 1.0 in B 1.592 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in B 1.592 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.592 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.592 * [taylor]: Taking taylor expansion of -1 in B 1.592 * [taylor]: Taking taylor expansion of B in B 1.593 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in B 1.593 * [taylor]: Taking taylor expansion of x in B 1.593 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.593 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.593 * [taylor]: Taking taylor expansion of -1 in B 1.593 * [taylor]: Taking taylor expansion of B in B 1.593 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))))) in x 1.594 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.594 * [taylor]: Taking taylor expansion of 1.0 in x 1.594 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.594 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.594 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.594 * [taylor]: Taking taylor expansion of -1 in x 1.594 * [taylor]: Taking taylor expansion of B in x 1.594 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* x (sin (/ -1 B))))) in x 1.594 * [taylor]: Taking taylor expansion of 1.0 in x 1.594 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* x (sin (/ -1 B)))) in x 1.594 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.594 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.594 * [taylor]: Taking taylor expansion of -1 in x 1.594 * [taylor]: Taking taylor expansion of B in x 1.594 * [taylor]: Taking taylor expansion of (* x (sin (/ -1 B))) in x 1.594 * [taylor]: Taking taylor expansion of x in x 1.594 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.594 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.594 * [taylor]: Taking taylor expansion of -1 in x 1.594 * [taylor]: Taking taylor expansion of B in x 1.598 * [taylor]: Taking taylor expansion of 0 in x 1.606 * [taylor]: Taking taylor expansion of 0 in x 1.622 * [taylor]: Taking taylor expansion of 0 in x 1.637 * [taylor]: Taking taylor expansion of 0 in x 1.637 * * * [progress]: simplifying candidates 1.638 * [simplify]: Simplifying using # : (- (* x (cos B))) (- (sin B)) (/ 1 (sin B)) (/ (sin B) (* x (cos B))) (/ (sin B) (cos B)) (/ (sin B) x) (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- 1.0 (* 1.0 (* x (cos B)))) (- (- 1.0) (* 1.0 (- (* x (cos B))))) (- (* 1.0 (/ (sin B) (* x (cos B)))) (* (sin B) 1.0)) (* (sin B) (/ (sin B) (* x (cos B)))) (- (* 1.0 (sin B)) (* (sin B) (* 1.0 (* x (cos B))))) (* (sin B) (sin B)) (- (* 1.0 (- (sin B))) (* (sin B) (* 1.0 (- (* x (cos B)))))) (* (sin B) (- (sin B))) (- (* 1.0 (/ (sin B) (* x (cos B)))) (* (sin B) (* 1.0 1))) (* (sin B) (/ (sin B) (* x (cos B)))) (- (* 1.0 (/ (sin B) (cos B))) (* (sin B) (* 1.0 x))) (* (sin B) (/ (sin B) (cos B))) (- (* 1.0 (/ (sin B) x)) (* (sin B) (* 1.0 (cos B)))) (* (sin B) (/ (sin B) x)) (- (* (- 1.0) (/ (sin B) (* x (cos B)))) (* (- (sin B)) 1.0)) (* (- (sin B)) (/ (sin B) (* x (cos B)))) (- (* (- 1.0) (sin B)) (* (- (sin B)) (* 1.0 (* x (cos B))))) (* (- (sin B)) (sin B)) (- (* (- 1.0) (- (sin B))) (* (- (sin B)) (* 1.0 (- (* x (cos B)))))) (* (- (sin B)) (- (sin B))) (- (* (- 1.0) (/ (sin B) (* x (cos B)))) (* (- (sin B)) (* 1.0 1))) (* (- (sin B)) (/ (sin B) (* x (cos B)))) (- (* (- 1.0) (/ (sin B) (cos B))) (* (- (sin B)) (* 1.0 x))) (* (- (sin B)) (/ (sin B) (cos B))) (- (* (- 1.0) (/ (sin B) x)) (* (- (sin B)) (* 1.0 (cos B)))) (* (- (sin B)) (/ (sin B) x)) (- (* 1 (/ (sin B) (* x (cos B)))) (* (/ (sin B) 1.0) 1.0)) (* (/ (sin B) 1.0) (/ (sin B) (* x (cos B)))) (- (* 1 (sin B)) (* (/ (sin B) 1.0) (* 1.0 (* x (cos B))))) (* (/ (sin B) 1.0) (sin B)) (- (* 1 (- (sin B))) (* (/ (sin B) 1.0) (* 1.0 (- (* x (cos B)))))) (* (/ (sin B) 1.0) (- (sin B))) (- (* 1 (/ (sin B) (* x (cos B)))) (* (/ (sin B) 1.0) (* 1.0 1))) (* (/ (sin B) 1.0) (/ (sin B) (* x (cos B)))) (- (* 1 (/ (sin B) (cos B))) (* (/ (sin B) 1.0) (* 1.0 x))) (* (/ (sin B) 1.0) (/ (sin B) (cos B))) (- (* 1 (/ (sin B) x)) (* (/ (sin B) 1.0) (* 1.0 (cos B)))) (* (/ (sin B) 1.0) (/ (sin B) x)) (- (pow (/ 1.0 (sin B)) 3) (pow (* 1.0 (/ (* x (cos B)) (sin B))) 3)) (+ (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (+ (* (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (* (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B)))))) (- (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))))) (+ (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B))) (- 1.0 (* 1.0 (* x (cos B)))) (- (* 1.0 (/ (* x (cos B)) (sin B)))) (- (/ x B) (* 1/3 (* x B))) (/ (* x (cos B)) (sin B)) (/ (* x (cos B)) (sin B)) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) x (* x (cos B)) (* x (cos B)) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) 1.643 * * [simplify]: iteration 0 : 344 enodes (cost 422 ) 1.651 * * [simplify]: iteration 1 : 1745 enodes (cost 396 ) 1.692 * * [simplify]: iteration 2 : 5002 enodes (cost 389 ) 1.695 * [simplify]: Simplified to: (- (* x (cos B))) (- (sin B)) (/ 1 (sin B)) (/ (sin B) (* x (cos B))) (/ (sin B) (cos B)) (/ (sin B) x) (- 1.0) (- (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (- 1.0 (* 1.0 (* x (cos B)))) (+ (- 1.0) (* 1.0 (* x (cos B)))) (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (* (sin B) (/ (sin B) (* x (cos B)))) (* (* 1.0 (sin B)) (- 1 (* x (cos B)))) (* (sin B) (sin B)) (* (- (sin B)) (- 1.0 (* 1.0 (* x (cos B))))) (* (- (sin B)) (sin B)) (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (* (sin B) (/ (sin B) (* x (cos B)))) (- (* 1.0 (/ (sin B) (cos B))) (* (sin B) (* 1.0 x))) (* (sin B) (/ (sin B) (cos B))) (- (* 1.0 (/ (sin B) x)) (* (sin B) (* 1.0 (cos B)))) (* (sin B) (/ (sin B) x)) (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (/ (sin B) (* x (cos B)))) (* (- (sin B)) (- 1.0 (* 1.0 (* x (cos B))))) (* (- (sin B)) (sin B)) (* (* 1.0 (sin B)) (- 1 (* x (cos B)))) (* (sin B) (sin B)) (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (/ (sin B) (* x (cos B)))) (- (- (* 1.0 (/ (sin B) (cos B))) (* (sin B) (* 1.0 x)))) (* (- (sin B)) (/ (sin B) (cos B))) (- (- (* 1.0 (/ (sin B) x)) (* (sin B) (* 1.0 (cos B))))) (* (- (sin B)) (/ (sin B) x)) (- (/ (sin B) (* x (cos B))) (sin B)) (* (/ (sin B) 1.0) (/ (sin B) (* x (cos B)))) (+ (* (* x (cos B)) (* (- (sin B)) 1)) (sin B)) (* (/ (sin B) 1.0) (sin B)) (+ (- (sin B)) (* (/ (sin B) 1.0) (* 1.0 (* x (cos B))))) (* (/ (sin B) 1.0) (- (sin B))) (- (/ (sin B) (* x (cos B))) (sin B)) (* (/ (sin B) 1.0) (/ (sin B) (* x (cos B)))) (- (* 1 (/ (sin B) (cos B))) (* (/ (sin B) 1.0) (* 1.0 x))) (* (/ (sin B) 1.0) (/ (sin B) (cos B))) (- (* 1 (/ (sin B) x)) (* (/ (sin B) 1.0) (* 1.0 (cos B)))) (* (/ (sin B) 1.0) (/ (sin B) x)) (- (pow (/ 1.0 (sin B)) 3) (pow (* 1.0 (/ (* x (cos B)) (sin B))) 3)) (+ (* (* 1.0 (/ (* x (cos B)) (sin B))) (+ (* 1.0 (/ (* x (cos B)) (sin B))) (/ 1.0 (sin B)))) (* (/ 1.0 (sin B)) (/ 1.0 (sin B)))) (- (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (* (* 1.0 (/ (* x (cos B)) (sin B))) (* 1.0 (/ (* x (cos B)) (sin B))))) (+ (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B))) (- 1.0 (* 1.0 (* x (cos B)))) (- (* 1.0 (/ (* x (cos B)) (sin B)))) (- (/ x B) (* 1/3 (* x B))) (/ (* x (cos B)) (sin B)) (/ (* x (cos B)) (sin B)) (+ (+ (* 0.16666666666666666 B) (/ 1.0 B)) (* 0.019444444444444445 (pow B 3))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) x (* x (cos B)) (* x (cos B)) (+ (* 0.16666666666666666 B) (- (/ 1.0 B) (* 1.0 (/ x B)))) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) 1.695 * * * [progress]: adding candidates to table 1.798 * * [progress]: iteration 4 / 4 1.798 * * * [progress]: picking best candidate 1.808 * * * * [pick]: Picked # 1.808 * * * [progress]: localizing error 1.824 * * * [progress]: generating rewritten candidates 1.824 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.839 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.844 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.848 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.853 * * * [progress]: generating series expansions 1.853 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.854 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2))) in (B x) around 0 1.854 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2))) in x 1.854 * [taylor]: Taking taylor expansion of 1.0 in x 1.854 * [taylor]: Taking taylor expansion of (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2)) in x 1.854 * [taylor]: Taking taylor expansion of (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) in x 1.854 * [taylor]: Taking taylor expansion of (cos B) in x 1.854 * [taylor]: Taking taylor expansion of B in x 1.854 * [taylor]: Taking taylor expansion of (* x (- (/ (sin B) (* (cos B) x)) (sin B))) in x 1.855 * [taylor]: Taking taylor expansion of x in x 1.855 * [taylor]: Taking taylor expansion of (- (/ (sin B) (* (cos B) x)) (sin B)) in x 1.855 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in x 1.855 * [taylor]: Taking taylor expansion of (sin B) in x 1.855 * [taylor]: Taking taylor expansion of B in x 1.855 * [taylor]: Taking taylor expansion of (* (cos B) x) in x 1.855 * [taylor]: Taking taylor expansion of (cos B) in x 1.855 * [taylor]: Taking taylor expansion of B in x 1.855 * [taylor]: Taking taylor expansion of x in x 1.857 * [taylor]: Taking taylor expansion of (sin B) in x 1.857 * [taylor]: Taking taylor expansion of B in x 1.857 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in x 1.857 * [taylor]: Taking taylor expansion of (sin B) in x 1.857 * [taylor]: Taking taylor expansion of B in x 1.865 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2))) in B 1.865 * [taylor]: Taking taylor expansion of 1.0 in B 1.865 * [taylor]: Taking taylor expansion of (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2)) in B 1.865 * [taylor]: Taking taylor expansion of (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) in B 1.865 * [taylor]: Taking taylor expansion of (cos B) in B 1.865 * [taylor]: Taking taylor expansion of B in B 1.865 * [taylor]: Taking taylor expansion of (* x (- (/ (sin B) (* (cos B) x)) (sin B))) in B 1.865 * [taylor]: Taking taylor expansion of x in B 1.865 * [taylor]: Taking taylor expansion of (- (/ (sin B) (* (cos B) x)) (sin B)) in B 1.865 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 1.865 * [taylor]: Taking taylor expansion of (sin B) in B 1.865 * [taylor]: Taking taylor expansion of B in B 1.865 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 1.865 * [taylor]: Taking taylor expansion of (cos B) in B 1.865 * [taylor]: Taking taylor expansion of B in B 1.865 * [taylor]: Taking taylor expansion of x in B 1.866 * [taylor]: Taking taylor expansion of (sin B) in B 1.866 * [taylor]: Taking taylor expansion of B in B 1.866 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in B 1.866 * [taylor]: Taking taylor expansion of (sin B) in B 1.866 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2))) in B 1.869 * [taylor]: Taking taylor expansion of 1.0 in B 1.869 * [taylor]: Taking taylor expansion of (/ (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) (pow (sin B) 2)) in B 1.869 * [taylor]: Taking taylor expansion of (* (cos B) (* x (- (/ (sin B) (* (cos B) x)) (sin B)))) in B 1.869 * [taylor]: Taking taylor expansion of (cos B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (* x (- (/ (sin B) (* (cos B) x)) (sin B))) in B 1.869 * [taylor]: Taking taylor expansion of x in B 1.869 * [taylor]: Taking taylor expansion of (- (/ (sin B) (* (cos B) x)) (sin B)) in B 1.869 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 1.869 * [taylor]: Taking taylor expansion of (sin B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 1.869 * [taylor]: Taking taylor expansion of (cos B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of x in B 1.869 * [taylor]: Taking taylor expansion of (sin B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in B 1.869 * [taylor]: Taking taylor expansion of (sin B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.872 * [taylor]: Taking taylor expansion of (* 1.0 (- 1 x)) in x 1.872 * [taylor]: Taking taylor expansion of 1.0 in x 1.872 * [taylor]: Taking taylor expansion of (- 1 x) in x 1.872 * [taylor]: Taking taylor expansion of 1 in x 1.872 * [taylor]: Taking taylor expansion of x in x 1.882 * [taylor]: Taking taylor expansion of 0 in x 1.891 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.891 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.891 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.891 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.893 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x))) in (B x) around 0 1.893 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x))) in x 1.893 * [taylor]: Taking taylor expansion of 1.0 in x 1.893 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x)) in x 1.893 * [taylor]: Taking taylor expansion of (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) in x 1.893 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.893 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.893 * [taylor]: Taking taylor expansion of B in x 1.893 * [taylor]: Taking taylor expansion of (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B))) in x 1.893 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 1.893 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.893 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.893 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.893 * [taylor]: Taking taylor expansion of B in x 1.893 * [taylor]: Taking taylor expansion of x in x 1.893 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.893 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.893 * [taylor]: Taking taylor expansion of B in x 1.896 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.896 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.896 * [taylor]: Taking taylor expansion of B in x 1.896 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in x 1.896 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in x 1.896 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.896 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.896 * [taylor]: Taking taylor expansion of B in x 1.896 * [taylor]: Taking taylor expansion of x in x 1.899 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x))) in B 1.899 * [taylor]: Taking taylor expansion of 1.0 in B 1.899 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x)) in B 1.899 * [taylor]: Taking taylor expansion of (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) in B 1.899 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.899 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.899 * [taylor]: Taking taylor expansion of B in B 1.900 * [taylor]: Taking taylor expansion of (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B))) in B 1.900 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 1.900 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 1.900 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.900 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.900 * [taylor]: Taking taylor expansion of B in B 1.900 * [taylor]: Taking taylor expansion of x in B 1.900 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.900 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.900 * [taylor]: Taking taylor expansion of B in B 1.901 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.901 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.901 * [taylor]: Taking taylor expansion of B in B 1.901 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in B 1.901 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in B 1.901 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.901 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.901 * [taylor]: Taking taylor expansion of B in B 1.901 * [taylor]: Taking taylor expansion of x in B 1.902 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x))) in B 1.902 * [taylor]: Taking taylor expansion of 1.0 in B 1.902 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x)) in B 1.902 * [taylor]: Taking taylor expansion of (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) in B 1.902 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.902 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.902 * [taylor]: Taking taylor expansion of B in B 1.903 * [taylor]: Taking taylor expansion of (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B))) in B 1.903 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 1.903 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 1.903 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.903 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.903 * [taylor]: Taking taylor expansion of B in B 1.903 * [taylor]: Taking taylor expansion of x in B 1.903 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.903 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.903 * [taylor]: Taking taylor expansion of B in B 1.903 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.903 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.903 * [taylor]: Taking taylor expansion of B in B 1.904 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in B 1.904 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in B 1.904 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.904 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.904 * [taylor]: Taking taylor expansion of B in B 1.904 * [taylor]: Taking taylor expansion of x in B 1.905 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x))) in x 1.905 * [taylor]: Taking taylor expansion of 1.0 in x 1.905 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) (* (pow (sin (/ 1 B)) 2) x)) in x 1.905 * [taylor]: Taking taylor expansion of (* (cos (/ 1 B)) (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B)))) in x 1.905 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.905 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.905 * [taylor]: Taking taylor expansion of B in x 1.906 * [taylor]: Taking taylor expansion of (- (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) (sin (/ 1 B))) in x 1.906 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 1.906 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.906 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.906 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.906 * [taylor]: Taking taylor expansion of B in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.906 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.906 * [taylor]: Taking taylor expansion of B in x 1.908 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.908 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.908 * [taylor]: Taking taylor expansion of B in x 1.908 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in x 1.908 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in x 1.908 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.908 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.908 * [taylor]: Taking taylor expansion of B in x 1.909 * [taylor]: Taking taylor expansion of x in x 1.914 * [taylor]: Taking taylor expansion of 0 in x 1.925 * [taylor]: Taking taylor expansion of 0 in x 1.944 * [taylor]: Taking taylor expansion of 0 in x 1.973 * [taylor]: Taking taylor expansion of 0 in x 1.974 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x))) in (B x) around 0 1.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x))) in x 1.974 * [taylor]: Taking taylor expansion of 1.0 in x 1.974 * [taylor]: Taking taylor expansion of (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x)) in x 1.974 * [taylor]: Taking taylor expansion of (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) in x 1.974 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 1.974 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.974 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.974 * [taylor]: Taking taylor expansion of -1 in x 1.974 * [taylor]: Taking taylor expansion of B in x 1.974 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 1.974 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.974 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.974 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.974 * [taylor]: Taking taylor expansion of -1 in x 1.974 * [taylor]: Taking taylor expansion of B in x 1.975 * [taylor]: Taking taylor expansion of x in x 1.975 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.975 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.975 * [taylor]: Taking taylor expansion of -1 in x 1.975 * [taylor]: Taking taylor expansion of B in x 1.977 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.977 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.977 * [taylor]: Taking taylor expansion of -1 in x 1.977 * [taylor]: Taking taylor expansion of B in x 1.977 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in x 1.977 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in x 1.977 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.977 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.977 * [taylor]: Taking taylor expansion of -1 in x 1.977 * [taylor]: Taking taylor expansion of B in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.981 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x))) in B 1.981 * [taylor]: Taking taylor expansion of 1.0 in B 1.981 * [taylor]: Taking taylor expansion of (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x)) in B 1.981 * [taylor]: Taking taylor expansion of (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) in B 1.981 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 1.981 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.981 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.981 * [taylor]: Taking taylor expansion of -1 in B 1.981 * [taylor]: Taking taylor expansion of B in B 1.981 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 1.981 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 1.981 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.981 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.981 * [taylor]: Taking taylor expansion of -1 in B 1.981 * [taylor]: Taking taylor expansion of B in B 1.982 * [taylor]: Taking taylor expansion of x in B 1.982 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.982 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.982 * [taylor]: Taking taylor expansion of -1 in B 1.982 * [taylor]: Taking taylor expansion of B in B 1.982 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.982 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.982 * [taylor]: Taking taylor expansion of -1 in B 1.982 * [taylor]: Taking taylor expansion of B in B 1.982 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in B 1.983 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in B 1.983 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.983 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.983 * [taylor]: Taking taylor expansion of -1 in B 1.983 * [taylor]: Taking taylor expansion of B in B 1.983 * [taylor]: Taking taylor expansion of x in B 1.984 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x))) in B 1.984 * [taylor]: Taking taylor expansion of 1.0 in B 1.984 * [taylor]: Taking taylor expansion of (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x)) in B 1.984 * [taylor]: Taking taylor expansion of (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) in B 1.984 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 1.984 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.984 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.984 * [taylor]: Taking taylor expansion of -1 in B 1.984 * [taylor]: Taking taylor expansion of B in B 1.984 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 1.984 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 1.984 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.984 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.984 * [taylor]: Taking taylor expansion of -1 in B 1.984 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of x in B 1.985 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.986 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in B 1.986 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in B 1.986 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.986 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.986 * [taylor]: Taking taylor expansion of -1 in B 1.986 * [taylor]: Taking taylor expansion of B in B 1.986 * [taylor]: Taking taylor expansion of x in B 1.987 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x))) in x 1.987 * [taylor]: Taking taylor expansion of 1.0 in x 1.987 * [taylor]: Taking taylor expansion of (/ (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) (* (pow (sin (/ -1 B)) 2) x)) in x 1.987 * [taylor]: Taking taylor expansion of (* (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) (cos (/ -1 B))) in x 1.987 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 B)) (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 1.987 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.988 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.988 * [taylor]: Taking taylor expansion of -1 in x 1.988 * [taylor]: Taking taylor expansion of B in x 1.988 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 1.988 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.988 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.988 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.988 * [taylor]: Taking taylor expansion of -1 in x 1.988 * [taylor]: Taking taylor expansion of B in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.988 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.988 * [taylor]: Taking taylor expansion of -1 in x 1.988 * [taylor]: Taking taylor expansion of B in x 1.990 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.991 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.991 * [taylor]: Taking taylor expansion of -1 in x 1.991 * [taylor]: Taking taylor expansion of B in x 1.991 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in x 1.991 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in x 1.991 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.991 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.991 * [taylor]: Taking taylor expansion of -1 in x 1.991 * [taylor]: Taking taylor expansion of B in x 1.991 * [taylor]: Taking taylor expansion of x in x 1.997 * [taylor]: Taking taylor expansion of 0 in x 2.007 * [taylor]: Taking taylor expansion of 0 in x 2.026 * [taylor]: Taking taylor expansion of 0 in x 2.050 * [taylor]: Taking taylor expansion of 0 in x 2.050 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.050 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sin B) 2) (* (cos B) x))) in (B x) around 0 2.050 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sin B) 2) (* (cos B) x))) in x 2.051 * [taylor]: Taking taylor expansion of -1 in x 2.051 * [taylor]: Taking taylor expansion of (/ (pow (sin B) 2) (* (cos B) x)) in x 2.051 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in x 2.051 * [taylor]: Taking taylor expansion of (sin B) in x 2.051 * [taylor]: Taking taylor expansion of B in x 2.051 * [taylor]: Taking taylor expansion of (* (cos B) x) in x 2.051 * [taylor]: Taking taylor expansion of (cos B) in x 2.051 * [taylor]: Taking taylor expansion of B in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.054 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sin B) 2) (* (cos B) x))) in B 2.054 * [taylor]: Taking taylor expansion of -1 in B 2.054 * [taylor]: Taking taylor expansion of (/ (pow (sin B) 2) (* (cos B) x)) in B 2.054 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in B 2.054 * [taylor]: Taking taylor expansion of (sin B) in B 2.054 * [taylor]: Taking taylor expansion of B in B 2.054 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.054 * [taylor]: Taking taylor expansion of (cos B) in B 2.054 * [taylor]: Taking taylor expansion of B in B 2.054 * [taylor]: Taking taylor expansion of x in B 2.055 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sin B) 2) (* (cos B) x))) in B 2.055 * [taylor]: Taking taylor expansion of -1 in B 2.055 * [taylor]: Taking taylor expansion of (/ (pow (sin B) 2) (* (cos B) x)) in B 2.055 * [taylor]: Taking taylor expansion of (pow (sin B) 2) in B 2.055 * [taylor]: Taking taylor expansion of (sin B) in B 2.055 * [taylor]: Taking taylor expansion of B in B 2.055 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.055 * [taylor]: Taking taylor expansion of (cos B) in B 2.055 * [taylor]: Taking taylor expansion of B in B 2.055 * [taylor]: Taking taylor expansion of x in B 2.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.055 * [taylor]: Taking taylor expansion of -1 in x 2.056 * [taylor]: Taking taylor expansion of x in x 2.057 * [taylor]: Taking taylor expansion of 0 in x 2.065 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 x))) in x 2.065 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.065 * [taylor]: Taking taylor expansion of 1/6 in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.065 * [taylor]: Taking taylor expansion of x in x 2.070 * [taylor]: Taking taylor expansion of 0 in x 2.078 * [taylor]: Taking taylor expansion of (- (* 31/360 (/ 1 x))) in x 2.078 * [taylor]: Taking taylor expansion of (* 31/360 (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of 31/360 in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.079 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B)))) in (B x) around 0 2.079 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B)))) in x 2.079 * [taylor]: Taking taylor expansion of -1 in x 2.079 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B))) in x 2.079 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in x 2.079 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in x 2.079 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.079 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.079 * [taylor]: Taking taylor expansion of B in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.080 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.080 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.080 * [taylor]: Taking taylor expansion of B in x 2.083 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B)))) in B 2.083 * [taylor]: Taking taylor expansion of -1 in B 2.083 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B))) in B 2.083 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in B 2.083 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in B 2.083 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.083 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.083 * [taylor]: Taking taylor expansion of B in B 2.083 * [taylor]: Taking taylor expansion of x in B 2.083 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.083 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.083 * [taylor]: Taking taylor expansion of B in B 2.084 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B)))) in B 2.084 * [taylor]: Taking taylor expansion of -1 in B 2.084 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B))) in B 2.084 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in B 2.084 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in B 2.084 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.084 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.084 * [taylor]: Taking taylor expansion of B in B 2.084 * [taylor]: Taking taylor expansion of x in B 2.084 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.084 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.084 * [taylor]: Taking taylor expansion of B in B 2.085 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B)))) in x 2.085 * [taylor]: Taking taylor expansion of -1 in x 2.085 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ 1 B)) 2) x) (cos (/ 1 B))) in x 2.085 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 B)) 2) x) in x 2.085 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 B)) 2) in x 2.085 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.085 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.085 * [taylor]: Taking taylor expansion of B in x 2.085 * [taylor]: Taking taylor expansion of x in x 2.085 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.085 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.085 * [taylor]: Taking taylor expansion of B in x 2.089 * [taylor]: Taking taylor expansion of 0 in x 2.097 * [taylor]: Taking taylor expansion of 0 in x 2.106 * [taylor]: Taking taylor expansion of 0 in x 2.107 * [approximate]: Taking taylor expansion of (/ (* (pow (sin (/ -1 B)) 2) x) (cos (/ -1 B))) in (B x) around 0 2.107 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 B)) 2) x) (cos (/ -1 B))) in x 2.107 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in x 2.107 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in x 2.107 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.107 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.107 * [taylor]: Taking taylor expansion of -1 in x 2.107 * [taylor]: Taking taylor expansion of B in x 2.107 * [taylor]: Taking taylor expansion of x in x 2.107 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.107 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.107 * [taylor]: Taking taylor expansion of -1 in x 2.107 * [taylor]: Taking taylor expansion of B in x 2.110 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 B)) 2) x) (cos (/ -1 B))) in B 2.110 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in B 2.110 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in B 2.110 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.110 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.110 * [taylor]: Taking taylor expansion of -1 in B 2.110 * [taylor]: Taking taylor expansion of B in B 2.111 * [taylor]: Taking taylor expansion of x in B 2.111 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.111 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.111 * [taylor]: Taking taylor expansion of -1 in B 2.111 * [taylor]: Taking taylor expansion of B in B 2.111 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 B)) 2) x) (cos (/ -1 B))) in B 2.111 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in B 2.111 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in B 2.111 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.111 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.111 * [taylor]: Taking taylor expansion of -1 in B 2.111 * [taylor]: Taking taylor expansion of B in B 2.112 * [taylor]: Taking taylor expansion of x in B 2.112 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.112 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.112 * [taylor]: Taking taylor expansion of -1 in B 2.112 * [taylor]: Taking taylor expansion of B in B 2.112 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 B)) 2) x) (cos (/ -1 B))) in x 2.112 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 B)) 2) x) in x 2.112 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 B)) 2) in x 2.112 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.112 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.112 * [taylor]: Taking taylor expansion of -1 in x 2.112 * [taylor]: Taking taylor expansion of B in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.113 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.113 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.113 * [taylor]: Taking taylor expansion of -1 in x 2.113 * [taylor]: Taking taylor expansion of B in x 2.116 * [taylor]: Taking taylor expansion of 0 in x 2.122 * [taylor]: Taking taylor expansion of 0 in x 2.130 * [taylor]: Taking taylor expansion of 0 in x 2.130 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.131 * [approximate]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in (B x) around 0 2.131 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in x 2.131 * [taylor]: Taking taylor expansion of (sin B) in x 2.131 * [taylor]: Taking taylor expansion of B in x 2.131 * [taylor]: Taking taylor expansion of (* (cos B) x) in x 2.131 * [taylor]: Taking taylor expansion of (cos B) in x 2.131 * [taylor]: Taking taylor expansion of B in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.133 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 2.133 * [taylor]: Taking taylor expansion of (sin B) in B 2.133 * [taylor]: Taking taylor expansion of B in B 2.133 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.133 * [taylor]: Taking taylor expansion of (cos B) in B 2.133 * [taylor]: Taking taylor expansion of B in B 2.133 * [taylor]: Taking taylor expansion of x in B 2.134 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 2.134 * [taylor]: Taking taylor expansion of (sin B) in B 2.134 * [taylor]: Taking taylor expansion of B in B 2.134 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.134 * [taylor]: Taking taylor expansion of (cos B) in B 2.134 * [taylor]: Taking taylor expansion of B in B 2.134 * [taylor]: Taking taylor expansion of x in B 2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.134 * [taylor]: Taking taylor expansion of x in x 2.136 * [taylor]: Taking taylor expansion of 0 in x 2.138 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 2.138 * [taylor]: Taking taylor expansion of 1/3 in x 2.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.138 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of 0 in x 2.148 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 x)) in x 2.148 * [taylor]: Taking taylor expansion of 2/15 in x 2.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.148 * [taylor]: Taking taylor expansion of x in x 2.149 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in (B x) around 0 2.149 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 2.149 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.149 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.149 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.149 * [taylor]: Taking taylor expansion of B in x 2.149 * [taylor]: Taking taylor expansion of x in x 2.149 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.149 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.149 * [taylor]: Taking taylor expansion of B in x 2.152 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 2.152 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 2.152 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.152 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.152 * [taylor]: Taking taylor expansion of B in B 2.152 * [taylor]: Taking taylor expansion of x in B 2.152 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.152 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.152 * [taylor]: Taking taylor expansion of B in B 2.153 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 2.157 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 2.157 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.157 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.157 * [taylor]: Taking taylor expansion of B in B 2.158 * [taylor]: Taking taylor expansion of x in B 2.158 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.158 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.158 * [taylor]: Taking taylor expansion of B in B 2.158 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 2.158 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.158 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.158 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.158 * [taylor]: Taking taylor expansion of B in x 2.159 * [taylor]: Taking taylor expansion of x in x 2.159 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.159 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.159 * [taylor]: Taking taylor expansion of B in x 2.162 * [taylor]: Taking taylor expansion of 0 in x 2.167 * [taylor]: Taking taylor expansion of 0 in x 2.173 * [taylor]: Taking taylor expansion of 0 in x 2.173 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in (B x) around 0 2.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 2.174 * [taylor]: Taking taylor expansion of -1 in x 2.174 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 2.174 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.174 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.174 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.174 * [taylor]: Taking taylor expansion of -1 in x 2.174 * [taylor]: Taking taylor expansion of B in x 2.174 * [taylor]: Taking taylor expansion of x in x 2.174 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.174 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.174 * [taylor]: Taking taylor expansion of -1 in x 2.174 * [taylor]: Taking taylor expansion of B in x 2.176 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 2.176 * [taylor]: Taking taylor expansion of -1 in B 2.176 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 2.176 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 2.176 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.176 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.177 * [taylor]: Taking taylor expansion of -1 in B 2.177 * [taylor]: Taking taylor expansion of B in B 2.177 * [taylor]: Taking taylor expansion of x in B 2.177 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.177 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.177 * [taylor]: Taking taylor expansion of -1 in B 2.177 * [taylor]: Taking taylor expansion of B in B 2.177 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 2.177 * [taylor]: Taking taylor expansion of -1 in B 2.177 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 2.177 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 2.177 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.177 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.177 * [taylor]: Taking taylor expansion of -1 in B 2.178 * [taylor]: Taking taylor expansion of B in B 2.178 * [taylor]: Taking taylor expansion of x in B 2.178 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.178 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.178 * [taylor]: Taking taylor expansion of -1 in B 2.178 * [taylor]: Taking taylor expansion of B in B 2.179 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 2.179 * [taylor]: Taking taylor expansion of -1 in x 2.179 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 2.179 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.179 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.179 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.179 * [taylor]: Taking taylor expansion of -1 in x 2.179 * [taylor]: Taking taylor expansion of B in x 2.179 * [taylor]: Taking taylor expansion of x in x 2.179 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.179 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.179 * [taylor]: Taking taylor expansion of -1 in x 2.179 * [taylor]: Taking taylor expansion of B in x 2.182 * [taylor]: Taking taylor expansion of 0 in x 2.188 * [taylor]: Taking taylor expansion of 0 in x 2.196 * [taylor]: Taking taylor expansion of 0 in x 2.197 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 2.197 * [approximate]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in (B x) around 0 2.197 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in x 2.197 * [taylor]: Taking taylor expansion of (sin B) in x 2.197 * [taylor]: Taking taylor expansion of B in x 2.197 * [taylor]: Taking taylor expansion of (* (cos B) x) in x 2.197 * [taylor]: Taking taylor expansion of (cos B) in x 2.197 * [taylor]: Taking taylor expansion of B in x 2.197 * [taylor]: Taking taylor expansion of x in x 2.199 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 2.199 * [taylor]: Taking taylor expansion of (sin B) in B 2.200 * [taylor]: Taking taylor expansion of B in B 2.200 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.200 * [taylor]: Taking taylor expansion of (cos B) in B 2.200 * [taylor]: Taking taylor expansion of B in B 2.200 * [taylor]: Taking taylor expansion of x in B 2.200 * [taylor]: Taking taylor expansion of (/ (sin B) (* (cos B) x)) in B 2.200 * [taylor]: Taking taylor expansion of (sin B) in B 2.200 * [taylor]: Taking taylor expansion of B in B 2.200 * [taylor]: Taking taylor expansion of (* (cos B) x) in B 2.200 * [taylor]: Taking taylor expansion of (cos B) in B 2.200 * [taylor]: Taking taylor expansion of B in B 2.200 * [taylor]: Taking taylor expansion of x in B 2.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.201 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of 0 in x 2.204 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 x)) in x 2.204 * [taylor]: Taking taylor expansion of 1/3 in x 2.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.208 * [taylor]: Taking taylor expansion of 0 in x 2.214 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 x)) in x 2.214 * [taylor]: Taking taylor expansion of 2/15 in x 2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.214 * [taylor]: Taking taylor expansion of x in x 2.215 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in (B x) around 0 2.215 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 2.215 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.215 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.215 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.215 * [taylor]: Taking taylor expansion of B in x 2.215 * [taylor]: Taking taylor expansion of x in x 2.215 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.215 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.215 * [taylor]: Taking taylor expansion of B in x 2.217 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 2.217 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 2.217 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.218 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.218 * [taylor]: Taking taylor expansion of B in B 2.218 * [taylor]: Taking taylor expansion of x in B 2.218 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.218 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.218 * [taylor]: Taking taylor expansion of B in B 2.218 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in B 2.218 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in B 2.218 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.218 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.218 * [taylor]: Taking taylor expansion of B in B 2.219 * [taylor]: Taking taylor expansion of x in B 2.219 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.219 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.219 * [taylor]: Taking taylor expansion of B in B 2.219 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 2.219 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.219 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.219 * [taylor]: Taking taylor expansion of B in x 2.219 * [taylor]: Taking taylor expansion of x in x 2.219 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.219 * [taylor]: Taking taylor expansion of B in x 2.222 * [taylor]: Taking taylor expansion of 0 in x 2.227 * [taylor]: Taking taylor expansion of 0 in x 2.233 * [taylor]: Taking taylor expansion of 0 in x 2.234 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in (B x) around 0 2.234 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 2.234 * [taylor]: Taking taylor expansion of -1 in x 2.234 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 2.234 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.234 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.234 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.234 * [taylor]: Taking taylor expansion of -1 in x 2.234 * [taylor]: Taking taylor expansion of B in x 2.234 * [taylor]: Taking taylor expansion of x in x 2.234 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.234 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.234 * [taylor]: Taking taylor expansion of -1 in x 2.234 * [taylor]: Taking taylor expansion of B in x 2.237 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 2.237 * [taylor]: Taking taylor expansion of -1 in B 2.237 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 2.237 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 2.237 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.237 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.237 * [taylor]: Taking taylor expansion of -1 in B 2.237 * [taylor]: Taking taylor expansion of B in B 2.237 * [taylor]: Taking taylor expansion of x in B 2.237 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.237 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.237 * [taylor]: Taking taylor expansion of -1 in B 2.237 * [taylor]: Taking taylor expansion of B in B 2.238 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in B 2.238 * [taylor]: Taking taylor expansion of -1 in B 2.238 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in B 2.238 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in B 2.238 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.238 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.238 * [taylor]: Taking taylor expansion of -1 in B 2.238 * [taylor]: Taking taylor expansion of B in B 2.238 * [taylor]: Taking taylor expansion of x in B 2.238 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.238 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.238 * [taylor]: Taking taylor expansion of -1 in B 2.238 * [taylor]: Taking taylor expansion of B in B 2.239 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 2.239 * [taylor]: Taking taylor expansion of -1 in x 2.239 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 2.239 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.239 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.239 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.239 * [taylor]: Taking taylor expansion of -1 in x 2.239 * [taylor]: Taking taylor expansion of B in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.239 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.239 * [taylor]: Taking taylor expansion of -1 in x 2.239 * [taylor]: Taking taylor expansion of B in x 2.243 * [taylor]: Taking taylor expansion of 0 in x 2.253 * [taylor]: Taking taylor expansion of 0 in x 2.261 * [taylor]: Taking taylor expansion of 0 in x 2.261 * * * [progress]: simplifying candidates 2.262 * [simplify]: Simplifying using # : (- (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B)))) (- (* (- (sin B)) (/ (sin B) (* x (cos B))))) (/ (- 1.0) (- (sin B))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (/ (sin B) (* x (cos B)))) (/ (- 1.0) (* (- (sin B)) (sin B))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (/ 1 (* x (cos B)))) (/ (- 1.0) -1) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (* (sin B) (/ (sin B) (* x (cos B))))) (/ (- 1.0) (/ (sin B) (* x (cos B)))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (- (sin B))) (/ -1 (- (sin B))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (/ (sin B) (* x (cos B)))) (/ -1 (* (- (sin B)) (sin B))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (/ 1 (* x (cos B)))) (/ -1 -1) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (* (sin B) (/ (sin B) (* x (cos B))))) (/ -1 (/ (sin B) (* x (cos B)))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (- (sin B))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (- (sin B))) (/ (- 1.0) (/ (sin B) (* x (cos B)))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (* (- (sin B)) (sin B))) (/ (- 1.0) (/ 1 (* x (cos B)))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) -1) (/ (- 1.0) (* (sin B) (/ (sin B) (* x (cos B))))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (/ (sin B) (* x (cos B)))) (/ (- 1.0) (- (sin B))) (/ 1 (* (- (sin B)) (/ (sin B) (* x (cos B))))) (/ (* (- (sin B)) (/ (sin B) (* x (cos B)))) (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (/ (sin B) (* x (cos B))))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (- (sin B))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (sin B))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) -1) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (/ (sin B) (* x (cos B)))) (/ (* (- (sin B)) (/ (sin B) (* x (cos B)))) (- (/ (sin B) (* x (cos B))) (sin B))) (/ (* (- (sin B)) (/ (sin B) (* x (cos B)))) (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (* (- (sin B)) (/ (sin B) (* x (cos B)))) (- 1.0)) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (- (sin B))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (sin B))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (- (sin B)))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) 1)) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (/ (sin B) x))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (* (- (sin B)) (/ (sin B) (cos B)))) (* (* (- (sin B)) (/ (sin B) (* x (cos B)))) (+ (* (/ (sin B) (* x (cos B))) (/ (sin B) (* x (cos B)))) (+ (* (sin B) (sin B)) (* (/ (sin B) (* x (cos B))) (sin B))))) (* (* (- (sin B)) (/ (sin B) (* x (cos B)))) (+ (/ (sin B) (* x (cos B))) (sin B))) (* (sin B) (/ (sin B) (* x (cos B)))) (* (- (sin B)) (sin B)) (* (sin B) (/ (sin B) (* x (cos B)))) (* (- (sin B)) (sin B)) (* (- (sin B)) (- (sin B))) (* (- (sin B)) 1) (* (- (sin B)) (/ (sin B) x)) (* (- (sin B)) (/ (sin B) (cos B))) (- (sin B)) (- (* x (cos B))) (/ 1 (* x (cos B))) (/ (* x (cos B)) (sin B)) (/ (sin B) x) (/ (sin B) (cos B)) (- (sin B)) (- (* x (cos B))) (/ 1 (* x (cos B))) (/ (* x (cos B)) (sin B)) (/ (sin B) x) (/ (sin B) (cos B)) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (+ (/ (pow B 2) x) (+ (* 1/6 (/ (pow B 4) x)) (* 31/360 (/ (pow B 6) x))))) (* -1 (/ (pow (sin B) 2) (* (cos B) x))) (* -1 (/ (pow (sin B) 2) (* (cos B) x))) (+ (/ B x) (+ (* 1/3 (/ (pow B 3) x)) (* 2/15 (/ (pow B 5) x)))) (/ (sin B) (* (cos B) x)) (/ (sin B) (* (cos B) x)) (+ (/ B x) (+ (* 1/3 (/ (pow B 3) x)) (* 2/15 (/ (pow B 5) x)))) (/ (sin B) (* (cos B) x)) (/ (sin B) (* (cos B) x)) 2.267 * * [simplify]: iteration 0 : 357 enodes (cost 570 ) 2.274 * * [simplify]: iteration 1 : 1819 enodes (cost 543 ) 2.311 * * [simplify]: iteration 2 : 5001 enodes (cost 535 ) 2.314 * [simplify]: Simplified to: (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (/ (pow (sin B) 2) (* x (cos B))) (/ (- 1.0) (- (sin B))) (- 1 (/ (sin B) (/ (sin B) (* (cos B) x)))) (- (/ 1.0 (- (pow (sin B) 2)))) (* (* (- (/ (sin B) (* x (cos B))) (sin B)) (cos B)) x) (/ (- 1.0) -1) (/ (- 1 (/ (sin B) (/ (sin B) (* (cos B) x)))) (sin B)) (/ (- 1.0) (/ (sin B) (* x (cos B)))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (- (sin B))) (/ -1 (- (sin B))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (/ (sin B) (* x (cos B)))) (/ -1 (- (pow (sin B) 2))) (* (* (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (cos B)) x) 1 (* (+ 1 (- (/ (sin B) (/ (sin B) (* x (cos B)))))) (/ 1.0 (sin B))) (/ -1 (/ (sin B) (* x (cos B)))) (/ (* 1.0 (- (/ (sin B) (* x (cos B))) (sin B))) (- (sin B))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (- (sin B))) (/ (- 1.0) (/ (sin B) (* x (cos B)))) (/ (- (/ (sin B) (* x (cos B))) (sin B)) (- (pow (sin B) 2))) (* (* (- 1.0) (cos B)) x) (/ (- (/ (sin B) (* x (cos B))) (sin B)) -1) (/ (- 1.0) (/ (pow (sin B) 2) (* x (cos B)))) (- 1 (/ (sin B) (/ (sin B) (* (cos B) x)))) (/ (- 1.0) (- (sin B))) (/ -1 (/ (pow (sin B) 2) (* x (cos B)))) (* (/ -1 (- 1.0)) (/ (/ (pow (sin B) 2) (* x (cos B))) (- (/ (sin B) (* x (cos B))) (sin B)))) (* (+ 1 (- (/ (sin B) (/ (sin B) (* x (cos B)))))) (/ 1.0 (- (sin B)))) (/ (- 1.0) (/ (- (sin B)) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (- (pow (sin B) 2)) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) -1) (/ (* (- 1.0) (- (/ (sin B) (* x (cos B))) (sin B))) (/ (sin B) (* x (cos B)))) (- (/ (/ (pow (sin B) 2) (* x (cos B))) (- (/ (sin B) (* x (cos B))) (sin B)))) (* (/ 1/2 (/ 1.0 (- (sin B)))) (/ 2 (- 1 (/ (sin B) (/ (sin B) (* (cos B) x)))))) (- (/ (/ (pow (sin B) 2) (* x (cos B))) (- 1.0))) (/ (- 1.0) (/ (- (sin B)) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (- (pow (sin B) 2)) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (pow (sin B) 2) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (- (sin B)) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (/ (- (pow (sin B) 2)) x) (- (/ (sin B) (* x (cos B))) (sin B)))) (/ (- 1.0) (/ (/ (- (pow (sin B) 2)) (cos B)) (- (/ (sin B) (* x (cos B))) (sin B)))) (* (+ (* (sin B) (+ (sin B) (/ (sin B) (* x (cos B))))) (/ (/ (pow (sin B) 2) (* x (cos B))) (* x (cos B)))) (/ (- (pow (sin B) 2)) (* x (cos B)))) (* (+ (/ (sin B) (* x (cos B))) (sin B)) (/ (- (pow (sin B) 2)) (* x (cos B)))) (/ (pow (sin B) 2) (* x (cos B))) (- (pow (sin B) 2)) (/ (pow (sin B) 2) (* x (cos B))) (- (pow (sin B) 2)) (pow (sin B) 2) (- (sin B)) (/ (- (pow (sin B) 2)) x) (/ (- (pow (sin B) 2)) (cos B)) (- (sin B)) (- (* x (cos B))) (/ 1 (* x (cos B))) (/ (* x (cos B)) (sin B)) (/ (sin B) x) (/ (sin B) (cos B)) (- (sin B)) (- (* x (cos B))) (/ 1 (* x (cos B))) (/ (* x (cos B)) (sin B)) (/ (sin B) x) (/ (sin B) (cos B)) (+ (- (* 0.16666666666666666 B) (* 1.0 (/ x B))) (/ 1.0 B)) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) (* 1.0 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))) (- (+ (/ (pow B 2) x) (+ (* 1/6 (/ (pow B 4) x)) (* 31/360 (/ (pow B 6) x))))) (* -1 (/ (pow (sin B) 2) (* (cos B) x))) (* -1 (/ (pow (sin B) 2) (* (cos B) x))) (+ (/ B x) (+ (* 1/3 (/ (pow B 3) x)) (* 2/15 (/ (pow B 5) x)))) (/ (sin B) (* (cos B) x)) (/ (sin B) (* (cos B) x)) (+ (/ B x) (+ (* 1/3 (/ (pow B 3) x)) (* 2/15 (/ (pow B 5) x)))) (/ (sin B) (* (cos B) x)) (/ (sin B) (* (cos B) x)) 2.314 * * * [progress]: adding candidates to table 2.507 * [progress]: [Phase 3 of 3] Extracting. 2.508 * * [regime]: Finding splitpoints for: (# # # # # #) 2.510 * * * [regime-changes]: Trying 2 branch expressions: (x B) 2.510 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.539 * * * * [regimes]: Trying to branch on B from (# # # # # #) 2.564 * * * [regime]: Found split indices: #