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