Y mul c mul sqrt x2 mul pow add pow x0 c tan mul sqrt x2 pow cos x3 c c mul pow cos x3 c mul add c pow tan mul sqrt x2 pow cos x3 c c mul cos mul c pow add pow x0 c tan mul sqrt x2 pow cos x3 c c mul sin x3 sin mul c pow add pow x0 c tan mul sqrt x2 pow cos x3 c c