Calculate the length l3 of a triangle from l1, a12 and l2
the first length of the triangle
the angle between l1 and l2 in radian
the second length of the triangle
the level of check
the length l3 of the triangle + string-for-log
Calculate the length l3 of a triangle from l1, a12 and l2