Marked_doublesMarked_sqrsqrMarked_++double0zyxsqr(0)0sqr(s(x))+(sqr(x),s(double(x)))double(0)0double(s(x))s(s(double(x)))+(x,0)x+(x,s(y))s(+(x,y))sqr(s(x))s(+(sqr(x),double(x)))sqr(0)0sqr(s(x))+(sqr(x),s(double(x)))double(0)0double(s(x))s(s(double(x)))+(x,0)x+(x,s(y))s(+(x,y))sqr(s(x))s(+(sqr(x),double(x)))Marked_sqr(s(x))Marked_+(sqr(x),s(double(x)))Marked_sqr(s(x))Marked_sqr(x)Marked_sqr(s(x))Marked_double(x)Marked_double(s(x))Marked_double(x)Marked_+(x,s(y))Marked_+(x,y)Marked_sqr(s(x))Marked_+(sqr(x),double(x))Marked_sqr(s(x))Marked_sqr(x)Marked_sqr(s(x))Marked_double(x)sqr(0)0sqr(s(x))+(sqr(x),s(double(x)))double(0)0double(s(x))s(s(double(x)))+(x,0)x+(x,s(y))s(+(x,y))sqr(s(x))s(+(sqr(x),double(x)))Marked_sqr(s(x))Marked_sqr(x)Marked_sqr(s(x))Marked_sqr(x)double+sqrs+sqrssqrs+sdoubledoublesqrsqr(0)0sqr(s(x))+(sqr(x),s(double(x)))double(0)0double(s(x))s(s(double(x)))+(x,0)x+(x,s(y))s(+(x,y))sqr(s(x))s(+(sqr(x),double(x)))Marked_+(x,s(y))Marked_+(x,y)double+sqrs+sqrssqrs+sdoubledoublesqrsqr(0)0sqr(s(x))+(sqr(x),s(double(x)))double(0)0double(s(x))s(s(double(x)))+(x,0)x+(x,s(y))s(+(x,y))sqr(s(x))s(+(sqr(x),double(x)))Marked_double(s(x))Marked_double(x)double+sqrs+sqrssqrs+sdoubledoublesqr