Pow Add acsch Mul E Mul x0 x3 x0 x7 
Mul Pow Add acsch Mul E Mul x0 x3 x0 Add x7 -1 Mul x7 Add Mul Mul -1 Mul E x3 Pow Mul Mul Mul E Mul x0 x3 Mul E Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul E Mul x0 x3 Mul E Mul x0 x3 -1 -1 1 