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