1 / | | / _____________ \ | | / 2 2 | | \x + \/ 4 - x - y + y/ dx | / 0
Integral(x + sqrt(4 - x^2 - y^2) + y, (x, 0, 1))
// _________________________ _________________________ \ || _________________________ _________________________ / 2 / 2 | || / 2 / 2 / x / 2\ / x \ 2 / x / 2\ / x \ | || / x / 2\ 2 / x / 2\ 8*I* / -1 + ------------------ *\4 - y /*acosh|-----------------------| 2*I*y * / -1 + ------------------ *\4 - y /*acosh|-----------------------| | || 4*pi* / -1 + ------------------ *\4 - y / ____________________ ____________________ pi*y * / -1 + ------------------ *\4 - y / ____________________ / / 2\ | ____________________| / / 2\ | ____________________| | || / / 2\ 3 / / 2\ / / 2\ / / 2\ 2 / / 2\ \/ polar_lift\4 - y / | / / 2\ | \/ polar_lift\4 - y / | / / 2\ | | 2 | | || \/ polar_lift\4 - y / 2*I*x *\/ polar_lift\4 - y / 8*I*x*\/ polar_lift\4 - y / \/ polar_lift\4 - y / 2*I*x*y *\/ polar_lift\4 - y / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / | x | | ||- --------------------------------------------------------------------------- - --------------------------------------------------------------------------- + --------------------------------------------------------------------------- + --------------------------------------------------------------------------- - --------------------------------------------------------------------------- + --------------------------------------------------------------------------- - ------------------------------------------------------------------------------ for |-------| > 1| || _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ | 2| | || / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 |-4 + y | | / || / x 2 / x / x 2 / x / x 2 / x / x 2 / x / x 2 / x / x 2 / x / x 2 / x | | || - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | | / _____________ \ 2 || / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | | | / 2 2 | x || \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / | | \x + \/ 4 - x - y + y/ dx = C + -- + x*y + |< | | 2 || ________________________ ________________________ | / || / 2 / 2 | || / x / 2\ / x \ 2 / x / 2\ / x \ | || 4* / 1 - ------------------ *\4 - y /*asin|-----------------------| y * / 1 - ------------------ *\4 - y /*asin|-----------------------| | || ____________________ ____________________ ____________________ / / 2\ | ____________________| / / 2\ | ____________________| | || 3 / / 2\ / / 2\ 2 / / 2\ \/ polar_lift\4 - y / | / / 2\ | \/ polar_lift\4 - y / | / / 2\ | | || x *\/ polar_lift\4 - y / 4*x*\/ polar_lift\4 - y / x*y *\/ polar_lift\4 - y / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / | || ------------------------------------------------------------------------ - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ otherwise | || ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ ________________________ | || / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 / 2 | || / x 2 / x / x 2 / x / x 2 / x / x 2 / x / x 2 / x | || - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | || / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | \\ \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / /
1 / | | / _________________________ _________________________ _________________________ _________________________ | | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | / x / 2\ | 16*x 4*x*y | 3 / / 2\ | 16*x 4*x*y | / / 2\ | 16*x 4*x*y | 2 / x / 2\ | 16*x 4*x*y | 2 / / 2\ | 16*x 4*x*y | / x / 2\ | 16*x 4*x*y | / x \ 2 / x / 2\ | 16*x 4*x*y | / x \ | | 4*pi* / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x *\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| 8*I*x*\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| pi*y * / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x*y *\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| 8*I* / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*y * / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| | | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________| | | \/ polar_lift\4 - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / 8*I*x*\4 - y /*acosh|-----------------------| 2*I*x*y *\4 - y /*acosh|-----------------------| | | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - 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 | | 8*I*\/ polar_lift\4 - y / 6*I*x *\/ polar_lift\4 - y / 2*I*y *\/ polar_lift\4 - y / 8*I*\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / 2*I*y *\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / 4*pi*x*\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / pi*x*y *\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - 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 | |-4 + y | | | / x 2 / x / x 2 / x / x 2 / x | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ / x | / x 2 / x | / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / 1 | | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / - + y + | < dx 2 | | ________________________ ________________________ | | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | 3 / / 2\ | 8*x 2*x*y | / / 2\ | 8*x 2*x*y | 2 / / 2\ | 8*x 2*x*y | / x / 2\ | 8*x 2*x*y | / x \ 2 / x / 2\ | 8*x 2*x*y | / x \ | | x *\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| 4*x*\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*y *\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| 4* / 1 - ------------------ *\4 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| y * / 1 - ------------------ *\4 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| | | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________| | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / 4*x*\4 - y /*asin|-----------------------| x*y *\4 - y /*asin|-----------------------| | | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | ____________________| | ____________________| | | / / 2\ 2 / / 2\ / 2\ 2 / / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ | | | 4*\/ polar_lift\4 - y / y *\/ polar_lift\4 - y / 4*\4 - y / 3*x *\/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / y *\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / | | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise | | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ 2 / ________________________ ________________________\ 2 2 2 2 ________________________ / ________________________ ________________________\ ________________________ / ________________________ ________________________\ | | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 / ________________________ ________________________\ | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | / x 2 / x / x 2 / x | / x 2 / x | / / 2\ / x 2 / x | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ / x | / x 2 / x | / 2\ | | - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\4 - y / - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | / x 2 / x | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | | / x 2 / x | | / x 2 / x | / 1 - ------------------ *|- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\4 - y / / 1 - ------------------ *|- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\4 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | | / / 2\ / / 2\ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \/ polar_lift\4 - y / | / / 2\ / / 2\ | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | \ \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / 0
=
1 / | | / _________________________ _________________________ _________________________ _________________________ | | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | / x / 2\ | 16*x 4*x*y | 3 / / 2\ | 16*x 4*x*y | / / 2\ | 16*x 4*x*y | 2 / x / 2\ | 16*x 4*x*y | 2 / / 2\ | 16*x 4*x*y | / x / 2\ | 16*x 4*x*y | / x \ 2 / x / 2\ | 16*x 4*x*y | / x \ | | 4*pi* / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x *\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| 8*I*x*\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| pi*y * / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x*y *\/ polar_lift\4 - y / *|-------------------------------------------------- - --------------------------------------------------| 8*I* / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*y * / -1 + ------------------ *\4 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| | | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________| | | \/ polar_lift\4 - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / 8*I*x*\4 - y /*acosh|-----------------------| 2*I*x*y *\4 - y /*acosh|-----------------------| | | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - y /| | / -1 + ------------------ *polar_lift\4 - y / / -1 + ------------------ *polar_lift\4 - 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 | | 8*I*\/ polar_lift\4 - y / 6*I*x *\/ polar_lift\4 - y / 2*I*y *\/ polar_lift\4 - y / 8*I*\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / 2*I*y *\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / 4*pi*x*\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / pi*x*y *\4 - y / \\/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - 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 | |-4 + y | | | / x 2 / x / x 2 / x / x 2 / x | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ / x | / x 2 / x | / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ - 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | / x 2 / x | / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / / -1 + ------------------ *|- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\4 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 16* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / 1 | | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / - + y + | < dx 2 | | ________________________ ________________________ | | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | 3 / / 2\ | 8*x 2*x*y | / / 2\ | 8*x 2*x*y | 2 / / 2\ | 8*x 2*x*y | / x / 2\ | 8*x 2*x*y | / x \ 2 / x / 2\ | 8*x 2*x*y | / x \ | | x *\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| 4*x*\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*y *\/ polar_lift\4 - y / *|- ------------------------------------------------- + -------------------------------------------------| 4* / 1 - ------------------ *\4 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| y * / 1 - ------------------ *\4 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| | | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________| | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\4 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\4 - y / / 4*x*\4 - y /*asin|-----------------------| x*y *\4 - y /*asin|-----------------------| | | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | / 1 - ------------------ *polar_lift\4 - y / / 1 - ------------------ *polar_lift\4 - y /| | ____________________| | ____________________| | | / / 2\ 2 / / 2\ / 2\ 2 / / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ | | | 4*\/ polar_lift\4 - y / y *\/ polar_lift\4 - y / 4*\4 - y / 3*x *\/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / y *\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / \\/ polar_lift\4 - y / / | | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise | | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ 2 / ________________________ ________________________\ 2 2 2 2 ________________________ / ________________________ ________________________\ ________________________ / ________________________ ________________________\ | | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 / ________________________ ________________________\ | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / 2 | / 2 / 2 | | | / x 2 / x / x 2 / x | / x 2 / x | / / 2\ / x 2 / x | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ / x | / x 2 / x | / 2\ | | - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\4 - y / - 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | / x 2 / x | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\4 - y / | / x 2 / x | | / x 2 / x | | / x 2 / x | | / x 2 / x | / 1 - ------------------ *|- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\4 - y / / 1 - ------------------ *|- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\4 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | | / / 2\ / / 2\ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 8* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \/ polar_lift\4 - y / | / / 2\ / / 2\ | \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \/ polar_lift\4 - y / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | \ \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / \ \/ polar_lift\4 - y / \/ polar_lift\4 - y / / | / 0
1/2 + y + Integral(Piecewise((8*i*sqrt(polar_lift(4 - y^2))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2))) - 6*i*x^2*sqrt(polar_lift(4 - y^2))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2))) - 2*i*y^2*sqrt(polar_lift(4 - y^2))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2))) + 8*i*(4 - y^2)/((-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*sqrt(polar_lift(4 - y^2))) - 4*pi*sqrt(-1 + x^2/polar_lift(4 - y^2))*(4 - y^2)*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 - 2*i*x^3*sqrt(polar_lift(4 - y^2))*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 - 2*i*y^2*(4 - y^2)/((-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*sqrt(polar_lift(4 - y^2))) + 8*i*x*sqrt(polar_lift(4 - y^2))*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 + pi*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2))*(4 - y^2)*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 - 4*pi*x*(4 - y^2)/(sqrt(-1 + x^2/polar_lift(4 - y^2))*(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)) - 2*i*x*y^2*sqrt(polar_lift(4 - y^2))*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 + 8*i*sqrt(-1 + x^2/polar_lift(4 - y^2))*(4 - y^2)*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))*acosh(x/sqrt(polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 + pi*x*y^2*(4 - y^2)/(sqrt(-1 + x^2/polar_lift(4 - y^2))*(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)) - 2*i*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2))*(4 - y^2)*(16*x/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) - 4*x*y^2/(sqrt(-1 + x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))*acosh(x/sqrt(polar_lift(4 - y^2)))/(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))^2 + 8*i*x*(4 - y^2)*acosh(x/sqrt(polar_lift(4 - y^2)))/(sqrt(-1 + x^2/polar_lift(4 - y^2))*(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)) - 2*i*x*y^2*(4 - y^2)*acosh(x/sqrt(polar_lift(4 - y^2)))/(sqrt(-1 + x^2/polar_lift(4 - y^2))*(-16*sqrt(-1 + x^2/polar_lift(4 - y^2)) + 4*y^2*sqrt(-1 + x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)), x^2/|-4 + y^2| > 1), (-4*sqrt(polar_lift(4 - y^2))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2))) + y^2*sqrt(polar_lift(4 - y^2))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2))) - 4*(4 - y^2)/((-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))*sqrt(polar_lift(4 - y^2))) + 3*x^2*sqrt(polar_lift(4 - y^2))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2))) + x^3*sqrt(polar_lift(4 - y^2))*(-8*x/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))^2 + y^2*(4 - y^2)/((-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))*sqrt(polar_lift(4 - y^2))) - 4*x*sqrt(polar_lift(4 - y^2))*(-8*x/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))^2 + x*y^2*sqrt(polar_lift(4 - y^2))*(-8*x/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))^2 - 4*sqrt(1 - x^2/polar_lift(4 - y^2))*(4 - y^2)*(-8*x/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))*asin(x/sqrt(polar_lift(4 - y^2)))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))^2 + y^2*sqrt(1 - x^2/polar_lift(4 - y^2))*(4 - y^2)*(-8*x/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)) + 2*x*y^2/(sqrt(1 - x^2/polar_lift(4 - y^2))*polar_lift(4 - y^2)))*asin(x/sqrt(polar_lift(4 - y^2)))/(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))^2 + 4*x*(4 - y^2)*asin(x/sqrt(polar_lift(4 - y^2)))/(sqrt(1 - x^2/polar_lift(4 - y^2))*(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)) - x*y^2*(4 - y^2)*asin(x/sqrt(polar_lift(4 - y^2)))/(sqrt(1 - x^2/polar_lift(4 - y^2))*(-8*sqrt(1 - x^2/polar_lift(4 - y^2)) + 2*y^2*sqrt(1 - x^2/polar_lift(4 - y^2)))*polar_lift(4 - y^2)), True)), (x, 0, 1))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.