6 * log(17+1/(eˆ(-17/2)+(eˆpi- 1)ˆ2))