csch acos Mul x0 Pow sqrt x1 acsc E 
Mul Mul Mul -1 coth acos Mul x0 Pow sqrt x1 acsc E csch acos Mul x0 Pow sqrt x1 acsc E Mul -1 Mul Pow sqrt x1 acsc E Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow sqrt x1 acsc E Mul x0 Pow sqrt x1 acsc E -1 