; Lookup tables for Laplace V0.3 (03-APR-1996)
; --------------------------------------------------------------------------
; You should not modify this file on your own.
; The file structure is not documented (although it's quite straight ahead),
; and will change in future releases !
DIFF(SIN(1),2) = MUL(COS(1),DIFF(1,2))
DIFF(ASIN(1),2) = MUL(POT(ADD(1,NEG(POT(1,$2/1))),$-1/2),DIFF(1,2))
DIFF(COS(1),2) = MUL(NEG(SIN(1)),DIFF(1,2))
DIFF(ACOS(1),2) = MUL(NEG(MUL($1/1,POT(ADD(1,NEG(POT(1,$2/1))),$-1/2))),DIFF(1,2))
DIFF(TAN(1),2) = MUL(ADD($1/1,POT(TAN(1),$2/1)),DIFF(1,2))
DIFF(ATAN(1),2) = MUL(POT(ADD($1/1,POT(1,$2/1)),$-1/1),DIFF(1,2))
DIFF(COT(1),2) = MUL(ADD($-1/1,NEG(POT(COT(1),$2/1))),DIFF(1,2))
DIFF(ACOT(1),2) = MUL(NEG(POT(ADD($1/1,POT(1,$2/1)),$-1/1)),DIFF(1,2))
DIFF(SINH(1),2) = MUL(COSH(1),DIFF(1,2))
DIFF(ASINH(1),2) = MUL(POT(ADD($1/1,POT(1,$2/1)),$-1/2),DIFF(1,2))
DIFF(COSH(1),2) = MUL(SINH(1),DIFF(1,2))
DIFF(ACOSH(1),2) = MUL(POT(ADD($-1/1,POT(1,$2/1)),$-1/2),DIFF(1,2))
DIFF(TANH(1),2) = MUL(POT(COSH(1),$-2/1),DIFF(1,2))
DIFF(ATANH(1),2) = MUL(POT(ADD($1/1,NEG(POT(1,$2/1))),$-1/1),DIFF(1,2))
DIFF(EXP(1),2) = MUL(EXP(1),DIFF(1,2))
DIFF(LN(1),2) = MUL(POT(1,$-1/1),DIFF(1,2))
DIFF(LOG(1),2) = MUL(POT(MUL($10/1,1),$-1/1),DIFF(1,2))
DIFF(SQRT(1),2) = MUL(MUL($1/2,POT(1,$-1/2)),DIFF(1,2))
DIFF(INV(1),2) = NEG(MUL(POT(1,$-2/1),DIFF(1,2)))
DIFF(NEG(1),2) = NEG(DIFF(1,2))
DIFF(ABS(1),2) = MUL(SIGN(1),DIFF(1,2))
DIFF(SIGN(1),2) = $0/1
ADD(POT(SIN(1),$2/1),POT(COS(1),$2/1)) = 1
;POT(MUL(2..),1) = MUL(POT(2,1))
;INV(MUL(1..)) = MUL(INV(1))
INV(NEG(1)) = NEG(POT(1,$-1/1))
INV(POT(1,2)) = POT(1,NEG(2))
;NEG(ADD(1)) = ADD(NEG(1))
SIN(NEG(1)) = NEG(SIN(1))
COS(NEG(1)) = COS(1)
SINH(NEG(1)) = NEG(SINH(1))
COSH(NEG(1)) = COSH(1)
LN(POT(1,2)) = MUL(2,LN(1))
POT(1,#0) = $1/1
POT(1,$1/1) = 1
POT(POT(1,2),3) = POT(1,MUL(2,3))
SQRT(1) = POT(1,$1/2)
;TAN(1) = MUL(SIN(1),INV(COS(1)))
;COT(1) = MUL(COS(1),INV(SIN(1)))
; next should be --> INV(1:r) = POT(1,$-1/1) <--
INV(1) = POT(1,$-1/1)
LOG(1) = MUL(LN(1),INV(LN($10/1)))
SIN(ASIN(1)) = 1
ASIN(SIN(1)) = 1
COS(ACOS(1)) = 1
ACOS(COS(1)) = 1
TAN(ATAN(1)) = 1
ATAN(TAN(1)) = 1
COT(ACOT(1)) = 1
ACOT(ACOT(1)) = 1
SINH(ASINH(1)) = 1
ASIN(SINH(1)) = 1
COSH(ACOSH(1)) = 1
ACOSH(COSH(1)) = 1
TANH(ATAN(1)) = 1
ATANH(TANH(1)) = 1
INV(INV(1)) = 1
LN(EXP(1)) = 1
EXP(LN(1)) = 1
NEG(NEG(1)) = 1