asin Add acot x0 Mul asinh x0 sinh x5 
Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul sinh x5 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add acot x0 Mul asinh x0 sinh x5 Add acot x0 Mul asinh x0 sinh x5 -1 