--
-- This file has been auto-generated by egison-translator.
--

def x := r * cos θ

def y := r * sin θ

def uR := ∂/∂ (u x y) r

uR

def uRR := ∂/∂ (∂/∂ (u x y) r) r

uRR

def uΘ := ∂/∂ (u x y) θ

uΘ

def uΘΘ := ∂/∂ (∂/∂ (u x y) θ) θ

uΘΘ

uRR + 1 / r ^ 2 * uΘΘ

uRR + 1 / r * uR + 1 / r ^ 2 * uΘΘ