Mul E acsch Add x5 Mul x0 acot acsch x2 
Mul E Mul Mul -1 acot acsch x2 Pow Mul Mul Add x5 Mul x0 acot acsch x2 Add x5 Mul x0 acot acsch x2 sqrt Add 1 Mul -1 Pow Mul Add x5 Mul x0 acot acsch x2 Add x5 Mul x0 acot acsch x2 -1 -1 