exp Mul acot Mul Add Pow x0 3 Pow Mul x0 x0 acsch pi x0 5 
Mul exp Mul acot Mul Add Pow x0 3 Pow Mul x0 x0 acsch pi x0 5 Mul 5 Mul -1 Mul Add Mul x0 Add Mul Pow x0 2 3 Mul Pow Mul x0 x0 Add acsch pi -1 Mul acsch pi Add x0 x0 Add Pow x0 3 Pow Mul x0 x0 acsch pi Pow Add 1 Mul Mul Add Pow x0 3 Pow Mul x0 x0 acsch pi x0 Mul Add Pow x0 3 Pow Mul x0 x0 acsch pi x0 -1 