Add acot Add Mul Pow Mul Pow x0 x2 -2 acsch x3 Mul Mul Add -1 x1 x0 pi -2.31243834127275 acoth x0 
Add Mul -1 Mul Add Mul Mul Mul Add -1 x1 x0 pi Mul Pow Mul Pow x0 x2 -2 Add acsch x3 -1 Mul acsch x3 Mul -2 Mul Pow x0 Add x2 -1 x2 Mul Pow Mul Pow x0 x2 -2 acsch x3 Mul pi Add -1 x1 Pow Add 1 Mul Add Mul Pow Mul Pow x0 x2 -2 acsch x3 Mul Mul Add -1 x1 x0 pi -2.31243834127275 Add Mul Pow Mul Pow x0 x2 -2 acsch x3 Mul Mul Add -1 x1 x0 pi -2.31243834127275 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 