特殊関数の精度保証を行う関数をいくつか試験的に作成している。行うこともできるので、役に立つ場面もあるのではないかと考えている。現状複素数に対応していない。対応させるつもりではあるが、予定は未定である。Gamma関数gamma.hppの中に、gamma関数lgamma関数digamma関数trigamma関数の実装がある。いずれもinterval<T>を入力し、interval<T>を出力する。呼び出しの初回は非常に時間がかかる。log|2sin(t)|dtで定義される関数をLobachevsky関数という。lobachevsky.hppの中に、関数lobachevskyがある。interval<T>を入力し、interval<T>を出力する。詳細はまだ書いてない。Airy関数airy.hppの中に、Airy_AiAiry_BiAiry_Ai_dAiry_Bi_dの実装がある。それぞれ、Ai関数、Bi関数、Ai関数の微分、Bi関数の微分である。いずれもinterval<T>を入力し、interval<T>を出力する。(Biの場合)を使って解くだけ。2階に直して解くので副産物として微分も得られる。絶対値の大きい入力に対しては精度も出ないし計算時間もかかる。Bessel関数bessel.hppの中に、第1種Bessel関数の実装がある。非整数次も試験的に実装。