Add Mul acoth x0 Add Pow x0 -4 -3 Mul coth Mul x0 sqrt x7 x5 
Add Add Mul Add Pow x0 -4 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 5 -4 Mul x5 Mul Mul -1 Pow csch Mul x0 sqrt x7 2 sqrt x7 