Add Add csch Mul acos Pow x0 x1 x6 x0 2 
Add Mul Mul Mul -1 coth Mul acos Pow x0 x1 x6 csch Mul acos Pow x0 x1 x6 Mul x6 Mul -1 Mul Mul Pow x0 Add x1 -1 x1 Pow sqrt Add 1 Mul -1 Mul Pow x0 x1 Pow x0 x1 -1 1 