Mul Pow Pow Mul Add asin coth x5 Pow E x0 5 pi acosh acos pi Mul E -2 
Mul Mul E -2 Mul Pow Pow Mul Add asin coth x5 Pow E x0 5 pi Add acosh acos pi -1 Mul acosh acos pi Mul Pow Mul Add asin coth x5 Pow E x0 5 Add pi -1 Mul pi Mul 5 Mul Pow E Add x0 -1 Mul E log E 