/usr/share/axiom-20120501/input/intmix.input is in axiom-test 20120501-8.
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 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | )set break resume
)spool intmix.output
)set message test on
)set message auto off
)clear all
--S 1 of 6
(x + 1) / (x * (x + log x)**(3/2)) - 1/(x * log(x)**2)
--R
--R
--R +----------+ 2
--R (- log(x) - x)\|log(x) + x + (x + 1)log(x)
--R (1) --------------------------------------------
--R 3 2 2 +----------+
--R (x log(x) + x log(x) )\|log(x) + x
--R Type: Expression(Integer)
--E 1
--S 2 of 6
integrate(%, x)
--R
--R
--R +----------+
--R - 2log(x)\|log(x) + x + log(x) + x
--R (2) -----------------------------------
--R 2
--R log(x) + x log(x)
--R Type: Union(Expression(Integer),...)
--E 2
--S 3 of 6
((5*x**4+2*x-2)/x**2 * (1+1/sqrt(x**3+1))+x/sqrt(x**3+1)) * exp(x*sqrt(x**3+1))
--R
--R
--R +------+
--R +------+ | 3
--R 4 | 3 4 3 x\|x + 1
--R ((5x + 2x - 2)\|x + 1 + 5x + x + 2x - 2)%e
--R (3) ---------------------------------------------------------
--R +------+
--R 2 | 3
--R x \|x + 1
--R Type: Expression(Integer)
--E 3
--S 4 of 6
integrate(%, x)
--R
--R
--R +------+
--R +------+ | 3
--R | 3 x\|x + 1
--R (2\|x + 1 + 2)%e
--R (4) ----------------------------
--R x
--R Type: Union(Expression(Integer),...)
--E 4
--S 5 of 6
log(1 + exp x)**(1/3) / (1 + log(1 + exp x))
--R
--R
--R +------------+
--R 3| x
--R \|log(%e + 1)
--R (5) ----------------
--R x
--R log(%e + 1) + 1
--R Type: Expression(Integer)
--E 5
--S 6 of 6
integrate(%, x)
--R
--R
--R +-------------+
--R x 3| %T
--R ++ \|log(%e + 1)
--R (6) | ----------------- d%T
--R ++ %T
--R log(%e + 1) + 1
--R Type: Union(Expression(Integer),...)
--E 6
)spool
)lisp (bye)
|