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