sinh Add x4 Pow Pow pi pi Add cos acoth cos x0 x0 
Mul cosh Add x4 Pow Pow pi pi Add cos acoth cos x0 x0 Mul Pow Pow pi pi Add Add cos acoth cos x0 x0 -1 Mul Mul Pow pi pi log Pow pi pi Add Mul Mul -1 sin acoth cos x0 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 1 