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