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