sqrt(36cosh^2(x)-35)