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