Mul Mul x0 acoth Mul exp Pow exp x0 acsch E Mul -4 x0 x2 
Mul x2 Add acoth Mul exp Pow exp x0 acsch E Mul -4 x0 Mul x0 Mul Add Mul Mul -4 x0 Mul exp Pow exp x0 acsch E Mul Pow exp x0 Add acsch E -1 Mul acsch E exp x0 Mul exp Pow exp x0 acsch E -4 Pow Add 1 Mul -1 Mul Mul exp Pow exp x0 acsch E Mul -4 x0 Mul exp Pow exp x0 acsch E Mul -4 x0 -1 