prev | next |

File: | /TortureTests/Complexity/complex4.xml |

Author: | Design Science, Inc. (D. Doyle, R. Miner) |

Description: | Testing content tags. |

Sample Rendering: | N/A |

**Your browser's rendering**:

a + b - c

x + yz + z

x * (y + z) * z

sin(a + b)

sin(x(y + z)z)

sin(xy)2b

(x + y) ^ (n - 3)

limit as x goes to a of sin x using <reln>

limit as x goes to a of sin x using <apply>

limit as x goes to a of sin(x + y) using <reln>

limit as x goes to a of sin(x + y) using <apply>

limit as x goes to a of sin(x + y)2b using <reln>

limit as x goes to a of sin(x + y)2b using <apply>

quotient

moment

selector

factorial

(a + b)!

inverse function

inverse matrix

conjugate

a + b + c

integral (a + x)dx

-1 + 7

7 + (-1)

max

lambda sin(x + 1)

lambda integral f(x)dx

compose f and g

compose f and g (x)

f(g(x))

composition of f and inverse of f eq identity using <reln>

composition of f and inverse of f eq identity using <apply>

e^x

min(x, x not in B, x^2) using <reln>

min(x, x not in B, x^2) using <apply>

a mod (b)

ab

gcd(a b, c)

integral

abs(x)

tall abs(x)

abs(x + y + z)

x > 0 and z < 1 as <reln>

x > 0 and z < 1 as <apply>

a and b

a or b

a xor b

a eq b with <reln> tag

a eq b with <apply> tag

a neq b with <reln> tag

a neq b with <apply> tag

a > b with <reln> tag

a > b with <apply> tag

a < b with <reln> tag

a < b with <apply> tag

a <= b with <reln> tag

a >= b with <apply> tag

a <= b with <reln> tag

a <= b with <apply> tag

set: {b, a, c}

set with condition

list: {b, a, c}

list: {x|x < 5}

A union B

A intersect B

A intersect (B union C)

integral
x in R as <reln>

x in R as <apply>

a in A

a not in A as <reln>

a not in A as <apply>

not a

not (a and b)

A -> B (reln)

A -> B (apply)

forall

forall/and/lt/power

forall/exists/and/plus

exists

forall/exists/and/plus

ln a

log base 3 of x

integer

diff

partialdiff

integral

partialdiff

divide

divide/plus/minus

divide/plus/divide

A is subset of B as <reln>

A is subset of B as <apply>

A is proper subset of B as <reln>

A is proper subset of B as <apply>

A is not subset of B as <reln>

A is not subset of B as <apply>

A is not proper subset of B as <reln>

A is not proper subset of B as <apply>

Set difference

Log base 3 of x + y

Sum as x goes from a to b of f(x)

sum

product

product

tendsto with <reln>

tendsto with <apply>

tendsto with <reln>

tendsto with <apply>

mean(X)

root(a + b)

standard deviation

variance(X)

median(X)

mode(X)

degree

vector

matrix

determinant

transpose

semantics

limit

symbol check

multiset

tendsto type = "above" with <reln>

tendsto type = "above" with <apply>

tendsto type = "below" with <reln>

tendsto type = "below" with <apply>

tendsto type = "two-sided" with <reln>

tendsto type = "two-sided" with <apply>

type check

sin + cos

f(x)

**Source Code**:

N/A