Pow Mul acosh Mul Add x0 2 pi 7 Add acosh acoth sin x0 2 
Mul Pow Mul acosh Mul Add x0 2 pi 7 Add Add acosh acoth sin x0 2 -1 Add Mul Add acosh acoth sin x0 2 Mul 7 Mul pi Pow Mul sqrt Add Mul Add x0 2 pi -1 sqrt Add 1 Mul Add x0 2 pi -1 Mul Mul Mul acosh Mul Add x0 2 pi 7 log Mul acosh Mul Add x0 2 pi 7 Mul Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 Pow Mul sqrt Add acoth sin x0 -1 sqrt Add 1 acoth sin x0 -1 