aksenovpb/mathexp archive