Add Pow x0 Pow Pow x0 csch x3 x2 Add Add x0 acot Pow x0 E -2 
Add Mul Pow x0 Add Pow Pow x0 csch x3 x2 -1 Add Pow Pow x0 csch x3 x2 Mul Mul x0 log x0 Mul Pow Pow x0 csch x3 Add x2 -1 Mul x2 Mul Pow x0 Add csch x3 -1 csch x3 Add 1 Mul -1 Mul Mul Pow x0 Add E -1 E Pow Add 1 Mul Pow x0 E Pow x0 E -1 