acos acoth Mul 2 Mul Add sqrt Mul csch x1 -3 x0 -3 
Mul -1 Mul Pow Add 1 Mul -1 Mul Mul 2 Mul Add sqrt Mul csch x1 -3 x0 -3 Mul 2 Mul Add sqrt Mul csch x1 -3 x0 -3 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul 2 Mul Add sqrt Mul csch x1 -3 x0 -3 acoth Mul 2 Mul Add sqrt Mul csch x1 -3 x0 -3 -1 