CoCalc -- aw-23.input

open-axiom repository from github

²⁴⁰⁰⁵ views

--
-- expected
--
exp^(log x)
exp^(2 * log x)
(exp^(log x))^2