ToolJuliaIntermediate DifferentialEquations.jl from the ground up: the pendulum beyond small angles (Tsit5(), 1e-10, 1e-12), (Vern9(), 1e-10, 1e-12)]