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