Mul sin Mul x0 Mul asech cosh Add x0 x0 x0 acoth sqrt sqrt acot acoth x0 
Add Mul acoth sqrt sqrt acot acoth x0 Mul cos Mul x0 Mul asech cosh Add x0 x0 x0 Add Mul asech cosh Add x0 x0 x0 Mul x0 Add Mul x0 Mul Mul sinh Add x0 x0 2 Pow Mul Mul cosh Add x0 x0 cosh Add x0 x0 sqrt Add 1 Mul -1 Pow Mul cosh Add x0 x0 cosh Add x0 x0 -1 -1 asech cosh Add x0 x0 Mul sin Mul x0 Mul asech cosh Add x0 x0 x0 Mul Mul Pow Mul 2 sqrt sqrt acot acoth x0 -1 Mul Pow Mul 2 sqrt acot acoth x0 -1 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul -1 Mul sqrt sqrt acot acoth x0 sqrt sqrt acot acoth x0 -1 