f():=Echo(CurrentFile()," line ",CurrentLine());

NextTest("Testing simplifying nested radicals");

TestMathPiper(RadSimp(Sqrt(9+4*Sqrt(2))), 1+Sqrt(8)); 
TestMathPiper(RadSimp(Sqrt(5+2*Sqrt(6))+Sqrt(5-2*Sqrt(6))),Sqrt(12)); 
TestMathPiper(RadSimp(Sqrt(14+3*Sqrt(3+2*Sqrt(5-12*Sqrt(3-2*Sqrt(2)))))), 3+Sqrt(2)); 

TestMathPiper(RadSimp(Sqrt(3+2*Sqrt(2))),1+Sqrt(2)); 
TestMathPiper(RadSimp(Sqrt(5+2*Sqrt(6))),Sqrt(2)+Sqrt(3)); 

//FAILS??? TestMathPiper(RadSimp(Sqrt(5*Sqrt(3)+6*Sqrt(2))),Sqrt(Sqrt(27))+Sqrt(Sqrt(12)));
//??? TestMathPiper(RadSimp(Sqrt(12+2*Sqrt(6)+2*Sqrt(14)+2*Sqrt(21))),Sqrt(2)+Sqrt(3)+Sqrt(7));


