Y mul pow x5 c mul pow add x1 mul pow x1 c add x3 add sqrt x3 mul x1 x5 c mul pow add x3 mul c mul x5 pow add x1 mul pow x1 c add x3 add sqrt x3 mul x1 x5 c c add c add mul pow x1 c add x3 add sqrt x3 mul x1 x5 mul c mul x5 pow x1 c