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