This file is indexed.

/usr/lib/open-axiom/input/solvetra.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
--Copyright The Numerical Algorithms Group Limited 1991.

solve(sin(x)-8=0)
solve(sin(x)-8=0,x)
solve(sin(x)-8)    
solve(sin(x)-8,x)
solve(sin(x**2)-2,x)       
solve(sin(x**2)-3,x)
solve(sin(x**2)**2-3,x)
solve(sin(x+2)-2,x)
solve(sin(x**2+2)-2,x)
solve(sin(x)*cos(8)*tan(88)*567-y*3+3,x)
solve(sin(x-77)*cos(8)*tan(88)*567-y*3+3,x)
solve(sin(x**2-77)*cos(8)*tan(88)*567-y*3+3,x)
solve(sin(x)*cos(x)-2,x)                      
solve(sin(x**3-77)*cos(8)*tan(88)*567-y*3+3,x)
solve(cos(x)+cos(3*x)+cos(5*x) ,x)
solve(3*tan(3*x)-tan(x)+2,x)
solve(3*sech(x)**2+4*tanh(x)+1,x)
solve(cosh(x)-3*sinh(x),x)
solve(2*sinh(x)+6*cosh(x)-5,x)
solve(exp(3*x)-4*exp(x)+3*exp(-x),x)
solve(log(x+1)+log(x-1)-3,x)
solve(sin(x)*cos(x)-2,x)
solve(- cos(- x + a)*sin(x) + 2*cos(x)*sin(- x + a),x)
solve(sin(x)+cos(x)=2,x)
solve(- cos(- x )*sin(x),x)
solve(- cos(- x + a)*sin(x),x)
solve(log(sqrt(sqrt(sqrt(x+1)+4)+7))+5,x)
solve(2**x-6,x)
solve(sqrt(x+1)+sqrt(x+7)+1,x)
solve(sqrt(sin(x))+1,x)
solve(sqrt(sin(x))+sqrt(cos(x))+1,x)
solve(sqrt(sin(x)+1)+(sin(x)+1)**(1/3)+7,x)
solve(sqrt(sqrt(sqrt(1+x)+7)+1)+8-2,x)
solve(sqrt(sin(x)+1)+(sin(x)+5)**(1/3)+7,x)
solve(sqrt(sin(x+1))+sqrt(sin(x+7))+1,x)
solve(asin(x)+acot(x)-2,x)
solve(asinh(x)+acoth(x)-2,x)