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