| operators: |
| +: |
| realization: + |
| alias: |
| - add |
| - plus |
| inverse: '-' |
| arity: 2 |
| weight: 10 |
| precedence: 1 |
| commutative: true |
| symmetry: 0 |
| positive: false |
| monotonicity: 0 |
| '-': |
| realization: '-' |
| alias: |
| - sub |
| - minus |
| inverse: + |
| arity: 2 |
| weight: 5 |
| precedence: 1 |
| commutative: false |
| symmetry: 0 |
| positive: false |
| monotonicity: 0 |
| neg: |
| realization: nsrops.neg |
| alias: |
| - negative |
| inverse: neg |
| arity: 1 |
| weight: 5 |
| precedence: 2.5 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: -1 |
| '*': |
| realization: '*' |
| alias: |
| - mul |
| - times |
| inverse: / |
| arity: 2 |
| weight: 10 |
| precedence: 2 |
| commutative: true |
| symmetry: 0 |
| positive: false |
| monotonicity: 0 |
| /: |
| realization: / |
| alias: |
| - div |
| - divide |
| inverse: '*' |
| arity: 2 |
| weight: 5 |
| precedence: 2 |
| commutative: false |
| symmetry: 0 |
| positive: false |
| monotonicity: 0 |
| abs: |
| realization: abs |
| alias: |
| - absolute |
| inverse: null |
| arity: 1 |
| weight: 4 |
| precedence: 3 |
| commutative: false |
| symmetry: 1 |
| positive: true |
| monotonicity: 0 |
| inv: |
| realization: nsrops.inv |
| alias: |
| - inverse |
| inverse: inv |
| arity: 1 |
| weight: 4 |
| precedence: 4 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: -1 |
| pow2: |
| realization: nsrops.pow2 |
| alias: |
| - square |
| inverse: null |
| arity: 1 |
| weight: 4 |
| precedence: 3 |
| commutative: false |
| symmetry: 1 |
| positive: true |
| monotonicity: 0 |
| pow3: |
| realization: nsrops.pow3 |
| alias: |
| - cube |
| inverse: pow1_3 |
| arity: 1 |
| weight: 2 |
| precedence: 3 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| pow4: |
| realization: nsrops.pow4 |
| alias: [] |
| inverse: null |
| arity: 1 |
| weight: 1 |
| precedence: 3 |
| commutative: false |
| symmetry: 1 |
| positive: true |
| monotonicity: 0 |
| pow5: |
| realization: nsrops.pow5 |
| alias: [] |
| inverse: pow1_5 |
| arity: 1 |
| weight: 1 |
| precedence: 3 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| pow1_2: |
| realization: nsrops.pow1_2 |
| alias: |
| - sqrt |
| inverse: null |
| arity: 1 |
| weight: 4 |
| precedence: 3 |
| commutative: false |
| symmetry: 0 |
| positive: true |
| monotonicity: 1 |
| pow1_3: |
| realization: nsrops.pow1_3 |
| alias: [] |
| inverse: null |
| arity: 1 |
| weight: 2 |
| precedence: 3 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| pow1_4: |
| realization: nsrops.pow1_4 |
| alias: [] |
| inverse: null |
| arity: 1 |
| weight: 1 |
| precedence: 3 |
| commutative: false |
| symmetry: 0 |
| positive: true |
| monotonicity: 1 |
| pow1_5: |
| realization: nsrops.pow1_5 |
| alias: [] |
| inverse: null |
| arity: 1 |
| weight: 1 |
| precedence: 3 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| sin: |
| realization: numpy.sin |
| alias: [] |
| inverse: asin |
| arity: 1 |
| weight: 4 |
| precedence: 2 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 0 |
| cos: |
| realization: numpy.cos |
| alias: [] |
| inverse: acos |
| arity: 1 |
| weight: 4 |
| precedence: 2 |
| commutative: false |
| symmetry: 1 |
| positive: false |
| monotonicity: 0 |
| tan: |
| realization: numpy.tan |
| alias: [] |
| inverse: atan |
| arity: 1 |
| weight: 4 |
| precedence: 2 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 0 |
| asin: |
| realization: numpy.arcsin |
| alias: |
| - arcsin |
| inverse: sin |
| arity: 1 |
| weight: 2 |
| precedence: 2 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| acos: |
| realization: numpy.arccos |
| alias: |
| - arccos |
| inverse: cos |
| arity: 1 |
| weight: 2 |
| precedence: 2 |
| commutative: false |
| symmetry: 0 |
| positive: true |
| monotonicity: 1 |
| atan: |
| realization: numpy.arctan |
| alias: |
| - arctan |
| inverse: tan |
| arity: 1 |
| weight: 2 |
| precedence: 2 |
| commutative: false |
| symmetry: -1 |
| positive: false |
| monotonicity: 1 |
| exp: |
| realization: numpy.exp |
| alias: [] |
| inverse: log |
| arity: 1 |
| weight: 4 |
| precedence: 3 |
| commutative: false |
| symmetry: 0 |
| positive: true |
| monotonicity: 1 |
| log: |
| realization: numpy.log |
| alias: |
| - ln |
| inverse: exp |
| arity: 1 |
| weight: 4 |
| precedence: 2 |
| commutative: false |
| symmetry: 0 |
| positive: false |
| monotonicity: 1 |
| variables: 3 |
| special_tokens: |
| - <pad> |
| - <bos> |
| - <eos> |
| - <unk> |
| - <cls> |
| - <mask> |
| - <num> |
| - <ctrl_complexity> |
|
|
