Pow Mul sin Pow x0 x4 Mul acsch pi x0 x0 
Mul Pow Mul sin Pow x0 x4 Mul acsch pi x0 Add x0 -1 Add Mul x0 Add Mul Mul acsch pi x0 Mul cos Pow x0 x4 Mul Pow x0 Add x4 -1 x4 Mul sin Pow x0 x4 acsch pi Mul Mul sin Pow x0 x4 Mul acsch pi x0 log Mul sin Pow x0 x4 Mul acsch pi x0 