Mul Pow acot Pow x2 Pow x0 acsch x2 4 x0 
Add Mul x0 Mul Pow acot Pow x2 Pow x0 acsch x2 3 Mul 4 Mul -1 Mul Mul Pow x2 Add Pow x0 acsch x2 -1 Mul Mul x2 log x2 Mul Pow x0 Add acsch x2 -1 acsch x2 Pow Add 1 Mul Pow x2 Pow x0 acsch x2 Pow x2 Pow x0 acsch x2 -1 Pow acot Pow x2 Pow x0 acsch x2 4 