Y mul sqrt c mul pow x3 div c c mul sqrt mul x0 add x4 mul c mul pow x3 c add c add x0 cos mul sqrt c sqrt x3 mul pow add x4 mul c mul pow x3 c add c add x0 cos mul sqrt c sqrt x3 c mul pow abs x3 c add mul div c c mul x4 sqrt x3 mul div c c mul sqrt c mul pow x3 c sin mul sqrt c sqrt x3