Mul asech acsch Mul -1 x0 2 
Mul 2 Mul Mul 2 Pow Mul Mul Mul -1 x0 Mul -1 x0 sqrt Add 1 Mul -1 Pow Mul Mul -1 x0 Mul -1 x0 -1 -1 Pow Mul Mul acsch Mul -1 x0 acsch Mul -1 x0 sqrt Add 1 Mul -1 Pow Mul acsch Mul -1 x0 acsch Mul -1 x0 -1 -1 