Add sqrt Pow Add acsch pi acot x0 Add acoth x7 Pow Pow x0 -4 E 3 
Mul Pow Mul 2 sqrt Pow Add acsch pi acot x0 Add acoth x7 Pow Pow x0 -4 E -1 Mul Pow Add acsch pi acot x0 Add Add acoth x7 Pow Pow x0 -4 E -1 Add Mul Add acoth x7 Pow Pow x0 -4 E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add acsch pi acot x0 log Add acsch pi acot x0 Mul Pow Pow x0 -4 Add E -1 Mul E Mul Pow x0 5 -4 