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