| atom_chars_2(BindingsTable, Term, Term) |  | 0% | | 0% | 9 | 9 | 18 | 18 | 1 | 1 |
| char_code_2(BindingsTable, Term, Term) | | 0% | | 0% | 5 | 5 | 10 | 10 | 1 | 1 |
| sign_1(BindingsTable, EvaluableTerm) | | 0% | | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| abs_1(BindingsTable, EvaluableTerm) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| div_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| mod_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| rem_2(BindingsTable, EvaluableTerm, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| atom_length_2(BindingsTable, Struct, Term) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| float_fractional_part_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| float_integer_part_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| floor_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| truncate_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ceiling_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| sin_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| cos_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| exp_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| atan_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| log_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| sqrt_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| round_1(BindingsTable, EvaluableTerm) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getSynonym(String) |  | 46% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| getTheory() | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| ISOLibrary() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |