Integral of √(1-x²-y²) dy
The solution
The answer (Indefinite)
[src]
// _________________________ _________________________ \
|| _________________________ _________________________ / 2 / 2 |
|| / 2 / 2 / y / 2\ / y \ 2 / y / 2\ / y \ |
|| / y / 2\ 2 / y / 2\ 2*I* / -1 + ------------------ *\1 - x /*acosh|-----------------------| 2*I*x * / -1 + ------------------ *\1 - x /*acosh|-----------------------| |
|| pi* / -1 + ------------------ *\1 - x / ____________________ ____________________ pi*x * / -1 + ------------------ *\1 - x / ____________________ / / 2\ | ____________________| / / 2\ | ____________________| |
|| / / 2\ 3 / / 2\ / / 2\ / / 2\ 2 / / 2\ \/ polar_lift\1 - x / | / / 2\ | \/ polar_lift\1 - x / | / / 2\ | | 2 | |
|| \/ polar_lift\1 - x / 2*I*y *\/ polar_lift\1 - x / 2*I*y*\/ polar_lift\1 - x / \/ polar_lift\1 - x / 2*I*y*x *\/ polar_lift\1 - x / \\/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / | y | |
||- -------------------------------------------------------------------------- - -------------------------------------------------------------------------- + -------------------------------------------------------------------------- + -------------------------------------------------------------------------- - -------------------------------------------------------------------------- + --------------------------------------------------------------------------- - ------------------------------------------------------------------------------ for |-------| > 1|
|| _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ | 2| |
|| / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 |-1 + x | |
/ || / y 2 / y / y 2 / y / y 2 / y / y 2 / y / y 2 / y / y 2 / y / y 2 / y |
| || - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |
| _____________ || / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ |
| / 2 2 || \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / |
| \/ 1 - x - y dy = C + |< |
| || ________________________ ________________________ |
/ || / 2 / 2 |
|| / y / 2\ / y \ 2 / y / 2\ / y \ |
|| / 1 - ------------------ *\1 - x /*asin|-----------------------| x * / 1 - ------------------ *\1 - x /*asin|-----------------------| |
|| ____________________ ____________________ ____________________ / / 2\ | ____________________| / / 2\ | ____________________| |
|| 3 / / 2\ / / 2\ 2 / / 2\ \/ polar_lift\1 - x / | / / 2\ | \/ polar_lift\1 - x / | / / 2\ | |
|| y *\/ polar_lift\1 - x / y*\/ polar_lift\1 - x / y*x *\/ polar_lift\1 - x / \\/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / |
|| ------------------------------------------------------------------------ - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ otherwise |
|| ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ |
|| / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 |
|| / y 2 / y / y 2 / y / y 2 / y / y 2 / y / y 2 / y |
|| - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |
|| / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ |
\\ \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
∫−y2+(1−x2)dy=C+⎩⎨⎧−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ix2ypolar_lift(1−x2)−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ix2(1−x2)polar_lift(1−x2)y2−1acosh(polar_lift(1−x2)y)+4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1πx2(1−x2)polar_lift(1−x2)y2−1−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12iy3polar_lift(1−x2)+4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12iypolar_lift(1−x2)+4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12i(1−x2)polar_lift(1−x2)y2−1acosh(polar_lift(1−x2)y)−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1π(1−x2)polar_lift(1−x2)y2−12x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1x2ypolar_lift(1−x2)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1x2(1−x2)−polar_lift(1−x2)y2+1asin(polar_lift(1−x2)y)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1y3polar_lift(1−x2)−2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1ypolar_lift(1−x2)−2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1(1−x2)−polar_lift(1−x2)y2+1asin(polar_lift(1−x2)y)forx2−1y2>1otherwise
1
/
|
| / _________________________ _________________________ _________________________ _________________________
| | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \
| | / y / 2\ | 4*y 4*y*x | 3 / / 2\ | 4*y 4*y*x | / / 2\ | 4*y 4*y*x | 2 / y / 2\ | 4*y 4*y*x | 2 / / 2\ | 4*y 4*y*x | / y / 2\ | 4*y 4*y*x | / y \ 2 / y / 2\ | 4*y 4*y*x | / y \
| | pi* / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------| 2*I*y *\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| 2*I*y*\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| pi*x * / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------| 2*I*y*x *\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| 2*I* / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*x * / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------|
| | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________|
| | \/ polar_lift\1 - x / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | / 2\ / y \ 2 / 2\ / y \
| | | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / 2*I*y*\1 - x /*acosh|-----------------------| 2*I*y*x *\1 - x /*acosh|-----------------------|
| | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | ____________________| | ____________________|
| | / / 2\ 2 / / 2\ 2 / / 2\ / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ | | / / 2\ | 2
| | 2*I*\/ polar_lift\1 - x / 6*I*y *\/ polar_lift\1 - x / 2*I*x *\/ polar_lift\1 - x / 2*I*\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / 2*I*x *\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / pi*y*\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / pi*y*x *\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / y
| |-------------------------------------------------------------------------- - -------------------------------------------------------------------------- - -------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------- + --------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- 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 | |-1 + x |
| | / y 2 / y / y 2 / y / y 2 / y | / y 2 / y | / / 2\ | / 2 / 2 | | / y 2 / y | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | / y | / y 2 / y | / 2\ / y | / y 2 / y | / 2\
| |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | | / y 2 / y | | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / | / y 2 / y | | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x /
| | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ |
| | \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| | \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| < dy
| | ________________________ ________________________
| | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \
| | 3 / / 2\ | 2*y 2*y*x | / / 2\ | 2*y 2*y*x | 2 / / 2\ | 2*y 2*y*x | / y / 2\ | 2*y 2*y*x | / y \ 2 / y / 2\ | 2*y 2*y*x | / y \
| | y *\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| y*\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| y*x *\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| / 1 - ------------------ *\1 - x /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| x * / 1 - ------------------ *\1 - x /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------|
| | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________|
| | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | / 2\ / y \ \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | 2 / 2\ / y \
| | | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / y*\1 - x /*asin|-----------------------| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / y*x *\1 - x /*asin|-----------------------|
| | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | ____________________| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | ____________________|
| | / / 2\ 2 / / 2\ 2 2 / / 2\ 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ / / 2\ | | / / 2\ |
| | \/ polar_lift\1 - x / x *\/ polar_lift\1 - x / 1 - x 3*y *\/ polar_lift\1 - x / x *\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / /
| | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------ - ----------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise
| | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ / ________________________ ________________________\ 2 2 2 2 ________________________ / ________________________ ________________________\ 2 ________________________ / ________________________ ________________________\
| | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / ________________________ ________________________\ / 2 | / 2 / 2 |
| | / y 2 / y / y 2 / y | / y 2 / y | / / 2\ / y 2 / y | / y 2 / y | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | / y | / y 2 / y | / 2\
| | - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*\/ polar_lift\1 - x / - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | | / y 2 / y | | / y 2 / y | | / y 2 / y | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*polar_lift\1 - x / | / y 2 / y | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*polar_lift\1 - x /
| | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ |
| | \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| \ \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
|
/
0
0∫1⎩⎨⎧−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)2ix2y(1−x2)acosh(polar_lift(1−x2)y)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)πx2y(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22ix2y−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)2ix2(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22ix2(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4yacosh(polar_lift(1−x2)y)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)2πx2(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4y−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ix2polar_lift(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22iy3−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−16iy2polar_lift(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)2iy(1−x2)acosh(polar_lift(1−x2)y)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)πy(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22iy−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)2i(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22i(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4yacosh(polar_lift(1−x2)y)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)2π(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4y+4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ipolar_lift(1−x2)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)−polar_lift(1−x2)y2+1polar_lift(1−x2)x2y(1−x2)asin(polar_lift(1−x2)y)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2x2y−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)polar_lift(1−x2)x2(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2x2(1−x2)−polar_lift(1−x2)y2+1−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2yasin(polar_lift(1−x2)y)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1x2polar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2y3−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+13y2polar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)−polar_lift(1−x2)y2+1polar_lift(1−x2)y(1−x2)asin(polar_lift(1−x2)y)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2y−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)polar_lift(1−x2)1−x2−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2(1−x2)−polar_lift(1−x2)y2+1−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2yasin(polar_lift(1−x2)y)−2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1polar_lift(1−x2)for∣x2−1∣y2>1otherwisedy
=
1
/
|
| / _________________________ _________________________ _________________________ _________________________
| | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \
| | / y / 2\ | 4*y 4*y*x | 3 / / 2\ | 4*y 4*y*x | / / 2\ | 4*y 4*y*x | 2 / y / 2\ | 4*y 4*y*x | 2 / / 2\ | 4*y 4*y*x | / y / 2\ | 4*y 4*y*x | / y \ 2 / y / 2\ | 4*y 4*y*x | / y \
| | pi* / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------| 2*I*y *\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| 2*I*y*\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| pi*x * / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------| 2*I*y*x *\/ polar_lift\1 - x / *|-------------------------------------------------- - --------------------------------------------------| 2*I* / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*x * / -1 + ------------------ *\1 - x /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------|
| | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________|
| | \/ polar_lift\1 - x / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | / 2\ / y \ 2 / 2\ / y \
| | | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / 2*I*y*\1 - x /*acosh|-----------------------| 2*I*y*x *\1 - x /*acosh|-----------------------|
| | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | / -1 + ------------------ *polar_lift\1 - x / / -1 + ------------------ *polar_lift\1 - x /| | ____________________| | ____________________|
| | / / 2\ 2 / / 2\ 2 / / 2\ / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ | | / / 2\ | 2
| | 2*I*\/ polar_lift\1 - x / 6*I*y *\/ polar_lift\1 - x / 2*I*x *\/ polar_lift\1 - x / 2*I*\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / 2*I*x *\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / pi*y*\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / pi*y*x *\1 - x / \\/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / y
| |-------------------------------------------------------------------------- - -------------------------------------------------------------------------- - -------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------- + --------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- 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 | |-1 + x |
| | / y 2 / y / y 2 / y / y 2 / y | / y 2 / y | / / 2\ | / 2 / 2 | | / y 2 / y | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | / y | / y 2 / y | / 2\ / y | / y 2 / y | / 2\
| |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ - 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | | / y 2 / y | | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / | / y 2 / y | | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / | / y 2 / y | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x / / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ |*polar_lift\1 - x /
| | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*x * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ |
| | \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| | \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| < dy
| | ________________________ ________________________
| | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \
| | 3 / / 2\ | 2*y 2*y*x | / / 2\ | 2*y 2*y*x | 2 / / 2\ | 2*y 2*y*x | / y / 2\ | 2*y 2*y*x | / y \ 2 / y / 2\ | 2*y 2*y*x | / y \
| | y *\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| y*\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| y*x *\/ polar_lift\1 - x / *|- ------------------------------------------------- + -------------------------------------------------| / 1 - ------------------ *\1 - x /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| x * / 1 - ------------------ *\1 - x /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------|
| | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________|
| | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | / 2\ / y \ \/ polar_lift\1 - x / | / 2 / 2 | | / / 2\ | 2 / 2\ / y \
| | | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / y*\1 - x /*asin|-----------------------| | / y / 2\ / y / 2\| \\/ polar_lift\1 - x / / y*x *\1 - x /*asin|-----------------------|
| | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | ____________________| | / 1 - ------------------ *polar_lift\1 - x / / 1 - ------------------ *polar_lift\1 - x /| | ____________________|
| | / / 2\ 2 / / 2\ 2 2 / / 2\ 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ / / 2\ | | / / 2\ |
| | \/ polar_lift\1 - x / x *\/ polar_lift\1 - x / 1 - x 3*y *\/ polar_lift\1 - x / x *\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \\/ polar_lift\1 - x / /
| | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------------ - ----------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise
| | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ / ________________________ ________________________\ 2 2 2 2 ________________________ / ________________________ ________________________\ 2 ________________________ / ________________________ ________________________\
| | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / ________________________ ________________________\ / 2 | / 2 / 2 |
| | / y 2 / y / y 2 / y | / y 2 / y | / / 2\ / y 2 / y | / y 2 / y | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / y | / y 2 / y | / 2\ | / 2 / 2 | / y | / y 2 / y | / 2\
| | - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*\/ polar_lift\1 - x / - 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*\/ polar_lift\1 - x / | / y 2 / y | | / y 2 / y | | / y 2 / y | | / y 2 / y | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*polar_lift\1 - x / | / y 2 / y | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ |*polar_lift\1 - x /
| | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*x * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ |
| | \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \/ polar_lift\1 - x / \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / | / / 2\ / / 2\ | \/ polar_lift\1 - x / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
| \ \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / / \ \/ polar_lift\1 - x / \/ polar_lift\1 - x / /
|
/
0
0∫1⎩⎨⎧−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)2ix2y(1−x2)acosh(polar_lift(1−x2)y)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)πx2y(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22ix2y−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)2ix2(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22ix2(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4yacosh(polar_lift(1−x2)y)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)2πx2(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4y−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ix2polar_lift(1−x2)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22iy3−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)−4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−16iy2polar_lift(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)2iy(1−x2)acosh(polar_lift(1−x2)y)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)y2−1polar_lift(1−x2)πy(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22iy−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4ypolar_lift(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)polar_lift(1−x2)2i(1−x2)+(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)22i(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4yacosh(polar_lift(1−x2)y)−(4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−1)2π(1−x2)polar_lift(1−x2)y2−1−polar_lift(1−x2)y2−1polar_lift(1−x2)4x2y+polar_lift(1−x2)y2−1polar_lift(1−x2)4y+4x2polar_lift(1−x2)y2−1−4polar_lift(1−x2)y2−12ipolar_lift(1−x2)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)−polar_lift(1−x2)y2+1polar_lift(1−x2)x2y(1−x2)asin(polar_lift(1−x2)y)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2x2y−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)polar_lift(1−x2)x2(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2x2(1−x2)−polar_lift(1−x2)y2+1−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2yasin(polar_lift(1−x2)y)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1x2polar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2y3−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)+2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+13y2polar_lift(1−x2)+(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)−polar_lift(1−x2)y2+1polar_lift(1−x2)y(1−x2)asin(polar_lift(1−x2)y)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2y−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2ypolar_lift(1−x2)−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)polar_lift(1−x2)1−x2−(2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1)2(1−x2)−polar_lift(1−x2)y2+1−polar_lift(1−x2)y2+1polar_lift(1−x2)2x2y−−polar_lift(1−x2)y2+1polar_lift(1−x2)2yasin(polar_lift(1−x2)y)−2x2−polar_lift(1−x2)y2+1−2−polar_lift(1−x2)y2+1polar_lift(1−x2)for∣x2−1∣y2>1otherwisedy
Integral(Piecewise((2*i*sqrt(polar_lift(1 - x^2))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2))) - 6*i*y^2*sqrt(polar_lift(1 - x^2))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2))) - 2*i*x^2*sqrt(polar_lift(1 - x^2))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2))) + 2*i*(1 - x^2)/((-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*sqrt(polar_lift(1 - x^2))) - pi*sqrt(-1 + y^2/polar_lift(1 - x^2))*(1 - x^2)*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 - 2*i*x^2*(1 - x^2)/((-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*sqrt(polar_lift(1 - x^2))) - 2*i*y^3*sqrt(polar_lift(1 - x^2))*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 + 2*i*y*sqrt(polar_lift(1 - x^2))*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 + pi*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2))*(1 - x^2)*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 - pi*y*(1 - x^2)/(sqrt(-1 + y^2/polar_lift(1 - x^2))*(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)) - 2*i*y*x^2*sqrt(polar_lift(1 - x^2))*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 + 2*i*sqrt(-1 + y^2/polar_lift(1 - x^2))*(1 - x^2)*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))*acosh(y/sqrt(polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 + pi*y*x^2*(1 - x^2)/(sqrt(-1 + y^2/polar_lift(1 - x^2))*(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)) - 2*i*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2))*(1 - x^2)*(4*y/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) - 4*y*x^2/(sqrt(-1 + y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))*acosh(y/sqrt(polar_lift(1 - x^2)))/(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))^2 + 2*i*y*(1 - x^2)*acosh(y/sqrt(polar_lift(1 - x^2)))/(sqrt(-1 + y^2/polar_lift(1 - x^2))*(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)) - 2*i*y*x^2*(1 - x^2)*acosh(y/sqrt(polar_lift(1 - x^2)))/(sqrt(-1 + y^2/polar_lift(1 - x^2))*(-4*sqrt(-1 + y^2/polar_lift(1 - x^2)) + 4*x^2*sqrt(-1 + y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)), y^2/|-1 + x^2| > 1), (-sqrt(polar_lift(1 - x^2))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2))) + x^2*sqrt(polar_lift(1 - x^2))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2))) - (1 - x^2)/((-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))*sqrt(polar_lift(1 - x^2))) + 3*y^2*sqrt(polar_lift(1 - x^2))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2))) + x^2*(1 - x^2)/((-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))*sqrt(polar_lift(1 - x^2))) + y^3*sqrt(polar_lift(1 - x^2))*(-2*y/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) + 2*y*x^2/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))^2 - y*sqrt(polar_lift(1 - x^2))*(-2*y/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) + 2*y*x^2/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))^2 + y*x^2*sqrt(polar_lift(1 - x^2))*(-2*y/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) + 2*y*x^2/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))^2 - sqrt(1 - y^2/polar_lift(1 - x^2))*(1 - x^2)*(-2*y/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) + 2*y*x^2/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))*asin(y/sqrt(polar_lift(1 - x^2)))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))^2 + y*(1 - x^2)*asin(y/sqrt(polar_lift(1 - x^2)))/(sqrt(1 - y^2/polar_lift(1 - x^2))*(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)) + x^2*sqrt(1 - y^2/polar_lift(1 - x^2))*(1 - x^2)*(-2*y/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)) + 2*y*x^2/(sqrt(1 - y^2/polar_lift(1 - x^2))*polar_lift(1 - x^2)))*asin(y/sqrt(polar_lift(1 - x^2)))/(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))^2 - y*x^2*(1 - x^2)*asin(y/sqrt(polar_lift(1 - x^2)))/(sqrt(1 - y^2/polar_lift(1 - x^2))*(-2*sqrt(1 - y^2/polar_lift(1 - x^2)) + 2*x^2*sqrt(1 - y^2/polar_lift(1 - x^2)))*polar_lift(1 - x^2)), True)), (y, 0, 1))
Use the examples entering the upper and lower limits of integration.