f 0 y y f x 0 x f i x y i x f f x y z f x f y z f g x y z g f x z f y z f 1 g x y x f 2 g x y y 2.2 f g x y z f y z f f x y z f x f y z f g x y z f x z f f x y z f y z true f f x y z f y z f g x y z f x z f f x y z f x f y z f g x y z f y z true 1 0 1 f 2 1 2 1 0 0 40005 f 2 1 0 i 1 33036 2 0 10803 g 2 1 2 8856 NaTT certifiable-1.6