Y mul div c c mul pow x1 c mul pow mul pow x1 c add x3 mul x1 add x1 sqrt c div c c add mul c mul add x3 mul c x4 add pow x1 c mul c x3 mul c mul pow x1 c sqrt mul pow x1 c add x3 mul x1 add x1 sqrt c