Pow acsch Add pi Add log x0 Pow Pow sqrt E x0 x4 pi 
Mul Pow acsch Add pi Add log x0 Pow Pow sqrt E x0 x4 Add pi -1 Mul pi Mul Mul -1 Add Pow x0 -1 Mul Pow Pow sqrt E x0 Add x4 -1 Mul x4 Mul Pow sqrt E Add x0 -1 Mul sqrt E log sqrt E Pow Mul Mul Add pi Add log x0 Pow Pow sqrt E x0 x4 Add pi Add log x0 Pow Pow sqrt E x0 x4 sqrt Add 1 Mul -1 Pow Mul Add pi Add log x0 Pow Pow sqrt E x0 x4 Add pi Add log x0 Pow Pow sqrt E x0 x4 -1 -1 