Mul Mul x0 Pow Add x6 Pow acoth E x0 x0 Add Pow acsc x7 x3 x0 
Add Mul Add Pow acsc x7 x3 x0 Add Pow Add x6 Pow acoth E x0 x0 Mul x0 Mul Pow Add x6 Pow acoth E x0 Add x0 -1 Add Mul x0 Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E Mul Add x6 Pow acoth E x0 log Add x6 Pow acoth E x0 Mul x0 Pow Add x6 Pow acoth E x0 x0 