Mul acot Mul -2 Add Pow sinh x0 Add asinh x0 acos x0 x0 x1 
Mul x1 Mul -1 Mul Mul -2 Add Mul Pow sinh x0 Add Add asinh x0 acos x0 -1 Add Mul Add asinh x0 acos x0 cosh x0 Mul Mul sinh x0 log sinh x0 Add Pow sqrt Add 1 Mul x0 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Mul -2 Add Pow sinh x0 Add asinh x0 acos x0 x0 Mul -2 Add Pow sinh x0 Add asinh x0 acos x0 x0 -1 