-x'' == x*x'"