This file is indexed.

/usr/lib/open-axiom/input/atansqrt.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
--Copyright The Numerical Algorithms Group Limited 1994.
)clear all
-- given

z:=atan sqrt ((1-cos x)/(1+cos x))

-- this should generate x/2

integrate(differentiate(z,x),x)

-- so should this be x/2

rootSimp(normalize(z))