7ba6e865-6f61-4ec5-82cd-98960316ed2f 2 3 5 auto

&[DATE] &[TIME] - &[FILENAME]

x f 2 x ln * :

x 1 :

f 3 x * + (x diff 3

This result may be misleading if not aware of the under the hood.
ln(x) is the cumulative integration of 1/x in the range 1..2
Thus, @ the starting point x=1 the cumulative integration is '0'
forcibly the derivative. For sure, looking @ the graph diff(f,x)
 seems to ly ... just a matter of silent maths. f x diff 0

x y g 2 x * x cos * 3 y 2^* + :

g x diff 0

y 1 :

x f x y g 2 1 sys 2 x ln * x diff