KVequiv.lib
constant derlogV
constant KVtangent
constant KVversal
constant KVvermap
constant lft_vf
constant abs