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