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