start on updating exp_to_Cexp_thm1
more exp_to_Cexp_thm1

main App case