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