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