The example looks at the constant of pi, ... It used Chebyshev Polynomials for trig and hyperbolic functions – for $350 1980 dollars, $1340 today! (Wow, that makes me feel old!) ...

Within this framework, polynomial threshold functions ... A significant development is the design of improved #SAT algorithms for small constant-depth Boolean circuits composed of PTF gates.