Mul Mul cosh Mul x0 -2 acsc Add x0 acot E x0 
Add Mul x0 Add Mul acsc Add x0 acot E Mul sinh Mul x0 -2 -2 Mul cosh Mul x0 -2 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 acot E Add x0 acot E -1 Add x0 acot E Add x0 acot E -1 Mul cosh Mul x0 -2 acsc Add x0 acot E 