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