This file is indexed.

/usr/lib/open-axiom/input/exint.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
-- Input for page ExIntRationalWithRealParameter
)clear all

integrate(1/(x**2 + a),x)

-- Input for page ExIntRationalFunction
)clear all

integrate((x**2+2*x+1)/((x+1)**6+1),x)

-- Input for page ExIntAlgebraicRelation
)clear all

integrate(tan(atan(x)/3),x)

-- Input for page ExIntRationalWithComplexParameter
)clear all

complexIntegrate(1/(x**2 + a),x)

-- Input for page ExIntNoSolution
)clear all

integrate(log(1 + sqrt(a*x + b)) / x,x)

-- Input for page ExIntTwoSimilarIntegrands
)clear all

integrate(x**3 / (a+b*x)**(1/3),x)
integrate(1 / (x**3 * (a+b*x)**(1/3)),x)

-- Input for page ExIntRadicalOfTranscendental
)clear all

integrate((x + 1) / (x * (x + log x)**(3/2)),x)

-- Input for page ExIntNonElementary
)clear all

integrate(exp(-x**2) * erf(x) / (erf(x)**3 - erf(x)**2 - erf(x) + 1),x)

-- Input for page ExIntTrig
)clear all

integrate((sinh(1+sqrt(x+b))+2*sqrt(x+b))/(sqrt(x+b)*(x+cosh(1+sqrt(x+b)))),x)