Working demonstration of PHPARI