Pow x0 Mul Mul x0 x0 Pow Add x0 2 acsch E 
Mul Pow x0 Add Mul Mul x0 x0 Pow Add x0 2 acsch E -1 Add Mul Mul x0 x0 Pow Add x0 2 acsch E Mul Mul x0 log x0 Add Mul Pow Add x0 2 acsch E Add x0 x0 Mul Mul x0 x0 Mul Pow Add x0 2 Add acsch E -1 acsch E 