Covering laws of logarithms, using logs to reduce to linear form, harder indefinite integration and the Trapezium rule