sqrt2 example file for Amaya

2 x + 1 2 x