Integral de (c^2-x^2-y^2)^0.5 dx
Solución
Respuesta (Indefinida)
[src]
// __________________________ __________________________ \
|| __________________________ __________________________ / 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 / /
∫−y2+(c2−x2)dx=C+⎩⎨⎧−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2xpolar_lift(c2−y2)+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2(c2−y2)polar_lift(c2−y2)x2−1acosh(polar_lift(c2−y2)x)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1πc2(c2−y2)polar_lift(c2−y2)x2−1−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ix3polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ixy2polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12iy2(c2−y2)polar_lift(c2−y2)x2−1acosh(polar_lift(c2−y2)x)+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1πy2(c2−y2)polar_lift(c2−y2)x2−1−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2xpolar_lift(c2−y2)−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2(c2−y2)−polar_lift(c2−y2)x2+1asin(polar_lift(c2−y2)x)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1x3polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1xy2polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1y2(c2−y2)−polar_lift(c2−y2)x2+1asin(polar_lift(c2−y2)x)forc2−y2x2>1otherwise
/ 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
⎩⎨⎧−a∫0⎩⎨⎧(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ic2x(c2−y2)acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πc2x(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2xpolar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2ic2(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πc2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ix3polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−16ix2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ixy2(c2−y2)acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πxy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ixy2polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2iy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22iy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12iy2polar_lift(c2−y2)(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)c2x(c2−y2)asin(polar_lift(c2−y2)x)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2x−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)c2(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2x3−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+13x2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)xy2(c2−y2)asin(polar_lift(c2−y2)x)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2xy2−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)y2(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2y2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1y2polar_lift(c2−y2)forc2−y2x2>1otherwisedx0∫a⎩⎨⎧(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ic2x(c2−y2)acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πc2x(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2xpolar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2ic2(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πc2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ix3polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−16ix2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ixy2(c2−y2)acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πxy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ixy2polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2iy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22iy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12iy2polar_lift(c2−y2)(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)c2x(c2−y2)asin(polar_lift(c2−y2)x)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2x−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)c2(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2x3−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+13x2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)xy2(c2−y2)asin(polar_lift(c2−y2)x)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2xy2−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)y2(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2y2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1y2polar_lift(c2−y2)forc2−y2x2>1otherwisedxfora<0otherwise
=
/ 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
⎩⎨⎧−a∫0⎩⎨⎧(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ic2x(c2−y2)acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πc2x(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2xpolar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2ic2(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πc2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ix3polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−16ix2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ixy2(c2−y2)acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πxy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ixy2polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2iy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22iy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12iy2polar_lift(c2−y2)(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)c2x(c2−y2)asin(polar_lift(c2−y2)x)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2x−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)c2(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2x3−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+13x2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)xy2(c2−y2)asin(polar_lift(c2−y2)x)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2xy2−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)y2(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2y2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1y2polar_lift(c2−y2)forc2−y2x2>1otherwisedx0∫a⎩⎨⎧(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ic2x(c2−y2)acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πc2x(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2xpolar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2ic2(c2−y2)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ic2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πc2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2+−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12ic2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ix3polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−16ix2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)2ixy2(c2−y2)acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)x2−1polar_lift(c2−y2)πxy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22ixy2polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2polar_lift(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)polar_lift(c2−y2)2iy2(c2−y2)−(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)22iy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2acosh(polar_lift(c2−y2)x)+(−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−1)2πy2(c2−y2)polar_lift(c2−y2)x2−1polar_lift(c2−y2)x2−1polar_lift(c2−y2)4c2x−polar_lift(c2−y2)x2−1polar_lift(c2−y2)4xy2−−4c2polar_lift(c2−y2)x2−1+4y2polar_lift(c2−y2)x2−12iy2polar_lift(c2−y2)(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)c2x(c2−y2)asin(polar_lift(c2−y2)x)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2x−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)c2(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2c2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)−−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1c2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2x3−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+13x2polar_lift(c2−y2)−(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)−polar_lift(c2−y2)x2+1polar_lift(c2−y2)xy2(c2−y2)asin(polar_lift(c2−y2)x)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2xy2−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2polar_lift(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)polar_lift(c2−y2)y2(c2−y2)+(−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1)2y2(c2−y2)−polar_lift(c2−y2)x2+1−−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2c2x+−polar_lift(c2−y2)x2+1polar_lift(c2−y2)2xy2asin(polar_lift(c2−y2)x)+−2c2−polar_lift(c2−y2)x2+1+2y2−polar_lift(c2−y2)x2+1y2polar_lift(c2−y2)forc2−y2x2>1otherwisedxfora<0otherwise
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.