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