Pow Add Add Mul x0 Mul x5 -3 Mul x7 5 Pow coth x3 x4 Add -2 sqrt x0 
Mul Pow Add Add Mul x0 Mul x5 -3 Mul x7 5 Pow coth x3 x4 Add Add -2 sqrt x0 -1 Add Mul Add -2 sqrt x0 Mul x5 -3 Mul Mul Add Add Mul x0 Mul x5 -3 Mul x7 5 Pow coth x3 x4 log Add Add Mul x0 Mul x5 -3 Mul x7 5 Pow coth x3 x4 Pow Mul 2 sqrt x0 -1 