"BACON.4 does not have heuristics for considering trigonometric functions of variables directly . Thus, in the run described here we simply told the system to examine the sines. In the following chapter we will see how BACON can actually arrive at the sine term on its own in a rather subtle manner."