--
-- This file has been auto-generated by egison-translator.
--
assertEqual "sum" (sum (take 5 nats)) 15
assertEqual "product" (product (take 5 nats)) 120
assertEqual "power" (power 2 5) 32
assertEqual "** - case 1" (power x 3) (x ^ 3)
assertEqual "** - case 2" (power (sqrt 2) 4) 4
assertEqual "gcd" (gcd 15 40) 5
assertEqual "sqrt - case 1" (sqrt (50 * x ^ 2 / y)) (5 * x * sqrt (2 * y) / y)
assertEqual
"sqrt - case 2"
(sqrt (3 * x) * sqrt (2 * y))
(sqrt 6 * sqrt x * sqrt y)