D t s h D constant h D b x y b D x D y D c x y b c y D x c x D y D m x y m D x D y D opp x opp D x D div x y m div D x y div c x D y pow y 2 D ln x div D x x D pow x y b c c y pow x m y 1 D x c c pow x y ln x D y b h x x b x h x b s x s y s s b x y b b x y z b x b y z 2.2 b b x y z b x b y z D pow x y D y D b x y D x D div x y D y D m x y D y D b x y b D x D y D b x y D y b s x s y b x y D m x y D x D pow x y D x D c x y D x D c x y b c y D x c x D y b b x y z b y z D opp x D x D div x y D x D ln x D x D pow x y b c c y pow x m y 1 D x c c pow x y ln x D y D c x y D y true D c x y D y D b x y D y D ln x D x D div x y D x D opp x D x D m x y D y D div x y D y D b x y D x D c x y D x D pow x y D y D pow x y D x D m x y D x true h 0 0 1 0 0 ln 1 1 1 s 1 0 constant 0 0 b 2 1 2 1 pow 2 1 2 1 t 0 0 div 2 1 2 1 c 2 1 2 1 D 1 0 D 1 1 0 opp 1 1 1 2 0 0 b 2 0 m 2 1 2 1 D pow x y b c c y pow x m y 1 D x c c pow x y ln x D y false D b x y b D x D y false D c x y b c y D x c x D y false b b x y z b y z b s x s y b x y b b x y z b x b y z true h 0 1 1 0 0 ln 1 1 s 1 1 1 constant 0 0 b 2 1 2 1 pow 2 1 t 0 0 div 2 1 c 2 1 D 1 0 D 1 0 opp 1 1 2 0 0 b 2 1 0 m 2 1 NaTT certifiable-1.6