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