Y add mul c mul sqrt c mul pow x0 c mul sqrt mul pow x1 c add x1 add sqrt c add sqrt x0 cos x5 mul sqrt cos c sign x0 mul div c c mul sqrt c mul pow x0 div c c mul sqrt mul pow x1 c add x1 add sqrt c add sqrt x0 cos x5 mul pow add x1 add sqrt c add sqrt x0 cos x5 c mul pow abs x0 c sqrt cos c