\ _ + _ * _1  * _1  =  fun a b c  -> a + b * c * c