Option variable
timer_devalue
Default value: false
When timer_devalue
is true
, Maxima subtracts from each timed function
the time spent in other timed functions. Otherwise, the time reported
for each function includes the time spent in other functions.
Note that time spent in untimed functions is not subtracted from the
total time.