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