Revision history [back]

var('x y')
eq1 = -6-4*y-x-(1+y)*x+sqrt((4*(1+y))*(2+x)*(4+2*y+x)+(-(1+y)*x+2+x)^2)==0
eq2 = (2*(4+2*y+x))*(1+y)-(1+y)*x+2+x+sqrt((4*(1+y))*(2+x)*(4+2*y+x)+(-(1+y)*x+2+x)^2)-(2+y)*(-(1+y)*x+2+x+sqrt((4*(1+y))*(2+x)*(4+2*y+x)+(-(1+y)*x+2+x)^2))==0
show(eq1)
eq11 = eq1 + 6 +x*(y+1) + x + 4*y
eq12 =(eq11^2).expand()
show(eq12)
eq13 = eq12 - eq12.lhs()
show(eq13)
print '------------'
show(eq2)
eq21 = eq2.simplify_full()
show(eq21)
eq22 = eq21 - 6 -2*x -(x+4)*y^2 -(3*x+10)*y
show(eq22)
eq23 = (eq22^2).expand()
show(eq23)
eq24 = eq23 - eq23.lhs()
show(eq24)