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