Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download

All published worksheets from http://sagenb.org

Views: 168734
Image: ubuntu2004
var('Ax Ay Bx By Cx Cy Dx Dy Zx Zy')
(Ax, Ay, Bx, By, Cx, Cy, Dx, Dy, Zx, Zy)
a = Ax + I*Ay

b = Bx + I*By

c = Cx + I*Cy

d = Dx + I*Dy

z = Zx + I*Zy

T = (a*z+b)/(c*z+d)

u = T.real()

v = T.imag()

u.diff(Zx) + v.diff(Zx)
WARNING: Output truncated!
-2*(real_part(Cx)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*real_part(Ax)*real_part(Cx)*real_part(Zx)^2/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 - 2*real_part(Dx)*imag_part(Dy) + real_part(Dy)^2 + 2*real_part(Dy)*imag_part(Dx) + imag_part(Dx)^2 + imag_part(Dy)^2)^2 + 4*(real_part(Cx)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*real_part(Ax)*real_part(Cx)*real_part(Zx)*imag_part(Zy)/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 - 2*real_part(Dx)*imag_part(Dy) + real_part(Dy)^2 + 2*real_part(Dy)*imag_part(Dx) + imag_part(Dx)^2 + imag_part(Dy)^2)^2 - 2*(real_part(Cx)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*real_part(Ax)*real_part(Cx)*real_part(Zy)^2/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 ... _part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*imag_part(Bx)*imag_part(Dy)/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 - 2*real_part(Dx)*imag_part(Dy) + real_part(Dy)^2 + 2*real_part(Dy)*imag_part(Dx) + imag_part(Dx)^2 + imag_part(Dy)^2)^2 - 2*(real_part(Cx)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*imag_part(By)*imag_part(Dx)/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 - 2*real_part(Dx)*imag_part(Dy) + real_part(Dy)^2 + 2*real_part(Dy)*imag_part(Dx) + imag_part(Dx)^2 + imag_part(Dy)^2)^2 - 2*(real_part(Cx)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cx)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Cy)*D[0](real_part)(Zx) - 2*real_part(Cx)*real_part(Zy)*imag_part(Cy)*D[0](imag_part)(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)*D[0](imag_part)(Zx) + 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zx)*D[0](real_part)(Zx) + real_part(Cy)^2*real_part(Zy)*D[0](imag_part)(Zx) + real_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - real_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zx)*imag_part(Cx)*D[0](real_part)(Zx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Cx)*D[0](imag_part)(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)*D[0](imag_part)(Zx) - 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cx)^2*D[0](real_part)(Zx) + real_part(Zx)*imag_part(Cy)^2*D[0](real_part)(Zx) + real_part(Zy)*imag_part(Cx)^2*D[0](imag_part)(Zx) + real_part(Zy)*imag_part(Cy)^2*D[0](imag_part)(Zx) + imag_part(Cx)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cx)^2*imag_part(Zy)*D[0](real_part)(Zx) + imag_part(Cy)^2*imag_part(Zx)*D[0](imag_part)(Zx) - imag_part(Cy)^2*imag_part(Zy)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dx)*D[0](real_part)(Zx) + real_part(Cx)*real_part(Dy)*D[0](imag_part)(Zx) + real_part(Cx)*imag_part(Dx)*D[0](imag_part)(Zx) - real_part(Cx)*imag_part(Dy)*D[0](real_part)(Zx) - real_part(Cy)*real_part(Dx)*D[0](imag_part)(Zx) + real_part(Cy)*real_part(Dy)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dx)*D[0](real_part)(Zx) + real_part(Cy)*imag_part(Dy)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cx)*D[0](imag_part)(Zx) - real_part(Dx)*imag_part(Cy)*D[0](real_part)(Zx) + real_part(Dy)*imag_part(Cx)*D[0](real_part)(Zx) - real_part(Dy)*imag_part(Cy)*D[0](imag_part)(Zx) + imag_part(Cx)*imag_part(Dx)*D[0](real_part)(Zx) + imag_part(Cx)*imag_part(Dy)*D[0](imag_part)(Zx) - imag_part(Cy)*imag_part(Dx)*D[0](imag_part)(Zx) + imag_part(Cy)*imag_part(Dy)*D[0](real_part)(Zx))*imag_part(By)*imag_part(Dy)/(real_part(Cx)^2*real_part(Zx)^2 - 2*real_part(Cx)^2*real_part(Zx)*imag_part(Zy) + real_part(Cx)^2*real_part(Zy)^2 + 2*real_part(Cx)^2*real_part(Zy)*imag_part(Zx) + real_part(Cx)^2*imag_part(Zx)^2 + real_part(Cx)^2*imag_part(Zy)^2 - 2*real_part(Cx)*real_part(Zx)^2*imag_part(Cy) + 4*real_part(Cx)*real_part(Zx)*imag_part(Cy)*imag_part(Zy) - 2*real_part(Cx)*real_part(Zy)^2*imag_part(Cy) - 4*real_part(Cx)*real_part(Zy)*imag_part(Cy)*imag_part(Zx) - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zx)^2 - 2*real_part(Cx)*imag_part(Cy)*imag_part(Zy)^2 + real_part(Cy)^2*real_part(Zx)^2 - 2*real_part(Cy)^2*real_part(Zx)*imag_part(Zy) + real_part(Cy)^2*real_part(Zy)^2 + 2*real_part(Cy)^2*real_part(Zy)*imag_part(Zx) + real_part(Cy)^2*imag_part(Zx)^2 + real_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cy)*real_part(Zx)^2*imag_part(Cx) - 4*real_part(Cy)*real_part(Zx)*imag_part(Cx)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zy)^2*imag_part(Cx) + 4*real_part(Cy)*real_part(Zy)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zx)^2 + 2*real_part(Cy)*imag_part(Cx)*imag_part(Zy)^2 + real_part(Zx)^2*imag_part(Cx)^2 + real_part(Zx)^2*imag_part(Cy)^2 - 2*real_part(Zx)*imag_part(Cx)^2*imag_part(Zy) - 2*real_part(Zx)*imag_part(Cy)^2*imag_part(Zy) + real_part(Zy)^2*imag_part(Cx)^2 + real_part(Zy)^2*imag_part(Cy)^2 + 2*real_part(Zy)*imag_part(Cx)^2*imag_part(Zx) + 2*real_part(Zy)*imag_part(Cy)^2*imag_part(Zx) + imag_part(Cx)^2*imag_part(Zx)^2 + imag_part(Cx)^2*imag_part(Zy)^2 + imag_part(Cy)^2*imag_part(Zx)^2 + imag_part(Cy)^2*imag_part(Zy)^2 + 2*real_part(Cx)*real_part(Dx)*real_part(Zx) - 2*real_part(Cx)*real_part(Dx)*imag_part(Zy) + 2*real_part(Cx)*real_part(Dy)*real_part(Zy) + 2*real_part(Cx)*real_part(Dy)*imag_part(Zx) - 2*real_part(Cx)*real_part(Zx)*imag_part(Dy) + 2*real_part(Cx)*real_part(Zy)*imag_part(Dx) + 2*real_part(Cx)*imag_part(Dx)*imag_part(Zx) + 2*real_part(Cx)*imag_part(Dy)*imag_part(Zy) - 2*real_part(Cy)*real_part(Dx)*real_part(Zy) - 2*real_part(Cy)*real_part(Dx)*imag_part(Zx) + 2*real_part(Cy)*real_part(Dy)*real_part(Zx) - 2*real_part(Cy)*real_part(Dy)*imag_part(Zy) + 2*real_part(Cy)*real_part(Zx)*imag_part(Dx) + 2*real_part(Cy)*real_part(Zy)*imag_part(Dy) - 2*real_part(Cy)*imag_part(Dx)*imag_part(Zy) + 2*real_part(Cy)*imag_part(Dy)*imag_part(Zx) - 2*real_part(Dx)*real_part(Zx)*imag_part(Cy) - 2*real_part(Dx)*real_part(Zy)*imag_part(Cx) - 2*real_part(Dx)*imag_part(Cx)*imag_part(Zx) + 2*real_part(Dx)*imag_part(Cy)*imag_part(Zy) + 2*real_part(Dy)*real_part(Zx)*imag_part(Cx) - 2*real_part(Dy)*real_part(Zy)*imag_part(Cy) - 2*real_part(Dy)*imag_part(Cx)*imag_part(Zy) - 2*real_part(Dy)*imag_part(Cy)*imag_part(Zx) + 2*real_part(Zx)*imag_part(Cx)*imag_part(Dx) + 2*real_part(Zx)*imag_part(Cy)*imag_part(Dy) + 2*real_part(Zy)*imag_part(Cx)*imag_part(Dy) - 2*real_part(Zy)*imag_part(Cy)*imag_part(Dx) - 2*imag_part(Cx)*imag_part(Dx)*imag_part(Zy) + 2*imag_part(Cx)*imag_part(Dy)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dx)*imag_part(Zx) - 2*imag_part(Cy)*imag_part(Dy)*imag_part(Zy) + real_part(Dx)^2 - 2*real_part(Dx)*imag_part(Dy) + real_part(Dy)^2 + 2*real_part(Dy)*imag_part(Dx) + imag_part(Dx)^2 + imag_part(Dy)^2)^2