Mul Mul x0 x0 acsch Add x1 exp Pow x0 acot Mul -5 x2 
Add Mul acsch Add x1 exp Pow x0 acot Mul -5 x2 Add x0 x0 Mul Mul x0 x0 Mul Mul -1 Mul exp Pow x0 acot Mul -5 x2 Mul Pow x0 Add acot Mul -5 x2 -1 acot Mul -5 x2 Pow Mul Mul Add x1 exp Pow x0 acot Mul -5 x2 Add x1 exp Pow x0 acot Mul -5 x2 sqrt Add 1 Mul -1 Pow Mul Add x1 exp Pow x0 acot Mul -5 x2 Add x1 exp Pow x0 acot Mul -5 x2 -1 -1 