Pow Mul Mul acsch pi x0 log x0 x0 
Mul Pow Mul Mul acsch pi x0 log x0 Add x0 -1 Add Mul x0 Add Mul log x0 acsch pi Mul Mul acsch pi x0 Pow x0 -1 Mul Mul Mul acsch pi x0 log x0 log Mul Mul acsch pi x0 log x0 