Add x2 Mul acoth E asech Mul Add x0 x0 acsch x5 
Mul acoth E Mul Mul acsch x5 2 Pow Mul Mul Mul Add x0 x0 acsch x5 Mul Add x0 x0 acsch x5 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x0 acsch x5 Mul Add x0 x0 acsch x5 -1 -1 