Y mul div c c mul x1 mul x1 mul x0 mul pow add mul x1 sqrt sin c add mul x1 mul pow x1 c sqrt sin c mul pow x1 c mul sqrt mul x1 pow x1 c abs x0 c add mul c mul x1 sin c mul pow x1 c mul sqrt mul x1 pow x1 c mul sqrt sin c abs x0