exp x 0 s 0 exp x s y * x exp x y * 0 y 0 * s x y + y * x y - 0 y 0 - x 0 x - s x s y - x y 2.2 exp x s y exp x y - s x s y - x y exp x s y * x exp x y * s x y * x y true - s x s y - x y true s 1 1 1 * 2 0 exp 2 0 0 0 0 - 2 0 - 2 1 2 0 exp 2 0 + 2 0 * 2 0 exp x s y exp x y true s 1 1 1 * 2 0 exp 2 2 0 0 0 0 - 2 0 - 2 0 exp 2 0 + 2 0 * 2 0 exp x s y * x exp x y false * s x y * x y true s 1 1 1 * 2 1 0 exp 2 0 0 0 0 - 2 0 - 2 0 exp 2 0 + 2 0 * 2 0 NaTT certifiable-1.6