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