Y mul pow x1 c mul pow x3 c mul add mul c tan tan mul sqrt sin mul c sqrt x3 cos x1 mul c mul x1 mul pow cos mul sqrt sin mul c sqrt x3 cos x1 c mul pow cos tan mul sqrt sin mul c sqrt x3 cos x1 c mul sqrt sin mul c sqrt x3 sin x1 add mul x3 add c mul c tan x3 sin c