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