Y add c add mul c mul x3 mul pow x1 c mul pow add pow x1 c mul x3 pow add x3 x1 c c pow cos x1 c mul c mul pow x3 c mul pow x1 c mul pow add pow x1 c mul x3 pow add x3 x1 c c mul pow cos x1 c add mul c pow add x3 x1 c mul c mul x3 pow add x3 x1 c