Write up stuff on special function simplification