sqrt Add Mul acoth x3 asech Pow acoth x3 acos x0 x0 
Mul Pow Mul 2 sqrt Add Mul acoth x3 asech Pow acoth x3 acos x0 x0 -1 Add Mul acoth x3 Mul Mul Pow acoth x3 Add acos x0 -1 Mul Mul acoth x3 log acoth x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow acoth x3 acos x0 Pow acoth x3 acos x0 sqrt Add 1 Mul -1 Pow Mul Pow acoth x3 acos x0 Pow acoth x3 acos x0 -1 -1 1 