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