0RF((ac+bd)2,(ad+bc)2,4abcdcosh2z)z=12RF(0,a2,b2)RF(0,c2,d2),