acosh Pow Mul acoth log pi pi x0 
Mul Mul Pow Mul acoth log pi pi Add x0 -1 Mul Mul acoth log pi pi log Mul acoth log pi pi Pow Mul sqrt Add Pow Mul acoth log pi pi x0 -1 sqrt Add 1 Pow Mul acoth log pi pi x0 -1 