a / | | ______________ | / 2 2 2 | \/ c - x - y dx | / 0
Integral(sqrt(c^2 - x^2 - y^2), (x, 0, a))
// __________________________ __________________________ \ || __________________________ __________________________ / 2 / 2 | || / 2 / 2 2 / x / 2 2\ / x \ 2 / x / 2 2\ / x \ | || 2 / x / 2 2\ 2 / x / 2 2\ 2*I*y * / -1 + ------------------- *\c - y /*acosh|------------------------| 2*I*c * / -1 + ------------------- *\c - y /*acosh|------------------------| | || _____________________ pi*y * / -1 + ------------------- *\c - y / pi*c * / -1 + ------------------- *\c - y / _____________________ _____________________ / / 2 2\ | _____________________| / / 2 2\ | _____________________| | || 3 / / 2 2\ / / 2 2\ / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ \/ polar_lift\c - y / | / / 2 2\ | \/ polar_lift\c - y / | / / 2 2\ | | 2 | | || 2*I*x *\/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / 2*I*x*y *\/ polar_lift\c - y / 2*I*x*c *\/ polar_lift\c - y / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | x | | ||- ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - --------------------------------------------------------------------------------- + --------------------------------------------------------------------------------- for |-------| > 1| || __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ | 2 2| | || / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 |c - y | | / || 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | | || - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | | ______________ || / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ | | / 2 2 2 || \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | | \/ c - x - y dx = C + |< | | || _________________________ _________________________ | / || / 2 / 2 | || 2 / x / 2 2\ / x \ 2 / x / 2 2\ / x \ | || y * / 1 - ------------------- *\c - y /*asin|------------------------| c * / 1 - ------------------- *\c - y /*asin|------------------------| | || _____________________ _____________________ _____________________ / / 2 2\ | _____________________| / / 2 2\ | _____________________| | || 3 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ \/ polar_lift\c - y / | / / 2 2\ | \/ polar_lift\c - y / | / / 2 2\ | | || x *\/ polar_lift\c - y / x*y *\/ polar_lift\c - y / x*c *\/ polar_lift\c - y / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | || ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- otherwise | || _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ | || / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 | || 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | || - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | || / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ | \\ \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / /
/ 0 | / | | | | / __________________________ __________________________ __________________________ __________________________ | | | _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ | | | 2*I*x *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| pi*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| pi*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*y *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*c *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| 2*I*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| | | | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | __________________________ __________________________ | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | _____________________| / / 2 2\ | __________________________ __________________________ | | _____________________| | | | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / 2*I*x*y *\c - y /*acosh|------------------------| 2*I*x*c *\c - y /*acosh|------------------------| | | | _____________________ _____________________ _____________________ | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | 2 | | | | 6*I*x *\/ polar_lift\c - y / 2*I*y *\/ polar_lift\c - y / 2*I*c *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / 2*I*y *\c - y / 2*I*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / pi*x*y *\c - y / pi*x*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | x | | | |- ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- for |-------| > 1 | | | __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ 2 / __________________________ __________________________\ / __________________________ __________________________\ 2 2 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ | 2 2| | | | / 2 / 2 / 2 / 2 / 2 / 2 / __________________________ __________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | |c - y | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | 2 / x 2 / x | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / |- | < dx for a < 0 | | | _________________________ _________________________ | | | _____________________ / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ | | | x *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*y *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*c *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| y * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| c * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| | | | | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2 2\ | _________________________ _________________________ | | _____________________| / / 2 2\ | _________________________ _________________________ | | _____________________| | | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / x*c *\c - y /*asin|------------------------| x*y *\c - y /*asin|------------------------| | | | _____________________ _____________________ _____________________ | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | | | y *\/ polar_lift\c - y / c *\/ polar_lift\c - y / 3*x *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / y *\c - y / c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | | | ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- otherwise | | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 / _________________________ _________________________\ / _________________________ _________________________\ 2 2 2 2 _________________________ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ | | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | 2 / x 2 / x | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | \ \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | / | a < | a | / | | | | / __________________________ __________________________ __________________________ __________________________ | | | _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ | | | 2*I*x *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| pi*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| pi*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*y *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*c *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| 2*I*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| | | | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | __________________________ __________________________ | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | _____________________| / / 2 2\ | __________________________ __________________________ | | _____________________| | | | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / 2*I*x*y *\c - y /*acosh|------------------------| 2*I*x*c *\c - y /*acosh|------------------------| | | | _____________________ _____________________ _____________________ | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | 2 | | | | 6*I*x *\/ polar_lift\c - y / 2*I*y *\/ polar_lift\c - y / 2*I*c *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / 2*I*y *\c - y / 2*I*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / pi*x*y *\c - y / pi*x*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | x | | | |- ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- for |-------| > 1 | | | __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ 2 / __________________________ __________________________\ / __________________________ __________________________\ 2 2 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ | 2 2| | | | / 2 / 2 / 2 / 2 / 2 / 2 / __________________________ __________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | |c - y | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | 2 / x 2 / x | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | < dx otherwise | | | _________________________ _________________________ | | | _____________________ / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ | | | x *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*y *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*c *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| y * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| c * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| | | | | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2 2\ | _________________________ _________________________ | | _____________________| / / 2 2\ | _________________________ _________________________ | | _____________________| | | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / x*c *\c - y /*asin|------------------------| x*y *\c - y /*asin|------------------------| | | | _____________________ _____________________ _____________________ | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | | | y *\/ polar_lift\c - y / c *\/ polar_lift\c - y / 3*x *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / y *\c - y / c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | | | ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- otherwise | | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 / _________________________ _________________________\ / _________________________ _________________________\ 2 2 2 2 _________________________ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ | | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | 2 / x 2 / x | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | \ \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | |/ \0
=
/ 0 | / | | | | / __________________________ __________________________ __________________________ __________________________ | | | _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ | | | 2*I*x *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| pi*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| pi*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*y *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*c *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| 2*I*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| | | | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | __________________________ __________________________ | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | _____________________| / / 2 2\ | __________________________ __________________________ | | _____________________| | | | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / 2*I*x*y *\c - y /*acosh|------------------------| 2*I*x*c *\c - y /*acosh|------------------------| | | | _____________________ _____________________ _____________________ | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | 2 | | | | 6*I*x *\/ polar_lift\c - y / 2*I*y *\/ polar_lift\c - y / 2*I*c *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / 2*I*y *\c - y / 2*I*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / pi*x*y *\c - y / pi*x*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | x | | | |- ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- for |-------| > 1 | | | __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ 2 / __________________________ __________________________\ / __________________________ __________________________\ 2 2 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ | 2 2| | | | / 2 / 2 / 2 / 2 / 2 / 2 / __________________________ __________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | |c - y | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | 2 / x 2 / x | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / |- | < dx for a < 0 | | | _________________________ _________________________ | | | _____________________ / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ | | | x *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*y *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*c *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| y * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| c * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| | | | | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2 2\ | _________________________ _________________________ | | _____________________| / / 2 2\ | _________________________ _________________________ | | _____________________| | | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / x*c *\c - y /*asin|------------------------| x*y *\c - y /*asin|------------------------| | | | _____________________ _____________________ _____________________ | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | | | y *\/ polar_lift\c - y / c *\/ polar_lift\c - y / 3*x *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / y *\c - y / c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | | | ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- otherwise | | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 / _________________________ _________________________\ / _________________________ _________________________\ 2 2 2 2 _________________________ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ | | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | 2 / x 2 / x | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | \ \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | / | a < | a | / | | | | / __________________________ __________________________ __________________________ __________________________ | | | _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / / 2 2\ | 4*x*y 4*x*c | 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ 2 / x / 2 2\ | 4*x*y 4*x*c | / x \ | | | 2*I*x *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| pi*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| pi*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*y *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*x*c *\/ polar_lift\c - y / *|- ---------------------------------------------------- + ----------------------------------------------------| 2*I*y * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| 2*I*c * / -1 + ------------------- *\c - y /*|- ---------------------------------------------------- + ----------------------------------------------------|*acosh|------------------------| | | | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | __________________________ __________________________ | | __________________________ __________________________ | / / 2 2\ | __________________________ __________________________ | | _____________________| / / 2 2\ | __________________________ __________________________ | | _____________________| | | | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / 2*I*x*y *\c - y /*acosh|------------------------| 2*I*x*c *\c - y /*acosh|------------------------| | | | _____________________ _____________________ _____________________ | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | / -1 + ------------------- *polar_lift\c - y / / -1 + ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | 2 | | | | 6*I*x *\/ polar_lift\c - y / 2*I*y *\/ polar_lift\c - y / 2*I*c *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / 2*I*y *\c - y / 2*I*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / pi*x*y *\c - y / pi*x*c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | x | | | |- ------------------------------------------------------------------------------- - ------------------------------------------------------------------------------- + ------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- for |-------| > 1 | | | __________________________ __________________________ __________________________ __________________________ __________________________ __________________________ 2 / __________________________ __________________________\ / __________________________ __________________________\ 2 2 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ 2 2 __________________________ / __________________________ __________________________\ __________________________ / __________________________ __________________________\ | 2 2| | | | / 2 / 2 / 2 / 2 / 2 / 2 / __________________________ __________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | / __________________________ __________________________\ / __________________________ __________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | |c - y | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- - 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | 2 / x 2 / x | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / / -1 + ------------------- *|- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | |- 4*c * / -1 + ------------------- + 4*y * / -1 + ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | < dx otherwise | | | _________________________ _________________________ | | | _____________________ / 2 2 \ _____________________ / 2 2 \ _____________________ / 2 2 \ / 2 / 2 2 \ / 2 / 2 2 \ | | | 3 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / / 2 2\ | 2*x*c 2*x*y | 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ 2 / x / 2 2\ | 2*x*c 2*x*y | / x \ | | | x *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*y *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| x*c *\/ polar_lift\c - y / *|- --------------------------------------------------- + ---------------------------------------------------| y * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| c * / 1 - ------------------- *\c - y /*|- --------------------------------------------------- + ---------------------------------------------------|*asin|------------------------| | | | | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2 2\ | _________________________ _________________________ | | _____________________| / / 2 2\ | _________________________ _________________________ | | _____________________| | | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | \/ polar_lift\c - y / | / 2 / 2 | | / / 2 2\ | 2 / 2 2\ / x \ 2 / 2 2\ / x \ | | | | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / | / x / 2 2\ / x / 2 2\| \\/ polar_lift\c - y / / x*c *\c - y /*asin|------------------------| x*y *\c - y /*asin|------------------------| | | | _____________________ _____________________ _____________________ | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | / 1 - ------------------- *polar_lift\c - y / / 1 - ------------------- *polar_lift\c - y /| | _____________________| | _____________________| | | | 2 / / 2 2\ 2 / / 2 2\ 2 / / 2 2\ | / / 2 2\ / / 2 2\ | 2 / 2 2\ 2 / 2 2\ | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ | | / / 2 2\ | | | | y *\/ polar_lift\c - y / c *\/ polar_lift\c - y / 3*x *\/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / y *\c - y / c *\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \\/ polar_lift\c - y / / \\/ polar_lift\c - y / / | | | ----------------------------------------------------------------------------- - ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------- - -------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- otherwise | | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 / _________________________ _________________________\ / _________________________ _________________________\ 2 2 2 2 _________________________ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ | | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ | / 2 / 2 | _____________________ | / 2 / 2 | _____________________ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | | 2 / x 2 / x 2 / x 2 / x 2 / x 2 / x | / 2 / 2 | | 2 / x 2 / x | / / 2 2\ | 2 / x 2 / x | / / 2 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | 2 / x 2 / x | / 2 2\ / x | 2 / x 2 / x | / 2 2\ | | | - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- - 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | 2 / x 2 / x | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*\/ polar_lift\c - y / | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | | 2 / x 2 / x | / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / / 1 - ------------------- *|- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- |*polar_lift\c - y / | | | / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ / / 2 2\ |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | |- 2*c * / 1 - ------------------- + 2*y * / 1 - ------------------- | / / 2 2\ | / / 2 2\ / / 2 2\ | / / 2 2\ | / / 2 2\ / / 2 2\ | | | | \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / \/ polar_lift\c - y / | / / 2 2\ / / 2 2\ | \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | | / / 2 2\ / / 2 2\ | \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \/ polar_lift\c - y / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | \ \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / \ \/ polar_lift\c - y / \/ polar_lift\c - y / / | | |/ \0
Piecewise((-Integral(Piecewise((-6*i*x^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) - 2*i*y^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) + 2*i*c^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) - 2*i*x^3*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*y^2*(c^2 - y^2)/((-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + 2*i*c^2*(c^2 - y^2)/((-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + pi*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - pi*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*x*y^2*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + 2*i*x*c^2*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + pi*x*y^2*(c^2 - y^2)/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - pi*x*c^2*(c^2 - y^2)/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - 2*i*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + 2*i*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*x*y^2*(c^2 - y^2)*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) + 2*i*x*c^2*(c^2 - y^2)*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)), Abs(x^2/(c^2 - y^2)) > 1), (y^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) - c^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) + 3*x^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) + x^3*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + y^2*(c^2 - y^2)/((-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) - c^2*(c^2 - y^2)/((-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + x*y^2*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 - x*c^2*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*asin(x/sqrt(polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 - c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*asin(x/sqrt(polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + x*c^2*(c^2 - y^2)*asin(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - x*y^2*(c^2 - y^2)*asin(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)), True)), (x, a, 0)), a < 0), (Integral(Piecewise((-6*i*x^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) - 2*i*y^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) + 2*i*c^2*sqrt(polar_lift(c^2 - y^2))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))) - 2*i*x^3*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*y^2*(c^2 - y^2)/((-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + 2*i*c^2*(c^2 - y^2)/((-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + pi*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - pi*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*x*y^2*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + 2*i*x*c^2*sqrt(polar_lift(c^2 - y^2))*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + pi*x*y^2*(c^2 - y^2)/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - pi*x*c^2*(c^2 - y^2)/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - 2*i*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 + 2*i*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-4*x*y^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 4*x*c^2/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))^2 - 2*i*x*y^2*(c^2 - y^2)*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) + 2*i*x*c^2*(c^2 - y^2)*acosh(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(-1 + x^2/polar_lift(c^2 - y^2))*(-4*c^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)), Abs(x^2/(c^2 - y^2)) > 1), (y^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) - c^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) + 3*x^2*sqrt(polar_lift(c^2 - y^2))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))) + x^3*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + y^2*(c^2 - y^2)/((-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) - c^2*(c^2 - y^2)/((-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*sqrt(polar_lift(c^2 - y^2))) + x*y^2*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 - x*c^2*sqrt(polar_lift(c^2 - y^2))*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*asin(x/sqrt(polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 - c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2))*(c^2 - y^2)*(-2*x*c^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*polar_lift(c^2 - y^2)))*asin(x/sqrt(polar_lift(c^2 - y^2)))/(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))^2 + x*c^2*(c^2 - y^2)*asin(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)) - x*y^2*(c^2 - y^2)*asin(x/sqrt(polar_lift(c^2 - y^2)))/(sqrt(1 - x^2/polar_lift(c^2 - y^2))*(-2*c^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(c^2 - y^2)))*polar_lift(c^2 - y^2)), True)), (x, 0, a)), True))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.