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