Add Mul x0 Pow Pow exp coth x1 4 cbrt log x0 x0 
Add Add Pow Pow exp coth x1 4 cbrt log x0 Mul x0 Mul Pow Pow exp coth x1 4 Add cbrt log x0 -1 Mul Mul Pow exp coth x1 4 log Pow exp coth x1 4 Mul Pow Mul Mul 3 cbrt log x0 cbrt log x0 -1 Pow x0 -1 1 