(** x__3229 y__3230)
(abs x__3214)
(divide a b)
(exp x__3222)
(fact n)
(gcd a b)
(lcm a b)
(log x__3224)
(pow x__3226 y__3227)
(root a b)
(signum x__3216)
(sqrt x__3218)
(√ x__3220)