By: ValentinHirschi <valentin.hirschi@gmail.com>
Record exact rational-lowering benchmark and next application gates