-- Option variable: timer_devalue Default value:
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.
(%o1) true (%i2)