Y add mul pow x3 c tan sin mul x0 sin sin mul x3 cos x0 mul x0 mul pow x3 c mul add c pow tan sin mul x0 sin sin mul x3 cos x0 c mul add mul c mul x0 mul x3 mul cos mul x3 cos x0 mul cos sin mul x3 cos x0 sin x0 sin sin mul x3 cos x0 cos mul x0 sin sin mul x3 cos x0