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