Pow acos Mul Pow 2 E asinh x0 Mul x0 x1 
Mul Pow acos Mul Pow 2 E asinh x0 Add Mul x0 x1 -1 Add Mul Mul x0 x1 Mul -1 Mul Mul Pow 2 E Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow 2 E asinh x0 Mul Pow 2 E asinh x0 -1 Mul Mul acos Mul Pow 2 E asinh x0 log acos Mul Pow 2 E asinh x0 x1 