asech Add Mul Mul x0 x4 x0 coth Add x6 x1 
Mul Add Mul x0 x4 Mul x0 x4 Pow Mul Mul Add Mul Mul x0 x4 x0 coth Add x6 x1 Add Mul Mul x0 x4 x0 coth Add x6 x1 sqrt Add 1 Mul -1 Pow Mul Add Mul Mul x0 x4 x0 coth Add x6 x1 Add Mul Mul x0 x4 x0 coth Add x6 x1 -1 -1 