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