Add acos x0 Pow acsch cosh Add x3 atanh x0 Add cosh x0 x0 
Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acsch cosh Add x3 atanh x0 Add Add cosh x0 x0 -1 Add Mul Add cosh x0 x0 Mul Mul -1 Mul sinh Add x3 atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul cosh Add x3 atanh x0 cosh Add x3 atanh x0 sqrt Add 1 Mul -1 Pow Mul cosh Add x3 atanh x0 cosh Add x3 atanh x0 -1 -1 Mul Mul acsch cosh Add x3 atanh x0 log acsch cosh Add x3 atanh x0 Add sinh x0 1 