Add x0 Pow sqrt acsch Add 3 Add x0 x0 acot sinh Add x0 x0 
Add 1 Mul Pow sqrt acsch Add 3 Add x0 x0 Add acot sinh Add x0 x0 -1 Add Mul acot sinh Add x0 x0 Mul Pow Mul 2 sqrt acsch Add 3 Add x0 x0 -1 Pow Mul Mul Add 3 Add x0 x0 Add 3 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add 3 Add x0 x0 Add 3 Add x0 x0 -1 -1 Mul Mul sqrt acsch Add 3 Add x0 x0 log sqrt acsch Add 3 Add x0 x0 Mul -1 Mul Mul cosh Add x0 x0 2 Pow Add 1 Mul sinh Add x0 x0 sinh Add x0 x0 -1 