(arctan(-1)+8)/2