asech Pow Mul x0 x0 Pow coth x5 3 
Mul Mul Pow Mul x0 x0 Add Pow coth x5 3 -1 Mul Pow coth x5 3 Add x0 x0 Pow Mul Mul Pow Mul x0 x0 Pow coth x5 3 Pow Mul x0 x0 Pow coth x5 3 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x0 Pow coth x5 3 Pow Mul x0 x0 Pow coth x5 3 -1 -1 