Pow cosh Add x0 x0 asin Mul x0 -1 
Mul Pow cosh Add x0 x0 Add asin Mul x0 -1 -1 Add Mul asin Mul x0 -1 Mul sinh Add x0 x0 2 Mul Mul cosh Add x0 x0 log cosh Add x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 -1 Mul x0 -1 -1 