Add Pow acsch Mul acsc E x0 Add 1 Mul x1 Mul x7 x4 4 
Mul Pow acsch Mul acsc E x0 Add Add 1 Mul x1 Mul x7 x4 -1 Mul Add 1 Mul x1 Mul x7 x4 Mul Mul -1 acsc E Pow Mul Mul Mul acsc E x0 Mul acsc E x0 sqrt Add 1 Mul -1 Pow Mul Mul acsc E x0 Mul acsc E x0 -1 -1 