$ git clone https://github.com/FP-Analysis/atomic-condition.git

$ cd atomic-condition/docker
$ docker build -t atomic .

$ docker run -it atomic /bin/bash

( In docker's container: /atom )
$ make
$ bin/gslSolver.out example

...
Most suspicious input first:
-1.6006806510433069e-08         Output: 4.3331212264181757e-01
1.5707963267949008e+00          Output: 4.0528473456935066e-01
End of suspicious input list.
...

(In python3)
>>> import mpmath
>>> mpmath.mp.prec=256
>>> def foo_h(x):
...     x = mpmath.mpf(x)
...     return (1-mpmath.cos(x))/(x*x)
...
>>> y1 = foo_h(-1.6006806510433069e-08)
>>> print(y1)
0.49999999999999998932425...
>>> y2 = foo_h(1.5707963267949008e+00)
>>> print(y2)
0.40528473456935062536197...

$ make
$ bin/gslSolver.out example

$ make
$ bin/gslSolver.out gsl <function_index>

$ make
$ bin/gslSolver.out gsl <function_index> && python3 script/oracleMpmath.py

$ bin/gslSolver.out gsl 73 && python3 script/oracleMpmath.py
...
Function Index: 73
Max Relative Error:
  Input:  -2.457024738220797e+00
  Output: 3.552713678800501e-15
  Oracle: 4.767633887335327e-15
        Relative Error: 2.54827e-01

$ make
$ bin/gslSolver.out gsl all
$ python3 script/oracleMpmath.py

(If you have already run these 3 commands, you don't need to run them again)
$ make
$ bin/gslSolver.out gsl all
$ python3 script/oracleMpmath.py

(Please do not insert other commands between this one and the above 3 ones, otherwise you need to run them once again to get the necessary intermediate results.)
$ python3 script/reproduce.py