exp Pow Pow x0 Pow x0 csch log x4 Mul x0 -2 
Mul exp Pow Pow x0 Pow x0 csch log x4 Mul x0 -2 Mul Pow Pow x0 Pow x0 csch log x4 Add Mul x0 -2 -1 Add Mul Mul x0 -2 Mul Pow x0 Add Pow x0 csch log x4 -1 Add Pow x0 csch log x4 Mul Mul x0 log x0 Mul Pow x0 Add csch log x4 -1 csch log x4 Mul Mul Pow x0 Pow x0 csch log x4 log Pow x0 Pow x0 csch log x4 -2 