Pow Pow exp x2 csch Mul x0 -1 Mul x0 E 
Mul Pow Pow exp x2 csch Mul x0 -1 Add Mul x0 E -1 Add Mul Mul x0 E Mul Pow exp x2 Add csch Mul x0 -1 -1 Mul Mul exp x2 log exp x2 Mul Mul Mul -1 coth Mul x0 -1 csch Mul x0 -1 -1 Mul Mul Pow exp x2 csch Mul x0 -1 log Pow exp x2 csch Mul x0 -1 E 