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