acos acoth Add Mul E Add x4 pi x0 
Mul -1 Mul Pow Add 1 Mul -1 Mul Add Mul E Add x4 pi x0 Add Mul E Add x4 pi x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add Mul E Add x4 pi x0 acoth Add Mul E Add x4 pi x0 -1 