Function mul 

fn mul<F: Field>(
    a: AbstractExpression<F>,
    b: AbstractExpression<F>,
) -> AbstractExpression<F>