add decomposition demo
add prod expr show