halo explicit pendulum