Processing math: 100%
g(x)^f(x)
Function
context
f
,
g
:
R
→
R
definition
x
↦
g
(
x
)
f
(
x
)
:
?
?
Theorem
d
d
x
g
(
x
)
f
(
x
)
=
[
f
(
x
)
g
′
(
x
)
+
f
′
(
x
)
g
(
x
)
⋅
log
(
g
(
x
)
)
]
⋅
g
(
x
)
f
(
x
)
−
1
Special cases
d
d
x
x
c
=
c
⋅
x
c
−
1
d
d
x
c
x
=
log
(
c
)
⋅
c
x
Reference
Element of
Function
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms