Pow Pow acot x0 csch x2 exp x0 
Mul Pow Pow acot x0 csch x2 Add exp x0 -1 Add Mul exp x0 Mul Pow acot x0 Add csch x2 -1 Mul csch x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow acot x0 csch x2 log Pow acot x0 csch x2 exp x0 