Mul asech x0 Add Mul -4 x7 Pow x0 sqrt coth x5 
Add Mul Add Mul -4 x7 Pow x0 sqrt coth x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow x0 Add sqrt coth x5 -1 sqrt coth x5 