TimeConstraint
is an option for various functions that specifies the maximum time to spend doing a particular operation.
Details

- TimeConstraint->t specifies that a maximum of t seconds of CPU time should be spent doing a particular operation, or trying a particular transformation or part of an algorithm.
- TimeConstraint->Infinity specifies that there should be no limit on the CPU time allowed.
- In functions such as Simplify and FullSimplify, settings for TimeConstraint give only the maximum time to be spent doing a particular transformation on a particular subpart; the total time spent processing the whole expression may be considerably larger.
- Changing the setting for TimeConstraint will never affect the validity of a result obtained from functions like Simplify or FullSimplify, but smaller settings may prevent the simplest possible form from being found.
- Since different computer systems run at different speeds, the same setting for TimeConstraint can lead to different results on different systems.
Examples
open allclose allBasic Examples (2)Summary of the most common use cases
This takes a long time, due to trigonometric expansion, but does not yield a simplification:

https://wolfram.com/xid/0d6fuqxx3a-bvam7s

TimeConstraint limits the time spent on any single transformation:

https://wolfram.com/xid/0d6fuqxx3a-motqv



A similar example, where the transformation yields a simplification:

https://wolfram.com/xid/0d6fuqxx3a-cw6v3s

In this case, setting TimeConstraint prevents some simplification:

https://wolfram.com/xid/0d6fuqxx3a-dwvevr



Scope (1)Survey of the scope of standard use cases
Checking whether a condition follows from assumptions may take a long time:

https://wolfram.com/xid/0d6fuqxx3a-j70lkd

If a condition does not follow from assumptions, checking this may still take a long time:

https://wolfram.com/xid/0d6fuqxx3a-r9xhk

The time spent on a single condition check is restricted by the value of TimeConstraint:

https://wolfram.com/xid/0d6fuqxx3a-cjsbf1

https://wolfram.com/xid/0d6fuqxx3a-nxr2t

With a time constraint of one second, Refine cannot prove that :

https://wolfram.com/xid/0d6fuqxx3a-cdjadt

Wolfram Research (1996), TimeConstraint, Wolfram Language function, https://reference.wolfram.com/language/ref/TimeConstraint.html.
Text
Wolfram Research (1996), TimeConstraint, Wolfram Language function, https://reference.wolfram.com/language/ref/TimeConstraint.html.
Wolfram Research (1996), TimeConstraint, Wolfram Language function, https://reference.wolfram.com/language/ref/TimeConstraint.html.
CMS
Wolfram Language. 1996. "TimeConstraint." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/TimeConstraint.html.
Wolfram Language. 1996. "TimeConstraint." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/TimeConstraint.html.
APA
Wolfram Language. (1996). TimeConstraint. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TimeConstraint.html
Wolfram Language. (1996). TimeConstraint. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TimeConstraint.html
BibTeX
@misc{reference.wolfram_2025_timeconstraint, author="Wolfram Research", title="{TimeConstraint}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/TimeConstraint.html}", note=[Accessed: 09-May-2025
]}
BibLaTeX
@online{reference.wolfram_2025_timeconstraint, organization={Wolfram Research}, title={TimeConstraint}, year={1996}, url={https://reference.wolfram.com/language/ref/TimeConstraint.html}, note=[Accessed: 09-May-2025
]}