fn_gen/norm_nlr/12/expressions.txt

acos(_0*(-_1 + x) - 0.99999)/_s
(_0*_1 + cos(_s*x) + 0.99999)/_0