Added MetiTarski-derived RCF benchmark problems.