cos(x), pi/4<x<pi