error in inhcosh.hpp