Mul 5 acot Pow acot Add acsch x2 x0 x2 
Mul 5 Mul -1 Mul Mul Pow acot Add acsch x2 x0 Add x2 -1 Mul x2 Mul -1 Pow Add 1 Mul Add acsch x2 x0 Add acsch x2 x0 -1 Pow Add 1 Mul Pow acot Add acsch x2 x0 x2 Pow acot Add acsch x2 x0 x2 -1 