Pow Mul Add Pow acsch pi -5 atanh x0 Add Pow Mul -5 E x0 -5 x7 
Mul Pow Mul Add Pow acsch pi -5 atanh x0 Add Pow Mul -5 E x0 -5 Add x7 -1 Mul x7 Add Mul Add Pow Mul -5 E x0 -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Pow acsch pi -5 atanh x0 Mul Pow Mul -5 E Add x0 -1 Mul Mul -5 E log Mul -5 E 