This file is indexed.

/usr/lib/open-axiom/input/expr1.input is in open-axiom-test 1.5.0~svn3056+ds-1.

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
-- Input generated from ExpressionXmpPage
)clear all

sin(x) + 3*cos(x)**2
tan(x) - 3.45*x
(tan sqrt 7 - sin sqrt 11)**2 / (4 - cos(x - y))
log(exp  x)@Expression(Integer)
log(exp  x)@Expression(Complex Integer)
sqrt 3 + sqrt(2 + sqrt(-5))
% :: Expression Integer
height mainKernel sin(x + 4)
e := (sin(x) - 4)**2 / ( 1 - 2*y*sqrt(- y) )
numer e
denom e
D(e, x)
D(e, [x, y], [1, 2])
complexNumeric(cos(2 - 3*%i))
numeric(tan 3.8)
e2 := cos(x**2 - y + 3)
e3 := asin(e2) - %pi/2
e3 :: Polynomial Integer
e3 :: DMP([x, y], Integer)
sin %pi
cos(%pi / 4)
tan(x)**6 + 3*tan(x)**4 + 3*tan(x)**2 + 1
simplify %