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